Public Git Hosting - barvinok.git/search

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
2021-04-10	Sven Verdoolaege	update isl for support for recent versions of clang Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-12-07	Sven Verdoolaege	remove_all_equalities: also remove parameter equalities... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-12-07	Sven Verdoolaege	remove_all_equalities: copy context whenever main polyhedron... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-11-19	Sven Verdoolaege	barvinok 0.41.4 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-11-13	Sven Verdoolaege	update pet to version 0.11.4 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-11-01	Sven Verdoolaege	update isl to version 0.23 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-09-03	Sven Verdoolaege	update pet for support for recent versions of clang Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-09-03	Sven Verdoolaege	update isl for support for recent versions of clang Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2019-11-13	Sven Verdoolaege	barvinok 0.41.3 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2019-11-13	Sven Verdoolaege	update pet to version 0.11.3	commit \| commitdiff \| tree
2019-11-13	Sven Verdoolaege	update isl to version 0.22	commit \| commitdiff \| tree
2019-08-24	Sven Verdoolaege	update pet for support for recent versions of clang Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2019-08-24	Sven Verdoolaege	update isl for support for recent versions of clang Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2019-08-24	Sven Verdoolaege	update isl for change in output of isl_hash_table_find Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2019-08-24	Sven Verdoolaege	configure.ac: fix botched up assignment of previous... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2019-07-09	Sven Verdoolaege	configure.ac: override --with-isl option for submodules... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2019-05-11	Sven Verdoolaege	try and include compiler/linker options needed for... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2019-05-11	Sven Verdoolaege	use AC_PROG_SED instead of directly calling sed Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2019-03-28	Sven Verdoolaege	barvinok 0.41.2 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2019-03-28	Sven Verdoolaege	update pet to version 0.11.2 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2019-03-10	Sven Verdoolaege	update isl to version 0.21 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2019-01-26	Sven Verdoolaege	update pet for support for recent versions of clang Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2019-01-26	Sven Verdoolaege	update isl for support for recent versions of clang Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2019-01-26	Sven Verdoolaege	update pet for move of isl's interface/all.h Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-07-31	Sven Verdoolaege	update isl for move of interface/all.h Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-07-30	Sven Verdoolaege	barvinok 0.41.1 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-07-30	Sven Verdoolaege	update pet to version 0.11.1 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-07-30	Sven Verdoolaege	update isl to version 0.20 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-07-17	Sven Verdoolaege	update pet for direct header inclusions Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-05-27	Sven Verdoolaege	only build isl.py and its dependencies when extract_interfac... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-04-25	Sven Verdoolaege	lattice_width.c: directly include required headers Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-04-25	Sven Verdoolaege	isl_param_util.c: directly include required headers Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-04-25	Sven Verdoolaege	barvinok_e.cc: directly include required headers Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-04-17	Sven Verdoolaege	add LICENSE to distribution Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-03-16	Sven Verdoolaege	AX_SUBMODULE: add missing invocation of test Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-03-06	Sven Verdoolaege	barvinok 0.41 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-03-03	Sven Verdoolaege	update pet to version 0.11 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-03-03	Sven Verdoolaege	update isl to version 0.19 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-03-03	Sven Verdoolaege	add missing CLEANFILES and DISTCLEANFILES Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-03-03	Sven Verdoolaege	do not remove polymake/autogen.sh from distribution Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-03-03	Sven Verdoolaege	add doc/glosstex.ist to distribution Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-03-03	Sven Verdoolaege	AX_SUBMODULE: fix typo in test invocation Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-03-03	Sven Verdoolaege	interface: make language bindings depend on all relevant... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-16	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-16	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-13	Sven Verdoolaege	iscc: drop support for applying "codegen" to a set Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-02	Sven Verdoolaege	distribute both versions of interface/isl.py.top Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-02	Sven Verdoolaege	AX_SUBMODULE: only check submodule status in git repository Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-04	Sven Verdoolaege	interface/isl.py.top.*: explicitly cast self.ptr of... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-04	Sven Verdoolaege	update pet for fixes in python bindings Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-04	Sven Verdoolaege	update isl for fixes in python bindings Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-04	Sven Verdoolaege	update isl for change in interface/extract_interface... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree

lattice point enumeration library

RSS Atom