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
test program for pip support
2004-08-29
skimo
test pr
o
gram for
pip
su
p
p
ort
commit
|
commitdiff
|
tree
2004-08-29
skimo
add
support for computing the lexicogr
a
phical minimum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
a
lso l
o
ok at den
o
m
ina
t
or
o
f
th
e
constan
t
commit
|
commitdiff
|
tree
2004-08-28
skimo
more partial
r
ay removal (l
a
rge
l
y untested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s/vd/vertices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
che
c
k th
a
t poly
l
ib is recen
t
enough to
c
orrectly compute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
add t
1
2
.
i
n
esum
.
i
n
commit
|
commitdiff
|
tree
2004-08-23
skimo
new tests from
p
olyl
i
b
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
perf
o
rm co
r
rec
t
p
e
riodic num
b
er lookup for negative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
sk
i
m
o
m
o
re
info
commit
|
commitdiff
|
tree
2004-08-14
s
k
imo
typo
commit
|
commitdiff
|
tree
2004-08-14
skimo
correct test for
mpz_
d
ivisible
_
p
commit
|
commitdiff
|
tree
2004-08-14
skimo
repe
a
t w
o
rkaround in loop
commit
|
commitdiff
|
tree
2004-08-14
skimo
older gmps s
e
em to have problems
w
ith a string constis
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skim
o
suppo
r
t old
e
r gmp versions
commit
|
commitdiff
|
tree
2004-08-13
skimo
don't assume C99
commit
|
commitdiff
|
tree
2004-08-10
s
kimo
remo
v
e code dupli
c
a
tion
commit
|
commitdiff
|
tree
2004-08-09
skimo
extrac
t
ou
t
common code
commit
|
commitdiff
|
tree
2004-08-09
s
k
imo
extract out
c
ode to construct
n
egati
v
e
t
e
st constraint
commit
|
commitdiff
|
tree
2004-08-09
sk
i
mo
code reuse
commit
|
commitdiff
|
tree
2004-08-09
skimo
det
e
ct more unhandled cases
commit
|
commitdiff
|
tree
2004-08-09
skimo
si
m
p
l
ify
s
ome c
o
de
commit
|
commitdiff
|
tree
2004-08-08
skimo
remove redundant ra
y
s
commit
|
commitdiff
|
tree
2004-08-08
skimo
allow
any number of parts in e
n
umerat
e
_or
commit
|
commitdiff
|
tree
2004-08-08
s
kimo
"i
m
plement"
eor
commit
|
commitdiff
|
tree
2004-08-08
s
k
imo
handle (single)
r
a
y
commit
|
commitdiff
|
tree
2004-08-06
s
k
im
o
re
m
ove
(
so
m
e)
l
ines
commit
|
commitdiff
|
tree
2004-08-05
ski
m
o
set np
a
r
a
m back to use
as number of dimensions in partiti
o
n
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
make comp
u
te_enode
work agai
n
in
general case
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove debugg
i
ng output
commit
|
commitdiff
|
tree
2004-08-05
ski
m
o
remove debugging output
commit
|
commitdiff
|
tree
2004-08-05
ski
m
o
use eva
l
ue rather than
e
numer
a
tio
n
and some memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
ext
e
nd printi
n
g and comp
u
ting
t
o
h
andles "mo
d
u
los"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
alternative
t
o in_domain that handles
"m
o
dulos"
i
n
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
st
o
re
"
real
"
dim
e
nsion i
n
pos f
i
e
l
d of partition
commit
|
commitdiff
|
tree
2004-08-04
skimo
remove dupl
i
cate implem
e
ntation
commit
|
commitdiff
|
tree
2004-08-04
sk
i
mo
b
e
s
li
g
htly more conservative (cor
r
ec
t
) in determining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
skimo
a
ray tha
t
depend
s
on the parame
t
e
r
s should b
e
ok
commit
|
commitdiff
|
tree
2004-08-04
s
k
imo
clean up
commit
|
commitdiff
|
tree
2004-08-04
sk
i
mo
me
m
ory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
memory
l
eak
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
e
mory le
a
k
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
m
emory lea
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
e
m
o
ry leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
me
m
ory lea
k
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
r
e
move debuggin
g
output
commit
|
commitdiff
|
tree
2004-08-03
sk
i
m
o
c
hec
k
whether projection
is bo
u
nded
commit
|
commitdiff
|
tree
2004-08-03
skimo
Split on parametric ve
r
tex
.
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
I
f one of the v
e
rtices i
n
t
h
e combine
d
spa
c
e
i
s a
l
att
i
ce
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
elim
i
nat
e
parameters if we can
commit
|
commitdiff
|
tree
2004-08-03
skimo
onl
y
perform vd
b
a
s
id reduction if the
polytope has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
unfrin
g
e polyhedr
o
n
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
r
emove d
e
b
u
gging output
i
n
unfringe
commit
|
commitdiff
|
tree
2004-08-03
skimo
ext
e
nd addel
i
mina
t
edparams to partit
i
o
ns
commit
|
commitdiff
|
tree
2004-08-01
ski
m
o
b
a
il
e
arly
o
n e
m
pty polyt
o
pe
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
r
e
duce higher degrees
of fractional
p
ar
t
s
w
it
h
fl
o
or
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
only rays involving th
e
r
eal
v
ariabl
e
s l
e
ad
t
o unbounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
sk
i
mo
per
f
orm r
a
n
g
e red
u
ction if requested
commit
|
commitdiff
|
tree
2004-08-01
s
kim
o
only calcu
l
ate once
for part that is
independent
of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skim
o
pe
r
form
a
not
h
er rang
e
reduction
a
fter summation
commit
|
commitdiff
|
tree
2004-07-31
skim
o
Deco
m
positions bas
e
d
on validity doma
i
ns
a
nd pa
r
amet
r
i
c
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
spl
i
t off
p
art t
h
at
cer
t
ain
l
y cont
a
ins
l
attice poin
t
s
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
routine
f
or reducing to zero va
r
iables
case
commit
|
commitdiff
|
tree
2004-07-30
skimo
u
se newl
y
added
routine
commit
|
commitdiff
|
tree
2004-07-30
skimo
a polytope with
rays i
n
d
ep
e
ndent of the exi
s
t
e
ntial
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
check
f
or
e
mpty p
o
lytop
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
simplify const
r
aints o
n
each invocation of barvinok_enumerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract out routine for "or"in
g
commit
|
commitdiff
|
tree
2004-07-30
skimo
unu
s
e
d
routine for removing double bounds
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
send debug ou
t
put to stderr in (un
u
sed) unfringe
commit
|
commitdiff
|
tree
2004-07-30
skimo
make
debu
g
gin e
a
sier by keeping
t
r
a
c
k of recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extra
c
t out routin
e
to align constraint al
o
ng
a
li
n
ear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If
o
n
e of the hyper
p
lanes
h
as to be in
d
ependent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
E
n
sur
e
t
h
at first v
a
r
iab
l
e is made nega
t
ive
i
nside
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
E
n
sure that
splitting w
i
ll reduce the number of
e
xi
s
tent
i
al
commit
|
commitdiff
|
tree
2004-07-30
skimo
a
b
str
a
ct o
u
t h
a
n
d
ling of multiple validity
d
om
a
in
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
Ex
t
ra
c
heck th
a
t is
p
robab
l
y n
o
t needed
commit
|
commitdiff
|
tree
2004-07-29
skimo
handle composed validity
domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
reduce
a
fter summati
o
n
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
don
'
t create empty
pa
r
tition
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow evaluation
o
f
floorings
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
pe
r
form
(t
r
ivial) redu
c
tio
n
on
floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
ma
k
e
re
o
rde
r
_terms w
o
rk
for floori
n
gs
commit
|
commitdiff
|
tree
2004-07-29
skimo
correct check for 1
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
be m
o
re strict whe
n
comparing two rationals
commit
|
commitdiff
|
tree
2004-07-29
skimo
typo in comment
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle
ca
s
e of all emp
t
y validi
t
y
domains
commit
|
commitdiff
|
tree
2004-07-21
s
k
i
m
o
s
u
pport polynomials i
n
"real" p
a
rameters
commit
|
commitdiff
|
tree
2004-07-21
sk
i
mo
ha
n
d
l
e
n
egati
v
e
v
alue
s
o
f
su
m
med v
a
riable
commit
|
commitdiff
|
tree
2004-07-21
skimo
check whether
POLYT
O
PE_PREFIX is act
u
ally se
t
commit
|
commitdiff
|
tree
2004-07-20
s
kimo
floor c
o
nve
r
s
ion an
d
partial
implement
a
tio
n
of esum
commit
|
commitdiff
|
tree
2004-07-20
ski
m
o
pos
starts at 1
commit
|
commitdiff
|
tree
2004-07-19
skim
o
mino
r
reord
e
ring
o
f
c
ode
commit
|
commitdiff
|
tree
2004-07-19
skimo
split o
f
f more common c
o
d
e
commit
|
commitdiff
|
tree
2004-07-19
ski
m
o
revert
c
hange c
o
mmited
by acci
d
ent
commit
|
commitdiff
|
tree
2004-07-19
s
kimo
a
dd collect_p
o
lytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
s
k
i
mo
r
e
curs
e
into the c
o
rrect
version o
f
coun
t
_
p
oints
commit
|
commitdiff
|
tree
2004-07-18
skimo
"
o
r"-split
for case
with only
existe
n
tial
v
a
ri
a
b
l
e
s
commit
|
commitdiff
|
tree
2004-07-18
sk
i
mo
a
l
low split on other than firs
t
exi
s
tential variable
commit
|
commitdiff
|
tree
next