Public Git Hosting - barvinok.git/search

2013-05-31	Sven Verdoolaege	iscc.c: obj_at_index: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	iscc.c: power: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	iscc.c: next_is_neg_int: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	evalue_isl.c: add_term: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	evalue_isl.c: relation2pwqp: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	bound.c: split_on_size: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	bound.c: verify_point: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	basis_reduction.c: isl_Polyhedron_Reduced_Basis: use... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	barvinok_summate.c: verify_point: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	barvinok_enumerate.cc: verify_point: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	barvinok.cc: card_as_sum: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	isl_map_polylib.c: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	update isl for isl_val abstraction Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	integrate isl-polylib module Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-03	Sven Verdoolaege	barvinok_enumerate.cc: explicitly include gmp to avoid... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-03	Sven Verdoolaege	barvinok_e.cc: explicitly include gmp to avoid inclusion... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-03	Sven Verdoolaege	test_bound.c: result_data_clear: remove unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-03	Sven Verdoolaege	evalue_isl.c: avoid use of isl_seq Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-03	Sven Verdoolaege	test.c: remove redundant include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-04-23	Sven Verdoolaege	update isl to version 0.11.2 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-04-08	Sven Verdoolaege	evalue_isl.c: avoid use of isl_vec internals Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-04-07	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-04-07	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-03-10	Sven Verdoolaege	NTL_QQ: use NTL's Vec template class when available Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-02-06	Sven Verdoolaege	isl_pw_qpolynomial_sum: error out if input does not... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-02-03	Sven Verdoolaege	iscc.c: print_code: do not assume isl_union_map_get_space... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-02-02	Sven Verdoolaege	vertex_cone: check that dimension is at least one Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
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
next

lattice point enumeration library

RSS Atom