Public Git Hosting - barvinok.git/search

2004-11-17	skimo	typo	commit \| commitdiff \| tree
2004-11-17	skimo	more refactoring	commit \| commitdiff \| tree
2004-11-17	skimo	more reordering	commit \| commitdiff \| tree
2004-11-17	skimo	micro-optimization ?	commit \| commitdiff \| tree
2004-11-17	skimo	some code reordering	commit \| commitdiff \| tree
2004-11-17	skimo	remove duplicate code	commit \| commitdiff \| tree
2004-11-17	skimo	add and use incremental counter	commit \| commitdiff \| tree
2004-11-17	skimo	support multiple divisions and clean up memory	commit \| commitdiff \| tree
2004-11-17	skimo	also dump recently added denominator	commit \| commitdiff \| tree
2004-11-17	skimo	apparently, sign was ignored before	commit \| commitdiff \| tree
2004-11-17	skimo	multiply with correct coefficient 1/d	commit \| commitdiff \| tree
2004-11-17	skimo	remove duplicate factor	commit \| commitdiff \| tree
2004-11-17	skimo	add denominator to dpoly_r and split div method	commit \| commitdiff \| tree
2004-11-16	skimo	change arguments of normalize methods	commit \| commitdiff \| tree
2004-11-03	skimo	really only remove redundant constraints when factor==0	commit \| commitdiff \| tree
2004-10-31	skimo	conversion to explicit function on request	commit \| commitdiff \| tree
2004-10-31	skimo	conversion from genfun to evalue	commit \| commitdiff \| tree
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
next

lattice point enumeration library

RSS Atom