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
reduce after conversion
2004-01-25
skimo
Truly pa
r
tition validity domains
.
commit
|
commitdiff
|
tree
2004-01-25
sk
i
mo
copy
in_domain from polylib
commit
|
commitdiff
|
tree
2004-01-25
skimo
Special
cas
e
"infinite" pol
y
topes, i
.
e
.
, those wi
t
h
commit
|
commitdiff
|
tree
2004-01-25
ski
m
o
Initial
i
mplementati
o
n
of ba
r
vinok_enum
e
rate_e
.
commit
|
commitdiff
|
tree
2004-01-23
ski
m
o
D
on't u
s
e m
o
dulo if quotien
t
is
t
he sam
e
over
t
he
whole
commit
|
commitdiff
|
tree
2004-01-22
skimo
r
e
move note to self
commit
|
commitdiff
|
tree
2004-01-22
skimo
support add for partitions
commit
|
commitdiff
|
tree
2004-01-21
s
k
i
mo
remove de
b
ug
.
{cpp,h}
commit
|
commitdiff
|
tree
2004-01-21
skimo
supp
o
rt free and dummy add for
partitions
commit
|
commitdiff
|
tree
2004-01-21
skimo
support printing for partitio
n
s
commit
|
commitdiff
|
tree
2004-01-20
skimo
Calculate cou
n
t as a part
i
tion and convert t
o
En
u
meratio
n
.
.
.
commit
|
commitdiff
|
tree
2004-01-20
skimo
defi
n
e
parti
t
ion type
commit
|
commitdiff
|
tree
2004-01-20
skimo
Partial
imple
m
entation of
p
aramet
r
ic
p
oly
h
edral
r
eductio
n
.
commit
|
commitdiff
|
tree
2004-01-19
skimo
s/indicator/
r
elation/
commit
|
commitdiff
|
tree
2004-01-16
s
k
imo
simplify Polyhedron
_
Reduce a
b
it
commit
|
commitdiff
|
tree
2004-01-15
sk
i
mo
change comment a
b
out modulo re
p
commit
|
commitdiff
|
tree
2004-01-13
skimo
ad
d
tests/e
h
rhart/equal5
commit
|
commitdiff
|
tree
2004-01-13
s
kimo
bump
v
e
rsi
o
n
commit
|
commitdiff
|
tree
2004-01-13
skim
o
use ind
i
c
a
t
or functions
to mask w
h
en using modulo expressions
commit
|
commitdiff
|
tree
2004-01-13
s
kimo
partial "in
d
icator fu
n
ction"
s
up
p
ort
commit
|
commitdiff
|
tree
2004-01-12
skimo
add comment o
n
fact
o
r parameter
commit
|
commitdiff
|
tree
2004-01-12
skimo
add constant in mu
l
ti_mono
m
commit
|
commitdiff
|
tree
2004-01-12
sk
i
m
o
f
r
ee argum
e
nt of modulo w
h
en red
u
cing strength
commit
|
commitdiff
|
tree
2004-01-12
skimo
remove typo introduce
d
by previous patch
commit
|
commitdiff
|
tree
2004-01-12
s
kimo
fix memleak i
n
reduce_evalue
commit
|
commitdiff
|
tree
2004-01-12
sk
i
mo
remove a f
e
w memory l
e
aks
commit
|
commitdiff
|
tree
2004-01-11
ski
m
o
silly optimizati
o
n for special case of mod 2
commit
|
commitdiff
|
tree
2004-01-11
s
k
imo
h
andle sum
o
f
m
odulo p
o
lynomials of di
f
f
erent si
z
e
commit
|
commitdiff
|
tree
2004-01-09
ski
m
o
add w
a
rning abou
t
modul
o
r
epresen
t
ation
commit
|
commitdiff
|
tree
2004-01-09
skimo
avoid warning
s
commit
|
commitdiff
|
tree
2004-01-09
skimo
bump ve
r
sion
commit
|
commitdiff
|
tree
2003-12-25
s
k
i
m
o
m
ake use of modulo configu
r
able
commit
|
commitdiff
|
tree
2003-12-23
skimo
support
f
or
m
odulo ca
l
cula
t
ions
commit
|
commitdiff
|
tree
2003-12-23
skim
o
p
ick u
p
m
odified versions
commit
|
commitdiff
|
tree
2003-12-23
ski
m
o
d
on't con
s
truct zero term
commit
|
commitdiff
|
tree
2003-12-23
skimo
pick up modified v
e
rsions
commit
|
commitdiff
|
tree
2003-12-23
skimo
be carefull about rounding and modulo
commit
|
commitdiff
|
tree
2003-12-23
skim
o
don'
t
"reposition" m
o
d
u
lo
commit
|
commitdiff
|
tree
2003-12-23
skimo
extend compute_enode f
o
r m
o
dulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
cop
i
ed from polylib
commit
|
commitdiff
|
tree
2003-12-23
s
kimo
compare argument for modulo t
y
pe
commit
|
commitdiff
|
tree
2003-12-23
skimo
more ca
n
on
i
calization
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
sma
l
l
clean-up
commit
|
commitdiff
|
tree
2003-12-22
skimo
add
p
er
i
odic
s
"
c
a
nonically"
commit
|
commitdiff
|
tree
2003-12-22
skimo
add polynomia
l
s
"canonically"
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
smal
l
simpliciation
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
reduce support for
modulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
ead
d
and emul s
u
pport for
m
odulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
s
u
p
p
ort printing
o
f modulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
add "modulo"
type
commit
|
commitdiff
|
tree
2003-12-22
skimo
add "co
p
y cons
t
ructor"
commit
|
commitdiff
|
tree
2003-12-22
skimo
copy some printi
n
g
fun
c
s from polylib
commit
|
commitdiff
|
tree
2003-12-22
skimo
fi
x
typ
o
in co
m
men
t
commit
|
commitdiff
|
tree
2003-12-22
skimo
c
opy som
e
d
efs/funs from polyl
i
b
commit
|
commitdiff
|
tree
2003-12-22
skimo
include e
v
_
o
per
a
tio
n
s before barvi
n
ok
commit
|
commitdiff
|
tree
2003-12-22
skimo
small clean-ups
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
remove use of
ehrhartpolyn
o
m
commit
|
commitdiff
|
tree
2003-12-22
skimo
r
emove
p
arams
commit
|
commitdiff
|
tree
2003-12-22
skimo
conver term
commit
|
commitdiff
|
tree
2003-12-22
skimo
co
n
vert term_info
commit
|
commitdiff
|
tree
2003-12-22
skimo
convert multi
_
po
l
ynom
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
"conver
t
" co
n
stant
commit
|
commitdiff
|
tree
2003-12-22
skimo
convert uni_polynom
commit
|
commitdiff
|
tree
2003-12-22
skimo
new "constructor
"
commit
|
commitdiff
|
tree
2003-12-22
s
k
im
o
free
f
acto
r
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
use
a
ddeliminatedpa
r
ams
_
e
v
alue
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
copied f
r
om poly
l
ib
commit
|
commitdiff
|
tree
2003-12-22
skimo
remove unneeded argument
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
co
n
ver
t
facto
r
t
o
evalue
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
int construc
t
or
commit
|
commitdiff
|
tree
2003-12-20
skimo
Kee
p
the eq
u
a
tion
s
that Polyhedron2Param_Si
m
p
lifiedDo
m
ain
commit
|
commitdiff
|
tree
2003-12-17
s
ki
m
o
check number of argumen
t
s of count_points
commit
|
commitdiff
|
tree
2003-12-17
sk
i
mo
check n
u
mb
e
r
o
f arguments of Polyhedr
o
n_En
u
mera
t
e
commit
|
commitdiff
|
tree
2003-12-17
skimo
Don't assume new_enode inits
commit
|
commitdiff
|
tree
2003-11-27
skimo
ma
k
e
sure
tests
g
et in
c
l
uded
commit
|
commitdiff
|
tree
2003-11-27
skimo
b
ump versio
n
commit
|
commitdiff
|
tree
2003-11-27
sk
i
m
o
c
lea
r
v
alue before overwrit
i
ng it
commit
|
commitdiff
|
tree
2003-11-26
skimo
Don't assum
e
new_enode in
i
ts
.
x
.
n and
f
ix some
m
em
o
ry
.
.
.
commit
|
commitdiff
|
tree
2003-11-26
sk
i
m
o
don't
t
h
row awa
y
t
he
c
o
nstra
i
nts on th
e
paramete
r
s
commit
|
commitdiff
|
tree
2003-11-26
skim
o
Dea
l
w
ith eq
u
al
i
ties wi
t
h n
o
n
-o
n
e coefficients
.
commit
|
commitdiff
|
tree
2003-11-26
skimo
H
a
ndle
equalities among
parameters (
p
a
rtially
copied
.
.
.
commit
|
commitdiff
|
tree
2003-11-26
s
k
imo
prov
i
d
e more info o
n
failure
commit
|
commitdiff
|
tree
2003-11-26
skimo
only sk
i
p equalit
i
es
commit
|
commitdiff
|
tree
2003-11-26
skimo
honou
r
ar
g
ument
commit
|
commitdiff
|
tree
2003-11-26
skimo
r
eturn e
m
pty polyhedron once w
e
'
r
e out of variables
commit
|
commitdiff
|
tree
2003-11-25
skimo
leave eq
u
alities amon
g
p
a
rameters alone
commit
|
commitdiff
|
tree
2003-11-25
ski
m
o
ha
n
d
le n
o
n-parametrized and empty
p
olytop
e
s
commit
|
commitdiff
|
tree
2003-11-25
skimo
init v
a
lues be
f
ore writ
i
ng to them
commit
|
commitdiff
|
tree
2003-11-25
skimo
get peri
o
d right
commit
|
commitdiff
|
tree
2003-11-25
skimo
add
(
s
ucce
e
ding)
tests
commit
|
commitdiff
|
tree
2003-11-25
skimo
remo
v
e equa
l
i
tie
s
from
parametrized d
o
mains
commit
|
commitdiff
|
tree
2003-11-24
skim
o
verify barv
i
nok_enumerate
commit
|
commitdiff
|
tree
2003-11-24
skimo
c
o
pi
e
d
from polylib distribu
t
ion
commit
|
commitdiff
|
tree
2003-11-24
s
k
im
o
m
o
re mem
o
r
y
le
a
k
s
fixes
commit
|
commitdiff
|
tree
2003-11-24
skimo
fix a few mem
o
ry leaks
commit
|
commitdiff
|
tree
2003-11-24
sk
i
m
o
fix a
f
e
w
memory leaks
commit
|
commitdiff
|
tree
2003-11-24
sk
i
mo
r
e
move unused variabl
e
commit
|
commitdiff
|
tree
2003-11-24
sk
i
mo
o
n
ly
do decom
p
osition once for each vertex
commit
|
commitdiff
|
tree
2003-11-23
skimo
pr
i
nt
t
he c
o
mplet
e
lis
t
of Enume
r
ations
commit
|
commitdiff
|
tree
2003-11-23
sk
i
mo
restart
c
o
u
nt for each domain
commit
|
commitdiff
|
tree
next