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
detect more unhandled cases
2004-08-09
skimo
detect more unhandled
cases
commit
|
commitdiff
|
tree
2004-08-09
s
k
imo
s
impli
f
y some co
d
e
commit
|
commitdiff
|
tree
2004-08-08
skim
o
r
e
m
o
ve redunda
n
t rays
commit
|
commitdiff
|
tree
2004-08-08
skimo
allow a
n
y number o
f
p
a
r
ts in enumerate_or
commit
|
commitdiff
|
tree
2004-08-08
skimo
"impleme
n
t" eor
commit
|
commitdiff
|
tree
2004-08-08
skimo
handl
e
(single) ray
commit
|
commitdiff
|
tree
2004-08-06
s
kimo
r
e
m
ove (some)
line
s
commit
|
commitdiff
|
tree
2004-08-05
skimo
s
et npa
r
am back to use as numb
e
r of di
m
e
n
s
ions in par
t
i
tion
commit
|
commitdiff
|
tree
2004-08-05
skimo
make compute_enode work again in general case
commit
|
commitdiff
|
tree
2004-08-05
skimo
rem
o
ve debugging ou
t
put
commit
|
commitdiff
|
tree
2004-08-05
s
kimo
remo
v
e debugging output
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
us
e
evalue rather than enumerat
i
on and
s
ome memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
extend prin
t
ing
and com
p
utin
g
to handles "modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
alternative to in_domain
t
h
at handles "modu
l
os" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
s
to
r
e "re
a
l
"
d
i
mension in pos field of
p
arti
t
ion
commit
|
commitdiff
|
tree
2004-08-04
skimo
r
e
move duplicate impl
e
ment
a
tion
commit
|
commitdiff
|
tree
2004-08-04
s
k
i
mo
be slightly more
c
onservative (co
r
rect) in determining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
skimo
a ray that d
e
pends on the paramet
e
rs should be ok
commit
|
commitdiff
|
tree
2004-08-04
skimo
c
lean u
p
commit
|
commitdiff
|
tree
2004-08-04
skim
o
mem
o
ry leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memor
y
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
e
mory
le
a
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
me
m
ory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
remov
e
debugging output
commit
|
commitdiff
|
tree
2004-08-03
skimo
check whethe
r
projecti
o
n is bounde
d
commit
|
commitdiff
|
tree
2004-08-03
skimo
Spl
i
t
o
n parametric vertex
.
commit
|
commitdiff
|
tree
2004-08-03
s
k
im
o
If o
n
e of the
vertice
s
in the combined space is a lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
eliminate
parameters
if we can
commit
|
commitdiff
|
tree
2004-08-03
skimo
only pe
r
form vd bas
i
d
red
u
cti
o
n i
f
the polytope
has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
unfring
e
polyhedron
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
remov
e
d
ebugging output i
n
unf
r
inge
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
extend addeli
m
ina
t
edparams to p
a
rtitions
commit
|
commitdiff
|
tree
2004-08-01
sk
i
mo
bail e
a
rly
o
n
e
mpty
p
olytope
commit
|
commitdiff
|
tree
2004-08-01
skimo
reduce high
e
r degrees of fra
c
tional parts with fl
o
or
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
sk
i
mo
on
l
y rays involvi
n
g
the rea
l
v
ariables le
a
d to unbo
u
nded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
perform range reduction if requested
commit
|
commitdiff
|
tree
2004-08-01
skimo
only
c
al
c
ulate o
n
ce for part
t
hat
is independe
n
t of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
s
kimo
perform a
n
other range
r
e
d
u
ct
i
on afte
r
s
ummation
commit
|
commitdiff
|
tree
2004-07-31
s
k
imo
De
c
ompositions ba
s
ed
o
n va
l
idity
d
omains and
parametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
split off part that ce
r
tainly
cont
a
ins
latt
i
c
e
points
commit
|
commitdiff
|
tree
2004-07-30
skimo
routine for reduci
n
g to zero variables ca
s
e
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
use newly added routine
commit
|
commitdiff
|
tree
2004-07-30
skim
o
a polytope with
ray
s
indepe
n
dent of the existent
i
al
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
check for
e
mp
t
y polytope
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
i
mplify
const
r
aints on each in
v
o
c
ation of b
a
rvi
n
ok_enume
r
at
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extr
a
ct
out routi
n
e for "or
"
i
ng
commit
|
commitdiff
|
tree
2004-07-30
skimo
unused
routine for remov
i
ng double b
o
u
n
ds
commit
|
commitdiff
|
tree
2004-07-30
s
kim
o
send debug out
p
ut t
o
st
d
e
r
r i
n
(unused) unfring
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
m
ak
e
debu
g
gin easier by keeping trac
k
of recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract out rou
t
ine
to align constr
a
int
along a
l
in
e
ar
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If on
e
of the hyperpl
a
nes has to be ind
e
pendent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure
that first
v
ariab
l
e
i
s
made negative
inside
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skim
o
Ensure
that split
t
ing w
i
ll redu
c
e the number of
e
xistenti
a
l
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
abs
t
ract out handling of mu
l
tipl
e
validity domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
E
xt
r
a
c
heck that is probab
l
y
not needed
commit
|
commitdiff
|
tree
2004-07-29
skimo
ha
n
dle composed validity do
m
ains
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
re
d
uce
a
fter summat
i
o
n
commit
|
commitdiff
|
tree
2004-07-29
skimo
d
on't
create empty
p
art
i
t
i
ons
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow evaluat
i
on of floorings
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
p
e
rform (t
r
ivi
a
l)
reduction on floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
ma
k
e reorder_t
e
rms w
o
rk for fl
o
orings
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
co
r
r
ect check f
o
r
1
commit
|
commitdiff
|
tree
2004-07-29
skimo
be m
o
r
e
s
t
rict when co
m
paring two ra
t
ionals
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
typo in comment
commit
|
commitdiff
|
tree
2004-07-21
s
kimo
handle ca
s
e
o
f al
l
empty validit
y
domains
commit
|
commitdiff
|
tree
2004-07-21
skimo
support p
o
lynomials in "re
a
l" parameters
commit
|
commitdiff
|
tree
2004-07-21
sk
i
mo
h
a
ndle ne
g
a
tive values of
sum
m
ed variable
commit
|
commitdiff
|
tree
2004-07-21
skimo
c
h
e
c
k
w
h
ether POLYTOPE_PREFIX is
a
c
t
ually set
commit
|
commitdiff
|
tree
2004-07-20
skimo
floor conversion and
p
artial implementation
of esum
commit
|
commitdiff
|
tree
2004-07-20
skimo
pos
s
t
a
rts
at 1
commit
|
commitdiff
|
tree
2004-07-19
skim
o
minor reorde
r
i
n
g
o
f
c
o
d
e
commit
|
commitdiff
|
tree
2004-07-19
skimo
s
plit o
f
f more comm
o
n
code
commit
|
commitdiff
|
tree
2004-07-19
s
k
i
m
o
r
e
v
ert change commited by accident
commit
|
commitdiff
|
tree
2004-07-19
skimo
ad
d
c
o
ll
e
ct_polytope
s
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
recurse into the c
o
rre
c
t
ver
s
i
o
n of
cou
n
t_points
commit
|
commitdiff
|
tree
2004-07-18
s
k
imo
"or"-split
fo
r
case with only existential
v
ariables
commit
|
commitdiff
|
tree
2004-07-18
skimo
allow sp
l
it on other
t
han fi
r
s
t
exi
s
t
e
ntial variable
commit
|
commitdiff
|
tree
2004-07-18
skimo
extra
c
t out
c
ode to spli
t
on a
c
o
nstr
a
i
nt
commit
|
commitdiff
|
tree
2004-07-17
skimo
"existen
t
ial" version
o
f verif_ehr
h
a
r
t
commit
|
commitdiff
|
tree
2004-07-17
skimo
provide evalue t
o
enu
m
eration
c
onversi
o
n
commit
|
commitdiff
|
tree
2004-07-17
sk
i
mo
adapt to de
a
l with existential va
r
iables
commit
|
commitdiff
|
tree
2004-07-16
skimo
cop
i
ed fr
o
m ehrhart
.
c
fro
m
Polylib distribution
commit
|
commitdiff
|
tree
2004-07-14
s
k
i
mo
handle trivi
a
l case of only
e
xi
s
tentia
l
variabl
e
s
commit
|
commitdiff
|
tree
2004-07-14
skimo
It should be suf
f
i
cient
t
hat one of the
b
o
u
nds
is indep
e
ndent
commit
|
commitdiff
|
tree
2004-07-14
skimo
don't coun
t
storage space for
t
he rays
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
bu
m
p ver
s
ion
commit
|
commitdiff
|
tree
2004-07-06
skim
o
fix up changelog
commit
|
commitdiff
|
tree
2004-07-06
skimo
b
u
mp version
s
ome more since
w
e cha
n
ged th
e
i
nter
f
ace
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
t
u
rn of
debugging messages
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
u
p
date
commit
|
commitdiff
|
tree
2004-07-06
skimo
b
r
ief
descripti
o
n
o
f
the input
commit
|
commitdiff
|
tree
2004-07-06
skimo
r
e
pl
a
ce modulo by f
r
actional
commit
|
commitdiff
|
tree
2004-07-06
skimo
re
m
ove
e
mpty partition
s
in pl
a
ce
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
more m
e
mory leaks
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
memory leak
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
p
o
tential memory lea
k
commit
|
commitdiff
|
tree
2004-07-06
skimo
(potential) m
e
m
o
ry
l
eaks
commit
|
commitdiff
|
tree
next