Public Git Hosting - barvinok.git/search

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
2004-06-15	skimo	Partial evaluation could in principle lead to further...	commit \| commitdiff \| tree
2004-06-15	skimo	reduce constants inside modulo	commit \| commitdiff \| tree
2004-06-15	skimo	construct substitution for each equality	commit \| commitdiff \| tree
2004-06-15	skimo	collect substitutions in one structure	commit \| commitdiff \| tree
2004-06-14	skimo	only take difference of sets that share a hyperplane	commit \| commitdiff \| tree
2004-06-11	skimo	also skip over zeroes and remember original location...	commit \| commitdiff \| tree
2004-06-11	skimo	continue looking for coefficients to negate if current...	commit \| commitdiff \| tree
2004-06-09	skimo	calculate "size" of polynomials	commit \| commitdiff \| tree
2004-06-09	skimo	combine identical relations	commit \| commitdiff \| tree
2004-06-09	skimo	don't knowingly create zero polynomials	commit \| commitdiff \| tree
2004-06-09	skimo	Check whether rVD is too small in dimension before	commit \| commitdiff \| tree
2004-06-08	skimo	regression test	commit \| commitdiff \| tree
2004-06-08	skimo	2Polyhedron routines can modify their argument!	commit \| commitdiff \| tree
2004-06-07	skimo	strict inequality should be enforced prior to simplification	commit \| commitdiff \| tree
2004-06-06	skimo	another memory leak	commit \| commitdiff \| tree
2004-06-06	skimo	memory leaks	commit \| commitdiff \| tree
2004-06-06	skimo	return malloced memory since we define a "C" interface	commit \| commitdiff \| tree
2004-06-06	skimo	always return reduced evalue	commit \| commitdiff \| tree
2004-06-06	skimo	simplify constraints during multiplications as well	commit \| commitdiff \| tree
2004-06-06	skimo	regression test for latest bug	commit \| commitdiff \| tree
2004-06-06	skimo	value "tmp" is used over several interations of second...	commit \| commitdiff \| tree
2004-06-05	skimo	don't look at relation if we just freed it	commit \| commitdiff \| tree
2004-06-05	skimo	remove empty partitions	commit \| commitdiff \| tree
2004-06-05	skimo	also remove first empty subdomain	commit \| commitdiff \| tree
2004-06-05	skimo	remove some empty subdomains	commit \| commitdiff \| tree
2004-06-05	skimo	simplify constraints in eadd_partitions	commit \| commitdiff \| tree
2004-06-04	skimo	simplify whole domain and at more locations	commit \| commitdiff \| tree
2004-06-04	skimo	only use equalities in a single var	commit \| commitdiff \| tree
2004-06-04	skimo	remove VDs with zero Ehrhart polynomial	commit \| commitdiff \| tree
2004-06-04	skimo	remove relation if value is known	commit \| commitdiff \| tree
2004-06-04	skimo	compute modulo if argument is known	commit \| commitdiff \| tree
2004-06-04	skimo	free temporary evalue	commit \| commitdiff \| tree
2004-06-04	skimo	substitute know values for parameters during reduction	commit \| commitdiff \| tree
2004-06-03	skimo	reduce relation if possible	commit \| commitdiff \| tree
2004-06-03	skimo	simplify modulo expressions during reduce as well	commit \| commitdiff \| tree
2004-06-03	skimo	also simplify constraints during reduction	commit \| commitdiff \| tree
2004-06-03	skimo	make true partitions in ParamPolyhedron_Reduce_mod	commit \| commitdiff \| tree
2004-06-03	skimo	be careful when the validity domain contain equalities	commit \| commitdiff \| tree
2004-06-02	skimo	reduce leading coefficient	commit \| commitdiff \| tree
2004-06-02	skimo	normalize modulo in relation as well	commit \| commitdiff \| tree
2004-06-02	skimo	factor out some more code	commit \| commitdiff \| tree
2004-06-02	skimo	missing value_init in previous change	commit \| commitdiff \| tree
2004-06-02	skimo	extract out some code that we may need later	commit \| commitdiff \| tree
2004-06-02	skimo	simplify constraints of validity domains	commit \| commitdiff \| tree
2004-06-02	skimo	also multiply complement of relation!	commit \| commitdiff \| tree
2004-05-31	skimo	silly typo	commit \| commitdiff \| tree
2004-04-25	skimo	evaluate partitioned evalues	commit \| commitdiff \| tree
2004-04-25	skimo	handle additions of two relations	commit \| commitdiff \| tree
2004-04-22	skimo	be careful when relculating the row	commit \| commitdiff \| tree
2004-04-21	skimo	Convert multiple existential variables in an equality...	commit \| commitdiff \| tree
2004-03-30	skimo	compute "complement" if needed	commit \| commitdiff \| tree
2004-03-30	skimo	more add "complement" relation when adding non-zero...	commit \| commitdiff \| tree
2004-03-30	skimo	add "complement" relation when adding non-zero value	commit \| commitdiff \| tree
2004-03-30	skimo	support printing of "complement" of relation	commit \| commitdiff \| tree
2004-03-28	skimo	install headers	commit \| commitdiff \| tree
2004-03-28	skimo	partial implementation of "mask" operation	commit \| commitdiff \| tree
2004-03-28	skimo	include appropriate header	commit \| commitdiff \| tree
2004-03-28	skimo	comply with C standard :-)	commit \| commitdiff \| tree
2004-03-28	skimo	export _ev version	commit \| commitdiff \| tree
2004-02-29	skimo	bump version	commit \| commitdiff \| tree
2004-02-28	skimo	regression tests	commit \| commitdiff \| tree
2004-02-28	skimo	Dr. Egon Spengler: There's something very important...	commit \| commitdiff \| tree
2004-02-22	skimo	bump version	commit \| commitdiff \| tree
2004-02-22	skimo	update ChangeLog	commit \| commitdiff \| tree
2004-02-22	skimo	avoid namespace pollution	commit \| commitdiff \| tree
2004-02-22	skimo	avoid sub validity domains	commit \| commitdiff \| tree
2004-02-22	skimo	DomainIncludes	commit \| commitdiff \| tree
2004-02-22	skimo	Postpone multiplication with "factor" to handle the...	commit \| commitdiff \| tree
2004-02-15	skimo	actually perform modulo when converting to tables	commit \| commitdiff \| tree
2004-02-15	skimo	extend 1D special-casing to multiple lower/upper bounds	commit \| commitdiff \| tree
2004-02-15	skimo	memory leaks	commit \| commitdiff \| tree
2004-02-15	skimo	support emul for partitions	commit \| commitdiff \| tree
2004-02-15	skimo	don't assume factor is a constant	commit \| commitdiff \| tree
2004-02-15	skimo	don't modify d parameter	commit \| commitdiff \| tree
2004-02-15	skimo	add pointer to polylib	commit \| commitdiff \| tree
2004-02-15	skimo	Support reduction for non-modulo by temporarily using...	commit \| commitdiff \| tree
2004-02-15	skimo	modulo to table conversion	commit \| commitdiff \| tree
2004-02-15	skimo	another memory leak	commit \| commitdiff \| tree
2004-02-15	skimo	another memory leak	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom