barvinok.git
13 days ago Sven Verdoolaegeiscc.c: vertices: avoid uninitialized read on error... master
2015-02-26 Sven Verdoolaegeiscc: avoid use of pet_scop_collect_schedule
2015-02-26 Sven Verdoolaegeupdate pet for representing schedule as schedule tree
2015-02-26 Sven Verdoolaegeupdate isl for sufficient schedule tree support for pet
2015-02-24 Oleksandr Zinenkoconfigure.ac: allow builddir for NTL
2015-02-24 Oleksandr Zinenkoconfigure.ac: allow builddir for GMP
2015-02-05 Sven Verdoolaegeiscc.c: use isl_stream_get_ctx instead of reading ctx...
2015-02-05 Sven Verdoolaegeiscc.c: use isl_stream_is_empty instead of reading...
2015-02-05 Sven Verdoolaegeupdate isl for isl_stream_get_ctx
2015-02-05 Sven Verdoolaegeupdate pet for support for recent clangs
2015-02-05 Sven Verdoolaegeupdate isl for support for recent clangs
2014-12-18 Sven Verdoolaegesummate.c: avoid use of isl_union_pw_qpolynomial_add_pw...
2014-12-18 Sven Verdoolaegebarvinok.cc: avoid use of isl_union_pw_qpolynomial_add_...
2014-12-18 Sven Verdoolaegeisl_union_set_lattice_width: check whether input is...
2014-11-23 Sven Verdoolaegesummate.c: join_compatible: avoid use of undocumented...
2014-11-23 Sven Verdoolaegesummate.c: join_compatible: rename "dim" variables...
2014-10-26 Sven Verdoolaegeupdate pet to version 0.06
2014-10-26 Sven Verdoolaegeupdate isl to version 0.14
2014-10-14 Sven VerdoolaegeREADME: update contact information
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...
next