Public Git Hosting - barvinok.git/search

2010-06-12	Sven Verdoolaege	test_approx: include config.h for HAVE_SYS_TIMES_H	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	test_bound: include config.h for HAVE_SYS_TIMES_H	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	iscc: add vertices operations	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	optionally use isl to perform parametric vertex enumeration	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	update isl-polylib for handling of rational sets	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	drop distinction between barvinok-core and barvinok	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	remove bernstein	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	update isl for generic isl_pw_qpolynomial_bound	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	configure.in: drop bv_omega_programs	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	add isl_ctx_peek_barvinok_options	commit \| commitdiff \| tree
2010-06-07	Sven Verdoolaege	iscc: parse barvinok options	commit \| commitdiff \| tree
2010-06-01	Sven Verdoolaege	export isl_qpolynomial_from_evalue	commit \| commitdiff \| tree
2010-06-01	Sven Verdoolaege	Makefile.am: drop dependence on doc/omega.tex	commit \| commitdiff \| tree
2010-06-01	Sven Verdoolaege	update isl for rename of isl_pw_qpolynomial_move	commit \| commitdiff \| tree
2010-06-01	Sven Verdoolaege	verif_ehrhart.c: add missing include	commit \| commitdiff \| tree
2010-06-01	Sven Verdoolaege	configure.in: fix typo	commit \| commitdiff \| tree
2010-06-01	Sven Verdoolaege	use isl for argument parsing	commit \| commitdiff \| tree
2010-06-01	Sven Verdoolaege	update isl for keeping track of user options	commit \| commitdiff \| tree
2010-05-19	Sven Verdoolaege	test_bound: rewrite in C	commit \| commitdiff \| tree
2010-05-19	Sven Verdoolaege	update isl for help message printing	commit \| commitdiff \| tree
2010-05-15	Sven Verdoolaege	remove evalue_optimum	commit \| commitdiff \| tree
2010-05-15	Sven Verdoolaege	remove evalue_range_propagation	commit \| commitdiff \| tree
2010-05-15	Sven Verdoolaege	test_bound: use isl interface for computing bounds	commit \| commitdiff \| tree
2010-05-15	Sven Verdoolaege	barvinok_bound: use isl interface for computing bounds	commit \| commitdiff \| tree
2010-05-14	Sven Verdoolaege	iscc: support ub even if GiNaC support was not compiled in	commit \| commitdiff \| tree
2010-05-14	Sven Verdoolaege	add generic isl_pw_qpolynomial_bound	commit \| commitdiff \| tree
2010-05-14	Sven Verdoolaege	update isl for isl_pw_qpolynomial_bound_range	commit \| commitdiff \| tree
2010-05-14	Sven Verdoolaege	test_bound: use isl during verification	commit \| commitdiff \| tree
2010-05-14	Sven Verdoolaege	barvinok_bound: use isl during verification	commit \| commitdiff \| tree
2010-05-14	Sven Verdoolaege	verify.c: extract some helper functions for isl based...	commit \| commitdiff \| tree
2010-05-14	Sven Verdoolaege	introduce "bound" option	commit \| commitdiff \| tree
2010-05-14	Sven Verdoolaege	options.c: fix printf format	commit \| commitdiff \| tree
2010-05-10	Sven Verdoolaege	iscc: add application operations	commit \| commitdiff \| tree
2010-04-24	Sven Verdoolaege	iscc: add read operation	commit \| commitdiff \| tree
2010-04-24	Sven Verdoolaege	iscc: free options	commit \| commitdiff \| tree
2010-04-24	Sven Verdoolaege	update isl for reading of strings	commit \| commitdiff \| tree
2010-04-21	Sven Verdoolaege	update isl for fix in isl_printer_print_pw_qpolynomial...	commit \| commitdiff \| tree
2010-04-21	Sven Verdoolaege	update isl-polylib for change in pkg-config file	commit \| commitdiff \| tree
2010-04-21	Sven Verdoolaege	iscc: allow specification of output format	commit \| commitdiff \| tree
2010-04-13	Sven Verdoolaege	update isl for change in isl_set_gist argument	commit \| commitdiff \| tree
2010-04-11	Sven Verdoolaege	update isl for rename of isl_map_move	commit \| commitdiff \| tree
2010-04-10	Sven Verdoolaege	configure.in: add isl flags and libs to pkg-config...	commit \| commitdiff \| tree
2010-04-07	Sven Verdoolaege	iscc: test isl_stream for eof rather than the underlying...	commit \| commitdiff \| tree
2010-04-07	Sven Verdoolaege	iscc: add deltas operation	commit \| commitdiff \| tree
2010-04-07	Sven Verdoolaege	update isl for fix in isl_map_deltas	commit \| commitdiff \| tree
2010-04-04	Sven Verdoolaege	drop barvinok_enumerate_pip_with_options	commit \| commitdiff \| tree
2010-04-01	Sven Verdoolaege	iscc: add cross product operations	commit \| commitdiff \| tree
2010-03-31	Sven Verdoolaege	iscc: add coalesce operations	commit \| commitdiff \| tree
2010-03-30	Sven Verdoolaege	update isl for isl_pw_qpolynomial_coalesce	commit \| commitdiff \| tree
2010-03-27	Sven Verdoolaege	drop "Omega counting calculator"	commit \| commitdiff \| tree
2010-03-27	Sven Verdoolaege	test_bound.cc: fix printf format	commit \| commitdiff \| tree
2010-03-27	Sven Verdoolaege	bernstein.cc: fix printf format	commit \| commitdiff \| tree
2010-03-27	Sven Verdoolaege	evalue_range_propagation: fix substitution for negative...	commit \| commitdiff \| tree
2010-03-27	Sven Verdoolaege	bernstein/configure.in: use absolute srcdir of PolyLib...	commit \| commitdiff \| tree
2010-03-27	Sven Verdoolaege	only distribute bundled submodules	commit \| commitdiff \| tree
2010-03-25	Sven Verdoolaege	update omega for configuration issue	commit \| commitdiff \| tree
2010-03-25	Sven Verdoolaege	configure.in: allow "build" PolyLib	commit \| commitdiff \| tree
2010-03-25	Sven Verdoolaege	isl_qpolynomial_fold_from_ginac: handle fail nodes	commit \| commitdiff \| tree
2010-03-25	Sven Verdoolaege	isl_qpolynomial_from_ginac: expand ex before inspection	commit \| commitdiff \| tree
2010-03-25	Sven Verdoolaege	isl_obj_list.c: update to use of isl_printer	commit \| commitdiff \| tree
2010-03-18	Sven Verdoolaege	iscc: add gist operations	commit \| commitdiff \| tree
2010-03-18	Sven Verdoolaege	update isl for introduction of isl_printer	commit \| commitdiff \| tree
2010-03-18	Sven Verdoolaege	isl_pw_qpolynomial_upper_bound: set up variable vector...	commit \| commitdiff \| tree
2010-03-15	Sven Verdoolaege	iscc: add some comparison operations	commit \| commitdiff \| tree
2010-03-15	Sven Verdoolaege	iscc: add inverse operation	commit \| commitdiff \| tree
2010-03-15	Sven Verdoolaege	iscc: fix up type of find_matching_bin_op	commit \| commitdiff \| tree
2010-03-14	Sven Verdoolaege	iscc: add affine hull operation	commit \| commitdiff \| tree
2010-03-14	Sven Verdoolaege	iscc: add operation to construct universal map from...	commit \| commitdiff \| tree
2010-03-14	Sven Verdoolaege	iscc: add "join" operation	commit \| commitdiff \| tree
2010-03-14	Sven Verdoolaege	iscc: add intersect_domain operations	commit \| commitdiff \| tree
2010-03-14	Sven Verdoolaege	iscc: allow overloading binary ops	commit \| commitdiff \| tree
2010-03-14	Sven Verdoolaege	iscc: add more dom operations	commit \| commitdiff \| tree
2010-03-14	Sven Verdoolaege	doc: reorganize table of iscc operations	commit \| commitdiff \| tree
2010-03-14	Sven Verdoolaege	update isl	commit \| commitdiff \| tree
2010-03-10	Sven Verdoolaege	barvinok 0.30	commit \| commitdiff \| tree
2010-03-10	Sven Verdoolaege	AUTHORS: update support information	commit \| commitdiff \| tree
2010-03-10	Sven Verdoolaege	randomvector: double size of coefficients on each attempt	commit \| commitdiff \| tree
2010-03-10	Sven Verdoolaege	iscc: support transitive closure	commit \| commitdiff \| tree
2010-03-10	Sven Verdoolaege	update isl to version 0.02	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	barvinok_e.cc: enumerate_vd: remove unused variables	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	evalue.c: Polyhedron_Insert: add missing return type	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	evalue.c: reduce_evalue: remove unused variable	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	iscc: add @ operator	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	iscc: add "ub"	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	add isl_pw_qpolynomial_upper_bound	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	iscc: add sum	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	add isl_pw_qpolynomial_sum	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	add isl_pw_qpolynomial_to_evalue	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	update isl for isl_pw_qpolynomial_foreach_piece	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	rename evalue2isl to isl_pw_qpolynomial_from_evalue	commit \| commitdiff \| tree
2010-03-06	Sven Verdoolaege	iscc: detect more kinds of errors	commit \| commitdiff \| tree
2010-03-05	Sven Verdoolaege	barvinok_enumerate: use isl during the verification...	commit \| commitdiff \| tree
2010-03-05	Sven Verdoolaege	add iscc	commit \| commitdiff \| tree
2010-03-05	Sven Verdoolaege	add isl_set_card and isl_map_card	commit \| commitdiff \| tree
2010-03-05	Sven Verdoolaege	add evalue2isl	commit \| commitdiff \| tree
2010-03-05	Sven Verdoolaege	evalue_convert: export as application	commit \| commitdiff \| tree
2010-03-05	Sven Verdoolaege	barvinok_enumerate_e: optionally use isl to project...	commit \| commitdiff \| tree
2010-03-05	Sven Verdoolaege	add isl submodule	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	AX_SUBMODULE: accept "-" in modulename	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	barvinok_enumerate: return NaN for infinite problems	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom