Public Git Hosting - barvinok.git/search

2004-10-31	skimo	export zz2value	commit \| commitdiff \| tree
2004-10-31	skimo	"support" floor conversion for parametric polytopes	commit \| commitdiff \| tree
2004-10-31	skimo	use evalue instead of Enumeration	commit \| commitdiff \| tree
2004-10-31	skimo	print different statistics	commit \| commitdiff \| tree
2004-10-31	skimo	remove redundant code	commit \| commitdiff \| tree
2004-10-16	skimo	bump version	commit \| commitdiff \| tree
2004-10-12	skimo	Test whether linear combination of existential variables	commit \| commitdiff \| tree
2004-10-12	skimo	handle case where first part does not have a solution	commit \| commitdiff \| tree
2004-10-06	skimo	small tool for removing redundant equalities	commit \| commitdiff \| tree
2004-10-06	skimo	use bigger values for random vector	commit \| commitdiff \| tree
2004-10-05	skimo	warn on floor conversion	commit \| commitdiff \| tree
2004-10-05	skimo	add collect_polytopes2.c	commit \| commitdiff \| tree
2004-10-04	skimo	reduce constant after inversion; avoid infinite loop	commit \| commitdiff \| tree
2004-10-04	skimo	don't call pip when there are no existential variables	commit \| commitdiff \| tree
2004-10-03	skimo	bump version	commit \| commitdiff \| tree
2004-10-03	skimo	further merge	commit \| commitdiff \| tree
2004-10-03	skimo	more merging	commit \| commitdiff \| tree
2004-10-03	skimo	compute EP only once for each vertex, at the expense...	commit \| commitdiff \| tree
2004-10-03	skimo	minor extra merge	commit \| commitdiff \| tree
2004-10-03	skimo	remove bottleneck + merge	commit \| commitdiff \| tree
2004-10-03	skimo	add NTL_5_3_2.patch	commit \| commitdiff \| tree
2004-10-01	skimo	deeper loop merge	commit \| commitdiff \| tree
2004-09-30	skimo	dead code	commit \| commitdiff \| tree
2004-09-30	skimo	array contraction	commit \| commitdiff \| tree
2004-09-30	skimo	remove bottleneck + merge loops	commit \| commitdiff \| tree
2004-09-30	skimo	typo in comment	commit \| commitdiff \| tree
2004-09-30	skimo	distribute cdd2polylib.pl	commit \| commitdiff \| tree
2004-09-30	skimo	ensure all rays are positive	commit \| commitdiff \| tree
2004-09-30	skimo	use provided parameter names	commit \| commitdiff \| tree
2004-09-30	skimo	avoid +-	commit \| commitdiff \| tree
2004-09-30	skimo	collect terms with the same denominator	commit \| commitdiff \| tree
2004-09-30	skimo	ignore zero terms	commit \| commitdiff \| tree
2004-09-30	skimo	typo	commit \| commitdiff \| tree
2004-09-29	skimo	include unistd.h for platforms without getopt.h	commit \| commitdiff \| tree
2004-09-28	skimo	hack to ignore rays	commit \| commitdiff \| tree
2004-09-19	skimo	make ray lexico-positive	commit \| commitdiff \| tree
2004-09-19	skimo	initial support for Ehrhart series	commit \| commitdiff \| tree
2004-09-19	skimo	allow construction of 0D "nonorthogonal" vector	commit \| commitdiff \| tree
2004-09-19	skimo	extract check for infinite parametric polytopes	commit \| commitdiff \| tree
2004-09-18	skimo	change lattice_point slightly (used in previous patch)	commit \| commitdiff \| tree
2004-09-18	skimo	don't make numerator power positive + merge loops	commit \| commitdiff \| tree
2004-09-18	skimo	don't make numerator power positive + merge loops	commit \| commitdiff \| tree
2004-09-18	skimo	allow negative powers	commit \| commitdiff \| tree
2004-09-18	skimo	typo	commit \| commitdiff \| tree
2004-09-18	skimo	bump version	commit \| commitdiff \| tree
2004-09-18	skimo	update	commit \| commitdiff \| tree
2004-09-18	skimo	point to PIP location	commit \| commitdiff \| tree
2004-09-18	skimo	shift polytope for PIP if variables range over negative...	commit \| commitdiff \| tree
2004-09-18	skimo	allow verification of direct pip use	commit \| commitdiff \| tree
2004-09-18	skimo	don't overallocate if we don't have to	commit \| commitdiff \| tree
2004-09-18	skimo	don't overallocate if we don't have to	commit \| commitdiff \| tree
2004-09-18	skimo	override barvinok_enumerate_ev instead of barvinok_enumerate	commit \| commitdiff \| tree
2004-09-18	skimo	optionally use pip	commit \| commitdiff \| tree
2004-09-18	skimo	rename and export pip-based enumeration	commit \| commitdiff \| tree
2004-09-18	skimo	converter for cdd input to polylib input	commit \| commitdiff \| tree
2004-09-18	skimo	conform to C89	commit \| commitdiff \| tree
2004-09-07	skimo	hooks to count the input and output size in bits	commit \| commitdiff \| tree
2004-09-07	skimo	be careful about what to negate	commit \| commitdiff \| tree
2004-09-04	skimo	some vector partition examples	commit \| commitdiff \| tree
2004-08-31	skimo	avoid gccisms	commit \| commitdiff \| tree
2004-08-31	skimo	include string need for memcpy	commit \| commitdiff \| tree
2004-08-31	skimo	avoid gccism	commit \| commitdiff \| tree
2004-08-31	skimo	force c++ linking instead of linking in libstdc++	commit \| commitdiff \| tree
2004-08-31	skimo	force installation of (possibly) new version	commit \| commitdiff \| tree
2004-08-31	skimo	check for getopt	commit \| commitdiff \| tree
2004-08-29	skimo	move "constant" constant part outside of fractional...	commit \| commitdiff \| tree
2004-08-29	skimo	combine result	commit \| commitdiff \| tree
2004-08-29	skimo	small memory leak	commit \| commitdiff \| tree
2004-08-29	skimo	use pip if available	commit \| commitdiff \| tree
2004-08-29	skimo	check for piplib	commit \| commitdiff \| tree
2004-08-29	skimo	convert to lookup-table if requested	commit \| commitdiff \| tree
2004-08-29	skimo	test program for pip support	commit \| commitdiff \| tree
2004-08-29	skimo	add support for computing the lexicographical minimum...	commit \| commitdiff \| tree
2004-08-29	skimo	also look at denominator of the constant	commit \| commitdiff \| tree
2004-08-28	skimo	more partial ray removal (largely untested	commit \| commitdiff \| tree
2004-08-23	skimo	s/vd/vertices/	commit \| commitdiff \| tree
2004-08-23	skimo	check that polylib is recent enough to correctly compute...	commit \| commitdiff \| tree
2004-08-23	skimo	add t12.in esum.in	commit \| commitdiff \| tree
2004-08-23	skimo	new tests from polylib	commit \| commitdiff \| tree
2004-08-23	skimo	perform correct periodic number lookup for negative...	commit \| commitdiff \| tree
2004-08-23	skimo	more info	commit \| commitdiff \| tree
2004-08-14	skimo	typo	commit \| commitdiff \| tree
2004-08-14	skimo	correct test for mpz_divisible_p	commit \| commitdiff \| tree
2004-08-14	skimo	repeat workaround in loop	commit \| commitdiff \| tree
2004-08-14	skimo	older gmps seem to have problems with a string constisting...	commit \| commitdiff \| tree
2004-08-14	skimo	support older gmp versions	commit \| commitdiff \| tree
2004-08-13	skimo	don't assume C99	commit \| commitdiff \| tree
2004-08-10	skimo	remove code duplication	commit \| commitdiff \| tree
2004-08-09	skimo	extract out common code	commit \| commitdiff \| tree
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
next

lattice point enumeration library

RSS Atom