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
remove (some) lines
2004-08-06
skimo
remove
(some) li
n
es
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
set npa
r
am back to
u
s
e
as number of dimens
i
ons in partiti
o
n
commit
|
commitdiff
|
tree
2004-08-05
skimo
m
a
ke co
m
pute_enode work
again in general case
commit
|
commitdiff
|
tree
2004-08-05
s
k
im
o
remov
e
debu
g
ging o
u
tput
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
r
emove
d
ebugging out
p
u
t
commit
|
commitdiff
|
tree
2004-08-05
skimo
u
se evalue rat
h
er
t
h
a
n
e
numer
a
tion
a
nd some m
e
mory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
ext
e
n
d p
r
in
t
ing and com
p
utin
g
to
h
andles "modulo
s
"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
a
l
tern
a
tive to in_domain t
h
at ha
n
dles "mod
u
los
"
in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
store "real" dimensio
n
in pos field
of partitio
n
commit
|
commitdiff
|
tree
2004-08-04
skimo
remove d
u
plicate impleme
n
t
a
t
i
on
commit
|
commitdiff
|
tree
2004-08-04
sk
i
mo
b
e slightly
m
ore co
n
s
e
r
vat
i
ve (
c
orrect) in dete
r
m
i
ning
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
s
k
imo
a r
a
y t
h
at depends on the parame
t
ers
s
h
o
uld be ok
commit
|
commitdiff
|
tree
2004-08-04
skimo
c
l
ean up
commit
|
commitdiff
|
tree
2004-08-04
ski
m
o
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skim
o
me
m
ory lea
k
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
m
emory l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
memo
r
y
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove debugging output
commit
|
commitdiff
|
tree
2004-08-03
skim
o
check
w
hether projection is bounded
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
Split
on para
m
etric vertex
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
If one of the ve
r
t
i
c
e
s in the
c
ombined space is a
l
atti
c
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
eliminate pa
r
ameters if we
c
an
commit
|
commitdiff
|
tree
2004-08-03
skimo
o
nly perform
vd bas
i
d reduction if th
e
polytope
h
as
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
unfring
e
p
o
lyhedron
commit
|
commitdiff
|
tree
2004-08-03
skimo
r
emove d
e
bugging output in unfringe
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
ex
t
end
addeliminatedparams to p
a
rtitio
n
s
commit
|
commitdiff
|
tree
2004-08-01
sk
i
m
o
bail early on empty polyto
p
e
commit
|
commitdiff
|
tree
2004-08-01
skimo
redu
c
e
highe
r
degrees of fraction
a
l parts
with floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skim
o
onl
y
rays in
v
olvin
g
t
he
real
v
ariables lead to unbounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
per
f
orm ran
g
e re
d
uction if
requ
e
sted
commit
|
commitdiff
|
tree
2004-08-01
skimo
only calculat
e
onc
e
for part that is
i
nde
p
endent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
perf
o
rm anoth
e
r range
re
d
u
c
tion aft
e
r
sum
m
ation
commit
|
commitdiff
|
tree
2004-07-31
skimo
Decompositions bas
e
d on validity domains and
parametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
split o
f
f part
that certainly contains l
a
t
t
ice points
commit
|
commitdiff
|
tree
2004-07-30
skimo
routine for reducing
t
o zer
o
variables case
commit
|
commitdiff
|
tree
2004-07-30
skimo
use newly ad
d
ed routi
n
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
a polyto
p
e with rays in
d
ep
e
n
d
e
n
t
o
f the ex
i
s
t
e
n
tial
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
ch
e
ck fo
r
e
mpt
y
p
olytope
commit
|
commitdiff
|
tree
2004-07-30
skimo
simpli
f
y constrain
t
s on each in
v
ocation of barvinok_enumerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skim
o
extrac
t
out routine for "or
"
i
ng
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
unused
routin
e
f
or
re
m
oving dou
b
l
e
bounds
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
sen
d
debu
g
o
u
t
put to s
t
derr i
n
(
unused) unfringe
commit
|
commitdiff
|
tree
2004-07-30
skimo
make debu
g
gin easier b
y
keeping track of recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
ki
m
o
ex
t
ract
out routine to align
c
onstra
i
nt al
o
ng a
l
i
n
e
a
r
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
I
f
one
o
f
the hyp
e
rplanes
h
as to be indepen
d
ent
a
s
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
im
o
E
n
sure that first variable is made negative inside
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
E
n
s
ure that splitting will reduce the num
b
er of existential
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
abstract out hand
l
in
g
o
f
multiple validity domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
Extra che
c
k that is
probably not ne
e
ded
commit
|
commitdiff
|
tree
2004-07-29
skimo
handle compo
s
e
d va
l
id
i
ty do
m
a
i
n
s
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
r
e
duce after summat
i
on
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
don
'
t create empty parti
t
ions
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow e
v
aluation
of floor
i
n
g
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
perform (t
r
ivial
)
reduc
t
ion on
fl
o
orings
commit
|
commitdiff
|
tree
2004-07-29
skim
o
make r
e
ord
e
r_t
e
rms work
f
o
r
floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
correct
check for 1
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
b
e
m
ore strict when c
o
mparing
t
w
o
r
ati
o
nals
commit
|
commitdiff
|
tree
2004-07-29
skimo
typo in comment
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle case
of
a
ll empty
v
alidity
domains
commit
|
commitdiff
|
tree
2004-07-21
skimo
s
upport pol
y
nomials in
"
r
e
a
l
"
par
a
m
eters
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle negat
i
ve values
o
f summed variable
commit
|
commitdiff
|
tree
2004-07-21
skim
o
check
w
h
ether POLYTOPE_PREFIX is
actuall
y
set
commit
|
commitdiff
|
tree
2004-07-20
s
k
imo
floor conversion and partial implement
a
ti
o
n of esum
commit
|
commitdiff
|
tree
2004-07-20
skimo
p
os starts a
t
1
commit
|
commitdiff
|
tree
2004-07-19
ski
m
o
minor reordering
o
f code
commit
|
commitdiff
|
tree
2004-07-19
skimo
s
plit off more c
o
mmon code
commit
|
commitdiff
|
tree
2004-07-19
sk
i
mo
revert change commi
t
ed by accident
commit
|
commitdiff
|
tree
2004-07-19
sk
i
mo
add collect_pol
y
t
op
e
s
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
r
e
curse into
the corre
c
t
v
er
s
ion of
c
ount_
p
o
ints
commit
|
commitdiff
|
tree
2004-07-18
ski
m
o
"or"
-
spl
i
t for cas
e
w
i
th
o
n
ly
e
x
i
s
tent
i
a
l variables
commit
|
commitdiff
|
tree
2004-07-18
skim
o
allow split on other than first existent
i
al v
a
r
i
able
commit
|
commitdiff
|
tree
2004-07-18
sk
i
m
o
e
x
tr
a
ct out code to sp
l
it
on a cons
t
ra
i
nt
commit
|
commitdiff
|
tree
2004-07-17
s
k
i
mo
"exist
e
n
ti
a
l" vers
i
o
n of verif_
e
hrhart
commit
|
commitdiff
|
tree
2004-07-17
skimo
provide e
v
alue to
e
n
u
merat
i
on conversion
commit
|
commitdiff
|
tree
2004-07-17
ski
m
o
a
d
a
pt
t
o deal with existen
t
ial
variables
commit
|
commitdiff
|
tree
2004-07-16
s
kimo
c
opied
fro
m
e
h
rhart
.
c fro
m
Poly
l
i
b
dist
r
ibution
commit
|
commitdiff
|
tree
2004-07-14
skimo
h
a
ndle trivial ca
s
e of
o
n
ly existen
t
ia
l
variables
commit
|
commitdiff
|
tree
2004-07-14
skimo
It should
b
e suffi
c
ient that one of the bou
n
ds is
i
ndepend
e
nt
commit
|
commitdiff
|
tree
2004-07-14
skim
o
don't cou
n
t sto
r
age space for the rays
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump version
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
fix up changel
o
g
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
bump version some m
o
re s
i
n
c
e we changed the interface
commit
|
commitdiff
|
tree
2004-07-06
skimo
tur
n
o
f
de
b
uggin
g
messag
e
s
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
u
p
d
a
te
commit
|
commitdiff
|
tree
2004-07-06
skimo
brie
f
desc
r
iption of the in
p
ut
commit
|
commitdiff
|
tree
2004-07-06
skimo
replace modulo by fractional
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
remove empty partitions
i
n pla
c
e
commit
|
commitdiff
|
tree
2004-07-06
skimo
mo
r
e mem
o
ry le
a
ks
commit
|
commitdiff
|
tree
2004-07-06
skimo
memor
y
leak
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
potential memory leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(potential) memory
l
ea
k
s
commit
|
commitdiff
|
tree
2004-07-06
skimo
print more info
commit
|
commitdiff
|
tree
2004-07-05
s
kim
o
p
r
eload librar
y
to count the number of validity
d
o
m
ains
commit
|
commitdiff
|
tree
2004-07-01
skimo
me
m
ory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
m
e
m
o
r
y leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
m
e
m
o
ry leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
m
e
m
o
ry
l
eak
commit
|
commitdiff
|
tree
next