Public Git Hosting - barvinok.git/search

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
2010-01-28	Sven Verdoolaege	remove_all_equalities: handle integrally, but not rationally...	commit \| commitdiff \| tree
2010-01-02	Sven Verdoolaege	barvinok_enumerate_e: always return a partition for...	commit \| commitdiff \| tree
2010-01-02	Sven Verdoolaege	barvinok_enumerate: check that dimension of input includes...	commit \| commitdiff \| tree
2010-01-02	Sven Verdoolaege	partition2enumeration: check that input is really a...	commit \| commitdiff \| tree
2010-01-01	Sven Verdoolaege	update piplib for change in configure options	commit \| commitdiff \| tree
2009-11-30	Sven Verdoolaege	update omega for configuration/compilation issues	commit \| commitdiff \| tree
2009-11-30	Sven Verdoolaege	barvinok_count_with_options: check return value of...	commit \| commitdiff \| tree
2009-11-30	Sven Verdoolaege	Polyhedron_Sample: plug memory leak	commit \| commitdiff \| tree
2009-11-12	Sven Verdoolaege	summate.c: add missing include	commit \| commitdiff \| tree
2009-11-12	Sven Verdoolaege	topcom.c: support newer versions of TOPCOM	commit \| commitdiff \| tree
2009-11-12	Sven Verdoolaege	topcom.c: compute_domain: skip vertices without domain	commit \| commitdiff \| tree
2009-11-12	Sven Verdoolaege	polytope_minimize: take constant term to be zero when...	commit \| commitdiff \| tree
2009-11-12	Sven Verdoolaege	doc: reflect that --enable-fractional is now the default	commit \| commitdiff \| tree
2009-11-12	Sven Verdoolaege	glpk_polyhedron_affine_sign: special case 0D polyhedra	commit \| commitdiff \| tree
2009-11-12	Sven Verdoolaege	Polyhedron_Insert_Columns: fix typo	commit \| commitdiff \| tree
2009-11-11	Sven Verdoolaege	Polyhedron_Factor: fix updating of groups	commit \| commitdiff \| tree
2009-10-06	Sven Verdoolaege	configure.in: use AX_SUBMODULE instead of BV_SUBMODULE	commit \| commitdiff \| tree
2009-08-21	Sven Verdoolaege	remove_equalities: use Polyhedron_Preimage instead...	commit \| commitdiff \| tree
2009-07-22	Sven Verdoolaege	barvinok 0.29	commit \| commitdiff \| tree
2009-07-22	Sven Verdoolaege	doc: add experimental comparison between old and new...	commit \| commitdiff \| tree
2009-07-22	Sven Verdoolaege	lexmin.cc: remove "anachronism"	commit \| commitdiff \| tree
2009-07-22	Sven Verdoolaege	doc: add some less common .sty files	commit \| commitdiff \| tree
2009-07-21	Sven Verdoolaege	add "clever" Laurent expansion based summation	commit \| commitdiff \| tree
2009-07-20	Sven Verdoolaege	move Last_Non_Zero to util.c	commit \| commitdiff \| tree
2009-07-20	Sven Verdoolaege	extract out param_polynomial from laurent.cc	commit \| commitdiff \| tree
2009-07-20	Sven Verdoolaege	extract vertex_cone from laurent.cc	commit \| commitdiff \| tree
2009-07-11	Sven Verdoolaege	update polylib for speed improvement in in_domain	commit \| commitdiff \| tree
2009-06-12	Sven Verdoolaege	update piplib for distribution issue	commit \| commitdiff \| tree
2009-05-26	Sven Verdoolaege	Polyhedron_Factor: fix merging of groups of columns	commit \| commitdiff \| tree
2009-05-07	Sven Verdoolaege	barvinok_enumerate_series: don't check for revlex positive...	commit \| commitdiff \| tree
2009-05-07	Sven Verdoolaege	(t)counter: move counter::reset() up to counter_base...	commit \| commitdiff \| tree
2009-05-07	Sven Verdoolaege	Makefile.am: keep better track of failed tests	commit \| commitdiff \| tree
2009-05-07	Sven Verdoolaege	add semigroup_holes application	commit \| commitdiff \| tree
2009-05-07	Sven Verdoolaege	Line_Length: handle 0D polytope in 1D space	commit \| commitdiff \| tree
2009-05-07	Sven Verdoolaege	gen_fun: add is_zero method	commit \| commitdiff \| tree
2009-05-07	Sven Verdoolaege	barvinok_enumerate_e_series: remove equalities in each...	commit \| commitdiff \| tree
2009-05-07	Sven Verdoolaege	doc: fix typo	commit \| commitdiff \| tree
2009-05-07	Sven Verdoolaege	barvinok_enumerate_e_series: handle all existentials...	commit \| commitdiff \| tree
2009-05-07	Sven Verdoolaege	series.cc: make project static	commit \| commitdiff \| tree
2009-05-07	Sven Verdoolaege	barvinok_enumerate_e_series: handle all equalities...	commit \| commitdiff \| tree
2009-05-07	Sven Verdoolaege	add test set from the other itsl2008 paper	commit \| commitdiff \| tree
2009-04-02	Sven Verdoolaege	Polyhedron_Factor: handle polyhedra with a non-trivial...	commit \| commitdiff \| tree
2009-04-02	Sven Verdoolaege	update piplib for change in configure arguments	commit \| commitdiff \| tree
2009-02-09	Sven Verdoolaege	test_approx.c: add dummy field in dummy tms structure...	commit \| commitdiff \| tree
2009-02-09	Sven Verdoolaege	configure.in: avoid introducing empty elements in PKG_CONFIG...	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom