barvinok.git
2014-10-14 Sven VerdoolaegeREADME: update contact informationmaster
2014-10-09 Sven Verdoolaegeupdate isl for change in isl_map_subtract
2014-09-11 Sven Verdoolaegeupdate pet for support for recent clangs
2014-09-11 Sven Verdoolaegeupdate isl for support for recent clangs
2014-09-11 Sven Verdoolaegelattice_width.c: avoid use of deprecated function
2014-06-22 Sven Verdoolaegebarvinok_enumerate_with_options: handle context constra...
2014-05-18 Sven Verdoolaegedoc: add another paper refering to the library
2014-05-04 Sven Verdoolaegeisl_Polyhedron_Reduced_Basis: avoid double free of...
2014-05-03 Thomas KahleUpdate the glpk calls to the new glp_ API
2014-04-22 Sven Verdoolaegeiscc: also disallow source operation when --no-io is...
2014-04-14 Sven Verdoolaegebarvinok 0.37barvinok-0.37
2014-04-14 Sven Verdoolaegeupdate pet to version 0.05
2014-04-14 Sven Verdoolaegeupdate isl to version 0.13
2014-04-13 Tobias GrosserAdd missing include of isl/aff.h
2014-04-04 Sven Verdoolaegeupdate pet for sorting of arrays
2014-04-02 Sven Verdoolaegeisl_param_util.c: drop expr2vertex
2014-04-02 Sven Verdoolaegeupdate isl for change in isl_vertex inspectors
2014-04-02 Sven Verdoolaegeadd isl_multi_aff_to_polylib
2014-03-30 Sven Verdoolaegeiscc: add minimal support for isl_obj_pw_multi_aff...
2014-03-30 Sven Verdoolaegeupdate isl for isl_obj_pw_multi_aff
2014-03-10 Sven Verdoolaegegen_fun::add_union: context of result should be the...
2014-03-10 Sven Verdoolaegereduce_evalue: reduce polynomial expressions in denomin...
2014-02-09 Sven Verdoolaegeupdate pet for support for recent clangs
2014-02-09 Sven Verdoolaegeupdate isl for support for recent clangs
2014-01-05 Sven Verdoolaegeupdate pet for change in pet_scop_collect_{reads,writes}
2014-01-05 Sven Verdoolaegeupdate isl for isl_id_to_pw_aff
2014-01-05 Sven Verdoolaegeconfigure.ac: use AX_DETECT_GIT_HEAD instead of inlined...
2013-12-16 Sven Verdoolaegedoc: fix typo
2013-12-05 Sven VerdoolaegeAX_SUBMODULE: allow .git file in submodule
2013-08-12 Sven Verdoolaegeupdate pet for support for recent clangs
2013-08-12 Sven Verdoolaegeupdate isl for support for recent clangs
2013-07-06 Sven Verdoolaegeverify_point_data_init: use isl_set_card to count eleme...
2013-07-06 Sven Verdoolaegetest_approx: return EXIT_FAILURE on error
2013-07-06 Sven Verdoolaegetest_approx: use isl interface
2013-07-06 Sven Verdoolaegeclean up tests/ehrhart/* inputs
2013-06-26 Sven Verdoolaegeevalue_isl.c: relation2pwqp: handle non-parametric...
2013-06-26 Sven Verdoolaegeupdate isl for isl_*_eval returning an isl_val instead...
2013-06-26 Sven Verdoolaegeupdate isl for isl_stream_read_obj returning isl_obj_va...
2013-06-26 Sven Verdoolaegeupdate pet to version 0.04
2013-06-25 Sven Verdoolaegeconfigure.ac: replace --with-libgmp option by --with...
2013-06-23 Sven Verdoolaegeupdate isl to version 0.12
2013-05-31 Sven Verdoolaegeiscc.c: avoid use of isl_token internals
2013-05-31 Sven Verdoolaegeevalue_isl.c: div2evalue: use isl_val
2013-05-31 Sven Verdoolaegeevalue_isl.c: isl_pw_qpolynomial_from_eval: use isl_val
2013-05-31 Sven Verdoolaegeevalue_isl.c: isl_qpolynomial_from_evalue: use isl_val
2013-05-31 Sven Verdoolaegeevalue_isl.c: extract_base: use isl_val
2013-05-31 Sven Verdoolaegeverify.c: verify_point_data_init: use isl_val
2013-05-31 Sven Verdoolaegeverify.c: verify_context_set_bounds: use isl_val
2013-05-31 Sven Verdoolaegeutil.c: manual_count: use isl_val
2013-05-31 Sven Verdoolaegetest_bound.c: result_data: use isl_val
2013-05-31 Sven Verdoolaegetest_bound.c: verify_point: use isl_val
2013-05-31 Sven Verdoolaegesample.c: Polyhedron_Sample: use isl_val
2013-05-31 Sven Verdoolaegepolysign_isl.c: isl_constraints_opt: use isl_val
2013-05-31 Sven Verdoolaegepolysign_isl.c: isl_polyhedron_affine_sign: use isl_val
2013-05-31 Sven Verdoolaegepolysign_isl.c: extract_inequalities: use isl_val
2013-05-31 Sven Verdoolaegepolysign_isl.c: extract_equalities: use isl_val
2013-05-31 Sven Verdoolaegeiscc.c: read_ident: use isl_val
2013-05-31 Sven Verdoolaegeiscc.c: obj_at_index: use isl_val
2013-05-31 Sven Verdoolaegeiscc.c: power: use isl_val
2013-05-31 Sven Verdoolaegeiscc.c: next_is_neg_int: use isl_val
2013-05-31 Sven Verdoolaegeevalue_isl.c: add_term: use isl_val
2013-05-31 Sven Verdoolaegeevalue_isl.c: relation2pwqp: use isl_val
2013-05-31 Sven Verdoolaegebound.c: split_on_size: use isl_val
2013-05-31 Sven Verdoolaegebound.c: verify_point: use isl_val
2013-05-31 Sven Verdoolaegebasis_reduction.c: isl_Polyhedron_Reduced_Basis: use...
2013-05-31 Sven Verdoolaegebarvinok_summate.c: verify_point: use isl_val
2013-05-31 Sven Verdoolaegebarvinok_enumerate.cc: verify_point: use isl_val
2013-05-31 Sven Verdoolaegebarvinok.cc: card_as_sum: use isl_val
2013-05-31 Sven Verdoolaegeisl_map_polylib.c: use isl_val
2013-05-29 Sven Verdoolaegeupdate isl for isl_val abstraction
2013-05-29 Sven Verdoolaegeintegrate isl-polylib module
2013-05-03 Sven Verdoolaegebarvinok_enumerate.cc: explicitly include gmp to avoid...
2013-05-03 Sven Verdoolaegebarvinok_e.cc: explicitly include gmp to avoid inclusio...
2013-05-03 Sven Verdoolaegetest_bound.c: result_data_clear: remove unused variable
2013-05-03 Sven Verdoolaegeevalue_isl.c: avoid use of isl_seq
2013-05-03 Sven Verdoolaegetest.c: remove redundant include
2013-04-23 Sven Verdoolaegeupdate isl to version 0.11.2
2013-04-08 Sven Verdoolaegeevalue_isl.c: avoid use of isl_vec internals
2013-04-07 Sven Verdoolaegeupdate pet for support for recent clangs
2013-04-07 Sven Verdoolaegeupdate isl for support for recent clangs
2013-03-10 Sven VerdoolaegeNTL_QQ: use NTL's Vec template class when available
2013-02-06 Sven Verdoolaegeisl_pw_qpolynomial_sum: error out if input does not...
2013-02-03 Sven Verdoolaegeiscc.c: print_code: do not assume isl_union_map_get_spa...
2013-02-02 Sven Verdoolaegevertex_cone: check that dimension is at least one
2013-02-02 Sven Verdoolaegebarvinok_sum_over_polytope: special case 0D polytopes
2013-02-02 Sven Verdoolaegesummate.c: sum_with_equalities: extract out sum_over_po...
2012-12-10 Sven Verdoolaegeupdate isl to version 0.11.1
2012-12-03 Sven Verdoolaegebarvinok 0.36barvinok-0.36
2012-12-03 Sven Verdoolaegelexmin.cc: lexmin: remove unused label
2012-12-03 Sven Verdoolaegelattice_point.cc: fractional_part: remove unused label
2012-12-03 Sven Verdoolaegetestlib.cc: test_hilbert: fix tests
2012-12-03 Sven Verdoolaegeiscc.c: read_bool_if_available: remove unused label
2012-12-03 Sven Verdoolaegeupdate pet to version 0.03
2012-12-03 Sven Verdoolaegeupdate isl to version 0.11
2012-12-03 Sven VerdoolaegeREADME: refer to pet/README for more details on how...
2012-11-24 Sven Verdoolaegeupdate pet for support for recent clangs
2012-11-24 Sven Verdoolaegeupdate isl for support for recent clangs
2012-09-22 Sven Verdoolaegedrop cloog submodule
2012-09-22 Sven Verdoolaegeuse isl for code generation
2012-09-22 Sven Verdoolaegeupdate isl for code generation
next