Public Git Hosting - barvinok.git/search

2004-12-12	skimo	add verif_ehrhart.h to distribution	commit \| commitdiff \| tree
2004-12-12	skimo	bump version	commit \| commitdiff \| tree
2004-12-12	skimo	memory leak	commit \| commitdiff \| tree
2004-12-12	skimo	micro optimization	commit \| commitdiff \| tree
2004-12-12	skimo	take context into account	commit \| commitdiff \| tree
2004-12-12	skimo	export Polyhedron_Project	commit \| commitdiff \| tree
2004-12-12	skimo	make use of incremental algorithm configurable	commit \| commitdiff \| tree
2004-12-02	skimo	remove redundant equalities	commit \| commitdiff \| tree
2004-12-02	skimo	remove zero terms	commit \| commitdiff \| tree
2004-12-02	skimo	target for checking series conversion	commit \| commitdiff \| tree
2004-12-02	skimo	only print series on request	commit \| commitdiff \| tree
2004-12-02	skimo	use values after normalization	commit \| commitdiff \| tree
2004-11-29	skimo	shoehorn in non-fractional version of incremental enumeration	commit \| commitdiff \| tree
2004-11-29	skimo	optionally compute series first before verification	commit \| commitdiff \| tree
2004-11-29	skimo	split verif_ehrhart into c and c++ part	commit \| commitdiff \| tree
2004-11-29	skimo	combine terms with common denominator	commit \| commitdiff \| tree
2004-11-21	skimo	remove possibly incorrect optimization	commit \| commitdiff \| tree
2004-11-21	skimo	incremental enumerator	commit \| commitdiff \| tree
2004-11-18	skimo	no need for lambda anymore	commit \| commitdiff \| tree
2004-11-18	skimo	don't store zero terms	commit \| commitdiff \| tree
2004-11-17	skimo	bump version	commit \| commitdiff \| tree
2004-11-17	skimo	dead code elimination	commit \| commitdiff \| tree
2004-11-17	skimo	reuse new infrastructure to compute Ehrhart series	commit \| commitdiff \| tree
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
next

lattice point enumeration library

RSS Atom