Public Git Hosting - barvinok.git/search

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
2017-02-02	Sven Verdoolaege	vertex_cone.cc: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	verify.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	util.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	test_bound.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	test_approx.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	testlib.cc: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	summate.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	series.cc: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	sample.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	reducer.cc: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	reducer.h: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	polysign_isl.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	options.c: directly include required header Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	lexmin.cc: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	iscc.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	isl_map_polylib.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	isl_aff_polylib.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	genfun_constructor.h: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	genfun_constructor.cc: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	genfun.cc: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	evalue_isl.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	dpoly.cc: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	decomposer.cc: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	counter.h: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	counter.cc: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	conversion.h: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom