repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
extract out some code that we may need later
2004-06-02
s
k
i
mo
extr
a
ct o
u
t some code that we may
need later
commit
|
commitdiff
|
tree
2004-06-02
ski
m
o
s
i
m
p
l
ify constraints of
validit
y
d
omains
commit
|
commitdiff
|
tree
2004-06-02
skim
o
also
m
ultiply
complement of rel
a
ti
o
n!
commit
|
commitdiff
|
tree
2004-05-31
sk
i
mo
silly typo
commit
|
commitdiff
|
tree
2004-04-25
s
k
i
mo
eva
l
u
a
t
e
partiti
o
ned
evalues
commit
|
commitdiff
|
tree
2004-04-25
ski
m
o
handle additi
o
ns of
t
wo
r
elations
commit
|
commitdiff
|
tree
2004-04-22
s
kimo
be ca
r
eful
w
h
e
n
r
elcul
a
ting the
r
o
w
commit
|
commitdiff
|
tree
2004-04-21
s
kimo
Convert
m
ulti
p
l
e
exis
t
enti
a
l variables in a
n
e
q
uality
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
sk
i
mo
compute "complemen
t
" if needed
commit
|
commitdiff
|
tree
2004-03-30
skimo
m
o
re
add
"
co
m
plement" rela
t
ion when adding non-zero
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
skimo
add "com
p
le
m
en
t
" relation when ad
d
i
n
g non-zero value
commit
|
commitdiff
|
tree
2004-03-30
s
k
imo
s
upport pr
i
n
ting of
"compl
e
ment" of re
l
a
t
ion
commit
|
commitdiff
|
tree
2004-03-28
ski
m
o
install he
a
d
ers
commit
|
commitdiff
|
tree
2004-03-28
skimo
partial
i
m
plementation of "mask"
operatio
n
commit
|
commitdiff
|
tree
2004-03-28
skimo
i
n
clude
appropriate header
commit
|
commitdiff
|
tree
2004-03-28
skimo
co
m
ply w
i
th C
s
tandard :-)
commit
|
commitdiff
|
tree
2004-03-28
skimo
export _ev version
commit
|
commitdiff
|
tree
2004-02-29
skimo
bump version
commit
|
commitdiff
|
tree
2004-02-28
skimo
r
e
gres
s
ion
te
s
ts
commit
|
commitdiff
|
tree
2004-02-28
skimo
Dr
.
Egon Spengler: There's so
m
ething ve
r
y
i
mportant
.
.
.
commit
|
commitdiff
|
tree
2004-02-22
sk
i
mo
bum
p
version
commit
|
commitdiff
|
tree
2004-02-22
skimo
u
pdate
C
hangeLog
commit
|
commitdiff
|
tree
2004-02-22
skimo
avoid namespace pollution
commit
|
commitdiff
|
tree
2004-02-22
skimo
avoid sub valid
i
ty d
o
mains
commit
|
commitdiff
|
tree
2004-02-22
skimo
DomainIn
c
ludes
commit
|
commitdiff
|
tree
2004-02-22
skimo
P
ostpone multiplication wi
t
h "
f
acto
r
" to h
a
ndle the
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
a
c
tua
l
ly perf
o
rm mo
d
ulo when
c
onverting
t
o t
a
bles
commit
|
commitdiff
|
tree
2004-02-15
skimo
extend 1D special-cas
i
ng to mu
l
t
i
ple lower/up
p
er bounds
commit
|
commitdiff
|
tree
2004-02-15
skimo
memory leaks
commit
|
commitdiff
|
tree
2004-02-15
skimo
su
p
port emul for pa
r
titi
o
ns
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't
assume factor is a con
s
tant
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't modify d para
m
eter
commit
|
commitdiff
|
tree
2004-02-15
skimo
add
p
ointer to
polyl
i
b
commit
|
commitdiff
|
tree
2004-02-15
skimo
Support reduction
f
or no
n
-modulo by t
e
mporar
i
ly usi
n
g
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
modulo
to tabl
e
conve
r
s
ion
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
a
nother memory leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
a
no
t
her m
e
mo
r
y
leak
commit
|
commitdiff
|
tree
2004-02-15
s
kimo
memory l
e
ak
commit
|
commitdiff
|
tree
2004-02-15
skimo
experimenta
l
"
u
nfri
n
ge" code
commit
|
commitdiff
|
tree
2004-02-15
skimo
type
commit
|
commitdiff
|
tree
2004-02-06
s
kimo
fix dec
o
mposition te
s
t and
add polariz
e
d d
e
compostion
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
s
k
i
mo
eliminate
a
variable
if we
c
a
n
(no
t
t
e
sted)
commit
|
commitdiff
|
tree
2004-01-26
skimo
oop
s
; we need
q
uo
t
ient rather tha
n
r
emainder
commit
|
commitdiff
|
tree
2004-01-25
skimo
handle equalities
commit
|
commitdiff
|
tree
2004-01-25
skimo
H
andle O
N
E_NEG for a
n
y
p
os
i
t
i
on
o
f
t
h
e va
r
i
a
ble c
o
rr
e
c
t
ly
commit
|
commitdiff
|
tree
2004-01-25
skimo
Handle ONE_NEG for any p
o
sition
o
f
t
he variable
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
Only
u
s
e
indepen
d
ent bound
s
to construct
the one_dep
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
Truly
part
i
t
ion validity d
o
mains
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
copy in_do
m
a
i
n from poly
l
ib
commit
|
commitdiff
|
tree
2004-01-25
skim
o
Special ca
s
e "infinite
"
polytopes, i
.
e
.
, those with
commit
|
commitdiff
|
tree
2004-01-25
skimo
Initia
l
imp
l
ementation of barvinok_
e
n
ume
r
ate_e
.
commit
|
commitdiff
|
tree
2004-01-23
skimo
D
o
n't use modulo if quotient is
the sam
e
over the whole
commit
|
commitdiff
|
tree
2004-01-22
skimo
r
emove note to self
commit
|
commitdiff
|
tree
2004-01-22
s
kimo
support add for partitions
commit
|
commitdiff
|
tree
2004-01-21
s
k
imo
remove debug
.
{cp
p
,
h
}
commit
|
commitdiff
|
tree
2004-01-21
s
k
i
m
o
suppor
t
fr
e
e and dumm
y
a
dd for
p
a
rtitions
commit
|
commitdiff
|
tree
2004-01-21
ski
m
o
sup
p
o
rt printing for pa
r
titions
commit
|
commitdiff
|
tree
2004-01-20
skimo
Calc
u
late count as a part
i
tio
n
and convert to Enumeration
.
.
.
commit
|
commitdiff
|
tree
2004-01-20
skimo
define
p
a
r
tition type
commit
|
commitdiff
|
tree
2004-01-20
sk
i
m
o
Partial
imp
l
em
e
ntation of parametri
c
polyhedral reducti
o
n
.
commit
|
commitdiff
|
tree
2004-01-19
skimo
s/ind
i
cator/relation/
commit
|
commitdiff
|
tree
2004-01-16
skimo
s
imp
l
ify Poly
h
edron_Reduce a bit
commit
|
commitdiff
|
tree
2004-01-15
skimo
chang
e
comment abo
u
t modul
o
r
ep
commit
|
commitdiff
|
tree
2004-01-13
skimo
add te
s
ts/ehrhart/equa
l
5
commit
|
commitdiff
|
tree
2004-01-13
skimo
b
u
mp version
commit
|
commitdiff
|
tree
2004-01-13
skimo
use ind
i
cat
o
r functions
to mas
k
when
u
s
ing modulo
e
xpr
e
ssions
commit
|
commitdiff
|
tree
2004-01-13
skimo
partia
l
"
indi
c
a
tor function" su
p
port
commit
|
commitdiff
|
tree
2004-01-12
s
kim
o
add
c
omment on
f
actor p
a
ramet
e
r
commit
|
commitdiff
|
tree
2004-01-12
skimo
add co
n
stant in mul
t
i
_monom
commit
|
commitdiff
|
tree
2004-01-12
s
kimo
free
a
rgumen
t
of
m
odulo whe
n
reducing s
t
rength
commit
|
commitdiff
|
tree
2004-01-12
skimo
remove typo in
t
r
o
duced by prev
i
ous patch
commit
|
commitdiff
|
tree
2004-01-12
skimo
f
ix
m
emle
a
k in re
d
uce
_
evalue
commit
|
commitdiff
|
tree
2004-01-12
skimo
remove a few memory l
e
a
ks
commit
|
commitdiff
|
tree
2004-01-11
skimo
sill
y
opt
i
mization for special ca
s
e
of mod 2
commit
|
commitdiff
|
tree
2004-01-11
skimo
handle
s
u
m
o
f modulo polynomial
s
of different s
i
ze
commit
|
commitdiff
|
tree
2004-01-09
skimo
add warn
i
ng about
modulo r
e
pre
s
entat
i
on
commit
|
commitdiff
|
tree
2004-01-09
skim
o
a
v
oid warnin
g
s
commit
|
commitdiff
|
tree
2004-01-09
skimo
bump ve
r
s
ion
commit
|
commitdiff
|
tree
2003-12-25
ski
m
o
make use of modulo configur
a
ble
commit
|
commitdiff
|
tree
2003-12-23
sk
i
mo
support for mod
u
l
o
calc
u
lations
commit
|
commitdiff
|
tree
2003-12-23
s
kim
o
p
ick
u
p modified versions
commit
|
commitdiff
|
tree
2003-12-23
ski
m
o
don't
c
onstruct z
e
ro term
commit
|
commitdiff
|
tree
2003-12-23
skimo
p
i
ck up mo
d
i
fied versions
commit
|
commitdiff
|
tree
2003-12-23
skimo
be
c
arefu
l
l about rou
n
ding
and modulo
commit
|
commitdiff
|
tree
2003-12-23
s
kimo
d
o
n't "repos
i
tion" modulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
ex
t
end
compute_e
n
o
d
e
for modulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
c
o
p
i
ed from polylib
commit
|
commitdiff
|
tree
2003-12-23
skimo
c
o
mpare argument for modulo type
commit
|
commitdiff
|
tree
2003-12-23
sk
i
mo
m
o
re canonicalization
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
small c
l
ean
-
up
commit
|
commitdiff
|
tree
2003-12-22
skimo
add periodics "canonically"
commit
|
commitdiff
|
tree
2003-12-22
skimo
add polynomials
"canoni
c
ally"
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
sma
l
l simpl
i
ciation
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
r
educe sup
p
ort for
m
odulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
eadd an
d
emul suppo
r
t f
o
r
m
odulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
support
p
r
inting of m
o
dulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
add "modulo" type
commit
|
commitdiff
|
tree
2003-12-22
skimo
add "c
o
p
y
c
onstructor"
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
co
p
y
some
printing funcs
from polylib
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
fix typo in comment
commit
|
commitdiff
|
tree
next