Public Git Hosting - barvinok.git/search

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
2004-02-15	skimo	memory leak	commit \| commitdiff \| tree
2004-02-15	skimo	experimental "unfringe" code	commit \| commitdiff \| tree
2004-02-15	skimo	type	commit \| commitdiff \| tree
2004-02-06	skimo	fix decomposition test and add polarized decompostion...	commit \| commitdiff \| tree
2004-01-26	skimo	eliminate a variable if we can (not tested)	commit \| commitdiff \| tree
2004-01-26	skimo	oops; we need quotient rather than remainder	commit \| commitdiff \| tree
2004-01-25	skimo	handle equalities	commit \| commitdiff \| tree
2004-01-25	skimo	Handle ONE_NEG for any position of the variable correctly	commit \| commitdiff \| tree
2004-01-25	skimo	Handle ONE_NEG for any position of the variable.	commit \| commitdiff \| tree
2004-01-25	skimo	Only use independent bounds to construct the one_dep.	commit \| commitdiff \| tree
2004-01-25	skimo	Truly partition validity domains.	commit \| commitdiff \| tree
2004-01-25	skimo	copy in_domain from polylib	commit \| commitdiff \| tree
2004-01-25	skimo	Special case "infinite" polytopes, i.e., those with	commit \| commitdiff \| tree
2004-01-25	skimo	Initial implementation of barvinok_enumerate_e.	commit \| commitdiff \| tree
2004-01-23	skimo	Don't use modulo if quotient is the same over the whole	commit \| commitdiff \| tree
2004-01-22	skimo	remove note to self	commit \| commitdiff \| tree
2004-01-22	skimo	support add for partitions	commit \| commitdiff \| tree
2004-01-21	skimo	remove debug.{cpp,h}	commit \| commitdiff \| tree
2004-01-21	skimo	support free and dummy add for partitions	commit \| commitdiff \| tree
2004-01-21	skimo	support printing for partitions	commit \| commitdiff \| tree
2004-01-20	skimo	Calculate count as a partition and convert to Enumeration...	commit \| commitdiff \| tree
2004-01-20	skimo	define partition type	commit \| commitdiff \| tree
2004-01-20	skimo	Partial implementation of parametric polyhedral reduction.	commit \| commitdiff \| tree
2004-01-19	skimo	s/indicator/relation/	commit \| commitdiff \| tree
2004-01-16	skimo	simplify Polyhedron_Reduce a bit	commit \| commitdiff \| tree
2004-01-15	skimo	change comment about modulo rep	commit \| commitdiff \| tree
2004-01-13	skimo	add tests/ehrhart/equal5	commit \| commitdiff \| tree
2004-01-13	skimo	bump version	commit \| commitdiff \| tree
2004-01-13	skimo	use indicator functions to mask when using modulo expressions	commit \| commitdiff \| tree
2004-01-13	skimo	partial "indicator function" support	commit \| commitdiff \| tree
2004-01-12	skimo	add comment on factor parameter	commit \| commitdiff \| tree
2004-01-12	skimo	add constant in multi_monom	commit \| commitdiff \| tree
2004-01-12	skimo	free argument of modulo when reducing strength	commit \| commitdiff \| tree
2004-01-12	skimo	remove typo introduced by previous patch	commit \| commitdiff \| tree
2004-01-12	skimo	fix memleak in reduce_evalue	commit \| commitdiff \| tree
2004-01-12	skimo	remove a few memory leaks	commit \| commitdiff \| tree
2004-01-11	skimo	silly optimization for special case of mod 2	commit \| commitdiff \| tree
2004-01-11	skimo	handle sum of modulo polynomials of different size	commit \| commitdiff \| tree
2004-01-09	skimo	add warning about modulo representation	commit \| commitdiff \| tree
2004-01-09	skimo	avoid warnings	commit \| commitdiff \| tree
2004-01-09	skimo	bump version	commit \| commitdiff \| tree
2003-12-25	skimo	make use of modulo configurable	commit \| commitdiff \| tree
2003-12-23	skimo	support for modulo calculations	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom