barvinok.git
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
2012-09-21 Sven Verdoolaegeiscc.c: add missing includes
2012-09-03 Sven Verdoolaegeupdate isl for rename of !isl_set_dim_has_{lower,upper...
2012-08-05 Sven Verdoolaegedoc: add another paper refering to the library
2012-08-05 Sven VerdoolaegeREADME: clarify that /opt is the example installation...
2012-08-05 Sven Verdoolaegeexport isl_*_pw_qpolynomial_sum
2012-08-05 Sven Verdoolaegeupdate pet for adding missing include
2012-06-08 Sven Verdoolaegeconfigure.ac: check for NTL/ZZ.h header before checking...
2012-06-04 Sven Verdoolaegeupdate pet to version 0.02
2012-06-03 Sven Verdoolaegeupdate isl to version 0.10
2012-06-03 Sven Verdoolaegeoptions.c: avoid calling isl_alloc_type without valid...
2012-06-03 Sven Verdoolaegeevalue_isl.c: div2evalue: explicitly check for and...
2012-04-17 Sven Verdoolaegeupdate isl for normalization of isl_term_get_div result
2012-03-30 Sven Verdoolaegeevalue_isl.c: add_term: improve error handling
2012-03-27 Sven Verdoolaegeupdate pet for support for recent clangs
2012-03-27 Sven Verdoolaegeupdate isl for support for recent clangs
2012-03-07 Sven Verdoolaegeiscc: support computation of arbitrary (non-zero) power...
2012-03-07 Sven Verdoolaegeupdate isl for isl_union_map_fixed_power
2012-03-06 Sven Verdoolaegeupdate isl for change in isl_pw_aff_cond
2012-02-12 Sven Verdoolaegeevalue.c: avoid warning on use of && inside ||
2012-02-11 Sven Verdoolaegebarvinok_e.cc: enumerate_line: fix typo
2012-02-11 Sven Verdoolaegesummate.c: add_unbounded_guarded_qp: update to change...
2012-02-11 Sven Verdoolaegeupdate pet for support for recent clangs
2012-02-02 Sven Verdoolaegesummate.c: sum_base: check for and remove equalities
2012-01-30 Sven Verdoolaegeupdate pet for support for recent clangs
2012-01-30 Sven Verdoolaegeupdate isl for support for recent clangs
2011-12-18 Sven Verdoolaegebarvinok 0.35barvinok-0.35
2011-12-18 Sven Verdoolaegeupdate pet to version 0.01
2011-12-18 Sven Verdoolaegeupdate isl to version 0.09
2011-12-18 Sven Verdoolaegeadd isl.py to distribution
2011-12-18 Sven Verdoolaegeadd interface/all.h and interface/isl.py.top to distrib...
2011-12-12 Sven Verdoolaegeupdate cloog to version 0.17.0
2011-12-10 Sven Verdoolaegeisl_pw_qpolynomial_from_evalue: construct zero result...
2011-11-17 Sven VerdoolaegeParamLine_Length_mod: properly handle empty input
2011-11-17 Sven Verdoolaegepartition2enumeration: fix memory leak when input is...
2011-11-14 Sven Verdoolaegeupdate pet for introduction of pet_options
2011-11-14 Sven Verdoolaegeiscc: use isl_ctx_parse_options
2011-11-14 Sven Verdoolaegeupdate isl for hiding of isl_options
2011-11-14 Sven Verdoolaegeupdate isl for introduction of isl_args
2011-11-14 Sven Verdoolaegeupdate pet for support for recent clangs
2011-11-13 Sven Verdoolaegeupdate isl for support for recent clangs
2011-11-07 Sven VerdoolaegeREADME: drop reference to piplib
2011-11-07 Sven Verdoolaegeiscc: add "params" operation
2011-11-07 Sven Verdoolaegedoc: explain syntax for parameter domains
2011-11-07 Sven Verdoolaegeupdate isl for special casing of gist with parameter...
2011-11-02 Sven Verdoolaegeisl_obj_str_print: properly pass along isl_printer
2011-10-23 Sven Verdoolaegeexplicitly link in all required libraries
2011-10-23 Sven Verdoolaegeconfigure.ac: quote AC_LANG_PROGRAM call to avoid warning
2011-10-23 Sven Verdoolaegeupdate pet for explicitly linking in gmp
2011-10-23 Sven Verdoolaegeupdate isl to version 0.08
2011-10-23 Sven Verdoolaegeupdate polylib to version 5.22.5 + configure fix
2011-10-19 Sven Verdoolaegeupdate cloog for rename of LANGUAGE_C to CLOOG_LANGUAGE_C
2011-10-16 Sven Verdoolaegeiscc: add "map % domain" operation
2011-10-16 Sven Verdoolaegeupdate isl for isl_union_map_gist_domain
2011-10-15 Sven Verdoolaegepolysign.h: add missing declaration of glpk_polyhedron_...
2011-10-14 Sven Verdoolaegeupdate pet for support for recent clangs
2011-10-13 Sven Verdoolaegeupdate isl for support for recent clangs
2011-10-12 Sven Verdoolaegehull.c: add missing include
2011-10-12 Sven Verdoolaegereduce_domain.c: include barvinok/barvinok.h for barvin...
2011-10-12 Sven Verdoolaegeevalue_isl.c: relation2pwqp: properly handle parameter...
2011-10-12 Sven Verdoolaegebarvinok_enumerate.cc: verify_isl: properly handle...
2011-10-06 Sven Verdoolaegeadd isl.py target
2011-10-06 Sven Verdoolaegeexport some functions
2011-10-06 Sven Verdoolaegeconfigure.ac: set ISL_BUILDDIR also in case of bundled isl
2011-10-06 Sven Verdoolaegeupdate isl for extract_interface
2011-09-30 Tobias Grosseriscc: use cloog_union_domain_from_isl_set
2011-09-26 Sven Verdoolaegeupdate isl for change in isl_pw_aff_set_tuple_id prototype
2011-09-26 Sven Verdoolaegeinclude pet in distribution
2011-09-26 Sven Verdoolaegeupdate pet for fix in distribution
2011-09-26 Sven Verdoolaegeupdate isl for isl_set_from_params
2011-09-26 Sven Verdoolaegedrop omega submodule
2011-09-26 Sven Verdoolaegeconfigure.ac: take into account prefix of system omega
2011-09-22 Sven Verdoolaegeupdate isl for fix in factorization
2011-09-19 Sven Verdoolaegeadd some iscc tests
2011-09-19 Sven Verdoolaegeiscc: only print new line if something was printed
2011-09-19 Sven Verdoolaegeiscc: add "assert" operation
2011-09-19 Sven Verdoolaegeiscc: add == operations
2011-09-19 Sven Verdoolaegeiscc: call_bin_op: handle binary test operations
2011-09-18 Sven Verdoolaegeiscc: extract out call_bin_op
2011-09-18 Sven Verdoolaegeupdate isl for "==" tokens
2011-09-16 Sven Verdoolaegeupdate isl for change in isl_basic_set_read_from_file
2011-09-16 Sven Verdoolaegeupdate cloog for include fix
2011-09-13 Sven Verdoolaegeupdate isl for removal of isl_div
2011-09-13 Sven Verdoolaegeupdate isl for change in isl_{in,}equality_alloc
2011-09-13 Sven Verdoolaegeupdate pet for compatibility with recent clangs
2011-09-07 Sven Verdoolaegeupdate isl-polylib for include path ordering issue
2011-09-05 Sven Verdoolaegeupdate isl for change in space of isl_pw_* objects
2011-09-05 Sven Verdoolaegeupdate isl for explicit parameter spaces
next