Public Git Hosting - barvinok.git/search

2024-09-01	Sven Verdoolaege	update isl to version 0.27 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-09-01	Sven Verdoolaege	update polylib for make distclean fixes Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-10	Sven Verdoolaege	topcom.c: add missing include Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-04	Sven Verdoolaege	evalue.c: esum_over_domain_cst: pass down options to... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-04	Sven Verdoolaege	evalue.c: esum_over_domain_cst: take barvinok_options Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-04	Sven Verdoolaege	evalue.c: esum_over_domain: take barvinok_options Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-04	Sven Verdoolaege	box_summate: take barvinok_options Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-04	Sven Verdoolaege	evalue.c: make esum_over_domain_cst static Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-04	Sven Verdoolaege	summate.c: sum_base: check equality constraints in... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-04	Sven Verdoolaege	summate.c: sum_base: perform shared Param_Polyhedron... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-04	Sven Verdoolaege	Param_Polyhedron_Enumerate: handle lower-dimensional... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-04	Sven Verdoolaege	scale.c: apply_expansion: drop Polyhedron parameter Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-04	Sven Verdoolaege	scale.c: Param_Polyhedron_Scale_Integer_Fast: drop... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-04	Sven Verdoolaege	scale.c: Param_Polyhedron_Scale_Integer_Slow: drop... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-04	Sven Verdoolaege	scale: Param_Polyhedron_Scale: drop Polyhedron parameter Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-04	Sven Verdoolaege	scale.c: PP_enumerate_narrow_flated: use scaled Param_Polyhe... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-04	Sven Verdoolaege	scale: use scaled Param_Polyhedron constraints Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-04	Sven Verdoolaege	scale.c: Param_Polyhedron_Scale_Integer_Slow: remove... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-04	Sven Verdoolaege	scale.c: Param_Polyhedron_Scale_Integer_{Fast,Slow... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-04	Sven Verdoolaege	scale.c: make Param_Polyhedron_Scale_Integer_{Fast... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-04	Sven Verdoolaege	Param_Polyhedron_Volume: use Param_Polyhedron constraints Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-03	Sven Verdoolaege	ISL_P2PP: store (potentially) updated constraints in... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-03	Sven Verdoolaege	introduce isl_basic_set_to_polylib_constraints Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-08-03	Sven Verdoolaege	isl_basic_map_to_polylib: extract out isl_basic_map_to_polyl... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-07-13	Sven Verdoolaege	configure.ac: require cddlib 0.94k by checking for... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-07-07	Sven Verdoolaege	update pet for support for recent versions of clang Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-07-07	Sven Verdoolaege	update isl for support for recent versions of clang Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-07-07	Sven Verdoolaege	update polylib to latest version Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
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
next

lattice point enumeration library

RSS Atom