Public Git Hosting - barvinok.git/search

2013-02-02	Sven Verdoolaege	barvinok_sum_over_polytope: special case 0D polytopes Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-02-02	Sven Verdoolaege	summate.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 Verdoolaege	update isl to version 0.11.1 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-12-03	Sven Verdoolaege	barvinok 0.36 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-12-03	Sven Verdoolaege	lexmin.cc: lexmin: remove unused label Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-12-03	Sven Verdoolaege	lattice_point.cc: fractional_part: remove unused label Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-12-03	Sven Verdoolaege	testlib.cc: test_hilbert: fix tests Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-12-03	Sven Verdoolaege	iscc.c: read_bool_if_available: remove unused label Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-12-03	Sven Verdoolaege	update pet to version 0.03 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-12-03	Sven Verdoolaege	update isl to version 0.11 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-12-03	Sven Verdoolaege	README: refer to pet/README for more details on how... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-24	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-24	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-22	Sven Verdoolaege	drop cloog submodule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-22	Sven Verdoolaege	use isl for code generation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-22	Sven Verdoolaege	update isl for code generation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-21	Sven Verdoolaege	iscc.c: add missing includes Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-03	Sven Verdoolaege	update 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 Verdoolaege	doc: add another paper refering to the library Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-08-05	Sven Verdoolaege	README: clarify that /opt is the example installation... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-08-05	Sven Verdoolaege	export isl_*_pw_qpolynomial_sum Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-08-05	Sven Verdoolaege	update pet for adding missing include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-06-08	Sven Verdoolaege	configure.ac: check for NTL/ZZ.h header before checking... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-06-04	Sven Verdoolaege	update pet to version 0.02 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-06-03	Sven Verdoolaege	update isl to version 0.10 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-06-03	Sven Verdoolaege	options.c: avoid calling isl_alloc_type without valid... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-06-03	Sven Verdoolaege	evalue_isl.c: div2evalue: explicitly check for and... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-04-17	Sven Verdoolaege	update isl for normalization of isl_term_get_div result Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-30	Sven Verdoolaege	evalue_isl.c: add_term: improve error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-27	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-27	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-07	Sven Verdoolaege	iscc: support computation of arbitrary (non-zero) powers... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-07	Sven Verdoolaege	update isl for isl_union_map_fixed_power Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	update isl for change in isl_pw_aff_cond Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-02-12	Sven Verdoolaege	evalue.c: avoid warning on use of && inside \|\| Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-02-11	Sven Verdoolaege	barvinok_e.cc: enumerate_line: fix typo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-02-11	Sven Verdoolaege	summate.c: add_unbounded_guarded_qp: update to change... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-02-11	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-02-02	Sven Verdoolaege	summate.c: sum_base: check for and remove equalities Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-01-30	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-01-30	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-12-18	Sven Verdoolaege	barvinok 0.35 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-12-18	Sven Verdoolaege	update pet to version 0.01 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-12-18	Sven Verdoolaege	update isl to version 0.09 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-12-18	Sven Verdoolaege	add isl.py to distribution Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-12-18	Sven Verdoolaege	add interface/all.h and interface/isl.py.top to distribution Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-12-12	Sven Verdoolaege	update cloog to version 0.17.0 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-12-10	Sven Verdoolaege	isl_pw_qpolynomial_from_evalue: construct zero result... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-17	Sven Verdoolaege	ParamLine_Length_mod: properly handle empty input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-17	Sven Verdoolaege	partition2enumeration: fix memory leak when input is... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-14	Sven Verdoolaege	update pet for introduction of pet_options Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-14	Sven Verdoolaege	iscc: use isl_ctx_parse_options Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-14	Sven Verdoolaege	update isl for hiding of isl_options Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-14	Sven Verdoolaege	update isl for introduction of isl_args Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-14	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-13	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-07	Sven Verdoolaege	README: drop reference to piplib Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-07	Sven Verdoolaege	iscc: add "params" operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-07	Sven Verdoolaege	doc: explain syntax for parameter domains Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-07	Sven Verdoolaege	update isl for special casing of gist with parameter... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-02	Sven Verdoolaege	isl_obj_str_print: properly pass along isl_printer Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-23	Sven Verdoolaege	explicitly link in all required libraries Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-23	Sven Verdoolaege	configure.ac: quote AC_LANG_PROGRAM call to avoid warning Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-23	Sven Verdoolaege	update pet for explicitly linking in gmp Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-23	Sven Verdoolaege	update isl to version 0.08 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-23	Sven Verdoolaege	update polylib to version 5.22.5 + configure fix Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-19	Sven Verdoolaege	update cloog for rename of LANGUAGE_C to CLOOG_LANGUAGE_C Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-16	Sven Verdoolaege	iscc: add "map % domain" operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-16	Sven Verdoolaege	update isl for isl_union_map_gist_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-15	Sven Verdoolaege	polysign.h: add missing declaration of glpk_polyhedron_affin... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-14	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-13	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-12	Sven Verdoolaege	hull.c: add missing include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-12	Sven Verdoolaege	reduce_domain.c: include barvinok/barvinok.h for barvinok_co... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-12	Sven Verdoolaege	evalue_isl.c: relation2pwqp: properly handle parameter... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-12	Sven Verdoolaege	barvinok_enumerate.cc: verify_isl: properly handle... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-06	Sven Verdoolaege	add isl.py target Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-06	Sven Verdoolaege	export some functions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-06	Sven Verdoolaege	configure.ac: set ISL_BUILDDIR also in case of bundled isl Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-06	Sven Verdoolaege	update isl for extract_interface Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-30	Tobias Grosser	iscc: use cloog_union_domain_from_isl_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-26	Sven Verdoolaege	update isl for change in isl_pw_aff_set_tuple_id prototype Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-26	Sven Verdoolaege	include pet in distribution Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-26	Sven Verdoolaege	update pet for fix in distribution Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-26	Sven Verdoolaege	update isl for isl_set_from_params Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-26	Sven Verdoolaege	drop omega submodule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-26	Sven Verdoolaege	configure.ac: take into account prefix of system omega Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-22	Sven Verdoolaege	update isl for fix in factorization Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-19	Sven Verdoolaege	add some iscc tests Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-19	Sven Verdoolaege	iscc: only print new line if something was printed Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-19	Sven Verdoolaege	iscc: add "assert" operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-19	Sven Verdoolaege	iscc: add == operations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-19	Sven Verdoolaege	iscc: call_bin_op: handle binary test operations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-18	Sven Verdoolaege	iscc: extract out call_bin_op Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-18	Sven Verdoolaege	update isl for "==" tokens Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-16	Sven Verdoolaege	update isl for change in isl_basic_set_read_from_file Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-16	Sven Verdoolaege	update cloog for include fix Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-13	Sven Verdoolaege	update isl for removal of isl_div Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-13	Sven Verdoolaege	update isl for change in isl_{in,}equality_alloc Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-13	Sven Verdoolaege	update pet for compatibility with recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom