?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
lattice_width.c: avoid use of deprecated function
2014-09-11 Sven Verdoolaegelattice_width.c: avoid use of deprecated function
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-06-22 Sven Verdoolaegebarvinok_enumerate_with_options: handle context constraints...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-05-18 Sven Verdoolaegedoc: add another paper refering to the library
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-05-04 Sven Verdoolaegeisl_Polyhedron_Reduced_Basis: avoid double free of...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-22 Sven Verdoolaegeiscc: also disallow source operation when --no-io is...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-14 Sven Verdoolaegebarvinok 0.37
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-14 Sven Verdoolaegeupdate pet to version 0.05
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-14 Sven Verdoolaegeupdate isl to version 0.13
 commit | commitdiff | tree
2014-04-04 Sven Verdoolaegeupdate pet for sorting of arrays
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-02 Sven Verdoolaegeisl_param_util.c: drop expr2vertex
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-02 Sven Verdoolaegeupdate isl for change in isl_vertex inspectors
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-02 Sven Verdoolaegeadd isl_multi_aff_to_polylib
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-30 Sven Verdoolaegeiscc: add minimal support for isl_obj_pw_multi_aff...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-30 Sven Verdoolaegeupdate isl for isl_obj_pw_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-10 Sven Verdoolaegegen_fun::add_union: context of result should be the...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-10 Sven Verdoolaegereduce_evalue: reduce polynomial expressions in denominator...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-09 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-09 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-01-05 Sven Verdoolaegeupdate pet for change in pet_scop_collect_{reads,writes}
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-01-05 Sven Verdoolaegeupdate isl for isl_id_to_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
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
next
lattice point enumeration library