?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
Convert multiple existential variables in an equality into a single one
2004-04-21 skimoConvert multiple existential variables in an equality...
commit | commitdiff | tree
2004-03-30 skimocompute "complement" if needed
 commit | commitdiff | tree
2004-03-30 skimomore add "complement" relation when adding non-zero...
commit | commitdiff | tree
2004-03-30 skimoadd "complement" relation when adding non-zero value
 commit | commitdiff | tree
2004-03-30 skimosupport printing of "complement" of relation
 commit | commitdiff | tree
2004-03-28 skimoinstall headers
 commit | commitdiff | tree
2004-03-28 skimopartial implementation of "mask" operation
 commit | commitdiff | tree
2004-03-28 skimoinclude appropriate header
 commit | commitdiff | tree
2004-03-28 skimocomply with C standard :-)
 commit | commitdiff | tree
2004-03-28 skimoexport _ev version
 commit | commitdiff | tree
2004-02-29 skimobump version
 commit | commitdiff | tree
2004-02-28 skimoregression tests
 commit | commitdiff | tree
2004-02-28 skimoDr. Egon Spengler: There's something very important...
commit | commitdiff | tree
2004-02-22 skimobump version
 commit | commitdiff | tree
2004-02-22 skimoupdate ChangeLog
 commit | commitdiff | tree
2004-02-22 skimoavoid namespace pollution
 commit | commitdiff | tree
2004-02-22 skimoavoid sub validity domains
 commit | commitdiff | tree
2004-02-22 skimoDomainIncludes
 commit | commitdiff | tree
2004-02-22 skimoPostpone multiplication with "factor" to handle the...
commit | commitdiff | tree
2004-02-15 skimoactually perform modulo when converting to tables
 commit | commitdiff | tree
2004-02-15 skimoextend 1D special-casing to multiple lower/upper bounds
 commit | commitdiff | tree
2004-02-15 skimomemory leaks
 commit | commitdiff | tree
2004-02-15 skimosupport emul for partitions
 commit | commitdiff | tree
2004-02-15 skimodon't assume factor is a constant
 commit | commitdiff | tree
2004-02-15 skimodon't modify d parameter
 commit | commitdiff | tree
2004-02-15 skimoadd pointer to polylib
 commit | commitdiff | tree
2004-02-15 skimoSupport reduction for non-modulo by temporarily using...
commit | commitdiff | tree
2004-02-15 skimomodulo to table conversion
 commit | commitdiff | tree
2004-02-15 skimoanother memory leak
 commit | commitdiff | tree
2004-02-15 skimoanother memory leak
 commit | commitdiff | tree
2004-02-15 skimomemory leak
 commit | commitdiff | tree
2004-02-15 skimoexperimental "unfringe" code
 commit | commitdiff | tree
2004-02-15 skimotype
 commit | commitdiff | tree
2004-02-06 skimofix decomposition test and add polarized decompostion...
commit | commitdiff | tree
2004-01-26 skimoeliminate a variable if we can (not tested)
 commit | commitdiff | tree
2004-01-26 skimooops; we need quotient rather than remainder
 commit | commitdiff | tree
2004-01-25 skimohandle equalities
 commit | commitdiff | tree
2004-01-25 skimoHandle ONE_NEG for any position of the variable correctly
 commit | commitdiff | tree
2004-01-25 skimoHandle ONE_NEG for any position of the variable.
 commit | commitdiff | tree
2004-01-25 skimoOnly use independent bounds to construct the one_dep.
 commit | commitdiff | tree
2004-01-25 skimoTruly partition validity domains.
 commit | commitdiff | tree
2004-01-25 skimocopy in_domain from polylib
 commit | commitdiff | tree
2004-01-25 skimoSpecial case "infinite" polytopes, i.e., those with
 commit | commitdiff | tree
2004-01-25 skimoInitial implementation of barvinok_enumerate_e.
 commit | commitdiff | tree
2004-01-23 skimoDon't use modulo if quotient is the same over the whole
 commit | commitdiff | tree
2004-01-22 skimoremove note to self
 commit | commitdiff | tree
2004-01-22 skimosupport add for partitions
 commit | commitdiff | tree
2004-01-21 skimoremove debug.{cpp,h}
 commit | commitdiff | tree
2004-01-21 skimosupport free and dummy add for partitions
 commit | commitdiff | tree
2004-01-21 skimosupport printing for partitions
 commit | commitdiff | tree
2004-01-20 skimoCalculate count as a partition and convert to Enumeration...
commit | commitdiff | tree
2004-01-20 skimodefine partition type
 commit | commitdiff | tree
2004-01-20 skimoPartial implementation of parametric polyhedral reduction.
 commit | commitdiff | tree
2004-01-19 skimos/indicator/relation/
 commit | commitdiff | tree
2004-01-16 skimosimplify Polyhedron_Reduce a bit
 commit | commitdiff | tree
2004-01-15 skimochange comment about modulo rep
 commit | commitdiff | tree
2004-01-13 skimoadd tests/ehrhart/equal5
 commit | commitdiff | tree
2004-01-13 skimobump version
 commit | commitdiff | tree
2004-01-13 skimouse indicator functions to mask when using modulo expressions
 commit | commitdiff | tree
2004-01-13 skimopartial "indicator function" support
 commit | commitdiff | tree
2004-01-12 skimoadd comment on factor parameter
 commit | commitdiff | tree
2004-01-12 skimoadd constant in multi_monom
 commit | commitdiff | tree
2004-01-12 skimofree argument of modulo when reducing strength
 commit | commitdiff | tree
2004-01-12 skimoremove typo introduced by previous patch
 commit | commitdiff | tree
2004-01-12 skimofix memleak in reduce_evalue
 commit | commitdiff | tree
2004-01-12 skimoremove a few memory leaks
 commit | commitdiff | tree
2004-01-11 skimosilly optimization for special case of mod 2
 commit | commitdiff | tree
2004-01-11 skimohandle sum of modulo polynomials of different size
 commit | commitdiff | tree
2004-01-09 skimoadd warning about modulo representation
 commit | commitdiff | tree
2004-01-09 skimoavoid warnings
 commit | commitdiff | tree
2004-01-09 skimobump version
 commit | commitdiff | tree
2003-12-25 skimomake use of modulo configurable
 commit | commitdiff | tree
2003-12-23 skimosupport for modulo calculations
 commit | commitdiff | tree
2003-12-23 skimopick up modified versions
 commit | commitdiff | tree
2003-12-23 skimodon't construct zero term
 commit | commitdiff | tree
2003-12-23 skimopick up modified versions
 commit | commitdiff | tree
2003-12-23 skimobe carefull about rounding and modulo
 commit | commitdiff | tree
2003-12-23 skimodon't "reposition" modulo
 commit | commitdiff | tree
2003-12-23 skimoextend compute_enode for modulo
 commit | commitdiff | tree
2003-12-23 skimocopied from polylib
 commit | commitdiff | tree
2003-12-23 skimocompare argument for modulo type
 commit | commitdiff | tree
2003-12-23 skimomore canonicalization
 commit | commitdiff | tree
2003-12-22 skimosmall clean-up
 commit | commitdiff | tree
2003-12-22 skimoadd periodics "canonically"
 commit | commitdiff | tree
2003-12-22 skimoadd polynomials "canonically"
 commit | commitdiff | tree
2003-12-22 skimosmall simpliciation
 commit | commitdiff | tree
2003-12-22 skimoreduce support for modulo
 commit | commitdiff | tree
2003-12-22 skimoeadd and emul support for modulo
 commit | commitdiff | tree
2003-12-22 skimosupport printing of modulo
 commit | commitdiff | tree
2003-12-22 skimoadd "modulo" type
 commit | commitdiff | tree
2003-12-22 skimoadd "copy constructor"
 commit | commitdiff | tree
2003-12-22 skimocopy some printing funcs from polylib
 commit | commitdiff | tree
2003-12-22 skimofix typo in comment
 commit | commitdiff | tree
2003-12-22 skimocopy some defs/funs from polylib
 commit | commitdiff | tree
2003-12-22 skimoinclude ev_operations before barvinok
 commit | commitdiff | tree
2003-12-22 skimosmall clean-ups
 commit | commitdiff | tree
2003-12-22 skimoremove use of ehrhartpolynom
 commit | commitdiff | tree
2003-12-22 skimoremove params
 commit | commitdiff | tree
2003-12-22 skimoconver term
 commit | commitdiff | tree
2003-12-22 skimoconvert term_info
 commit | commitdiff | tree
next
lattice point enumeration library