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
convert to lookup-table if requested
2004-07-18
ski
m
o
allow split on other
th
a
n f
i
r
st existenti
a
l variable
commit
|
commitdiff
|
tree
2004-07-18
skimo
extr
a
c
t o
u
t
c
o
d
e
to
s
plit on
a
constrain
t
commit
|
commitdiff
|
tree
2004-07-17
skimo
"existential" versio
n
of verif
_
ehrh
a
r
t
commit
|
commitdiff
|
tree
2004-07-17
skimo
provide evalu
e
to
enumeration c
o
n
v
e
r
sion
commit
|
commitdiff
|
tree
2004-07-17
skimo
adap
t
t
o deal
with exis
t
enti
a
l variables
commit
|
commitdiff
|
tree
2004-07-16
sk
i
mo
copied fro
m
ehrhart
.
c
f
rom Polylib di
s
tribu
t
ion
commit
|
commitdiff
|
tree
2004-07-14
sk
i
mo
h
andle tr
i
via
l
case of only exis
t
e
n
t
i
a
l
v
ariables
commit
|
commitdiff
|
tree
2004-07-14
skimo
It should
b
e
sufficient
t
ha
t
one of the
bounds is independent
commit
|
commitdiff
|
tree
2004-07-14
s
k
imo
don't
count stor
a
g
e space for t
h
e rays
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump
v
ersion
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
fix u
p
changelog
commit
|
commitdiff
|
tree
2004-07-06
skim
o
bump version so
m
e
more since we
changed the inte
r
face
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
turn
o
f debugging messages
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
upda
t
e
commit
|
commitdiff
|
tree
2004-07-06
s
k
i
m
o
brief d
e
s
c
r
i
ption of th
e
input
commit
|
commitdiff
|
tree
2004-07-06
skimo
rep
l
ace modu
l
o
by fractional
commit
|
commitdiff
|
tree
2004-07-06
skimo
remove empty partitions in
plac
e
commit
|
commitdiff
|
tree
2004-07-06
skimo
more memory leaks
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
me
m
o
r
y leak
commit
|
commitdiff
|
tree
2004-07-06
s
ki
m
o
pote
n
tia
l
memory leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(potenti
a
l) memory leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
print more
info
commit
|
commitdiff
|
tree
2004-07-05
skimo
prel
o
a
d library to c
o
un
t
the number of
v
alidity
domains
commit
|
commitdiff
|
tree
2004-07-01
skimo
m
e
mory
l
e
a
k
commit
|
commitdiff
|
tree
2004-07-01
skim
o
memory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory l
e
ak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-06-26
skimo
Use
f
u
nction for copying evalue
.
commit
|
commitdiff
|
tree
2004-06-26
skimo
or
d
er pe
r
i
o
dics in multiplication
a
s
w
ell
commit
|
commitdiff
|
tree
2004-06-26
skimo
copy v
a
lue before freeing
commit
|
commitdiff
|
tree
2004-06-26
skimo
regression test
commit
|
commitdiff
|
tree
2004-06-26
skimo
handle case
w
here polytope has n
o
"real" dimensions
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
s
kimo
Us
e
smallest representative
i
n absolute val
u
e rath
e
r
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Debug
g
ing ou
t
put to
evaluate the use
f
ulness of s
e
veral
commit
|
commitdiff
|
tree
2004-06-25
skimo
Add constraint if ex
p
ressi
o
n
i
s o
n
ly integer fo
r
a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
perform range re
d
uctio
n
on condit
i
on o
f
relation
commit
|
commitdiff
|
tree
2004-06-25
skimo
fully propagate re
o
rdering
commit
|
commitdiff
|
tree
2004-06-24
skim
o
partia
l
l
y
propaga
t
e reordering
and
reduce in cas
e
of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
s
kimo
rem
o
ve comment
commit
|
commitdiff
|
tree
2004-06-24
s
kimo
Rang
e
reduct
i
on and some a
u
xiliary functio
n
s
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
Invert a f
r
actional if
l
eading
coeffi
c
ient becomes
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
s
k
imo
remove debugging outpu
t
commit
|
commitdiff
|
tree
2004-06-24
skimo
Remove invalid m
e
mo
r
y access
.
commit
|
commitdiff
|
tree
2004-06-23
ski
m
o
r
ecom
p
u
te domains
commit
|
commitdiff
|
tree
2004-06-23
skimo
compu
t
e si
z
e of all subdomains
commit
|
commitdiff
|
tree
2004-06-23
skimo
tri
v
ial recombination
commit
|
commitdiff
|
tree
2004-06-23
skimo
also invert wh
e
n
cons
t
ant is
half the modulo, since
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
ski
m
o
Allow mor
e
fracitonal subst
i
t
utions,
i
n particu
l
ar
commit
|
commitdiff
|
tree
2004-06-23
s
kimo
search f
o
r pair
o
f
f
r
a
ctional
s
tha
t
can (optimally
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
s
kimo
always provide subst
s
t
ruc
t
ure
(
even if empty
)
commit
|
commitdiff
|
tree
2004-06-22
skimo
avoid infinite
lo
o
p caus
e
d by splitt
i
n
g
off nothi
n
g
commit
|
commitdiff
|
tree
2004-06-22
s
kimo
remove r
e
latio
n
i
f br
a
n
c
he
s
a
re identical
commit
|
commitdiff
|
tree
2004-06-22
skimo
remove r
e
duced relations
commit
|
commitdiff
|
tree
2004-06-21
skimo
rep
l
ace
{
E/m } by { (E-1)
/
m
}
+ 1/m if { E
/
m } !
=
0
commit
|
commitdiff
|
tree
2004-06-21
s
kimo
n
um
e
rator ca
n
never be negati
v
e inside fr
a
ctional
commit
|
commitdiff
|
tree
2004-06-21
ski
m
o
optionall
y
print "size" of enum
e
ration
commit
|
commitdiff
|
tree
2004-06-21
sk
i
m
o
E
n
umeration_size
commit
|
commitdiff
|
tree
2004-06-21
skimo
export domain_size
commit
|
commitdiff
|
tree
2004-06-21
s
kimo
reduce after con
v
er
s
ion
commit
|
commitdiff
|
tree
2004-06-21
s
ki
m
o
translate relation a
s
w
e
ll
commit
|
commitdiff
|
tree
2004-06-20
skimo
use
convex
hull for e
q
u
aliti
e
s to use in r
e
duction
commit
|
commitdiff
|
tree
2004-06-20
s
kimo
reorde
r
term
s
if needed after reduction
commit
|
commitdiff
|
tree
2004-06-20
skimo
rem
o
ve
code mad
e
redundant by switch to fractional
commit
|
commitdiff
|
tree
2004-06-20
skimo
con
v
er
t
from modulo to fractional
commit
|
commitdiff
|
tree
2004-06-16
s
kimo
inform calli
n
g
procedure whether a ne
w
en
t
ry was added
commit
|
commitdiff
|
tree
2004-06-16
skimo
r
eallocate
s
ubs
t
itutions array if nece
s
sary
commit
|
commitdiff
|
tree
2004-06-15
s
kimo
multiply modulo a
r
gument if
this can help to eliminat
e
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
als
o
use eq
u
iv
a
lences inside modulo expressions
commit
|
commitdiff
|
tree
2004-06-15
s
k
i
m
o
allow
fractional substi
t
utions outside modulo (not
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
Partial evaluation could in
p
rinciple lead to further
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
sk
i
mo
reduce
c
onstants inside modulo
commit
|
commitdiff
|
tree
2004-06-15
ski
m
o
cons
t
ruc
t
substitution f
o
r
each equality
commit
|
commitdiff
|
tree
2004-06-15
sk
i
mo
collect su
b
stit
u
tions
in o
n
e
s
t
r
u
c
ture
commit
|
commitdiff
|
tree
2004-06-14
s
kimo
only take difference of sets th
a
t shar
e
a hyperplane
commit
|
commitdiff
|
tree
2004-06-11
s
kimo
also s
k
i
p over zeroe
s
and remember original location
.
.
.
commit
|
commitdiff
|
tree
2004-06-11
skimo
conti
n
ue looking for coefficient
s
to
n
egat
e
if
c
urr
e
nt
.
.
.
commit
|
commitdiff
|
tree
2004-06-09
skimo
calculate "size"
o
f polyno
m
ials
commit
|
commitdiff
|
tree
2004-06-09
skimo
c
o
m
bi
n
e i
d
entical rela
t
ions
commit
|
commitdiff
|
tree
2004-06-09
skimo
d
o
n
't
k
n
o
wingly
c
r
eate
z
e
ro polynomia
l
s
commit
|
commitdiff
|
tree
2004-06-09
skimo
C
h
eck
w
hether rVD is t
o
o
sma
l
l in dimens
i
on *b
e
fore*
commit
|
commitdiff
|
tree
2004-06-08
skimo
regression
t
est
commit
|
commitdiff
|
tree
2004-06-08
skimo
2Poly
h
edron routines can modify their argume
n
t!
commit
|
commitdiff
|
tree
2004-06-07
s
kimo
strict inequ
a
lity
s
hould
be en
f
orced
*
pri
o
r* to simplification
commit
|
commitdiff
|
tree
2004-06-06
s
kimo
a
n
other m
e
m
o
ry leak
commit
|
commitdiff
|
tree
2004-06-06
skimo
me
m
o
r
y lea
k
s
commit
|
commitdiff
|
tree
2004-06-06
s
ki
m
o
r
e
turn malloce
d
memory since w
e
define a "C" in
t
erface
commit
|
commitdiff
|
tree
2004-06-06
skimo
always r
e
turn reduced ev
a
lue
commit
|
commitdiff
|
tree
2004-06-06
skimo
simplify
constraints during mu
l
tiplicatio
n
s as
w
e
l
l
commit
|
commitdiff
|
tree
2004-06-06
sk
i
mo
regression
t
est for lat
e
st bug
commit
|
commitdiff
|
tree
2004-06-06
skimo
value "tmp" is
used over s
e
v
eral interations of seco
n
d
.
.
.
commit
|
commitdiff
|
tree
2004-06-05
skimo
don't look
a
t re
l
ation if we just freed it
commit
|
commitdiff
|
tree
2004-06-05
skimo
r
emove e
m
pty parti
t
ions
commit
|
commitdiff
|
tree
2004-06-05
skimo
a
l
so re
m
ove first empty subdomain
commit
|
commitdiff
|
tree
2004-06-05
sk
i
mo
remove some
e
mpty subd
o
mai
n
s
commit
|
commitdiff
|
tree
2004-06-05
skimo
simp
l
ify
c
o
nstraints in e
a
dd_part
i
tions
commit
|
commitdiff
|
tree
2004-06-04
skimo
simplif
y
wh
o
le dom
a
in and at more locations
commit
|
commitdiff
|
tree
2004-06-04
skimo
only use
e
qualit
i
e
s in
a
si
n
g
l
e
var
commit
|
commitdiff
|
tree
2004-06-04
skimo
remov
e
V
Ds with zero Eh
r
hart
p
ol
y
n
o
m
i
a
l
commit
|
commitdiff
|
tree
2004-06-04
skimo
r
e
m
o
ve
r
ela
t
i
on if
value is k
n
own
commit
|
commitdiff
|
tree
2004-06-04
skimo
compute mod
u
l
o if argument is known
commit
|
commitdiff
|
tree
next