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
change arguments of normalize methods
2004-11-16
skimo
c
h
ange argum
e
nts
of
n
ormalize methods
commit
|
commitdiff
|
tree
2004-11-03
s
k
imo
really onl
y
remove redundant const
r
ain
t
s when fact
o
r
==0
commit
|
commitdiff
|
tree
2004-10-31
skimo
conv
e
r
s
i
on to
e
xpl
i
cit function on request
commit
|
commitdiff
|
tree
2004-10-31
skimo
convers
i
o
n from ge
n
fu
n
to e
v
al
u
e
commit
|
commitdiff
|
tree
2004-10-31
s
k
imo
export zz2value
commit
|
commitdiff
|
tree
2004-10-31
sk
i
m
o
"support" floor co
n
version for parametric polyto
p
e
s
commit
|
commitdiff
|
tree
2004-10-31
skim
o
u
s
e evalue
instead of Enumer
a
tion
commit
|
commitdiff
|
tree
2004-10-31
skimo
print differen
t
sta
t
istics
commit
|
commitdiff
|
tree
2004-10-31
skimo
remove red
u
ndant code
commit
|
commitdiff
|
tree
2004-10-16
skimo
bump ve
r
sion
commit
|
commitdiff
|
tree
2004-10-12
s
k
imo
Test whether linear combination of existe
n
tial
var
i
ables
commit
|
commitdiff
|
tree
2004-10-12
skimo
h
andle
c
ase wh
e
re
f
irst part does not have
a s
o
l
ution
commit
|
commitdiff
|
tree
2004-10-06
skim
o
small tool
f
or remo
v
in
g
redundant equaliti
e
s
commit
|
commitdiff
|
tree
2004-10-06
skimo
u
s
e bigger values for ra
n
d
o
m
vector
commit
|
commitdiff
|
tree
2004-10-05
ski
m
o
warn o
n
fl
o
or
co
n
vers
i
o
n
commit
|
commitdiff
|
tree
2004-10-05
skimo
add
col
l
e
ct_polytop
e
s2
.
c
commit
|
commitdiff
|
tree
2004-10-04
skimo
reduc
e
constant after i
n
versi
o
n;
a
v
o
id
i
nfinite
loop
commit
|
commitdiff
|
tree
2004-10-04
ski
m
o
don't
call pip when there
a
re no existential variables
commit
|
commitdiff
|
tree
2004-10-03
skimo
b
u
m
p version
commit
|
commitdiff
|
tree
2004-10-03
skim
o
further merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
more mer
g
ing
commit
|
commitdiff
|
tree
2004-10-03
skimo
compu
t
e EP only
on
c
e for each v
e
rte
x
, a
t
the expense
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
skimo
minor extra merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
remove
bottleneck + merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
add
NT
L
_5_3_2
.
patch
commit
|
commitdiff
|
tree
2004-10-01
s
k
imo
deepe
r
loop merge
commit
|
commitdiff
|
tree
2004-09-30
s
k
i
m
o
de
a
d code
commit
|
commitdiff
|
tree
2004-09-30
skimo
array
contraction
commit
|
commitdiff
|
tree
2004-09-30
s
kimo
r
em
o
ve bottl
e
nec
k
+
m
erge loops
commit
|
commitdiff
|
tree
2004-09-30
skimo
typo in comment
commit
|
commitdiff
|
tree
2004-09-30
s
k
i
m
o
distribute
cdd2polyli
b
.
pl
commit
|
commitdiff
|
tree
2004-09-30
skimo
en
s
u
r
e al
l
rays are
positive
commit
|
commitdiff
|
tree
2004-09-30
s
k
imo
use p
r
ovided pa
r
a
meter names
commit
|
commitdiff
|
tree
2004-09-30
skimo
avoid +-
commit
|
commitdiff
|
tree
2004-09-30
s
kimo
collect terms with
t
he same denominato
r
commit
|
commitdiff
|
tree
2004-09-30
skimo
ignor
e
zero te
r
ms
commit
|
commitdiff
|
tree
2004-09-30
skimo
typo
commit
|
commitdiff
|
tree
2004-09-29
s
kimo
i
nclude unistd
.
h for platforms with
o
u
t
getopt
.
h
commit
|
commitdiff
|
tree
2004-09-28
skimo
hack to ignore
rays
commit
|
commitdiff
|
tree
2004-09-19
ski
m
o
make ray
l
e
xico-p
o
s
i
tive
commit
|
commitdiff
|
tree
2004-09-19
s
kimo
i
niti
a
l su
p
p
ort for Ehrhart
s
eries
commit
|
commitdiff
|
tree
2004-09-19
skimo
allow constr
u
c
ti
o
n
o
f
0D "no
n
orthogon
a
l"
v
ect
o
r
commit
|
commitdiff
|
tree
2004-09-19
skimo
extract
c
heck for infinite
p
arametric polytopes
commit
|
commitdiff
|
tree
2004-09-18
skimo
ch
a
nge lattice_point
s
l
ightly (
u
s
ed i
n
prev
i
o
us
p
atch)
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
d
on'
t
make n
u
merator p
o
wer posit
i
ve + merg
e
loops
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't make
n
umerator pow
e
r positive + merge loops
commit
|
commitdiff
|
tree
2004-09-18
skimo
a
l
low negati
v
e po
w
ers
commit
|
commitdiff
|
tree
2004-09-18
skimo
ty
p
o
commit
|
commitdiff
|
tree
2004-09-18
skim
o
bump v
e
r
sion
commit
|
commitdiff
|
tree
2004-09-18
s
kim
o
update
commit
|
commitdiff
|
tree
2004-09-18
skimo
point to
P
IP
l
ocat
i
on
commit
|
commitdiff
|
tree
2004-09-18
skimo
shift po
l
ytope for PIP if variables range over negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
allo
w
verifi
c
ation of direct pip use
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
don't overa
l
loca
t
e if we d
o
n
't have to
commit
|
commitdiff
|
tree
2004-09-18
skimo
do
n
'
t
overalloca
t
e i
f
w
e
don't have to
commit
|
commitdiff
|
tree
2004-09-18
skimo
override barvin
o
k_enumerate_ev instead of barvinok_enumerate
commit
|
commitdiff
|
tree
2004-09-18
skimo
optionally use pip
commit
|
commitdiff
|
tree
2004-09-18
skimo
ren
a
me and e
x
port pip-based enumeration
commit
|
commitdiff
|
tree
2004-09-18
skim
o
converter for
cdd input to polylib input
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
c
o
nform to
C
89
commit
|
commitdiff
|
tree
2004-09-07
skimo
hook
s
to count t
h
e in
p
ut and
o
utput size in bits
commit
|
commitdiff
|
tree
2004-09-07
ski
m
o
be ca
r
eful about what to negate
commit
|
commitdiff
|
tree
2004-09-04
skimo
some vector partition examples
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoid gccisms
commit
|
commitdiff
|
tree
2004-08-31
s
ki
m
o
include
stri
n
g need fo
r
memcpy
commit
|
commitdiff
|
tree
2004-08-31
s
k
imo
avoid gc
c
i
s
m
commit
|
commitdiff
|
tree
2004-08-31
s
k
imo
f
o
rce c
+
+ linking instead of
l
inki
n
g in libstdc+
+
commit
|
commitdiff
|
tree
2004-08-31
skim
o
force instal
l
ation of (po
s
sibly) new version
commit
|
commitdiff
|
tree
2004-08-31
skimo
ch
e
ck for geto
p
t
commit
|
commitdiff
|
tree
2004-08-29
skimo
mov
e
"c
o
nstan
t
" constant part outsi
d
e of f
r
actional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
c
ombine
resu
l
t
commit
|
commitdiff
|
tree
2004-08-29
skimo
s
mall me
m
ory l
e
ak
commit
|
commitdiff
|
tree
2004-08-29
skimo
use
pip if available
commit
|
commitdiff
|
tree
2004-08-29
sk
i
m
o
che
c
k for piplib
commit
|
commitdiff
|
tree
2004-08-29
skimo
conv
e
rt t
o
loo
k
u
p
-
t
able
i
f requ
e
s
t
ed
commit
|
commitdiff
|
tree
2004-08-29
skimo
test program for p
i
p
s
u
ppo
r
t
commit
|
commitdiff
|
tree
2004-08-29
sk
i
mo
add support f
o
r comp
u
ting the le
x
icographic
a
l minimum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
sk
i
mo
a
l
so look at
d
enomina
t
or
of the constant
commit
|
commitdiff
|
tree
2004-08-28
ski
m
o
mor
e
parti
a
l ray removal (l
a
rgely untested
commit
|
commitdiff
|
tree
2004-08-23
ski
m
o
s/vd/vertice
s
/
commit
|
commitdiff
|
tree
2004-08-23
skim
o
check that polylib i
s
recent enough to correctly co
m
pute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
add t12
.
in esum
.
i
n
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
ne
w
tests fro
m
polyl
i
b
commit
|
commitdiff
|
tree
2004-08-23
s
k
i
mo
perform correct
periodic
n
u
mber
l
o
ok
u
p for neg
a
ti
v
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
more info
commit
|
commitdiff
|
tree
2004-08-14
sk
i
mo
t
y
po
commit
|
commitdiff
|
tree
2004-08-14
skimo
cor
r
e
ct
test for mpz
_
divisible_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
r
e
peat w
o
rkaroun
d
in loop
commit
|
commitdiff
|
tree
2004-08-14
sk
i
mo
o
l
der
gmp
s
seem to
h
ave proble
m
s with a
s
tring
constisti
n
g
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
ski
m
o
s
u
pport o
l
der
g
mp versions
commit
|
commitdiff
|
tree
2004-08-13
skimo
don't assum
e
C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
remo
v
e code
d
uplication
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract
out c
o
mmon code
commit
|
commitdiff
|
tree
2004-08-09
skimo
e
xtract o
u
t code
t
o
construct negative test constraint
commit
|
commitdiff
|
tree
2004-08-09
skimo
code reuse
commit
|
commitdiff
|
tree
2004-08-09
skimo
d
e
tect m
o
re unhan
d
le
d
cases
commit
|
commitdiff
|
tree
2004-08-09
skimo
sim
p
lify some code
commit
|
commitdiff
|
tree
2004-08-08
skimo
remove redundant ray
s
commit
|
commitdiff
|
tree
2004-08-08
skimo
al
l
o
w any
n
umber of par
t
s
in enumerate_
o
r
commit
|
commitdiff
|
tree
2004-08-08
s
kimo
"implement" eor
commit
|
commitdiff
|
tree
next