Public Git Hosting - barvinok.git/search

2004-08-09	skimo	extract out code to construct negative test constraint	commit \| commitdiff \| tree
2004-08-09	skimo	code reuse	commit \| commitdiff \| tree
2004-08-09	skimo	detect more unhandled cases	commit \| commitdiff \| tree
2004-08-09	skimo	simplify some code	commit \| commitdiff \| tree
2004-08-08	skimo	remove redundant rays	commit \| commitdiff \| tree
2004-08-08	skimo	allow any number of parts in enumerate_or	commit \| commitdiff \| tree
2004-08-08	skimo	"implement" eor	commit \| commitdiff \| tree
2004-08-08	skimo	handle (single) ray	commit \| commitdiff \| tree
2004-08-06	skimo	remove (some) lines	commit \| commitdiff \| tree
2004-08-05	skimo	set nparam back to use as number of dimensions in partition	commit \| commitdiff \| tree
2004-08-05	skimo	make compute_enode work again in general case	commit \| commitdiff \| tree
2004-08-05	skimo	remove debugging output	commit \| commitdiff \| tree
2004-08-05	skimo	remove debugging output	commit \| commitdiff \| tree
2004-08-05	skimo	use evalue rather than enumeration and some memory...	commit \| commitdiff \| tree
2004-08-05	skimo	extend printing and computing to handles "modulos"...	commit \| commitdiff \| tree
2004-08-05	skimo	alternative to in_domain that handles "modulos" in...	commit \| commitdiff \| tree
2004-08-05	skimo	store "real" dimension in pos field of partition	commit \| commitdiff \| tree
2004-08-04	skimo	remove duplicate implementation	commit \| commitdiff \| tree
2004-08-04	skimo	be slightly more conservative (correct) in determining...	commit \| commitdiff \| tree
2004-08-04	skimo	a ray that depends on the parameters should be ok	commit \| commitdiff \| tree
2004-08-04	skimo	clean up	commit \| commitdiff \| tree
2004-08-04	skimo	memory leak	commit \| commitdiff \| tree
2004-08-03	skimo	memory leak	commit \| commitdiff \| tree
2004-08-03	skimo	memory leak	commit \| commitdiff \| tree
2004-08-03	skimo	memory leak	commit \| commitdiff \| tree
2004-08-03	skimo	memory leak	commit \| commitdiff \| tree
2004-08-03	skimo	memory leak	commit \| commitdiff \| tree
2004-08-03	skimo	memory leak	commit \| commitdiff \| tree
2004-08-03	skimo	remove debugging output	commit \| commitdiff \| tree
2004-08-03	skimo	check whether projection is bounded	commit \| commitdiff \| tree
2004-08-03	skimo	Split on parametric vertex.	commit \| commitdiff \| tree
2004-08-03	skimo	If one of the vertices in the combined space is a lattice...	commit \| commitdiff \| tree
2004-08-03	skimo	eliminate parameters if we can	commit \| commitdiff \| tree
2004-08-03	skimo	only perform vd basid reduction if the polytope has...	commit \| commitdiff \| tree
2004-08-03	skimo	unfringe polyhedron	commit \| commitdiff \| tree
2004-08-03	skimo	remove debugging output in unfringe	commit \| commitdiff \| tree
2004-08-03	skimo	extend addeliminatedparams to partitions	commit \| commitdiff \| tree
2004-08-01	skimo	bail early on empty polytope	commit \| commitdiff \| tree
2004-08-01	skimo	reduce higher degrees of fractional parts with floor...	commit \| commitdiff \| tree
2004-08-01	skimo	only rays involving the real variables lead to unbounded...	commit \| commitdiff \| tree
2004-08-01	skimo	perform range reduction if requested	commit \| commitdiff \| tree
2004-08-01	skimo	only calculate once for part that is independent of...	commit \| commitdiff \| tree
2004-07-31	skimo	perform another range reduction after summation	commit \| commitdiff \| tree
2004-07-31	skimo	Decompositions based on validity domains and parametric...	commit \| commitdiff \| tree
2004-07-30	skimo	split off part that certainly contains lattice points	commit \| commitdiff \| tree
2004-07-30	skimo	routine for reducing to zero variables case	commit \| commitdiff \| tree
2004-07-30	skimo	use newly added routine	commit \| commitdiff \| tree
2004-07-30	skimo	a polytope with rays independent of the existential...	commit \| commitdiff \| tree
2004-07-30	skimo	check for empty polytope	commit \| commitdiff \| tree
2004-07-30	skimo	simplify constraints on each invocation of barvinok_enumerat...	commit \| commitdiff \| tree
2004-07-30	skimo	extract out routine for "or"ing	commit \| commitdiff \| tree
2004-07-30	skimo	unused routine for removing double bounds	commit \| commitdiff \| tree
2004-07-30	skimo	send debug output to stderr in (unused) unfringe	commit \| commitdiff \| tree
2004-07-30	skimo	make debuggin easier by keeping track of recursion...	commit \| commitdiff \| tree
2004-07-30	skimo	extract out routine to align constraint along a linear...	commit \| commitdiff \| tree
2004-07-30	skimo	If one of the hyperplanes has to be independent as...	commit \| commitdiff \| tree
2004-07-30	skimo	Ensure that first variable is made negative inside...	commit \| commitdiff \| tree
2004-07-30	skimo	Ensure that splitting will reduce the number of existential	commit \| commitdiff \| tree
2004-07-30	skimo	abstract out handling of multiple validity domains	commit \| commitdiff \| tree
2004-07-29	skimo	Extra check that is probably not needed	commit \| commitdiff \| tree
2004-07-29	skimo	handle composed validity domains	commit \| commitdiff \| tree
2004-07-29	skimo	reduce after summation	commit \| commitdiff \| tree
2004-07-29	skimo	don't create empty partitions	commit \| commitdiff \| tree
2004-07-29	skimo	allow evaluation of floorings	commit \| commitdiff \| tree
2004-07-29	skimo	perform (trivial) reduction on floorings	commit \| commitdiff \| tree
2004-07-29	skimo	make reorder_terms work for floorings	commit \| commitdiff \| tree
2004-07-29	skimo	correct check for 1	commit \| commitdiff \| tree
2004-07-29	skimo	be more strict when comparing two rationals	commit \| commitdiff \| tree
2004-07-29	skimo	typo in comment	commit \| commitdiff \| tree
2004-07-21	skimo	handle case of all empty validity domains	commit \| commitdiff \| tree
2004-07-21	skimo	support polynomials in "real" parameters	commit \| commitdiff \| tree
2004-07-21	skimo	handle negative values of summed variable	commit \| commitdiff \| tree
2004-07-21	skimo	check whether POLYTOPE_PREFIX is actually set	commit \| commitdiff \| tree
2004-07-20	skimo	floor conversion and partial implementation of esum	commit \| commitdiff \| tree
2004-07-20	skimo	pos starts at 1	commit \| commitdiff \| tree
2004-07-19	skimo	minor reordering of code	commit \| commitdiff \| tree
2004-07-19	skimo	split off more common code	commit \| commitdiff \| tree
2004-07-19	skimo	revert change commited by accident	commit \| commitdiff \| tree
2004-07-19	skimo	add collect_polytopes.c	commit \| commitdiff \| tree
2004-07-18	skimo	recurse into the correct version of count_points	commit \| commitdiff \| tree
2004-07-18	skimo	"or"-split for case with only existential variables	commit \| commitdiff \| tree
2004-07-18	skimo	allow split on other than first existential variable	commit \| commitdiff \| tree
2004-07-18	skimo	extract out code to split on a constraint	commit \| commitdiff \| tree
2004-07-17	skimo	"existential" version of verif_ehrhart	commit \| commitdiff \| tree
2004-07-17	skimo	provide evalue to enumeration conversion	commit \| commitdiff \| tree
2004-07-17	skimo	adapt to deal with existential variables	commit \| commitdiff \| tree
2004-07-16	skimo	copied from ehrhart.c from Polylib distribution	commit \| commitdiff \| tree
2004-07-14	skimo	handle trivial case of only existential variables	commit \| commitdiff \| tree
2004-07-14	skimo	It should be sufficient that one of the bounds is independent	commit \| commitdiff \| tree
2004-07-14	skimo	don't count storage space for the rays	commit \| commitdiff \| tree
2004-07-06	skimo	bump version	commit \| commitdiff \| tree
2004-07-06	skimo	fix up changelog	commit \| commitdiff \| tree
2004-07-06	skimo	bump version some more since we changed the interface	commit \| commitdiff \| tree
2004-07-06	skimo	turn of debugging messages	commit \| commitdiff \| tree
2004-07-06	skimo	update	commit \| commitdiff \| tree
2004-07-06	skimo	brief description of the input	commit \| commitdiff \| tree
2004-07-06	skimo	replace modulo by fractional	commit \| commitdiff \| tree
2004-07-06	skimo	remove empty partitions in place	commit \| commitdiff \| tree
2004-07-06	skimo	more memory leaks	commit \| commitdiff \| tree
2004-07-06	skimo	memory leak	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom