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
clean up
2004-08-04
skimo
c
l
ean up
commit
|
commitdiff
|
tree
2004-08-04
skimo
me
m
ory leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
m
emory l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skim
o
memo
r
y leak
commit
|
commitdiff
|
tree
2004-08-03
skim
o
memory leak
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
memory le
a
k
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
r
emove debugging output
commit
|
commitdiff
|
tree
2004-08-03
skimo
chec
k
wh
e
t
her proj
e
c
tion
is bounded
commit
|
commitdiff
|
tree
2004-08-03
skimo
Split on parametr
i
c vertex
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
I
f one of
the vertices
in t
h
e combined spa
c
e is
a latt
i
c
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
eliminate parameters if
w
e
can
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
only
p
e
r
f
o
rm
vd basid reduction if the polyto
p
e has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skim
o
u
n
f
r
inge
polyh
e
d
r
on
commit
|
commitdiff
|
tree
2004-08-03
skimo
re
m
ov
e
de
b
ugg
i
ng
output in unf
r
inge
commit
|
commitdiff
|
tree
2004-08-03
skimo
extend addel
i
m
inat
e
dpar
a
ms
to
partitions
commit
|
commitdiff
|
tree
2004-08-01
skimo
bail
e
arly on empty
polyt
o
pe
commit
|
commitdiff
|
tree
2004-08-01
skimo
re
d
uce hi
g
her deg
r
ees
of f
r
actional
parts with floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
only
r
a
ys involving the
r
eal varia
b
les lead to un
b
o
unde
d
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
perf
o
rm range reduction if requested
commit
|
commitdiff
|
tree
2004-08-01
skimo
o
nl
y
ca
l
c
u
late o
n
c
e for pa
r
t that is independen
t
of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
per
f
or
m
another range redu
c
t
ion after summ
a
ti
o
n
commit
|
commitdiff
|
tree
2004-07-31
skimo
D
e
compositions
b
ased on va
l
idity doma
i
ns and parame
t
ric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
split off part
t
hat certai
n
ly con
t
ains
lattice p
o
in
t
s
commit
|
commitdiff
|
tree
2004-07-30
skimo
r
o
utine for reducing
t
o zero var
i
ab
l
es case
commit
|
commitdiff
|
tree
2004-07-30
skimo
use
n
ewly added r
o
u
t
i
ne
commit
|
commitdiff
|
tree
2004-07-30
skimo
a
polytope with rays independent of the existe
n
t
i
al
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
c
heck for empty polytop
e
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
simplif
y
constrai
n
ts on each invocati
o
n of barvi
n
ok_enumerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extrac
t
ou
t
ro
u
tine for "or"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
un
u
s
e
d routine
f
or removi
n
g
d
ouble bounds
commit
|
commitdiff
|
tree
2004-07-30
skimo
send
debug output to stderr in (unused) unfringe
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
mak
e
debuggin eas
i
er by keeping t
r
a
ck
o
f
re
c
u
rsion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skim
o
extract out routine t
o
a
l
ign constr
a
in
t
a
l
ong a linear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If one of the hyperplanes has
t
o be i
n
dep
e
ndent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensur
e
tha
t
first variable is made negativ
e
in
s
i
d
e
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skim
o
E
nsu
r
e that splittin
g
wi
l
l reduce the number of exis
t
ential
commit
|
commitdiff
|
tree
2004-07-30
skimo
a
bstract o
u
t
handlin
g
of multip
l
e
v
a
lidity
domains
commit
|
commitdiff
|
tree
2004-07-29
skim
o
Extra check t
h
at is
p
r
o
bably no
t
neede
d
commit
|
commitdiff
|
tree
2004-07-29
skimo
handle composed validity domai
n
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
r
educe afte
r
summatio
n
commit
|
commitdiff
|
tree
2004-07-29
skimo
don
'
t
create empty partitions
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow
eval
u
ati
o
n of f
l
oorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
perform (trivial) reduct
i
on on floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
make reor
d
er_t
e
r
ms work for floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
co
r
rect check for
1
commit
|
commitdiff
|
tree
2004-07-29
skimo
be
m
ore strict
when
comparing tw
o
rationa
l
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
ty
p
o in co
m
m
e
n
t
commit
|
commitdiff
|
tree
2004-07-21
sk
i
mo
handle c
a
se o
f
all
e
mp
t
y validity domains
commit
|
commitdiff
|
tree
2004-07-21
ski
m
o
supp
o
rt polynomials in
"
real"
parame
t
e
r
s
commit
|
commitdiff
|
tree
2004-07-21
s
k
i
mo
h
a
n
dle
negative value
s
o
f
s
umme
d
variable
commit
|
commitdiff
|
tree
2004-07-21
skimo
check
w
hether POLYTOPE_PREFIX is actu
a
l
l
y se
t
commit
|
commitdiff
|
tree
2004-07-20
skimo
floor c
o
nversion a
n
d partial implem
e
ntation of
e
sum
commit
|
commitdiff
|
tree
2004-07-20
ski
m
o
pos starts at 1
commit
|
commitdiff
|
tree
2004-07-19
skimo
min
o
r reordering of c
o
de
commit
|
commitdiff
|
tree
2004-07-19
skimo
split off more com
m
on code
commit
|
commitdiff
|
tree
2004-07-19
sk
i
mo
rev
e
rt change commi
t
ed by accident
commit
|
commitdiff
|
tree
2004-07-19
skim
o
add
c
ollec
t
_polytop
e
s
.
c
commit
|
commitdiff
|
tree
2004-07-18
s
k
i
m
o
recurse into the
c
orrect vers
i
o
n
of c
o
unt_points
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or"-split for case with o
n
ly existential variables
commit
|
commitdiff
|
tree
2004-07-18
skim
o
allow
s
p
lit
o
n
other than first ex
i
stenti
a
l variable
commit
|
commitdiff
|
tree
2004-07-18
skim
o
extra
c
t o
u
t c
o
de to split on a con
s
traint
commit
|
commitdiff
|
tree
2004-07-17
ski
m
o
"existential" v
e
rsion of verif_ehr
h
a
r
t
commit
|
commitdiff
|
tree
2004-07-17
s
kimo
p
rovide evalue to
enumer
a
tion conversion
commit
|
commitdiff
|
tree
2004-07-17
ski
m
o
adapt to deal wit
h
e
x
istential
varia
b
le
s
commit
|
commitdiff
|
tree
2004-07-16
sk
i
mo
c
opied
fr
o
m ehrhart
.
c from Polylib dist
r
ibution
commit
|
commitdiff
|
tree
2004-07-14
sk
i
m
o
ha
n
dle
trivial cas
e
of onl
y
exi
s
te
n
tial varia
b
l
e
s
commit
|
commitdiff
|
tree
2004-07-14
skimo
It sh
o
uld be suf
f
i
c
i
e
nt that one of the bounds is indep
e
ndent
commit
|
commitdiff
|
tree
2004-07-14
s
kimo
don't count st
o
rage
s
pace for the rays
commit
|
commitdiff
|
tree
2004-07-06
skim
o
b
ump
v
e
r
sion
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
fix up ch
a
ngelog
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump v
e
rsi
o
n some more
s
ince we changed the interface
commit
|
commitdiff
|
tree
2004-07-06
skimo
turn of debuggin
g
messages
commit
|
commitdiff
|
tree
2004-07-06
skim
o
up
d
ate
commit
|
commitdiff
|
tree
2004-07-06
skim
o
brief description of t
h
e input
commit
|
commitdiff
|
tree
2004-07-06
skimo
r
e
place modulo by
f
r
a
ctiona
l
commit
|
commitdiff
|
tree
2004-07-06
skimo
remove emp
t
y
pa
r
titi
o
ns in place
commit
|
commitdiff
|
tree
2004-07-06
skimo
more memory le
a
ks
commit
|
commitdiff
|
tree
2004-07-06
skimo
m
emory
lea
k
commit
|
commitdiff
|
tree
2004-07-06
skimo
p
o
t
ential
m
emory le
a
k
commit
|
commitdiff
|
tree
2004-07-06
skimo
(po
t
e
n
tial) memor
y
leaks
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
pri
n
t more info
commit
|
commitdiff
|
tree
2004-07-05
skimo
pr
e
load library
to
count
the
number of
validity dom
a
ins
commit
|
commitdiff
|
tree
2004-07-01
s
k
i
mo
memo
r
y
leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
me
m
or
y
le
a
k
commit
|
commitdiff
|
tree
2004-07-01
skim
o
memory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-06-26
s
k
imo
Use function for copying
evalue
.
commit
|
commitdiff
|
tree
2004-06-26
skimo
o
rder per
i
odics in multi
p
licati
o
n as well
commit
|
commitdiff
|
tree
2004-06-26
skimo
c
o
py value before free
i
n
g
commit
|
commitdiff
|
tree
2004-06-26
skimo
regr
e
ss
i
on test
commit
|
commitdiff
|
tree
2004-06-26
skimo
handle case wher
e
polytope has n
o
"
real" dimensions
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Use smallest representative in abs
o
l
ute value rather
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
s
kimo
Debugging outp
u
t to evaluate the
usefulnes
s
o
f
several
commit
|
commitdiff
|
tree
2004-06-25
skim
o
A
dd constra
i
nt if exp
r
essio
n
is only intege
r
for a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
perform range reduction on condition of relation
commit
|
commitdiff
|
tree
2004-06-25
s
k
imo
f
u
lly p
r
op
a
gate reor
d
e
r
in
g
commit
|
commitdiff
|
tree
2004-06-24
skim
o
partially prop
a
gate reord
e
r
i
ng
and reduc
e
in case of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
s
kim
o
remove c
o
m
m
ent
commit
|
commitdiff
|
tree
next