Public Git Hosting - barvinok.git/search

2017-01-23	Sven Verdoolaege	lattice_point.cc: relative_coordinates: drop unused... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	lattice_point.cc: lattice_point: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	lattice_point.cc: lattice_point: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	iscc.c: read_line: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	iscc.c: write_to_file: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	iscc.c: type_of: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	isl_param_util.c add_chamber_vertex: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	isl_param_util.c ISL_P2PP: drop unused variables Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	isl_obj_str.c: isl_str_free: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	isl_obj_str.c: isl_str_concat: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	isl_basic_map_to_polylib: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	isl_map_to_polylib: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	hull.c: gbr_hull_extend: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	hull.c: select_best: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	evalue_read.c: evalue_read_partition: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	EDomain::compute_ge_constraint: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	decomposer.cc: cone::short_vector: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	bound.c: verify_point: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	bfcounter.cc: bf_base::reduce: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	bfcounter.cc: bf_reducer::reduce: drop unused variables Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	barvinok_union.cc: drop unused variables Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	barvinok_summate.c: verify_point: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	barvinok_summate.c: main: drop unused variables Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	barvinok_enumerate_e.cc: verify_results: drop unused... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	barvinok_enumerate.cc: verify_point: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	barvinok_enumerate.cc: series: drop unused variables Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	barvinok_enumerate.cc: series: drop unused variables Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	barvinok_count_with_options: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	barvinok.cc: enumerator::handle: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	barvinok.cc: enumerator::handle: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	barvinok.cc: enumerate: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	barvinok.cc: enumerate: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	4coins.cc: main: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
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
next

lattice point enumeration library

RSS Atom