Public Git Hosting - barvinok.git/search

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
2009-02-09	Sven Verdoolaege	occ: define OMIT_GETRUSAGE if sys/resource.h cannot...	commit \| commitdiff \| tree
2009-02-09	Sven Verdoolaege	omega_interface/Makefile.am: put depending libraries...	commit \| commitdiff \| tree
2009-02-09	Sven Verdoolaege	configure.in: add $(EXEEXT) to optional occ for cygwin	commit \| commitdiff \| tree
2009-02-09	Sven Verdoolaege	update omega for MinGW compatibility	commit \| commitdiff \| tree
2009-02-09	Sven Verdoolaege	bernstein/configure.in: add missing AC_PROG_CXX	commit \| commitdiff \| tree
2008-12-30	Sven Verdoolaege	vector_partition_chambers: computes chambers of vector...	commit \| commitdiff \| tree
2008-12-27	Sven Verdoolaege	barvinok.cc: remove unused nonorthog	commit \| commitdiff \| tree
2008-12-26	Sven Verdoolaege	update piplib for MinGW compatibility	commit \| commitdiff \| tree
2008-12-26	Sven Verdoolaege	update polylib for MinGW compatibility	commit \| commitdiff \| tree
2008-12-26	Sven Verdoolaege	fdstream.cc: don't (re)declare fileno if it's a macro	commit \| commitdiff \| tree
2008-12-26	Sven Verdoolaege	evalue.c: in_domain: special-case 0D domains	commit \| commitdiff \| tree
2008-12-25	Sven Verdoolaege	Avoid use of sys/times.h header when not available	commit \| commitdiff \| tree
2008-12-25	Sven Verdoolaege	add gnulib getsubopt module for MinGW	commit \| commitdiff \| tree
2008-12-01	Sven Verdoolaege	README: mention that GiNaC is also needed for the Omega...	commit \| commitdiff \| tree
2008-12-01	Sven Verdoolaege	Allow build of occ when using bundled omega	commit \| commitdiff \| tree
2008-10-28	Sven Verdoolaege	doc: add a reference to a master thesis actually using...	commit \| commitdiff \| tree
2008-10-16	Sven Verdoolaege	barvinok 0.28	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom