?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
remove debugging output
2004-08-05 skimoremove debugging output
 commit | commitdiff | tree
2004-08-05 skimouse evalue rather than enumeration and some memory...
commit | commitdiff | tree
2004-08-05 skimoextend printing and computing to handles "modulos"...
commit | commitdiff | tree
2004-08-05 skimoalternative to in_domain that handles "modulos" in...
commit | commitdiff | tree
2004-08-05 skimostore "real" dimension in pos field of partition
 commit | commitdiff | tree
2004-08-04 skimoremove duplicate implementation
 commit | commitdiff | tree
2004-08-04 skimobe slightly more conservative (correct) in determining...
commit | commitdiff | tree
2004-08-04 skimoa ray that depends on the parameters should be ok
 commit | commitdiff | tree
2004-08-04 skimoclean up
 commit | commitdiff | tree
2004-08-04 skimomemory leak
 commit | commitdiff | tree
2004-08-03 skimomemory leak
 commit | commitdiff | tree
2004-08-03 skimomemory leak
 commit | commitdiff | tree
2004-08-03 skimomemory leak
 commit | commitdiff | tree
2004-08-03 skimomemory leak
 commit | commitdiff | tree
2004-08-03 skimomemory leak
 commit | commitdiff | tree
2004-08-03 skimomemory leak
 commit | commitdiff | tree
2004-08-03 skimoremove debugging output
 commit | commitdiff | tree
2004-08-03 skimocheck whether projection is bounded
 commit | commitdiff | tree
2004-08-03 skimoSplit on parametric vertex.
 commit | commitdiff | tree
2004-08-03 skimoIf one of the vertices in the combined space is a lattice...
commit | commitdiff | tree
2004-08-03 skimoeliminate parameters if we can
 commit | commitdiff | tree
2004-08-03 skimoonly perform vd basid reduction if the polytope has...
commit | commitdiff | tree
2004-08-03 skimounfringe polyhedron
 commit | commitdiff | tree
2004-08-03 skimoremove debugging output in unfringe
 commit | commitdiff | tree
2004-08-03 skimoextend addeliminatedparams to partitions
 commit | commitdiff | tree
2004-08-01 skimobail early on empty polytope
 commit | commitdiff | tree
2004-08-01 skimoreduce higher degrees of fractional parts with floor...
commit | commitdiff | tree
2004-08-01 skimoonly rays involving the real variables lead to unbounded...
commit | commitdiff | tree
2004-08-01 skimoperform range reduction if requested
 commit | commitdiff | tree
2004-08-01 skimoonly calculate once for part that is independent of...
commit | commitdiff | tree
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
next
lattice point enumeration library