Public Git Hosting - barvinok.git/search

2017-01-23	Sven Verdoolaege	lexmin.cc: partial_order::compare: remove more (presumably... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	lexmin.cc: partial_order::compare: remove some dead... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	barvinok_enumerate.cc: verify: drop dead code Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	drop unused isl_map_new_from_polylib Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	scarf.cc: drop unused InsertColumn Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	lexmin.cc: drop unused indicator_constructor::normalize Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	lexmin.cc: drop unused compress_parameters Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-20	Sven Verdoolaege	laurent_old.cc: drop unused first_non_zero(const vec_ZZ &) Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-20	Sven Verdoolaege	param_util.c: drop unused Param_Vertex_Domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-20	Sven Verdoolaege	barvinok_e.cc: drop unused double_bound Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-20	Sven Verdoolaege	barvinok.cc: drop unused uni_polynom Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-20	Sven Verdoolaege	barvinok.cc: drop unused edegree Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-20	Sven Verdoolaege	barvinok.cc: drop unused add_rays Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-20	Sven Verdoolaege	4coins.cc: drop unused scan Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-20	Sven Verdoolaege	reducer.h: reducer: drop commented out field Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-20	Sven Verdoolaege	barvinok.cc: ienumerator: drop commented out field Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-18	Sven Verdoolaege	reducer.h: reducer: drop unused field Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-18	Sven Verdoolaege	reducer.h: np_base: drop unused field Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-18	Sven Verdoolaege	bfcounter.h: bf_base: drop unused field Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-18	Sven Verdoolaege	doc: drop description of BV_GBR_NONE Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-13	Sven Verdoolaege	drop USE_MODULO macro Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-13	Sven Verdoolaege	drop references to piplib submodule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-13	Sven Verdoolaege	polysign.h: remove pip_constraints_opt declaration Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-13	Sven Verdoolaege	lexmin.cc: drop indicator_constructor::substitute declaration Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-13	Sven Verdoolaege	decomposer.cc: drop spurious semicolon Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-13	Sven Verdoolaege	tests/ehrhart_e/scarf/woods_2.1.7: clean up Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-13	Sven Verdoolaege	tests/*: fix whitespace Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-13	Sven Verdoolaege	lattice_width.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-13	Sven Verdoolaege	lattice_point.cc: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-13	Sven Verdoolaege	conversion.cc: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-13	Sven Verdoolaege	bernoulli.c: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-13	Sven Verdoolaege	barvinok_enumerate_e.cc: drop spurious comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	barvinok_summate_data: drop spurious memory management... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	series.cc: enumerate_union_series: drop skew_into_positive_o... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	lexmin.cc: order_cache: use clear instead of resize... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	barvinok_enumerate_e: only honor --scarf option if... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	add barvinok_union tests Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	barvinok_union: optionally check output is equal to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	add extra barvinok_summate test case involving quasi... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	testlib.cc: extract out barvinok_series_with_options... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	test box and bernoulli summation algorithms Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	test stopped decomposition during parametric enumeration Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	testlib: return success when tests run successfully Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	test_approx: check that result was computed successfully Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	bound.c: verify_point: handle errors in verification Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	lexmin.cc: to_parameter_domain: explicitly convert... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	isl_param_util.c: ISL_P2PP: properly call isl_basic_set_inte... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	isl_param_util.c: ISL_P2PP: rename "dim" variable to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	barvinok_enumerate_e_options.h: fix name of isl_args... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	barvinok_ehrhart_options.h: fix name of isl_args structure... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	lexmin.cc: indicator_term::indicator_term: use consistent... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	Polyhedron_Polarize: make sure constraints and rays... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-29	Sven Verdoolaege	euler.cc: summator_2d::integrate: add missing variable... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-29	Sven Verdoolaege	gen_fun::summate: properly keep track of number of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-29	Sven Verdoolaege	iscc.c: write_to_file: avoid uninitialized read on... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-29	Sven Verdoolaege	Param_Polyhedron_Enumerate: plug memory leak in case... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-23	Sven Verdoolaege	add more lattice_width test cases Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-23	Sven Verdoolaege	Polyhedron_Lattice_Width_Directions: do not skip duplicate... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-23	Sven Verdoolaege	convert lattice width tests to iscc tests Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-23	Sven Verdoolaege	tests/lattice_width/*: fix whitespace Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-18	Sven Verdoolaege	update pet to version 0.10 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-18	Sven Verdoolaege	update isl to version 0.18 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-22	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-22	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-10	Sven Verdoolaege	iscc: recover from errors during AST generation again Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-06	Sven Verdoolaege	iscc: allow interruption of computation from the keyboard... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-03	Sven Verdoolaege	README: explain how to use a pre-installed version... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-03	Sven Verdoolaege	README: update note on shared libraries and NTL Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-15	Sven Verdoolaege	README: urge bug reporters to always mention the barvinok... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-06	Sven Verdoolaege	update pet to version 0.09 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-06	Sven Verdoolaege	update isl to version 0.17.1 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-29	Sven Verdoolaege	Polyhedron_Factor: make sure group information gets... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-24	Sven Verdoolaege	add get_submodules.sh Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-06	Sven Verdoolaege	update polylib for .gitignore Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-15	Sven Verdoolaege	barvinok 0.39 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-15	Sven Verdoolaege	update pet to version 0.08 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-15	Sven Verdoolaege	update isl to version 0.16.1 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-12	Sven Verdoolaege	update AUTHORS Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-05	Sven Verdoolaege	update pet for python interface Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-05	Sven Verdoolaege	introduce special version of isl.py.top for use with pet Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-05	Sven Verdoolaege	update pet for isl_ctx_alloc_with_pet_options Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-05	Sven Verdoolaege	isl.py: always extend version from core isl Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-05	Sven Verdoolaege	rename interface/all.h to interface/all_barvinok.h Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-05	Sven Verdoolaege	update isl for changes in how sets and relations are... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-22	Sven Verdoolaege	iscc.c: use pet_scop_get_schedule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-22	Sven Verdoolaege	update pet for pet_scop_get_schedule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-22	Sven Verdoolaege	update pet for rename of pet_scop_collect_* to pet_scop_get_* Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-16	Sven Verdoolaege	update isl for isl_schedule_gist_domain_params Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-16	Sven Verdoolaege	.gitignore: add more libtool temporary files Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-16	Sven Verdoolaege	specify subdir-objects option for forward compatibility... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-16	Sven Verdoolaege	configure.ac: fix typo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-08	Sven Verdoolaege	iscc: parse_file: remove instances from kill statements Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-08	Sven Verdoolaege	iscc: turn on --pet-encapsulate-dynamic-control by... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-08	Sven Verdoolaege	iscc: add operations on booleans Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-08-07	Sven Verdoolaege	iscc: add "->-" operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-08-07	Sven Verdoolaege	iscc: add "-" operation on map and set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-08-07	Sven Verdoolaege	iscc: add "->*" operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-08-05	Sven Verdoolaege	doc: update documentation of "last" operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-07-31	Sven Verdoolaege	update isl for change in isl_map_gist Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-07-24	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom