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
force installation of (possibly) new version
2004-07-20
skimo
pos
star
t
s at
1
commit
|
commitdiff
|
tree
2004-07-19
skimo
m
i
nor reordering of
code
commit
|
commitdiff
|
tree
2004-07-19
s
kimo
split off more co
m
mon
c
o
de
commit
|
commitdiff
|
tree
2004-07-19
s
k
imo
revert c
h
ange
commited by acc
i
dent
commit
|
commitdiff
|
tree
2004-07-19
skimo
add
c
ollect_polyt
o
pe
s
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
recurse into th
e
correct vers
i
o
n of co
u
nt_
p
oi
n
ts
commit
|
commitdiff
|
tree
2004-07-18
sk
i
m
o
"
or"-split for case with only existen
t
ial variables
commit
|
commitdiff
|
tree
2004-07-18
skimo
a
l
low split
on other than first existential variable
commit
|
commitdiff
|
tree
2004-07-18
skimo
extra
c
t
out code to split
o
n a co
n
straint
commit
|
commitdiff
|
tree
2004-07-17
sk
i
m
o
"existential" ve
r
sion
o
f verif_ehrhart
commit
|
commitdiff
|
tree
2004-07-17
skimo
p
r
o
vide evalue t
o
enumeratio
n
conversion
commit
|
commitdiff
|
tree
2004-07-17
sk
i
mo
adapt to de
a
l with
e
xistential
v
a
riables
commit
|
commitdiff
|
tree
2004-07-16
skimo
copied from ehrhart
.
c
f
rom Polylib dis
t
ribution
commit
|
commitdiff
|
tree
2004-07-14
skimo
ha
n
dle
trivial case o
f
on
l
y
exist
e
ntial varia
b
les
commit
|
commitdiff
|
tree
2004-07-14
sk
i
mo
It
sho
u
ld be suffi
c
ient
t
hat one of the bounds is independent
commit
|
commitdiff
|
tree
2004-07-14
s
kim
o
do
n
't cou
n
t
storage sp
a
ce for the
r
ays
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
bump version
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
fix up ch
a
ngelog
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump
version
s
ome mor
e
since we changed
th
e
interfac
e
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
turn of debu
g
g
i
ng m
e
ssages
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
update
commit
|
commitdiff
|
tree
2004-07-06
skimo
bri
e
f
d
escription of the input
commit
|
commitdiff
|
tree
2004-07-06
skimo
re
p
lace mod
u
lo by fract
i
o
n
al
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
remove
e
mpty
p
artitions in place
commit
|
commitdiff
|
tree
2004-07-06
skimo
m
o
re m
e
m
ory
leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
memory l
e
a
k
commit
|
commitdiff
|
tree
2004-07-06
s
ki
m
o
poten
t
i
al memory leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(
p
otential) memor
y
leaks
commit
|
commitdiff
|
tree
2004-07-06
skim
o
pr
i
nt more
i
nfo
commit
|
commitdiff
|
tree
2004-07-05
skimo
prel
o
ad library to count t
h
e number of
va
l
idity domain
s
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
s
k
imo
m
e
mo
r
y leak
commit
|
commitdiff
|
tree
2004-07-01
sk
i
mo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
m
e
mo
r
y l
e
ak
commit
|
commitdiff
|
tree
2004-06-26
skimo
Use funct
i
o
n f
o
r co
p
yi
n
g evalue
.
commit
|
commitdiff
|
tree
2004-06-26
skimo
or
d
er per
i
odics in mu
l
t
i
plication as well
commit
|
commitdiff
|
tree
2004-06-26
s
kim
o
copy value bef
o
re freein
g
commit
|
commitdiff
|
tree
2004-06-26
sk
i
mo
regression test
commit
|
commitdiff
|
tree
2004-06-26
s
k
imo
handl
e
cas
e
w
here pol
y
tope has no "real" dimensions
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
U
s
e smallest re
p
r
esent
a
ti
v
e in absolute value rather
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
s
kimo
Deb
u
g
gi
n
g output to e
v
a
luate
t
he useful
n
ess of
s
everal
commit
|
commitdiff
|
tree
2004-06-25
ski
m
o
Add
constraint if
expression is only i
n
teger
for
a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
perform ra
n
ge reduction
o
n
c
ondition of relation
commit
|
commitdiff
|
tree
2004-06-25
skimo
full
y
propag
a
te
r
eor
d
ering
commit
|
commitdiff
|
tree
2004-06-24
skimo
partially propaga
t
e reord
e
ring and reduce in case of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
rem
o
ve
c
omment
commit
|
commitdiff
|
tree
2004-06-24
s
kim
o
Range red
u
ction and some auxiliary f
u
nctions
.
commit
|
commitdiff
|
tree
2004-06-24
sk
i
mo
I
nvert a fr
a
ctional if leadi
n
g
c
o
e
fficient
bec
o
mes
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
sk
i
mo
r
em
o
ve
d
eb
u
gging outpu
t
commit
|
commitdiff
|
tree
2004-06-24
s
kimo
Remov
e
in
v
alid memory
acc
e
s
s
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
recompu
t
e
domai
n
s
commit
|
commitdiff
|
tree
2004-06-23
s
k
imo
compu
t
e si
z
e
of all
subd
o
mai
n
s
commit
|
commitdiff
|
tree
2004-06-23
sk
i
m
o
trivial recombi
n
ation
commit
|
commitdiff
|
tree
2004-06-23
skimo
also
i
n
v
ert w
h
en consta
n
t is half the modulo, since
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
Al
l
ow mo
r
e fr
a
citonal substitutio
n
s
,
in particu
l
a
r
commit
|
commitdiff
|
tree
2004-06-23
skim
o
search for pair of fracti
o
nals that can (optimally
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
a
lw
a
ys
p
rovide
s
ubs
t
st
r
uct
u
re (ev
e
n i
f
e
m
p
ty)
commit
|
commitdiff
|
tree
2004-06-22
skimo
avoid
infin
i
te loop
c
aused
b
y
splitting off not
h
in
g
commit
|
commitdiff
|
tree
2004-06-22
skimo
re
m
ove
relation if branches are identical
commit
|
commitdiff
|
tree
2004-06-22
skimo
remove reduced re
l
a
t
ions
commit
|
commitdiff
|
tree
2004-06-21
skim
o
replace { E/m } by
{ (E
-
1)/m
} + 1/
m
if {
E/m } != 0
commit
|
commitdiff
|
tree
2004-06-21
ski
m
o
numerator can never
be negative ins
i
d
e f
r
actional
commit
|
commitdiff
|
tree
2004-06-21
skimo
optional
l
y print "size" of
enumeration
commit
|
commitdiff
|
tree
2004-06-21
skimo
E
nume
r
ation_size
commit
|
commitdiff
|
tree
2004-06-21
skimo
export domain_si
z
e
commit
|
commitdiff
|
tree
2004-06-21
skimo
r
e
duce after conve
r
sion
commit
|
commitdiff
|
tree
2004-06-21
s
k
imo
tra
n
slate r
e
lation as well
commit
|
commitdiff
|
tree
2004-06-20
sk
i
mo
use conve
x
hu
l
l for
equalitie
s
to use in reductio
n
commit
|
commitdiff
|
tree
2004-06-20
skimo
reorde
r
term
s
i
f
need
e
d after re
d
uction
commit
|
commitdiff
|
tree
2004-06-20
skim
o
remove co
d
e
m
ad
e
red
u
ndant by switch to
fractional
commit
|
commitdiff
|
tree
2004-06-20
skim
o
convert
f
ro
m
m
odulo
to fra
c
tional
commit
|
commitdiff
|
tree
2004-06-16
skimo
info
r
m
calling procedure whether a new
entry was a
d
ded
commit
|
commitdiff
|
tree
2004-06-16
skim
o
re
a
l
l
ocate substitu
t
ions array if necessar
y
commit
|
commitdiff
|
tree
2004-06-15
skimo
mu
l
ti
p
ly modu
l
o argument
i
f this can help
t
o eliminate
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
ski
m
o
also use equiva
l
e
nc
e
s
inside modulo expre
s
sion
s
commit
|
commitdiff
|
tree
2004-06-15
skimo
allow
f
ra
c
ti
o
nal sub
s
t
itutio
n
s ou
t
side mod
u
lo
(
not
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
ski
m
o
Pa
r
tial e
v
alu
a
tion could in
p
rin
c
ipl
e
lea
d
to further
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
s
k
imo
reduce c
o
nst
a
n
t
s
insid
e
mo
d
ulo
commit
|
commitdiff
|
tree
2004-06-15
s
k
i
m
o
co
n
struct substitutio
n
for
e
ach
e
quality
commit
|
commitdiff
|
tree
2004-06-15
skimo
colle
c
t
substitution
s
in one s
t
ructure
commit
|
commitdiff
|
tree
2004-06-14
skim
o
only take differen
c
e of
s
ets that
s
hare a
hyper
p
lane
commit
|
commitdiff
|
tree
2004-06-11
ski
m
o
al
s
o skip over zer
o
es and rem
e
m
b
er origi
n
a
l locatio
n
.
.
.
commit
|
commitdiff
|
tree
2004-06-11
ski
m
o
continue look
i
n
g
for coefficient
s
to negate if cu
r
re
n
t
.
.
.
commit
|
commitdiff
|
tree
2004-06-09
skimo
c
alc
u
l
a
te "size"
o
f poly
n
o
m
i
als
commit
|
commitdiff
|
tree
2004-06-09
skimo
com
b
ine
ide
n
tical relatio
n
s
commit
|
commitdiff
|
tree
2004-06-09
s
kimo
don't knowin
g
ly cr
e
ate zero
p
olynomia
l
s
commit
|
commitdiff
|
tree
2004-06-09
s
k
imo
Check wh
e
t
h
er
r
V
D is too sma
l
l i
n
dimens
i
o
n
*before*
commit
|
commitdiff
|
tree
2004-06-08
skimo
reg
r
ession test
commit
|
commitdiff
|
tree
2004-06-08
skimo
2P
o
lyh
e
dron routi
n
es can modif
y
their argum
e
nt!
commit
|
commitdiff
|
tree
2004-06-07
skimo
strict inequality should be enforce
d
*
p
rior* to simplification
commit
|
commitdiff
|
tree
2004-06-06
skimo
anoth
e
r
m
emory
l
ea
k
commit
|
commitdiff
|
tree
2004-06-06
ski
m
o
memory leaks
commit
|
commitdiff
|
tree
2004-06-06
s
kimo
return mallo
c
ed me
m
ory
s
i
n
c
e
w
e
define a "C" i
n
terface
commit
|
commitdiff
|
tree
2004-06-06
skimo
always
r
e
turn reduced evalue
commit
|
commitdiff
|
tree
2004-06-06
s
k
imo
si
m
plify cons
t
raints durin
g
mul
t
ipli
c
at
i
ons as well
commit
|
commitdiff
|
tree
2004-06-06
s
k
imo
r
egres
s
ion test for
lat
e
st bug
commit
|
commitdiff
|
tree
2004-06-06
skimo
valu
e
"tmp" is use
d
ove
r
several inte
r
ation
s
of s
e
cond
.
.
.
commit
|
commitdiff
|
tree
2004-06-05
s
k
imo
don'
t
look at relation if w
e
just freed it
commit
|
commitdiff
|
tree
2004-06-05
sk
i
mo
remove empty
p
artitions
commit
|
commitdiff
|
tree
2004-06-05
s
kimo
a
l
so remove first
e
mpty subdomain
commit
|
commitdiff
|
tree
next