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
recurse into the correct version of count_points
2004-07-18
skimo
recurse i
n
to the correct version of count_poi
n
t
s
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or"-split for c
a
se with only existen
t
ial v
a
r
i
a
bles
commit
|
commitdiff
|
tree
2004-07-18
sk
i
mo
allow
split on other than first
e
xist
e
ntial
vari
a
ble
commit
|
commitdiff
|
tree
2004-07-18
s
k
i
mo
extract out
c
o
d
e
t
o
sp
l
it on a constraint
commit
|
commitdiff
|
tree
2004-07-17
s
kimo
"existential"
version o
f
verif
_
eh
r
har
t
commit
|
commitdiff
|
tree
2004-07-17
ski
m
o
provide evalue t
o
enumerat
i
o
n
conversion
commit
|
commitdiff
|
tree
2004-07-17
skimo
adapt
t
o de
a
l wi
t
h
existential v
a
riables
commit
|
commitdiff
|
tree
2004-07-16
s
k
imo
cop
i
ed fr
o
m
e
hrhar
t
.
c from Polylib dis
t
ribution
commit
|
commitdiff
|
tree
2004-07-14
skimo
handle trivia
l
case o
f
only existential variables
commit
|
commitdiff
|
tree
2004-07-14
skimo
It should be suffici
e
nt that one of the bounds
i
s independent
commit
|
commitdiff
|
tree
2004-07-14
sk
i
mo
don't count st
o
rage space for th
e
r
a
ys
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump version
commit
|
commitdiff
|
tree
2004-07-06
skimo
fi
x
u
p changelog
commit
|
commitdiff
|
tree
2004-07-06
skimo
b
um
p
ver
s
ion some more
s
inc
e
we changed the in
t
erface
commit
|
commitdiff
|
tree
2004-07-06
skimo
turn
o
f deb
u
gging mess
a
ges
commit
|
commitdiff
|
tree
2004-07-06
skimo
upd
a
t
e
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
brief description of the i
n
p
ut
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
repla
c
e modulo by fractiona
l
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
remove empty partit
i
o
n
s
in
place
commit
|
commitdiff
|
tree
2004-07-06
skimo
m
o
re memor
y
leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
me
m
o
r
y leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
potential m
e
mory
le
a
k
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
(potential) memor
y
le
a
ks
commit
|
commitdiff
|
tree
2004-07-06
skim
o
print more info
commit
|
commitdiff
|
tree
2004-07-05
skimo
preload library
t
o count
the numb
e
r of
validity
domains
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
m
e
mory
l
e
ak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory
le
a
k
commit
|
commitdiff
|
tree
2004-07-01
s
k
i
m
o
memory l
e
ak
commit
|
commitdiff
|
tree
2004-06-26
skimo
Use functio
n
for
c
opying
e
v
alue
.
commit
|
commitdiff
|
tree
2004-06-26
s
k
i
m
o
order peri
o
dics in multi
p
lication as well
commit
|
commitdiff
|
tree
2004-06-26
skimo
c
opy value before fr
e
eing
commit
|
commitdiff
|
tree
2004-06-26
skimo
regression test
commit
|
commitdiff
|
tree
2004-06-26
skimo
handl
e
case wh
e
re polytope
has no "real"
dim
e
nsions
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Use
smalles
t
repres
e
ntative in
a
bso
l
ute value rather
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skim
o
Debugging outpu
t
to
e
v
a
l
uate the us
e
f
ulness of se
v
eral
commit
|
commitdiff
|
tree
2004-06-25
skimo
A
d
d
constraint if
expression i
s
onl
y
integer for a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
perform r
a
nge reduction o
n
condition
of r
e
lation
commit
|
commitdiff
|
tree
2004-06-25
sk
i
mo
f
u
lly pr
o
p
agate reorder
i
n
g
commit
|
commitdiff
|
tree
2004-06-24
skimo
partially propagate
reordering and reduce in case of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
r
emove commen
t
commit
|
commitdiff
|
tree
2004-06-24
sk
i
mo
Ra
n
g
e reduction and so
m
e auxil
i
ary function
s
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
In
v
e
r
t a frac
t
ional if leading coe
f
fi
c
ient
b
e
comes
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
ski
m
o
remove de
b
ugging
ou
t
p
ut
commit
|
commitdiff
|
tree
2004-06-24
s
k
i
m
o
R
e
move invalid memory a
c
c
e
s
s
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
recompute domains
commit
|
commitdiff
|
tree
2004-06-23
skimo
c
o
mp
u
te size of all subdoma
i
ns
commit
|
commitdiff
|
tree
2004-06-23
skimo
tri
v
ial recombination
commit
|
commitdiff
|
tree
2004-06-23
skimo
al
s
o
invert
w
hen
c
onstant
i
s
half
t
h
e m
o
dulo, since
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
Allow more fracitonal su
b
st
i
tutio
n
s, in partic
u
lar
commit
|
commitdiff
|
tree
2004-06-23
skimo
search for pa
i
r of fractionals that can
(
o
ptimally
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
a
l
w
a
ys provid
e
subst structure (even
i
f
e
m
p
ty
)
commit
|
commitdiff
|
tree
2004-06-22
skimo
avoid infinite loop caused by splitting of
f
n
othi
n
g
commit
|
commitdiff
|
tree
2004-06-22
skim
o
remove rela
t
ion if
b
ranches
a
re i
d
entic
a
l
commit
|
commitdiff
|
tree
2004-06-22
s
k
imo
r
e
m
ove redu
c
ed
relatio
n
s
commit
|
commitdiff
|
tree
2004-06-21
sk
i
mo
r
eplace
{ E
/
m
}
by {
(
E-1)/m } + 1/m
i
f { E/m } != 0
commit
|
commitdiff
|
tree
2004-06-21
skimo
numer
a
t
or can ne
v
er be negati
v
e insi
d
e
fractional
commit
|
commitdiff
|
tree
2004-06-21
skimo
optionall
y
print "size
"
of enu
m
erat
i
on
commit
|
commitdiff
|
tree
2004-06-21
skim
o
En
u
mer
a
tion
_
size
commit
|
commitdiff
|
tree
2004-06-21
skimo
ex
p
ort domain_size
commit
|
commitdiff
|
tree
2004-06-21
skimo
reduce after conversion
commit
|
commitdiff
|
tree
2004-06-21
skimo
t
r
anslate
relation
as well
commit
|
commitdiff
|
tree
2004-06-20
skim
o
use
convex hull for e
q
ualities to use in reductio
n
commit
|
commitdiff
|
tree
2004-06-20
s
k
i
mo
re
o
rder
t
e
rms if
n
ee
d
ed aft
e
r reducti
o
n
commit
|
commitdiff
|
tree
2004-06-20
skimo
remove code made r
e
dundant b
y
s
w
itch
t
o frac
t
iona
l
commit
|
commitdiff
|
tree
2004-06-20
s
kimo
convert from
modulo to
f
racti
o
n
al
commit
|
commitdiff
|
tree
2004-06-16
skimo
infor
m
cal
l
ing procedure wh
e
ther a
new entry was added
commit
|
commitdiff
|
tree
2004-06-16
skimo
reall
o
cate substitutions array if
necessary
commit
|
commitdiff
|
tree
2004-06-15
ski
m
o
mul
t
iply m
o
dulo
argument if
t
his can help to elimi
n
a
te
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skim
o
also use equivalenc
e
s insid
e
modulo express
i
ons
commit
|
commitdiff
|
tree
2004-06-15
skimo
allo
w
fracti
o
nal substitu
t
ions
o
utsi
d
e
m
o
du
l
o (not
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
Partial evaluation could
in princip
l
e lead
to
furt
h
er
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
reduce
c
onstants insid
e
modul
o
commit
|
commitdiff
|
tree
2004-06-15
skimo
c
onstruct substitution f
o
r
each e
q
u
ality
commit
|
commitdiff
|
tree
2004-06-15
skimo
c
o
llect s
u
bstitut
i
ons in one
s
tructure
commit
|
commitdiff
|
tree
2004-06-14
skimo
only take difference of se
t
s that share a hyper
p
lane
commit
|
commitdiff
|
tree
2004-06-11
skimo
al
s
o skip over zeroes and remember original loc
a
tion
.
.
.
commit
|
commitdiff
|
tree
2004-06-11
s
ki
m
o
c
o
ntinue looking for coeffi
c
ients to
negat
e
if current
.
.
.
commit
|
commitdiff
|
tree
2004-06-09
skimo
c
a
lculate "size" of
polyn
o
m
ials
commit
|
commitdiff
|
tree
2004-06-09
skimo
combine iden
t
ic
a
l relations
commit
|
commitdiff
|
tree
2004-06-09
skim
o
don't knowing
l
y create zer
o
polynomials
commit
|
commitdiff
|
tree
2004-06-09
ski
m
o
Che
c
k w
h
ether rVD is too smal
l
i
n dimension *befor
e
*
commit
|
commitdiff
|
tree
2004-06-08
ski
m
o
regr
e
ssion tes
t
commit
|
commitdiff
|
tree
2004-06-08
skimo
2Polyhedro
n
routines can modify their
a
rgume
n
t
!
commit
|
commitdiff
|
tree
2004-06-07
s
k
i
m
o
st
r
i
ct inequality
s
hould
b
e enforced *p
r
ior* to simplificat
i
on
commit
|
commitdiff
|
tree
2004-06-06
skimo
an
o
t
h
er mem
o
ry l
e
ak
commit
|
commitdiff
|
tree
2004-06-06
s
k
imo
memo
r
y le
a
ks
commit
|
commitdiff
|
tree
2004-06-06
skimo
r
etur
n
mallo
c
ed
memory s
i
nce
we de
f
ine
a
"
C"
interface
commit
|
commitdiff
|
tree
2004-06-06
skimo
alw
a
ys ret
u
rn redu
c
ed evalu
e
commit
|
commitdiff
|
tree
2004-06-06
skimo
simplify constraint
s
during
m
u
lt
i
plic
a
ti
o
ns
a
s well
commit
|
commitdiff
|
tree
2004-06-06
skimo
regression test
for la
t
est
bug
commit
|
commitdiff
|
tree
2004-06-06
skim
o
valu
e
"
t
mp" is used over several i
n
terati
o
ns
of second
.
.
.
commit
|
commitdiff
|
tree
2004-06-05
skimo
d
on'
t
look
a
t relation if we just freed it
commit
|
commitdiff
|
tree
2004-06-05
sk
i
mo
re
m
ove em
p
ty
p
a
r
t
iti
o
ns
commit
|
commitdiff
|
tree
2004-06-05
skimo
also remove f
i
rst empty subdomain
commit
|
commitdiff
|
tree
2004-06-05
skim
o
r
e
move s
o
me e
m
pty subdoma
i
ns
commit
|
commitdiff
|
tree
2004-06-05
ski
m
o
simplify co
n
straints in eadd_partit
i
ons
commit
|
commitdiff
|
tree
2004-06-04
skimo
simplify w
h
ole domain and at mo
r
e lo
c
atio
n
s
commit
|
commitdiff
|
tree
2004-06-04
skimo
o
n
ly use equali
t
ies in a sin
g
le var
commit
|
commitdiff
|
tree
2004-06-04
skimo
remove VDs w
i
t
h
zero E
h
rhart polyno
m
ial
commit
|
commitdiff
|
tree
next