?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
configure.ac: use AX_DETECT_GIT_HEAD instead of inlined version
2014-01-05 Sven Verdoolaegeconfigure.ac: use AX_DETECT_GIT_HEAD instead of inlined...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-12-16 Sven Verdoolaegedoc: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-12-05 Sven VerdoolaegeAX_SUBMODULE: allow .git file in submodule
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-08-12 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-08-12 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-07-06 Sven Verdoolaegeverify_point_data_init: use isl_set_card to count elements...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-07-06 Sven Verdoolaegetest_approx: return EXIT_FAILURE on error
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-07-06 Sven Verdoolaegetest_approx: use isl interface
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-07-06 Sven Verdoolaegeclean up tests/ehrhart/* inputs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-06-26 Sven Verdoolaegeevalue_isl.c: relation2pwqp: handle non-parametric...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-06-26 Sven Verdoolaegeupdate isl for isl_*_eval returning an isl_val instead...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-06-26 Sven Verdoolaegeupdate isl for isl_stream_read_obj returning isl_obj_val...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-06-26 Sven Verdoolaegeupdate pet to version 0.04
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-06-25 Sven Verdoolaegeconfigure.ac: replace --with-libgmp option by --with...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-06-23 Sven Verdoolaegeupdate isl to version 0.12
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeiscc.c: avoid use of isl_token internals
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeevalue_isl.c: div2evalue: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeevalue_isl.c: isl_pw_qpolynomial_from_eval: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeevalue_isl.c: isl_qpolynomial_from_evalue: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeevalue_isl.c: extract_base: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeverify.c: verify_point_data_init: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeverify.c: verify_context_set_bounds: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeutil.c: manual_count: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegetest_bound.c: result_data: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegetest_bound.c: verify_point: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegesample.c: Polyhedron_Sample: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegepolysign_isl.c: isl_constraints_opt: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegepolysign_isl.c: isl_polyhedron_affine_sign: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegepolysign_isl.c: extract_inequalities: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegepolysign_isl.c: extract_equalities: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeiscc.c: read_ident: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeiscc.c: obj_at_index: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeiscc.c: power: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeiscc.c: next_is_neg_int: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeevalue_isl.c: add_term: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeevalue_isl.c: relation2pwqp: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegebound.c: split_on_size: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegebound.c: verify_point: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegebasis_reduction.c: isl_Polyhedron_Reduced_Basis: use...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegebarvinok_summate.c: verify_point: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegebarvinok_enumerate.cc: verify_point: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegebarvinok.cc: card_as_sum: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeisl_map_polylib.c: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-29 Sven Verdoolaegeupdate isl for isl_val abstraction
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-29 Sven Verdoolaegeintegrate isl-polylib module
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-03 Sven Verdoolaegebarvinok_enumerate.cc: explicitly include gmp to avoid...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-03 Sven Verdoolaegebarvinok_e.cc: explicitly include gmp to avoid inclusion...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-03 Sven Verdoolaegetest_bound.c: result_data_clear: remove unused variable
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-03 Sven Verdoolaegeevalue_isl.c: avoid use of isl_seq
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-03 Sven Verdoolaegetest.c: remove redundant include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-04-23 Sven Verdoolaegeupdate isl to version 0.11.2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-04-08 Sven Verdoolaegeevalue_isl.c: avoid use of isl_vec internals
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-04-07 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-04-07 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-03-10 Sven VerdoolaegeNTL_QQ: use NTL's Vec template class when available
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-02-06 Sven Verdoolaegeisl_pw_qpolynomial_sum: error out if input does not...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-02-03 Sven Verdoolaegeiscc.c: print_code: do not assume isl_union_map_get_space...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-02-02 Sven Verdoolaegevertex_cone: check that dimension is at least one
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-02-02 Sven Verdoolaegebarvinok_sum_over_polytope: special case 0D polytopes
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-02-02 Sven Verdoolaegesummate.c: sum_with_equalities: extract out sum_over_polytope_0D
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-12-10 Sven Verdoolaegeupdate isl to version 0.11.1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-12-03 Sven Verdoolaegebarvinok 0.36
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-12-03 Sven Verdoolaegelexmin.cc: lexmin: remove unused label
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-12-03 Sven Verdoolaegelattice_point.cc: fractional_part: remove unused label
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-12-03 Sven Verdoolaegetestlib.cc: test_hilbert: fix tests
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-12-03 Sven Verdoolaegeiscc.c: read_bool_if_available: remove unused label
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-12-03 Sven Verdoolaegeupdate pet to version 0.03
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-12-03 Sven Verdoolaegeupdate isl to version 0.11
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-12-03 Sven VerdoolaegeREADME: refer to pet/README for more details on how...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-11-24 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-11-24 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-22 Sven Verdoolaegedrop cloog submodule
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-22 Sven Verdoolaegeuse isl for code generation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-22 Sven Verdoolaegeupdate isl for code generation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-21 Sven Verdoolaegeiscc.c: add missing includes
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-03 Sven Verdoolaegeupdate isl for rename of !isl_set_dim_has_{lower,upper...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-05 Sven Verdoolaegedoc: add another paper refering to the library
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-05 Sven VerdoolaegeREADME: clarify that /opt is the example installation...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-05 Sven Verdoolaegeexport isl_*_pw_qpolynomial_sum
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-05 Sven Verdoolaegeupdate pet for adding missing include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-08 Sven Verdoolaegeconfigure.ac: check for NTL/ZZ.h header before checking...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-04 Sven Verdoolaegeupdate pet to version 0.02
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegeupdate isl to version 0.10
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegeoptions.c: avoid calling isl_alloc_type without valid...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegeevalue_isl.c: div2evalue: explicitly check for and...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-04-17 Sven Verdoolaegeupdate isl for normalization of isl_term_get_div result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-30 Sven Verdoolaegeevalue_isl.c: add_term: improve error handling
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-27 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-27 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-07 Sven Verdoolaegeiscc: support computation of arbitrary (non-zero) powers...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-07 Sven Verdoolaegeupdate isl for isl_union_map_fixed_power
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven Verdoolaegeupdate isl for change in isl_pw_aff_cond
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-02-12 Sven Verdoolaegeevalue.c: avoid warning on use of && inside ||
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-02-11 Sven Verdoolaegebarvinok_e.cc: enumerate_line: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-02-11 Sven Verdoolaegesummate.c: add_unbounded_guarded_qp: update to change...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-02-11 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-02-02 Sven Verdoolaegesummate.c: sum_base: check for and remove equalities
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-01-30 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-01-30 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-12-18 Sven Verdoolaegebarvinok 0.35
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
lattice point enumeration library