repo.or.cz / barvinok.git / shortlog
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
shortlog | fulllog | HEAD ⋅ prev ⋅ next
barvinok.git
2013-04-07 Sven Verdoolaegeupdate pet for support for recent clangs master commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-07 Sven Verdoolaegeupdate isl for support for recent clangs commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-10 Sven VerdoolaegeNTL_QQ: use NTL's Vec template class when available commit | commitdiff | tree | snapshot (tar.gz zip)
2013-02-06 Sven Verdoolaegeisl_pw_qpolynomial_sum: error out if input does not... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-02-03 Sven Verdoolaegeiscc.c: print_code: do not assume isl_union_map_get_spa... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-02-02 Sven Verdoolaegevertex_cone: check that dimension is at least one commit | commitdiff | tree | snapshot (tar.gz zip)
2013-02-02 Sven Verdoolaegebarvinok_sum_over_polytope: special case 0D polytopes commit | commitdiff | tree | snapshot (tar.gz zip)
2013-02-02 Sven Verdoolaegesummate.c: sum_with_equalities: extract out sum_over_po... commit | commitdiff | tree | snapshot (tar.gz zip)
2012-12-10 Sven Verdoolaegeupdate isl to version 0.11.1 commit | commitdiff | tree | snapshot (tar.gz zip)
2012-12-03 Sven Verdoolaegebarvinok 0.36 barvinok-0.36 commit | commitdiff | tree | snapshot (tar.gz zip)
2012-12-03 Sven Verdoolaegelexmin.cc: lexmin: remove unused label commit | commitdiff | tree | snapshot (tar.gz zip)
2012-12-03 Sven Verdoolaegelattice_point.cc: fractional_part: remove unused label commit | commitdiff | tree | snapshot (tar.gz zip)
2012-12-03 Sven Verdoolaegetestlib.cc: test_hilbert: fix tests commit | commitdiff | tree | snapshot (tar.gz zip)
2012-12-03 Sven Verdoolaegeiscc.c: read_bool_if_available: remove unused label commit | commitdiff | tree | snapshot (tar.gz zip)
2012-12-03 Sven Verdoolaegeupdate pet to version 0.03 commit | commitdiff | tree | snapshot (tar.gz zip)
2012-12-03 Sven Verdoolaegeupdate isl to version 0.11 commit | commitdiff | tree | snapshot (tar.gz zip)
2012-12-03 Sven VerdoolaegeREADME: refer to pet/README for more details on how... commit | commitdiff | tree | snapshot (tar.gz zip)
2012-11-24 Sven Verdoolaegeupdate pet for support for recent clangs commit | commitdiff | tree | snapshot (tar.gz zip)
2012-11-24 Sven Verdoolaegeupdate isl for support for recent clangs commit | commitdiff | tree | snapshot (tar.gz zip)
2012-09-22 Sven Verdoolaegedrop cloog submodule commit | commitdiff | tree | snapshot (tar.gz zip)
2012-09-22 Sven Verdoolaegeuse isl for code generation commit | commitdiff | tree | snapshot (tar.gz zip)
2012-09-22 Sven Verdoolaegeupdate isl for code generation commit | commitdiff | tree | snapshot (tar.gz zip)
2012-09-21 Sven Verdoolaegeiscc.c: add missing includes commit | commitdiff | tree | snapshot (tar.gz zip)
2012-09-03 Sven Verdoolaegeupdate isl for rename of !isl_set_dim_has_{lower,upper... commit | commitdiff | tree | snapshot (tar.gz zip)
2012-08-05 Sven Verdoolaegedoc: add another paper refering to the library commit | commitdiff | tree | snapshot (tar.gz zip)
2012-08-05 Sven VerdoolaegeREADME: clarify that /opt is the example installation... commit | commitdiff | tree | snapshot (tar.gz zip)
2012-08-05 Sven Verdoolaegeexport isl_*_pw_qpolynomial_sum commit | commitdiff | tree | snapshot (tar.gz zip)
2012-08-05 Sven Verdoolaegeupdate pet for adding missing include commit | commitdiff | tree | snapshot (tar.gz zip)
2012-06-08 Sven Verdoolaegeconfigure.ac: check for NTL/ZZ.h header before checking... commit | commitdiff | tree | snapshot (tar.gz zip)
2012-06-04 Sven Verdoolaegeupdate pet to version 0.02 commit | commitdiff | tree | snapshot (tar.gz zip)
2012-06-03 Sven Verdoolaegeupdate isl to version 0.10 commit | commitdiff | tree | snapshot (tar.gz zip)
2012-06-03 Sven Verdoolaegeoptions.c: avoid calling isl_alloc_type without valid... commit | commitdiff | tree | snapshot (tar.gz zip)
2012-06-03 Sven Verdoolaegeevalue_isl.c: div2evalue: explicitly check for and... commit | commitdiff | tree | snapshot (tar.gz zip)
2012-04-17 Sven Verdoolaegeupdate isl for normalization of isl_term_get_div result commit | commitdiff | tree | snapshot (tar.gz zip)
2012-03-30 Sven Verdoolaegeevalue_isl.c: add_term: improve error handling commit | commitdiff | tree | snapshot (tar.gz zip)
2012-03-27 Sven Verdoolaegeupdate pet for support for recent clangs commit | commitdiff | tree | snapshot (tar.gz zip)
2012-03-27 Sven Verdoolaegeupdate isl for support for recent clangs commit | commitdiff | tree | snapshot (tar.gz zip)
2012-03-07 Sven Verdoolaegeiscc: support computation of arbitrary (non-zero) power... commit | commitdiff | tree | snapshot (tar.gz zip)
2012-03-07 Sven Verdoolaegeupdate isl for isl_union_map_fixed_power commit | commitdiff | tree | snapshot (tar.gz zip)
2012-03-06 Sven Verdoolaegeupdate isl for change in isl_pw_aff_cond commit | commitdiff | tree | snapshot (tar.gz zip)
2012-02-12 Sven Verdoolaegeevalue.c: avoid warning on use of && inside || commit | commitdiff | tree | snapshot (tar.gz zip)
2012-02-11 Sven Verdoolaegebarvinok_e.cc: enumerate_line: fix typo commit | commitdiff | tree | snapshot (tar.gz zip)
2012-02-11 Sven Verdoolaegesummate.c: add_unbounded_guarded_qp: update to change... commit | commitdiff | tree | snapshot (tar.gz zip)
2012-02-11 Sven Verdoolaegeupdate pet for support for recent clangs commit | commitdiff | tree | snapshot (tar.gz zip)
2012-02-02 Sven Verdoolaegesummate.c: sum_base: check for and remove equalities commit | commitdiff | tree | snapshot (tar.gz zip)
2012-01-30 Sven Verdoolaegeupdate pet for support for recent clangs commit | commitdiff | tree | snapshot (tar.gz zip)
2012-01-30 Sven Verdoolaegeupdate isl for support for recent clangs commit | commitdiff | tree | snapshot (tar.gz zip)
2011-12-18 Sven Verdoolaegebarvinok 0.35 barvinok-0.35 commit | commitdiff | tree | snapshot (tar.gz zip)
2011-12-18 Sven Verdoolaegeupdate pet to version 0.01 commit | commitdiff | tree | snapshot (tar.gz zip)
2011-12-18 Sven Verdoolaegeupdate isl to version 0.09 commit | commitdiff | tree | snapshot (tar.gz zip)
2011-12-18 Sven Verdoolaegeadd isl.py to distribution commit | commitdiff | tree | snapshot (tar.gz zip)
2011-12-18 Sven Verdoolaegeadd interface/all.h and interface/isl.py.top to distrib... commit | commitdiff | tree | snapshot (tar.gz zip)
2011-12-12 Sven Verdoolaegeupdate cloog to version 0.17.0 commit | commitdiff | tree | snapshot (tar.gz zip)
2011-12-10 Sven Verdoolaegeisl_pw_qpolynomial_from_evalue: construct zero result... commit | commitdiff | tree | snapshot (tar.gz zip)
2011-11-17 Sven VerdoolaegeParamLine_Length_mod: properly handle empty input commit | commitdiff | tree | snapshot (tar.gz zip)
2011-11-17 Sven Verdoolaegepartition2enumeration: fix memory leak when input is... commit | commitdiff | tree | snapshot (tar.gz zip)
2011-11-14 Sven Verdoolaegeupdate pet for introduction of pet_options commit | commitdiff | tree | snapshot (tar.gz zip)
2011-11-14 Sven Verdoolaegeiscc: use isl_ctx_parse_options commit | commitdiff | tree | snapshot (tar.gz zip)
2011-11-14 Sven Verdoolaegeupdate isl for hiding of isl_options commit | commitdiff | tree | snapshot (tar.gz zip)
2011-11-14 Sven Verdoolaegeupdate isl for introduction of isl_args commit | commitdiff | tree | snapshot (tar.gz zip)
2011-11-14 Sven Verdoolaegeupdate pet for support for recent clangs commit | commitdiff | tree | snapshot (tar.gz zip)
2011-11-13 Sven Verdoolaegeupdate isl for support for recent clangs commit | commitdiff | tree | snapshot (tar.gz zip)
2011-11-07 Sven VerdoolaegeREADME: drop reference to piplib commit | commitdiff | tree | snapshot (tar.gz zip)
2011-11-07 Sven Verdoolaegeiscc: add "params" operation commit | commitdiff | tree | snapshot (tar.gz zip)
2011-11-07 Sven Verdoolaegedoc: explain syntax for parameter domains commit | commitdiff | tree | snapshot (tar.gz zip)
2011-11-07 Sven Verdoolaegeupdate isl for special casing of gist with parameter... commit | commitdiff | tree | snapshot (tar.gz zip)
2011-11-02 Sven Verdoolaegeisl_obj_str_print: properly pass along isl_printer commit | commitdiff | tree | snapshot (tar.gz zip)
2011-10-23 Sven Verdoolaegeexplicitly link in all required libraries commit | commitdiff | tree | snapshot (tar.gz zip)
2011-10-23 Sven Verdoolaegeconfigure.ac: quote AC_LANG_PROGRAM call to avoid warning commit | commitdiff | tree | snapshot (tar.gz zip)
2011-10-23 Sven Verdoolaegeupdate pet for explicitly linking in gmp commit | commitdiff | tree | snapshot (tar.gz zip)
2011-10-23 Sven Verdoolaegeupdate isl to version 0.08 commit | commitdiff | tree | snapshot (tar.gz zip)
2011-10-23 Sven Verdoolaegeupdate polylib to version 5.22.5 + configure fix commit | commitdiff | tree | snapshot (tar.gz zip)
2011-10-19 Sven Verdoolaegeupdate cloog for rename of LANGUAGE_C to CLOOG_LANGUAGE_C commit | commitdiff | tree | snapshot (tar.gz zip)
2011-10-16 Sven Verdoolaegeiscc: add "map % domain" operation commit | commitdiff | tree | snapshot (tar.gz zip)
2011-10-16 Sven Verdoolaegeupdate isl for isl_union_map_gist_domain commit | commitdiff | tree | snapshot (tar.gz zip)
2011-10-15 Sven Verdoolaegepolysign.h: add missing declaration of glpk_polyhedron_... commit | commitdiff | tree | snapshot (tar.gz zip)
2011-10-14 Sven Verdoolaegeupdate pet for support for recent clangs commit | commitdiff | tree | snapshot (tar.gz zip)
2011-10-13 Sven Verdoolaegeupdate isl for support for recent clangs commit | commitdiff | tree | snapshot (tar.gz zip)
2011-10-12 Sven Verdoolaegehull.c: add missing include commit | commitdiff | tree | snapshot (tar.gz zip)
2011-10-12 Sven Verdoolaegereduce_domain.c: include barvinok/barvinok.h for barvin... commit | commitdiff | tree | snapshot (tar.gz zip)
2011-10-12 Sven Verdoolaegeevalue_isl.c: relation2pwqp: properly handle parameter... commit | commitdiff | tree | snapshot (tar.gz zip)
2011-10-12 Sven Verdoolaegebarvinok_enumerate.cc: verify_isl: properly handle... commit | commitdiff | tree | snapshot (tar.gz zip)
2011-10-06 Sven Verdoolaegeadd isl.py target commit | commitdiff | tree | snapshot (tar.gz zip)
2011-10-06 Sven Verdoolaegeexport some functions commit | commitdiff | tree | snapshot (tar.gz zip)
2011-10-06 Sven Verdoolaegeconfigure.ac: set ISL_BUILDDIR also in case of bundled isl commit | commitdiff | tree | snapshot (tar.gz zip)
2011-10-06 Sven Verdoolaegeupdate isl for extract_interface commit | commitdiff | tree | snapshot (tar.gz zip)
2011-09-30 Tobias Grosseriscc: use cloog_union_domain_from_isl_set commit | commitdiff | tree | snapshot (tar.gz zip)
2011-09-26 Sven Verdoolaegeupdate isl for change in isl_pw_aff_set_tuple_id prototype commit | commitdiff | tree | snapshot (tar.gz zip)
2011-09-26 Sven Verdoolaegeinclude pet in distribution commit | commitdiff | tree | snapshot (tar.gz zip)
2011-09-26 Sven Verdoolaegeupdate pet for fix in distribution commit | commitdiff | tree | snapshot (tar.gz zip)
2011-09-26 Sven Verdoolaegeupdate isl for isl_set_from_params commit | commitdiff | tree | snapshot (tar.gz zip)
2011-09-26 Sven Verdoolaegedrop omega submodule commit | commitdiff | tree | snapshot (tar.gz zip)
2011-09-26 Sven Verdoolaegeconfigure.ac: take into account prefix of system omega commit | commitdiff | tree | snapshot (tar.gz zip)
2011-09-22 Sven Verdoolaegeupdate isl for fix in factorization commit | commitdiff | tree | snapshot (tar.gz zip)
2011-09-19 Sven Verdoolaegeadd some iscc tests commit | commitdiff | tree | snapshot (tar.gz zip)
2011-09-19 Sven Verdoolaegeiscc: only print new line if something was printed commit | commitdiff | tree | snapshot (tar.gz zip)
2011-09-19 Sven Verdoolaegeiscc: add "assert" operation commit | commitdiff | tree | snapshot (tar.gz zip)
2011-09-19 Sven Verdoolaegeiscc: add == operations commit | commitdiff | tree | snapshot (tar.gz zip)
2011-09-19 Sven Verdoolaegeiscc: call_bin_op: handle binary test operations commit | commitdiff | tree | snapshot (tar.gz zip)
2011-09-18 Sven Verdoolaegeiscc: extract out call_bin_op commit | commitdiff | tree | snapshot (tar.gz zip)
next
lattice point enumeration library