Public Git Hosting - barvinok.git/search

2017-01-23	Sven Verdoolaege	util.c: remove_equalities: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	util.c: for_each_lower_upper_bound: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	util.c: bv_ceil3: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	test_approx.c: result_data_clear: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	test.c: main: drop unused variables Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	summate.c: sum_factors: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	summate.c: add_basic_guarded_qp: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	series.cc: barvinok_enumerate_union_series_with_options... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	series.cc: barvinok_enumerate_union_series_with_options... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	scarf.cc: scarf: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	scale.c; flate_narrow2: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	remove_redundant_equalities.c: main: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	reducer.cc: normalize: drop unused variables Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	randomtest.c: main: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	polytope_scan.c: main: drop unused variables Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	param_util.c: Param_Polyhedron_Facet: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	param_util.c: Param_Vertex_Cone: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	lexmin.cc: indicator::create_max_term: drop unused... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	lexmin.cc: max_term::substitute: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	lexmin.cc: verify_results: drop unused variables Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
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
next

lattice point enumeration library

RSS Atom