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
bump version
2004-02-22
skimo
bump vers
i
on
commit
|
commitdiff
|
tree
2004-02-22
skimo
update ChangeLog
commit
|
commitdiff
|
tree
2004-02-22
s
kimo
avoid nam
e
s
pace polluti
o
n
commit
|
commitdiff
|
tree
2004-02-22
s
k
imo
avoid
s
ub vali
d
ity domains
commit
|
commitdiff
|
tree
2004-02-22
skimo
DomainInclu
d
es
commit
|
commitdiff
|
tree
2004-02-22
s
k
i
mo
P
o
stpone m
u
lt
i
plication
with "factor" to ha
n
d
le the
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
s
k
im
o
actuall
y
perform modu
l
o when converting to tables
commit
|
commitdiff
|
tree
2004-02-15
skimo
ex
t
end 1D special-casing to mu
l
t
iple lower/up
p
er bounds
commit
|
commitdiff
|
tree
2004-02-15
skimo
memory le
a
ks
commit
|
commitdiff
|
tree
2004-02-15
s
k
i
m
o
support e
m
u
l
for partitions
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't assume f
a
ct
o
r is a
c
onstant
commit
|
commitdiff
|
tree
2004-02-15
skimo
don'
t
mod
i
fy d parame
t
er
commit
|
commitdiff
|
tree
2004-02-15
skimo
add poi
n
ter to poly
l
i
b
commit
|
commitdiff
|
tree
2004-02-15
sk
i
mo
Support reduc
t
i
o
n for non-modulo by temporarily
using
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
modulo
t
o table convers
i
on
commit
|
commitdiff
|
tree
2004-02-15
s
kimo
another memory le
a
k
commit
|
commitdiff
|
tree
2004-02-15
skim
o
another mem
o
ry lea
k
commit
|
commitdiff
|
tree
2004-02-15
skimo
memory l
e
ak
commit
|
commitdiff
|
tree
2004-02-15
skimo
expe
r
imental "
u
nfrin
g
e" cod
e
commit
|
commitdiff
|
tree
2004-02-15
skimo
type
commit
|
commitdiff
|
tree
2004-02-06
sk
i
mo
fix decomposition test a
n
d
a
dd
p
olarize
d
d
e
compostion
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
skimo
eliminate a variabl
e
if we can
(
not test
e
d)
commit
|
commitdiff
|
tree
2004-01-26
s
k
imo
oo
p
s;
w
e nee
d
quotient
r
a
ther th
a
n remainder
commit
|
commitdiff
|
tree
2004-01-25
skimo
han
d
le equa
l
it
i
es
commit
|
commitdiff
|
tree
2004-01-25
skimo
Handle ON
E
_N
E
G
for any position o
f
the variable cor
r
ectly
commit
|
commitdiff
|
tree
2004-01-25
skimo
Handle ONE_NEG for
any pos
i
tion of the variabl
e
.
commit
|
commitdiff
|
tree
2004-01-25
s
ki
m
o
Onl
y
use independen
t
bo
u
nds to
co
n
s
t
ruct the on
e
_
dep
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
Tr
u
ly partition vali
d
ity
domain
s
.
commit
|
commitdiff
|
tree
2004-01-25
s
kimo
cop
y
in_domain from
p
olylib
commit
|
commitdiff
|
tree
2004-01-25
s
k
imo
Special case "infinit
e
"
p
olytopes, i
.
e
.
, those with
commit
|
commitdiff
|
tree
2004-01-25
skimo
In
i
ti
a
l implementa
t
ion
of ba
r
vinok_e
n
u
m
e
rate_e
.
commit
|
commitdiff
|
tree
2004-01-23
skimo
Don't use modulo
if quotient
i
s the same over the
w
hole
commit
|
commitdiff
|
tree
2004-01-22
skimo
r
e
move note to self
commit
|
commitdiff
|
tree
2004-01-22
skim
o
s
upport add for parti
t
i
o
ns
commit
|
commitdiff
|
tree
2004-01-21
s
kimo
remov
e
d
e
bu
g
.
{cpp,h}
commit
|
commitdiff
|
tree
2004-01-21
skimo
suppo
r
t free
an
d
dummy add fo
r
partitio
n
s
commit
|
commitdiff
|
tree
2004-01-21
s
k
imo
sup
p
or
t
p
r
inting for p
a
rtitions
commit
|
commitdiff
|
tree
2004-01-20
skimo
Calcula
t
e count as a
p
artition a
n
d
conv
e
rt to En
u
meration
.
.
.
commit
|
commitdiff
|
tree
2004-01-20
skimo
define part
i
tio
n
type
commit
|
commitdiff
|
tree
2004-01-20
skimo
Part
i
a
l imp
l
ementation
o
f parametric polyhedral
reduction
.
commit
|
commitdiff
|
tree
2004-01-19
skimo
s/
i
ndic
a
tor/rela
t
i
o
n/
commit
|
commitdiff
|
tree
2004-01-16
sk
i
mo
sim
p
lif
y
Polyhe
d
r
on_Reduce a bit
commit
|
commitdiff
|
tree
2004-01-15
skimo
change
comment
about modulo rep
commit
|
commitdiff
|
tree
2004-01-13
skimo
add tests/ehrhar
t
/equal
5
commit
|
commitdiff
|
tree
2004-01-13
skimo
bump ver
s
ion
commit
|
commitdiff
|
tree
2004-01-13
skimo
u
s
e
i
ndicator functions to mask
when using modulo
expressions
commit
|
commitdiff
|
tree
2004-01-13
s
k
i
mo
partial
"
indicator fun
c
ti
o
n
"
sup
p
o
r
t
commit
|
commitdiff
|
tree
2004-01-12
skimo
a
d
d comment on factor paramete
r
commit
|
commitdiff
|
tree
2004-01-12
s
kimo
add
constant in
m
ulti_mo
n
om
commit
|
commitdiff
|
tree
2004-01-12
skimo
fr
e
e argument of modulo when
reducin
g
strength
commit
|
commitdiff
|
tree
2004-01-12
skimo
re
m
ove typo introdu
c
ed
b
y
previous patch
commit
|
commitdiff
|
tree
2004-01-12
skimo
f
i
x memleak in reduce_evalue
commit
|
commitdiff
|
tree
2004-01-12
skimo
remove
a few
m
emo
r
y leaks
commit
|
commitdiff
|
tree
2004-01-11
s
kimo
silly opti
m
ization f
o
r
special case of mod 2
commit
|
commitdiff
|
tree
2004-01-11
ski
m
o
handle
s
um o
f
modulo p
o
lynomials of different
s
ize
commit
|
commitdiff
|
tree
2004-01-09
sk
i
mo
ad
d
warning about m
o
dulo
r
epresentation
commit
|
commitdiff
|
tree
2004-01-09
sk
i
m
o
avoid
w
arnin
g
s
commit
|
commitdiff
|
tree
2004-01-09
skimo
bu
m
p version
commit
|
commitdiff
|
tree
2003-12-25
skimo
make us
e
of modulo configura
b
le
commit
|
commitdiff
|
tree
2003-12-23
skimo
support f
o
r mo
d
ulo calcula
t
ions
commit
|
commitdiff
|
tree
2003-12-23
skimo
pick up
m
od
i
fied versions
commit
|
commitdiff
|
tree
2003-12-23
skimo
d
o
n't const
r
uct zero
t
e
rm
commit
|
commitdiff
|
tree
2003-12-23
sk
i
m
o
pic
k
up modified versions
commit
|
commitdiff
|
tree
2003-12-23
skimo
b
e
carefull about
r
oun
d
i
n
g
and
modulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
d
o
n't
"reposition" m
o
d
ulo
commit
|
commitdiff
|
tree
2003-12-23
ski
m
o
extend compute_enode for modulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
c
opied from p
o
lylib
commit
|
commitdiff
|
tree
2003-12-23
skimo
compare argument f
o
r
m
od
u
l
o
type
commit
|
commitdiff
|
tree
2003-12-23
skimo
m
ore ca
n
o
n
icalizati
o
n
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
sma
l
l cle
a
n-u
p
commit
|
commitdiff
|
tree
2003-12-22
skim
o
a
dd p
e
rio
d
ics
"can
o
nically"
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
add polyn
o
mials "can
o
nically"
commit
|
commitdiff
|
tree
2003-12-22
skimo
small si
m
pliciation
commit
|
commitdiff
|
tree
2003-12-22
s
k
i
m
o
reduce support f
o
r modulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
eadd and em
u
l suppor
t
for modulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
s
u
p
port p
r
inting of modulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
ad
d
"modulo"
t
ype
commit
|
commitdiff
|
tree
2003-12-22
skim
o
add "
c
opy c
o
nstructor
"
commit
|
commitdiff
|
tree
2003-12-22
skimo
copy som
e
printing funcs
f
r
om polylib
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
fix typo i
n
c
omme
n
t
commit
|
commitdiff
|
tree
2003-12-22
skimo
copy s
o
me
d
efs/fu
n
s from polylib
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
include ev_operat
i
ons b
e
fore
barvin
o
k
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
s
mal
l
clean-up
s
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
r
e
move
u
se of ehrhart
p
o
lynom
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
r
emove params
commit
|
commitdiff
|
tree
2003-12-22
skimo
conver term
commit
|
commitdiff
|
tree
2003-12-22
skimo
co
n
vert t
e
rm_i
n
fo
commit
|
commitdiff
|
tree
2003-12-22
skimo
c
onvert mu
l
ti_polynom
commit
|
commitdiff
|
tree
2003-12-22
skimo
"c
o
nver
t
"
c
onstan
t
commit
|
commitdiff
|
tree
2003-12-22
skimo
con
v
ert uni_polynom
commit
|
commitdiff
|
tree
2003-12-22
skimo
new "construc
t
or"
commit
|
commitdiff
|
tree
2003-12-22
skimo
free fac
t
or
commit
|
commitdiff
|
tree
2003-12-22
sk
i
m
o
use addeliminatedp
a
ra
m
s_evalue
commit
|
commitdiff
|
tree
2003-12-22
skimo
copied from
polylib
commit
|
commitdiff
|
tree
2003-12-22
skimo
remove
u
nneeded
argument
commit
|
commitdiff
|
tree
2003-12-22
s
k
i
mo
convert factor t
o
ev
a
lu
e
commit
|
commitdiff
|
tree
2003-12-22
skimo
in
t
c
ons
t
ructor
commit
|
commitdiff
|
tree
2003-12-20
skimo
K
e
ep
t
he
e
q
uations th
a
t Polyh
e
dron2Par
a
m_Si
m
plif
i
edD
o
ma
i
n
commit
|
commitdiff
|
tree
2003-12-17
s
ki
m
o
chec
k
n
u
m
b
er of argu
m
ents of coun
t
_
poi
n
ts
commit
|
commitdiff
|
tree
2003-12-17
s
kim
o
chec
k
number o
f
arguments of Polyhedron_Enu
m
erate
commit
|
commitdiff
|
tree
next