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
send debug output to stderr in (unused) unfringe
2004-07-30
ski
m
o
send
debug
o
utput
to s
t
d
e
rr
i
n (unu
s
ed) unfringe
commit
|
commitdiff
|
tree
2004-07-30
skimo
ma
k
e debuggin
e
asier
b
y keepi
n
g track of r
e
cursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
extract out routine to
a
l
i
gn constraint al
o
ng a linear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
I
f
one of
t
he
hyp
e
rplanes
h
as
to be indepen
d
e
n
t
as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure
that first
v
ariable is made ne
g
ati
v
e inside
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure tha
t
sp
l
itt
i
n
g will reduce
the nu
m
ber of existenti
a
l
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
abstrac
t
o
ut
h
an
d
l
i
ng of multi
p
l
e
validit
y
d
o
mains
commit
|
commitdiff
|
tree
2004-07-29
skim
o
Extra
c
heck th
a
t is prob
a
bly not n
e
e
d
e
d
commit
|
commitdiff
|
tree
2004-07-29
skimo
hand
l
e composed v
a
lidi
t
y dom
a
ins
commit
|
commitdiff
|
tree
2004-07-29
skimo
reduce after summat
i
on
commit
|
commitdiff
|
tree
2004-07-29
skimo
don't creat
e
empty par
t
itions
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
allow evaluation of f
l
o
or
i
ngs
commit
|
commitdiff
|
tree
2004-07-29
skimo
perform (t
r
ivial)
r
e
duction on floorings
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
ma
k
e reord
e
r_terms work fo
r
floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
correc
t
chec
k
for 1
commit
|
commitdiff
|
tree
2004-07-29
s
k
i
mo
be m
o
re strict w
h
en comparing two rationals
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
typo in
c
o
mment
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle case of all emp
t
y
v
a
lidit
y
domains
commit
|
commitdiff
|
tree
2004-07-21
s
k
i
mo
support polynomia
l
s in "real" parameters
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle
n
e
g
ati
v
e valu
e
s of summ
e
d variable
commit
|
commitdiff
|
tree
2004-07-21
skimo
check whether POLYT
O
PE_PREFIX
i
s a
c
t
u
a
l
l
y
set
commit
|
commitdiff
|
tree
2004-07-20
skimo
flo
o
r conve
r
sion and par
t
ia
l
implementation of esum
commit
|
commitdiff
|
tree
2004-07-20
skim
o
pos
s
tar
t
s
at
1
commit
|
commitdiff
|
tree
2004-07-19
skimo
minor
r
eor
d
ering of code
commit
|
commitdiff
|
tree
2004-07-19
skimo
s
plit off m
o
r
e
c
o
mmon
c
ode
commit
|
commitdiff
|
tree
2004-07-19
sk
i
m
o
r
eve
r
t chang
e
com
m
ited by acci
d
e
nt
commit
|
commitdiff
|
tree
2004-07-19
s
k
i
mo
add collec
t
_polytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
recur
s
e i
n
t
o the
c
o
rrect version of cou
n
t_point
s
commit
|
commitdiff
|
tree
2004-07-18
s
k
imo
"or"-split for
c
ase wit
h
only
existential va
r
iables
commit
|
commitdiff
|
tree
2004-07-18
s
k
imo
allow split o
n
o
ther than first
e
xist
e
n
t
ial variable
commit
|
commitdiff
|
tree
2004-07-18
skimo
e
xtrac
t
out code to split on a const
r
aint
commit
|
commitdiff
|
tree
2004-07-17
skimo
"
exi
s
tential" v
e
rsion
o
f
verif_e
h
r
hart
commit
|
commitdiff
|
tree
2004-07-17
skimo
provi
d
e evalue to enumeratio
n
conver
s
ion
commit
|
commitdiff
|
tree
2004-07-17
skimo
adapt to deal with ex
i
stential variables
commit
|
commitdiff
|
tree
2004-07-16
s
k
i
mo
copied from ehrhart
.
c
from Polylib distribution
commit
|
commitdiff
|
tree
2004-07-14
skimo
handle trivial
case
of on
l
y existen
t
ial variables
commit
|
commitdiff
|
tree
2004-07-14
ski
m
o
I
t should
be s
u
fficient that on
e
of the bounds is independent
commit
|
commitdiff
|
tree
2004-07-14
ski
m
o
don'
t
count stor
a
ge space for th
e
r
ay
s
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
b
u
m
p
version
commit
|
commitdiff
|
tree
2004-07-06
skimo
fix
u
p chang
e
log
commit
|
commitdiff
|
tree
2004-07-06
skimo
bu
m
p version some
m
ore
si
n
ce
we chan
g
e
d the
inter
f
ace
commit
|
commitdiff
|
tree
2004-07-06
skimo
turn
o
f deb
u
gging messages
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
update
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
b
rief description of the input
commit
|
commitdiff
|
tree
2004-07-06
skimo
replace modulo by fraction
a
l
commit
|
commitdiff
|
tree
2004-07-06
skimo
remove empty partitions in pla
c
e
commit
|
commitdiff
|
tree
2004-07-06
skimo
mo
r
e memory leaks
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
m
e
mor
y
leak
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
potential memo
r
y leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(potential) memory lea
k
s
commit
|
commitdiff
|
tree
2004-07-06
skimo
p
r
int more info
commit
|
commitdiff
|
tree
2004-07-05
skim
o
preload library to count the
numbe
r
of v
a
lidit
y
d
omains
commit
|
commitdiff
|
tree
2004-07-01
skimo
memor
y
leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memo
r
y leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
s
kimo
mem
o
ry leak
commit
|
commitdiff
|
tree
2004-06-26
skimo
Use
f
unction
f
or copying evalue
.
commit
|
commitdiff
|
tree
2004-06-26
sk
i
mo
order periodics in
m
ultip
l
icati
o
n as well
commit
|
commitdiff
|
tree
2004-06-26
s
ki
m
o
copy val
u
e bef
o
re freeing
commit
|
commitdiff
|
tree
2004-06-26
skimo
r
eg
r
ess
i
on te
s
t
commit
|
commitdiff
|
tree
2004-06-26
skimo
h
a
n
d
l
e
cas
e
wher
e
p
olytope
has no "real" dimensions
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Use smallest
representativ
e
i
n
absolute va
l
ue
rath
e
r
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Debuggin
g
outp
u
t to eval
u
ate the usef
u
lne
s
s of s
e
v
eral
commit
|
commitdiff
|
tree
2004-06-25
skimo
Add constra
i
nt if expression is only integer for a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
per
f
or
m
range reductio
n
o
n
co
n
ditio
n
of relation
commit
|
commitdiff
|
tree
2004-06-25
skimo
fully propagate reordering
commit
|
commitdiff
|
tree
2004-06-24
skim
o
partiall
y
propaga
t
e reordering and reduce in case
of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
rem
o
v
e
com
m
ent
commit
|
commitdiff
|
tree
2004-06-24
skimo
Ra
n
ge
r
ed
u
ction and some auxiliary funct
i
ons
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
Inv
e
rt a fractional if leadin
g
coefficient becomes
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
s
kim
o
remove debugging output
commit
|
commitdiff
|
tree
2004-06-24
skimo
R
em
o
ve i
n
v
alid mem
o
ry
a
c
cess
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
recompu
t
e domains
commit
|
commitdiff
|
tree
2004-06-23
sk
i
mo
compute size of all subdomains
commit
|
commitdiff
|
tree
2004-06-23
skimo
trivial recombin
a
t
i
on
commit
|
commitdiff
|
tree
2004-06-23
skimo
also invert when constant is h
a
lf the
modulo, since
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
s
k
imo
Allow
more fracitonal subs
t
itutio
n
s, in
p
a
rticula
r
commit
|
commitdiff
|
tree
2004-06-23
s
k
imo
search for pair of fract
i
o
n
als
t
ha
t
can (
o
ptimall
y
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
s
k
imo
al
w
a
y
s p
r
ovide s
u
b
st structu
r
e (
e
v
e
n
if e
m
pty)
commit
|
commitdiff
|
tree
2004-06-22
skimo
avoid infinite loo
p
caused by
spli
t
ting off
n
othing
commit
|
commitdiff
|
tree
2004-06-22
skimo
remov
e
rel
a
tion if
br
a
nches are identi
c
al
commit
|
commitdiff
|
tree
2004-06-22
ski
m
o
re
m
ove
reduced relati
o
ns
commit
|
commitdiff
|
tree
2004-06-21
s
k
imo
replac
e
{
E
/m
}
b
y { (E-1)/m } + 1
/
m i
f
{ E/m } != 0
commit
|
commitdiff
|
tree
2004-06-21
s
k
imo
numera
t
or can ne
v
er
be negative inside
fractional
commit
|
commitdiff
|
tree
2004-06-21
skimo
opti
o
nally
p
rin
t
"size" o
f
en
u
meration
commit
|
commitdiff
|
tree
2004-06-21
skimo
Enumer
a
tion_s
i
ze
commit
|
commitdiff
|
tree
2004-06-21
skimo
e
x
p
o
rt d
o
mai
n
_siz
e
commit
|
commitdiff
|
tree
2004-06-21
skimo
reduce after conversion
commit
|
commitdiff
|
tree
2004-06-21
skimo
translate r
e
lation as
w
ell
commit
|
commitdiff
|
tree
2004-06-20
skimo
use con
v
ex hul
l
fo
r
equali
t
ies
t
o u
s
e in re
d
uction
commit
|
commitdiff
|
tree
2004-06-20
ski
m
o
reorder terms if
n
eed
e
d
after reduction
commit
|
commitdiff
|
tree
2004-06-20
skimo
remo
v
e
c
o
d
e made red
u
n
d
an
t
b
y
switc
h
to
fractional
commit
|
commitdiff
|
tree
2004-06-20
s
kimo
convert from modulo to fractional
commit
|
commitdiff
|
tree
2004-06-16
skim
o
i
nform calling
proc
e
dur
e
whether a ne
w
entry w
a
s add
e
d
commit
|
commitdiff
|
tree
2004-06-16
skimo
re
a
llocate s
u
b
s
tit
u
tions array
if
necessa
r
y
commit
|
commitdiff
|
tree
2004-06-15
skimo
multiply
mo
d
ulo argument if this can he
l
p to elim
i
nate
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
a
l
s
o
u
se e
q
uiv
a
lences inside
m
odulo expressions
commit
|
commitdiff
|
tree
2004-06-15
s
kimo
allow fracti
o
nal
substitutions outside modulo
(not
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
Partial e
v
aluation coul
d
in principle lead
to further
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
sk
i
m
o
r
educe
c
onstan
t
s
i
nside modulo
commit
|
commitdiff
|
tree
next