Public Git Hosting - barvinok.git/search

2011-09-05	Sven Verdoolaege	update isl for explicit parameter spaces Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-05	Sven Verdoolaege	iscc: properly handle applications of functions on... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-05	Sven Verdoolaege	isl_union_set_apply_union_pw_qpolynomial: explicitly... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-04	Sven Verdoolaege	isl_pw_qpolynomial_sum: simplify construction of target... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-04	Sven Verdoolaege	isl_set_card: explicitly project result onto parameter... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-04	Sven Verdoolaege	barvinok_summate.c: verify_point: explicitly project... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-04	Sven Verdoolaege	test_bound.c: avoid use of undocumented isl_set_remove_dims Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-04	Sven Verdoolaege	isl_basic_set_lattice_width: compute correct space... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-04	Sven Verdoolaege	update isl for isl_pw_qpolynomial_project_domain_on_params Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-04	Sven Verdoolaege	update cloog for not using undocumented isl_set_extend Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-04	Sven Verdoolaege	update isl-polylib for rename of isl_dim to isl_space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-04	Sven Verdoolaege	update isl for rename of isl_dim to isl_space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-04	Sven Verdoolaege	update isl-polylib for some fixes Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-04	Sven Verdoolaege	update pet for use of isl_map_has_tuple_id Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-04	Sven Verdoolaege	update isl for isl_map_has_tuple_id Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-04	Sven Verdoolaege	update isl for rename of isl_map_insert Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-04	Sven Verdoolaege	update isl for change in isl_aff_floor Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-04	Sven Verdoolaege	update pet for compatibility with latest clang Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-04	Sven Verdoolaege	update isl for fix in isl_map_intersect_params Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-22	Sven Verdoolaege	iscc: add parse_file operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-22	Sven Verdoolaege	add pet submodule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-22	Sven Verdoolaege	update isl for pet Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-22	Sven Verdoolaege	privately export isl_str_free Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-22	Sven Verdoolaege	iscc: only print valid results Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-14	Sven Verdoolaege	barvinok 0.34 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-14	Sven Verdoolaege	update cloog to version 0.16.3 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-13	Sven Verdoolaege	update isl to version 0.07 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-10	Sven Verdoolaege	autogen.sh: replace superproject part by call to autoreconf Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-10	Sven Verdoolaege	configure.ac: use non-deprecated form of AM_INIT_AUTOMAKE Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-10	Sven Verdoolaege	rename configure.in to configure.ac Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-10	Sven Verdoolaege	update cloog for not depending on internal represenation... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	test: use isl interface for testing lattice widths Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	iscc: add lattice_width operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	iscc: replace schedule_bands by schedule_forest Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	update isl for fix in isl_schedule interface Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	update cloog for addition of missing include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	iscc: accept empty lists Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	remove evalue_split_periods Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	drop evalue_convert application Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	lexmin.cc: add missing return Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	verify.c: add missing returns Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	evalue_read.c: stream_push_token: fix return type Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	evalue_read.c: add missing include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	evalue_read.c: fix typo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	isl_obj_list_print: properly return isl_printer Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	isl_obj_list.h: use flex array member to avoid array... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	update isl for renaming of isl_qpolynomial_is_equal Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	barvinok_summate: be more careful about spaces in which... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	summate.c: add missing include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	barvinok.cc: add missing include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-05	Sven Verdoolaege	Change license from GPL 2.0 to GPL 2.0+ Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-06-10	Sven Verdoolaege	evalue_isl.c: add missing include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-06-10	Sven Verdoolaege	add cloog submodule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-06-10	Sven Verdoolaege	update isl for cloog Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-06-10	Sven Verdoolaege	isl_obj_list.c: fix typo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-06-01	Sven Verdoolaege	iscc: turn on sh option when calling CLooG Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-05-16	Sven Verdoolaege	evalue_isl.c: avoid use of isl_div internals Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-05-16	Sven Verdoolaege	update isl for isl_div_get_ctx Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-05-16	Sven Verdoolaege	configure.ac: don't depend on automake 1.11 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-04-21	Sven Verdoolaege	iscc: add schedule and schedule_bands operations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-04-21	Sven Verdoolaege	iscc: add solutions operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-04-21	Sven Verdoolaege	iscc: add coefficients operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-04-21	Sven Verdoolaege	iscc: add lift operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-04-21	Sven Verdoolaege	iscc: perform assignments even on error Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-04-21	Sven Verdoolaege	iscc: plug memory leak on error path Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-19	Sven Verdoolaege	use silent make rules Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	barvinok 0.33 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	iscc.c: fix typo which would prevent compilation in... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	update isl to version 0.06 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	isl_pw_qpolynomial_sum: handle existentials in non... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	drop piplib submodule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	stop using pip as LP solver Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	doc: constraints no longer need to be specified in DNF Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	iscc: parse lists Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	add isl_list_add_obj Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	iscc: parse booleans Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	iscc: allow interruption of computation from the keyboard Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-17	Sven Verdoolaege	avoid use of isl_ctx internals Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-15	Sven Verdoolaege	isl_obj_str: print quotes around string Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-12	Sven Verdoolaege	iscc: keep track of intermediate results in interactive... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-12	Sven Verdoolaege	iscc: add pow Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-12	Sven Verdoolaege	iscc: add zip Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-11	Sven Verdoolaege	iscc: add deltas_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	lexmin: assume unknowns and parameters are non-negative... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	lexmin: use isl to read input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	also perform lexmin check in absence of GLPK Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	polysign: add isl-backed version and use it by default Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	update isl-polylib for fix in header file Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	update isl for change in isl_flow_get_no_source Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-24	Sven Verdoolaege	doc: document isl modulo notation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-23	Sven Verdoolaege	Makefile.am: put NTL CFLAGS after isl CFLAGS Signed-off-by: Sven Verdoolaege <verdoolaege@gamma.math.uni-magdeburg.de>	commit \| commitdiff \| tree
2011-01-23	Sven Verdoolaege	iscc: read_line: fix return Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-23	Sven Verdoolaege	evalue_isl.c: fix typo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-23	Sven Verdoolaege	iscc: add operations on int objects Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-23	Sven Verdoolaege	update isl for introduction of int objects Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-22	Sven Verdoolaege	add isl_basic_set_card and isl_basic_map_card Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	document isl_union_set_apply_union_pw_qpolynomial Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	remove polyhedron_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	remove polytope_minimize application Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	Polyhedron_Sample: use isl unconditionally Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom