Public Git Hosting - barvinok.git/search

2023-06-03	Sven Verdoolaege	use test scripts for performing tests Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-05-01	Sven Verdoolaege	barvinok_enumerate_e: drop Omega simplification Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-05-01	Sven Verdoolaege	barvinok_enumerate_e: drop option to use Parker's DFA... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-05-01	Sven Verdoolaege	remove selection of default specialization Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-05-01	Sven Verdoolaege	doc/barvinok.bib: drop Parker2004 entry Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-05-01	Sven Verdoolaege	doc: update outputs of examples Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-10	Sven Verdoolaege	drop declaration of pip_*_Polyhedron_Reduced_Basis Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-10	Sven Verdoolaege	drop NTL_5_3_2.patch Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-10	Sven Verdoolaege	scale.c: Param_Polyhedron_Domain: only set Facets in... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-02	Sven Verdoolaege	barvinok 0.41.7 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-02	Sven Verdoolaege	update pet to version 0.11.7 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-02	Sven Verdoolaege	update isl to version 0.26 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-20	Sven Verdoolaege	add some iscc tests for fixed powers Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-20	Sven Verdoolaege	iscc: fix computation of (negative) fixed powers of... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-07	Sven Verdoolaege	update isl for change in coalescing Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-04	Sven Verdoolaege	update pet for support for recent versions of clang Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-04	Sven Verdoolaege	update isl for support for recent versions of clang Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-21	Sven Verdoolaege	require C++11 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-21	Sven Verdoolaege	drop support for __gnu_cxx::hash_map Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-21	Sven Verdoolaege	replace obsolete AC_TRY_LINK by AC_LINK_IFELSE Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-21	Sven Verdoolaege	replace obsolete AC_TRY_COMPILE by AC_COMPILE_IFELSE Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-21	Sven Verdoolaege	replace obsolete AC_HELP_STRING calls by AS_HELP_STRING Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-21	Sven Verdoolaege	replace obsolete AC_PROG_LIBTOOL by LT_INIT Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-21	Sven Verdoolaege	drop ev_size.c Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-21	Sven Verdoolaege	drop count_domain.c Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-21	Sven Verdoolaege	drop collect_nonsimple.c Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-21	Sven Verdoolaege	drop collect_polytopes2.c Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-21	Sven Verdoolaege	drop collect_polytopes.c Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-21	Sven Verdoolaege	drop verify_lexsmaller test application Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-21	Sven Verdoolaege	drop polytope_lattice_width application Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-21	Sven Verdoolaege	drop polyhedron_sample application Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-21	Sven Verdoolaege	drop polytope_scan application Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-21	Sven Verdoolaege	drop remove_redundant_equalities application Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-20	Sven Verdoolaege	update documentation to removal of barvinok_enumerate_pip_wi... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-20	Sven Verdoolaege	configure.ac: drop AM_PROG_LEX and AC_PROG_YACC calls Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-14	Sven Verdoolaege	add an iscc weighted counting test case with an equality... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-14	Sven Verdoolaege	test box and bernoulli summation algorithms on square_p2... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-07	Sven Verdoolaege	add tests/ehrhart_union.README explaining origin of... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-07	Sven Verdoolaege	add tests/ehrhart.README explaining origin of some... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-07	Sven Verdoolaege	add tests/lexmin.README explaining origin of some of... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-07	Sven Verdoolaege	tests/pwqp/hong*.pwqp: mention contributor Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-07	Sven Verdoolaege	tests/iscc/leroux: mention origin Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-07	Sven Verdoolaege	tests/iscc/lattice_width-jon_*: mention contributor Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-07	Sven Verdoolaege	tests/iscc/count/garbervetsky: mention contributor Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-07	Sven Verdoolaege	tests/iscc/count/empty7: mention contributor Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-07	Sven Verdoolaege	tests/iscc/count/andreas: mention contributor Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-07	Sven Verdoolaege	tests/ehrhart_e/*/seghir-: mention contributor Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-07	Sven Verdoolaege	tests/ehrhart/classen*: mention contributor Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-07	Sven Verdoolaege	convert sample test to iscc test Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-08-07	Sven Verdoolaege	convert counting tests to iscc tests Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2022-07-31	Sven Verdoolaege	make isl_basic_set_lattice_width static Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-07-24	Sven Verdoolaege	summate.c: add missing include Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-07-02	Sven Verdoolaege	barvinok 0.41.6 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-07-02	Sven Verdoolaege	update pet to version 0.11.6 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-07-02	Sven Verdoolaege	update isl to version 0.25 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-07-02	Sven Verdoolaege	allow static building of executables Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-07-02	Sven Verdoolaege	configure.ac: rename BV_LDFLAGS to BV_LIB_LDFLAGS Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-07-02	Sven Verdoolaege	configure.ac: drop spurious space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-07-02	Sven Verdoolaege	update pet for support for recent versions of clang Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-07-02	Sven Verdoolaege	update isl for support for recent versions of clang Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	manual_count: rename "dim" variable to "space" Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	isl_map_apply_pw_qpolynomial: rename "dim" variables... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	summate.c: pw_qpolynomial_apply: rename "dim" variables... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	isl_union_set_apply_union_pw_qpolynomial: rename "dim... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	summate.c: pw_qpolynomial_apply_set: rename "dim" variables... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	isl_union_map_apply_union_pw_qpolynomial: rename "dim... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	isl_union_pw_qpolynomial_sum: rename "dim" variable... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	Polyhedron_Sample: rename "dim" variable to "space" Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	isl_constraints_opt: rename "dim" variable to "space" Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	isl_polyhedron_affine_sign: rename "dim" variable to... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	bound.c: split_on_domain_size: rename "dim" variable... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	isl_Polyhedron_Reduced_Basis: rename "dim" variable... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	barvinok_enumerate.cc: verify_isl: rename "dim" variable... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	isl_union_map_card: rename "dim" variable to "space" Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	isl_union_set_card: rename "dim" variable to "space" Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	isl_map_card: rename "dim" variable to "space" Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	barvinok.cc: card_as_sum: rename "dim" variable to... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	barvinok.cc: basic_map_card: rename "dim" variable... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	isl_union_set_lattice_width: rename "dim" variable... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	isl_set_lattice_width: rename "dim" variable to "space" Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	isl_basic_set_lattice_width: rename "dim" variable... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	evalue_isl.c: relation2pwqp: rename "dim" variable... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	evalue_isl.c: extract_base: rename "dim" parameter... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	isl_pw_qpolynomial_from_evalue: rename "dim" parameter... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	isl_qpolynomial_from_evalue: rename "dim" parameter... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-05-01	Sven Verdoolaege	verify_options_set_range_pwqp.c: use isl_pw_qpolynomial_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-04-30	Sven Verdoolaege	extract out shared verify_options_set_range_pwqp Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-04-30	Sven Verdoolaege	barvinok_summate.c: verify: fix memory management annotation Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-04-24	Sven Verdoolaege	evalue_isl.c: add_guarded_qp: drop unused variable Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-04-24	Sven Verdoolaege	barvinok_summate.c: verify_point: drop unused variable Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2022-03-19	Sven Verdoolaege	doc: update gforge.inria.fr link Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2021-08-15	Sven Verdoolaege	barvinok_bound: fix --iterate option Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2021-08-15	Sven Verdoolaege	bound.c: iterate: rename "dim" variable to "space" Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2021-07-26	Sven Verdoolaege	update pet for more relaxed pet_expr_is_equal index... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2021-05-01	Sven Verdoolaege	barvinok 0.41.5 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2021-05-01	Sven Verdoolaege	update pet to version 0.11.5 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2021-05-01	Sven Verdoolaege	update isl to version 0.24 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2021-04-10	Sven Verdoolaege	Makefile.am: drop LOCAL_POLYLIB_LA Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2021-04-10	Sven Verdoolaege	build libisl.la before libpet.la Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2021-04-10	Sven Verdoolaege	update pet for support for recent versions of clang Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom