Public Git Hosting - barvinok.git/search

2014-04-02	Sven Verdoolaege	isl_param_util.c: drop expr2vertex Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-02	Sven Verdoolaege	update isl for change in isl_vertex inspectors Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-02	Sven Verdoolaege	add isl_multi_aff_to_polylib Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-30	Sven Verdoolaege	iscc: add minimal support for isl_obj_pw_multi_aff... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-30	Sven Verdoolaege	update isl for isl_obj_pw_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-10	Sven Verdoolaege	gen_fun::add_union: context of result should be the... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-10	Sven Verdoolaege	reduce_evalue: reduce polynomial expressions in denominator... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-02-09	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-02-09	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-01-05	Sven Verdoolaege	update pet for change in pet_scop_collect_{reads,writes} Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-01-05	Sven Verdoolaege	update isl for isl_id_to_pw_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-01-05	Sven Verdoolaege	configure.ac: use AX_DETECT_GIT_HEAD instead of inlined... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-12-16	Sven Verdoolaege	doc: fix typo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-12-05	Sven Verdoolaege	AX_SUBMODULE: allow .git file in submodule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-08-12	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-08-12	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-07-06	Sven Verdoolaege	verify_point_data_init: use isl_set_card to count elements... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-07-06	Sven Verdoolaege	test_approx: return EXIT_FAILURE on error Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-07-06	Sven Verdoolaege	test_approx: use isl interface Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-07-06	Sven Verdoolaege	clean up tests/ehrhart/* inputs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-06-26	Sven Verdoolaege	evalue_isl.c: relation2pwqp: handle non-parametric... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-06-26	Sven Verdoolaege	update isl for isl_*_eval returning an isl_val instead... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-06-26	Sven Verdoolaege	update isl for isl_stream_read_obj returning isl_obj_val... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-06-26	Sven Verdoolaege	update pet to version 0.04 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-06-25	Sven Verdoolaege	configure.ac: replace --with-libgmp option by --with... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-06-23	Sven Verdoolaege	update isl to version 0.12 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	iscc.c: avoid use of isl_token internals Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	evalue_isl.c: div2evalue: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	evalue_isl.c: isl_pw_qpolynomial_from_eval: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	evalue_isl.c: isl_qpolynomial_from_evalue: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	evalue_isl.c: extract_base: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	verify.c: verify_point_data_init: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	verify.c: verify_context_set_bounds: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	util.c: manual_count: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	test_bound.c: result_data: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	test_bound.c: verify_point: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	sample.c: Polyhedron_Sample: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	polysign_isl.c: isl_constraints_opt: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	polysign_isl.c: isl_polyhedron_affine_sign: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	polysign_isl.c: extract_inequalities: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	polysign_isl.c: extract_equalities: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	iscc.c: read_ident: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
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
next

lattice point enumeration library

RSS Atom