Public Git Hosting - barvinok.git/search

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 Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2019-11-13	Sven Verdoolaege	update isl to version 0.22 Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	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-09-19	Sven Verdoolaege	drop EXTRA_{test,barvinok}_{summate,bound}_SOURCES 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
2017-03-13	Sven Verdoolaege	summate.c: join_compatible: use isl_space_has_equal_params Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-13	Sven Verdoolaege	update isl for isl_space_has_equal_params Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-13	Sven Verdoolaege	verify.c: verify_point_data_init: explicitly convert... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-13	Sven Verdoolaege	barvinok.cc: basic_map_card: explicitly reintroduce... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-13	Sven Verdoolaege	update isl for isl_pw_qpolynomial_from_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-02	Sven Verdoolaege	randomtest.c: add missing include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-23	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-23	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-23	Sven Verdoolaege	barvinok 0.40 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-23	Sven Verdoolaege	update AUTHORS Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-23	Sven Verdoolaege	only use C++ 11 compiler if std::unordered_map is available Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-23	Sven Verdoolaege	move test for C++ 11 compiler into AX_UNORDERED_MAP Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-08	Sven Verdoolaege	doc: add a reference to the tutorial Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-08	Sven Verdoolaege	doc: update barvinok URL Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	doc: fix typo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	verify.c: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	iscc: add "cross_range" operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	summate.c: barvinok_summate_data: rename "dim" field... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	summate.c: add_unbounded_guarded_qp: rename "dim" variable... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	summate.c: add_basic_guarded_qp: use proper parameter... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	summate.c: add_basic_guarded_qp: rename "dim" variable... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	barvinok.cc: basic_set_card: rename "dim" variable... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	isl_set_to_polylib: add memory management annotation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	isl_basic_set_to_polylib: add memory management annotation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	isl_basic_map_to_polylib: use isl_basic_map_{in,}equalities_... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	isl_basic_map_to_polylib: add memory management annotation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	isl_basic_map_new_from_polylib: use isl_basic_map_from_const... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	isl_basic_map_new_from_polylib: rename "dim" argument... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	isl_basic_map_new_from_polylib: add memory management... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	skewed_genfun.h: include more specific headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	lattice_point.cc: include more specific headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	dpoly.h: include more specific header Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	util.c: drop redundant include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-05	Sven Verdoolaege	util.c: drop redundant include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-05	Sven Verdoolaege	test_approx.c: drop redundant include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-05	Sven Verdoolaege	options.c: drop redundant include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	lexmin.cc: drop redundant include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	lexmin.cc: drop redundant include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	lattice_point.h: drop redundant include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	genfun_constructor.h: drop redundant include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	evalue_util.h: drop redundant include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	edomain.h: drop redundant include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	decomposer.h: drop redundant include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	decomposer.cc: drop redundant include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	conversion.h: drop redundant include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	bound.c: drop redundant include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	barvinok/genfun.h: drop redundant include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	barvinok_summate.c: drop redundant include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	barvinok.cc: drop redundant include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	volume.c: directly include required header Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom