Public Git Hosting - barvinok.git/search

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
2004-07-06	skimo	potential memory leak	commit \| commitdiff \| tree
2004-07-06	skimo	(potential) memory leaks	commit \| commitdiff \| tree
2004-07-06	skimo	print more info	commit \| commitdiff \| tree
2004-07-05	skimo	preload library to count the number of validity domains	commit \| commitdiff \| tree
2004-07-01	skimo	memory leak	commit \| commitdiff \| tree
2004-07-01	skimo	memory leak	commit \| commitdiff \| tree
2004-07-01	skimo	memory leak	commit \| commitdiff \| tree
2004-07-01	skimo	memory leak	commit \| commitdiff \| tree
2004-06-26	skimo	Use function for copying evalue.	commit \| commitdiff \| tree
2004-06-26	skimo	order periodics in multiplication as well	commit \| commitdiff \| tree
2004-06-26	skimo	copy value before freeing	commit \| commitdiff \| tree
2004-06-26	skimo	regression test	commit \| commitdiff \| tree
2004-06-26	skimo	handle case where polytope has no "real" dimensions...	commit \| commitdiff \| tree
2004-06-25	skimo	Use smallest representative in absolute value rather...	commit \| commitdiff \| tree
2004-06-25	skimo	Debugging output to evaluate the usefulness of several	commit \| commitdiff \| tree
2004-06-25	skimo	Add constraint if expression is only integer for a...	commit \| commitdiff \| tree
2004-06-25	skimo	perform range reduction on condition of relation	commit \| commitdiff \| tree
2004-06-25	skimo	fully propagate reordering	commit \| commitdiff \| tree
2004-06-24	skimo	partially propagate reordering and reduce in case of...	commit \| commitdiff \| tree
2004-06-24	skimo	remove comment	commit \| commitdiff \| tree
2004-06-24	skimo	Range reduction and some auxiliary functions.	commit \| commitdiff \| tree
2004-06-24	skimo	Invert a fractional if leading coefficient becomes...	commit \| commitdiff \| tree
2004-06-24	skimo	remove debugging output	commit \| commitdiff \| tree
2004-06-24	skimo	Remove invalid memory access.	commit \| commitdiff \| tree
2004-06-23	skimo	recompute domains	commit \| commitdiff \| tree
2004-06-23	skimo	compute size of all subdomains	commit \| commitdiff \| tree
2004-06-23	skimo	trivial recombination	commit \| commitdiff \| tree
2004-06-23	skimo	also invert when constant is half the modulo, since...	commit \| commitdiff \| tree
2004-06-23	skimo	Allow more fracitonal substitutions, in particular	commit \| commitdiff \| tree
2004-06-23	skimo	search for pair of fractionals that can (optimally...	commit \| commitdiff \| tree
2004-06-23	skimo	always provide subst structure (even if empty)	commit \| commitdiff \| tree
2004-06-22	skimo	avoid infinite loop caused by splitting off nothing	commit \| commitdiff \| tree
2004-06-22	skimo	remove relation if branches are identical	commit \| commitdiff \| tree
2004-06-22	skimo	remove reduced relations	commit \| commitdiff \| tree
2004-06-21	skimo	replace { E/m } by { (E-1)/m } + 1/m if { E/m } != 0	commit \| commitdiff \| tree
2004-06-21	skimo	numerator can never be negative inside fractional	commit \| commitdiff \| tree
2004-06-21	skimo	optionally print "size" of enumeration	commit \| commitdiff \| tree
2004-06-21	skimo	Enumeration_size	commit \| commitdiff \| tree
2004-06-21	skimo	export domain_size	commit \| commitdiff \| tree
2004-06-21	skimo	reduce after conversion	commit \| commitdiff \| tree
2004-06-21	skimo	translate relation as well	commit \| commitdiff \| tree
2004-06-20	skimo	use convex hull for equalities to use in reduction	commit \| commitdiff \| tree
2004-06-20	skimo	reorder terms if needed after reduction	commit \| commitdiff \| tree
2004-06-20	skimo	remove code made redundant by switch to fractional	commit \| commitdiff \| tree
2004-06-20	skimo	convert from modulo to fractional	commit \| commitdiff \| tree
2004-06-16	skimo	inform calling procedure whether a new entry was added	commit \| commitdiff \| tree
2004-06-16	skimo	reallocate substitutions array if necessary	commit \| commitdiff \| tree
2004-06-15	skimo	multiply modulo argument if this can help to eliminate...	commit \| commitdiff \| tree
2004-06-15	skimo	also use equivalences inside modulo expressions	commit \| commitdiff \| tree
2004-06-15	skimo	allow fractional substitutions outside modulo (not...	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom