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
factor out some more code
2004-06-02
skimo
factor out some more code
commit
|
commitdiff
|
tree
2004-06-02
ski
m
o
m
i
ssing value_init in
previous change
commit
|
commitdiff
|
tree
2004-06-02
skimo
extrac
t
out some code that we may nee
d
later
commit
|
commitdiff
|
tree
2004-06-02
s
k
imo
s
i
m
p
l
ify constraints of va
l
idity domain
s
commit
|
commitdiff
|
tree
2004-06-02
ski
m
o
also multip
l
y complement of relatio
n
!
commit
|
commitdiff
|
tree
2004-05-31
skimo
silly typo
commit
|
commitdiff
|
tree
2004-04-25
skimo
eval
u
at
e
p
arti
t
i
o
n
e
d evalues
commit
|
commitdiff
|
tree
2004-04-25
skimo
ha
n
dle ad
d
i
t
io
n
s of two relations
commit
|
commitdiff
|
tree
2004-04-22
skimo
b
e
carefu
l
w
hen relc
u
lating the row
commit
|
commitdiff
|
tree
2004-04-21
skim
o
Conver
t
mult
i
ple exist
e
nti
a
l var
i
a
bles in an equa
l
ity
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
s
k
i
mo
c
o
m
p
ute
"com
p
le
m
ent" if needed
commit
|
commitdiff
|
tree
2004-03-30
ski
m
o
mo
r
e
add
"complemen
t
"
rela
t
ion when
adding non-ze
r
o
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
skimo
add "comple
m
ent" re
l
ation when adding non-
z
e
ro
v
alu
e
commit
|
commitdiff
|
tree
2004-03-30
skimo
support printing of "complement" of relation
commit
|
commitdiff
|
tree
2004-03-28
skimo
inst
a
ll headers
commit
|
commitdiff
|
tree
2004-03-28
sk
i
mo
partial imp
l
e
ment
a
tion
of "mask" operation
commit
|
commitdiff
|
tree
2004-03-28
skimo
includ
e
a
p
propriate
header
commit
|
commitdiff
|
tree
2004-03-28
skimo
comp
l
y wit
h
C
standard :-)
commit
|
commitdiff
|
tree
2004-03-28
skimo
export
_ev version
commit
|
commitdiff
|
tree
2004-02-29
skimo
b
ump vers
i
on
commit
|
commitdiff
|
tree
2004-02-28
sk
i
mo
r
egression
tests
commit
|
commitdiff
|
tree
2004-02-28
skimo
Dr
.
Eg
o
n Spengl
e
r
: There's
something
v
e
ry
import
a
nt
.
.
.
commit
|
commitdiff
|
tree
2004-02-22
s
kimo
b
u
mp version
commit
|
commitdiff
|
tree
2004-02-22
skimo
u
p
date Chan
g
eLog
commit
|
commitdiff
|
tree
2004-02-22
skimo
avo
i
d
namespace pol
l
ut
i
on
commit
|
commitdiff
|
tree
2004-02-22
skimo
avoid sub v
a
lidit
y
dom
a
i
n
s
commit
|
commitdiff
|
tree
2004-02-22
sk
i
m
o
D
omainIncludes
commit
|
commitdiff
|
tree
2004-02-22
skimo
P
o
stpon
e
multipl
i
catio
n
with
"factor" to
h
andle the
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
s
kimo
act
u
ally perform mo
d
u
l
o
when converting to
t
abl
e
s
commit
|
commitdiff
|
tree
2004-02-15
skimo
e
xtend 1D sp
e
c
i
al-casing to multiple lower/upper bounds
commit
|
commitdiff
|
tree
2004-02-15
skimo
memory
l
eaks
commit
|
commitdiff
|
tree
2004-02-15
skimo
support emul for partitio
n
s
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't assu
m
e factor is a
c
on
s
tant
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't modify d param
e
ter
commit
|
commitdiff
|
tree
2004-02-15
s
k
im
o
add
p
oin
t
er to polylib
commit
|
commitdiff
|
tree
2004-02-15
s
kimo
Support reduct
i
on fo
r
non-modulo
b
y
tem
p
or
a
rily u
s
ing
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
modulo to
t
able conversio
n
commit
|
commitdiff
|
tree
2004-02-15
s
k
i
mo
another mem
o
ry leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
another mem
o
ry leak
commit
|
commitdiff
|
tree
2004-02-15
s
kimo
m
e
mory leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
experimental "unfringe
"
c
ode
commit
|
commitdiff
|
tree
2004-02-15
sk
i
m
o
type
commit
|
commitdiff
|
tree
2004-02-06
skim
o
fix decompo
s
ition
test
a
nd add polar
i
zed decompo
s
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
skimo
elim
i
nate a variable if we can (not te
s
t
ed
)
commit
|
commitdiff
|
tree
2004-01-26
skimo
oops; we
need quotient rather than remainder
commit
|
commitdiff
|
tree
2004-01-25
s
kimo
handle
equa
l
ities
commit
|
commitdiff
|
tree
2004-01-25
s
k
imo
H
a
n
d
le ON
E
_NEG for any pos
i
tion of
t
h
e
variable co
r
rectly
commit
|
commitdiff
|
tree
2004-01-25
s
k
imo
Handle O
N
E_NEG
f
or
a
ny pos
i
t
i
on o
f
the variable
.
commit
|
commitdiff
|
tree
2004-01-25
s
k
imo
Only use
i
nd
e
pendent bounds t
o
c
ons
t
ruct the on
e
_d
e
p
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
Truly p
a
rtitio
n
va
l
idity domains
.
commit
|
commitdiff
|
tree
2004-01-25
sk
i
mo
copy in_doma
i
n from polyl
i
b
commit
|
commitdiff
|
tree
2004-01-25
skimo
Sp
e
ci
a
l case "infinite"
p
olytopes,
i
.
e
.
,
those with
commit
|
commitdiff
|
tree
2004-01-25
skimo
Init
i
al imp
l
em
e
n
t
ation of barvin
o
k_enumer
a
te_e
.
commit
|
commitdiff
|
tree
2004-01-23
skimo
Don't use
mod
u
lo
if
q
uotient is
the sa
m
e
ov
e
r the
wh
o
le
commit
|
commitdiff
|
tree
2004-01-22
skim
o
remove no
t
e to se
l
f
commit
|
commitdiff
|
tree
2004-01-22
skimo
sup
p
ort ad
d
f
or
p
artitions
commit
|
commitdiff
|
tree
2004-01-21
skimo
remove de
b
ug
.
{cpp,h}
commit
|
commitdiff
|
tree
2004-01-21
skimo
support free
a
nd dummy add for
p
a
r
t
itions
commit
|
commitdiff
|
tree
2004-01-21
skimo
s
u
pport printing for part
i
tions
commit
|
commitdiff
|
tree
2004-01-20
skimo
Calculate c
o
unt as a partition and convert to Enumeration
.
.
.
commit
|
commitdiff
|
tree
2004-01-20
skimo
define
partition type
commit
|
commitdiff
|
tree
2004-01-20
skimo
Partial
i
mp
l
ementation of pa
r
ametric polyh
e
dral r
e
d
u
ctio
n
.
commit
|
commitdiff
|
tree
2004-01-19
skimo
s/indic
a
tor
/
re
l
atio
n
/
commit
|
commitdiff
|
tree
2004-01-16
skimo
simplify Pol
y
hed
r
on_Reduce
a
b
it
commit
|
commitdiff
|
tree
2004-01-15
s
k
imo
change comment about modulo
re
p
commit
|
commitdiff
|
tree
2004-01-13
skimo
add tests/eh
r
h
a
rt/equ
a
l5
commit
|
commitdiff
|
tree
2004-01-13
skimo
bump ve
r
si
o
n
commit
|
commitdiff
|
tree
2004-01-13
sk
i
mo
us
e
indicator functions to mask when usi
n
g modulo
e
xpres
s
i
o
ns
commit
|
commitdiff
|
tree
2004-01-13
skimo
partial
"
indicator functio
n
"
s
upp
o
rt
commit
|
commitdiff
|
tree
2004-01-12
s
k
imo
add comment
on
factor para
m
eter
commit
|
commitdiff
|
tree
2004-01-12
skim
o
a
d
d
con
s
tant in multi_
m
onom
commit
|
commitdiff
|
tree
2004-01-12
skimo
fr
e
e arg
u
ment of
modulo wh
e
n
reducing str
e
ngth
commit
|
commitdiff
|
tree
2004-01-12
skimo
r
emove
typo
introduced by previous patch
commit
|
commitdiff
|
tree
2004-01-12
s
kimo
fix meml
e
ak in reduce_ev
a
lue
commit
|
commitdiff
|
tree
2004-01-12
sk
i
m
o
remove a few m
e
mory
lea
k
s
commit
|
commitdiff
|
tree
2004-01-11
skimo
silly
o
ptimiza
t
ion for special c
a
se of mod 2
commit
|
commitdiff
|
tree
2004-01-11
skim
o
ha
n
dle sum o
f
mo
d
ulo polynomials
o
f different size
commit
|
commitdiff
|
tree
2004-01-09
skimo
ad
d
w
a
rning about modul
o
representation
commit
|
commitdiff
|
tree
2004-01-09
skimo
avoid warnin
g
s
commit
|
commitdiff
|
tree
2004-01-09
skimo
bu
m
p
ver
s
ion
commit
|
commitdiff
|
tree
2003-12-25
skimo
m
ake use o
f
modulo
confi
g
ur
a
ble
commit
|
commitdiff
|
tree
2003-12-23
skimo
sup
p
ort f
o
r modulo calculat
i
o
ns
commit
|
commitdiff
|
tree
2003-12-23
ski
m
o
p
ick up
m
odifie
d
v
ersions
commit
|
commitdiff
|
tree
2003-12-23
ski
m
o
don't construct
zero ter
m
commit
|
commitdiff
|
tree
2003-12-23
sk
i
mo
p
i
ck up modifie
d
versions
commit
|
commitdiff
|
tree
2003-12-23
skimo
be car
e
full abo
u
t r
o
unding and modulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
don't "repositi
o
n" modul
o
commit
|
commitdiff
|
tree
2003-12-23
ski
m
o
extend compute_enode for modulo
commit
|
commitdiff
|
tree
2003-12-23
sk
i
m
o
copied from poly
l
i
b
commit
|
commitdiff
|
tree
2003-12-23
skimo
compare ar
g
u
men
t
for
m
od
u
lo type
commit
|
commitdiff
|
tree
2003-12-23
skim
o
more c
a
nonicalization
commit
|
commitdiff
|
tree
2003-12-22
skimo
small clean-up
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
add
per
i
odics "canonically"
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
ad
d
pol
y
nomials "canonically"
commit
|
commitdiff
|
tree
2003-12-22
skimo
small simpliciation
commit
|
commitdiff
|
tree
2003-12-22
skimo
reduc
e
suppor
t
fo
r
m
odulo
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
eadd
a
n
d
emul support for
m
odu
l
o
commit
|
commitdiff
|
tree
2003-12-22
skimo
support printing of modulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
add "modulo" type
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
add "c
o
py c
o
nstruc
t
or"
commit
|
commitdiff
|
tree
next