Public Git Hosting - barvinok.git/search

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
2017-02-02	Sven Verdoolaege	conversion.cc: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	bound.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	bfcounter.h: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	bfcounter.cc: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	basis_reduction.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	barvinok/genfun.h: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	barvinok_union.cc: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	barvinok_summate.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	barvinok_enumerate_e.cc: directly include required... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	barvinok_enumerate.cc: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	barvinok_ehrhart.cc: directly include required header Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	barvinok.cc: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	use barvinok/polylib.h instead of near duplicate isl_polylib.h Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	counter.cc: drop unneeded using-declarations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	mark debugging functions as unused Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	use std::unordered_map when available Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	laurent_old.cc: laurent_summator_old: member initializer... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	laurent.cc: laurent_summator: member initializer list... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	euler.cc: summator_2d: reorder member initializer list... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	reducer.cc: dpoly_r_scanner: reorder member initializer... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	lexmin.cc: indicator: reorder member initializer list... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	barvinok.cc: bfe_cum: reorder member initializer list... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	lexmin.cc: indicator_constructor::indicator_constructor... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	barvinok.cc: ienumerator::ienumerator: drop redundant... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-02	Sven Verdoolaege	barvinok.cc: bfenumerator::bfenumerator: drop redundant... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	bound.c: verify_point: drop unused error label Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	barvinok_enumerate.cc: verify_point: drop unused error... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	volume.c: Param_Polyhedron_Volume: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	verify_series.cc; cp_gf: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	verify.c: check_EP_on_poly: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-23	Sven Verdoolaege	verify.c: check_EP: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
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
next

lattice point enumeration library

RSS Atom