?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
perform another range reduction after summation
2004-07-31 skimoperform another range reduction after summation
 commit | commitdiff | tree
2004-07-31 skimoDecompositions based on validity domains and parametric...
commit | commitdiff | tree
2004-07-30 skimosplit off part that certainly contains lattice points
 commit | commitdiff | tree
2004-07-30 skimoroutine for reducing to zero variables case
 commit | commitdiff | tree
2004-07-30 skimouse newly added routine
 commit | commitdiff | tree
2004-07-30 skimoa polytope with rays independent of the existential...
commit | commitdiff | tree
2004-07-30 skimocheck for empty polytope
 commit | commitdiff | tree
2004-07-30 skimosimplify constraints on each invocation of barvinok_enumerat...
commit | commitdiff | tree
2004-07-30 skimoextract out routine for "or"ing
 commit | commitdiff | tree
2004-07-30 skimounused routine for removing double bounds
 commit | commitdiff | tree
2004-07-30 skimosend debug output to stderr in (unused) unfringe
 commit | commitdiff | tree
2004-07-30 skimomake debuggin easier by keeping track of recursion...
commit | commitdiff | tree
2004-07-30 skimoextract out routine to align constraint along a linear...
commit | commitdiff | tree
2004-07-30 skimoIf one of the hyperplanes has to be independent as...
commit | commitdiff | tree
2004-07-30 skimoEnsure that first variable is made negative inside...
commit | commitdiff | tree
2004-07-30 skimoEnsure that splitting will reduce the number of existential
 commit | commitdiff | tree
2004-07-30 skimoabstract out handling of multiple validity domains
 commit | commitdiff | tree
2004-07-29 skimoExtra check that is probably not needed
 commit | commitdiff | tree
2004-07-29 skimohandle composed validity domains
 commit | commitdiff | tree
2004-07-29 skimoreduce after summation
 commit | commitdiff | tree
2004-07-29 skimodon't create empty partitions
 commit | commitdiff | tree
2004-07-29 skimoallow evaluation of floorings
 commit | commitdiff | tree
2004-07-29 skimoperform (trivial) reduction on floorings
 commit | commitdiff | tree
2004-07-29 skimomake reorder_terms work for floorings
 commit | commitdiff | tree
2004-07-29 skimocorrect check for 1
 commit | commitdiff | tree
2004-07-29 skimobe more strict when comparing two rationals
 commit | commitdiff | tree
2004-07-29 skimotypo in comment
 commit | commitdiff | tree
2004-07-21 skimohandle case of all empty validity domains
 commit | commitdiff | tree
2004-07-21 skimosupport polynomials in "real" parameters
 commit | commitdiff | tree
2004-07-21 skimohandle negative values of summed variable
 commit | commitdiff | tree
2004-07-21 skimocheck whether POLYTOPE_PREFIX is actually set
 commit | commitdiff | tree
2004-07-20 skimofloor conversion and partial implementation of esum
 commit | commitdiff | tree
2004-07-20 skimopos starts at 1
 commit | commitdiff | tree
2004-07-19 skimominor reordering of code
 commit | commitdiff | tree
2004-07-19 skimosplit off more common code
 commit | commitdiff | tree
2004-07-19 skimorevert change commited by accident
 commit | commitdiff | tree
2004-07-19 skimoadd collect_polytopes.c
 commit | commitdiff | tree
2004-07-18 skimorecurse into the correct version of count_points
 commit | commitdiff | tree
2004-07-18 skimo"or"-split for case with only existential variables
 commit | commitdiff | tree
2004-07-18 skimoallow split on other than first existential variable
 commit | commitdiff | tree
2004-07-18 skimoextract out code to split on a constraint
 commit | commitdiff | tree
2004-07-17 skimo"existential" version of verif_ehrhart
 commit | commitdiff | tree
2004-07-17 skimoprovide evalue to enumeration conversion
 commit | commitdiff | tree
2004-07-17 skimoadapt to deal with existential variables
 commit | commitdiff | tree
2004-07-16 skimocopied from ehrhart.c from Polylib distribution
 commit | commitdiff | tree
2004-07-14 skimohandle trivial case of only existential variables
 commit | commitdiff | tree
2004-07-14 skimoIt should be sufficient that one of the bounds is independent
 commit | commitdiff | tree
2004-07-14 skimodon't count storage space for the rays
 commit | commitdiff | tree
2004-07-06 skimobump version
 commit | commitdiff | tree
2004-07-06 skimofix up changelog
 commit | commitdiff | tree
2004-07-06 skimobump version some more since we changed the interface
 commit | commitdiff | tree
2004-07-06 skimoturn of debugging messages
 commit | commitdiff | tree
2004-07-06 skimoupdate
 commit | commitdiff | tree
2004-07-06 skimobrief description of the input
 commit | commitdiff | tree
2004-07-06 skimoreplace modulo by fractional
 commit | commitdiff | tree
2004-07-06 skimoremove empty partitions in place
 commit | commitdiff | tree
2004-07-06 skimomore memory leaks
 commit | commitdiff | tree
2004-07-06 skimomemory leak
 commit | commitdiff | tree
2004-07-06 skimopotential memory leak
 commit | commitdiff | tree
2004-07-06 skimo(potential) memory leaks
 commit | commitdiff | tree
2004-07-06 skimoprint more info
 commit | commitdiff | tree
2004-07-05 skimopreload library to count the number of validity domains
 commit | commitdiff | tree
2004-07-01 skimomemory leak
 commit | commitdiff | tree
2004-07-01 skimomemory leak
 commit | commitdiff | tree
2004-07-01 skimomemory leak
 commit | commitdiff | tree
2004-07-01 skimomemory leak
 commit | commitdiff | tree
2004-06-26 skimoUse function for copying evalue.
 commit | commitdiff | tree
2004-06-26 skimoorder periodics in multiplication as well
 commit | commitdiff | tree
2004-06-26 skimocopy value before freeing
 commit | commitdiff | tree
2004-06-26 skimoregression test
 commit | commitdiff | tree
2004-06-26 skimohandle case where polytope has no "real" dimensions...
commit | commitdiff | tree
2004-06-25 skimoUse smallest representative in absolute value rather...
commit | commitdiff | tree
2004-06-25 skimoDebugging output to evaluate the usefulness of several
 commit | commitdiff | tree
2004-06-25 skimoAdd constraint if expression is only integer for a...
commit | commitdiff | tree
2004-06-25 skimoperform range reduction on condition of relation
 commit | commitdiff | tree
2004-06-25 skimofully propagate reordering
 commit | commitdiff | tree
2004-06-24 skimopartially propagate reordering and reduce in case of...
commit | commitdiff | tree
2004-06-24 skimoremove comment
 commit | commitdiff | tree
2004-06-24 skimoRange reduction and some auxiliary functions.
 commit | commitdiff | tree
2004-06-24 skimoInvert a fractional if leading coefficient becomes...
commit | commitdiff | tree
2004-06-24 skimoremove debugging output
 commit | commitdiff | tree
2004-06-24 skimoRemove invalid memory access.
 commit | commitdiff | tree
2004-06-23 skimorecompute domains
 commit | commitdiff | tree
2004-06-23 skimocompute size of all subdomains
 commit | commitdiff | tree
2004-06-23 skimotrivial recombination
 commit | commitdiff | tree
2004-06-23 skimoalso invert when constant is half the modulo, since...
commit | commitdiff | tree
2004-06-23 skimoAllow more fracitonal substitutions, in particular
 commit | commitdiff | tree
2004-06-23 skimosearch for pair of fractionals that can (optimally...
commit | commitdiff | tree
2004-06-23 skimoalways provide subst structure (even if empty)
 commit | commitdiff | tree
2004-06-22 skimoavoid infinite loop caused by splitting off nothing
 commit | commitdiff | tree
2004-06-22 skimoremove relation if branches are identical
 commit | commitdiff | tree
2004-06-22 skimoremove reduced relations
 commit | commitdiff | tree
2004-06-21 skimoreplace { E/m } by { (E-1)/m } + 1/m if { E/m } != 0
 commit | commitdiff | tree
2004-06-21 skimonumerator can never be negative inside fractional
 commit | commitdiff | tree
2004-06-21 skimooptionally print "size" of enumeration
 commit | commitdiff | tree
2004-06-21 skimoEnumeration_size
 commit | commitdiff | tree
2004-06-21 skimoexport domain_size
 commit | commitdiff | tree
2004-06-21 skimoreduce after conversion
 commit | commitdiff | tree
2004-06-21 skimotranslate relation as well
 commit | commitdiff | tree
2004-06-20 skimouse convex hull for equalities to use in reduction
 commit | commitdiff | tree
next
lattice point enumeration library