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
force c++ linking instead of linking in libstdc++
2004-08-31
s
k
i
m
o
force c++ linking instead of li
n
king in libstdc++
commit
|
commitdiff
|
tree
2004-08-31
s
kimo
force in
s
tallation of (pos
s
i
b
ly
)
n
e
w v
e
rsi
o
n
commit
|
commitdiff
|
tree
2004-08-31
skim
o
check for geto
p
t
commit
|
commitdiff
|
tree
2004-08-29
sk
i
mo
m
ove
"constant"
constant par
t
o
utside of fract
i
onal
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skim
o
combine resu
l
t
commit
|
commitdiff
|
tree
2004-08-29
skimo
smal
l
memory leak
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
use pi
p
if availa
b
le
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
chec
k
for piplib
commit
|
commitdiff
|
tree
2004-08-29
s
k
i
mo
c
o
nvert to lookup-table
i
f r
e
ques
t
ed
commit
|
commitdiff
|
tree
2004-08-29
skimo
t
est pr
o
gram for pip
s
upport
commit
|
commitdiff
|
tree
2004-08-29
skimo
add support for
computing the l
e
x
icographica
l
mi
n
imum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
also look at den
o
minator of the
c
onst
a
nt
commit
|
commitdiff
|
tree
2004-08-28
sk
i
mo
more pa
r
t
ial r
a
y
removal (largely
u
n
tested
commit
|
commitdiff
|
tree
2004-08-23
sk
i
m
o
s
/vd
/
vertices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
ch
e
ck that polyl
i
b
is r
e
cent
e
n
o
ugh to correctly compute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
ad
d
t
1
2
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
skim
o
new tests from polylib
commit
|
commitdiff
|
tree
2004-08-23
s
kimo
pe
r
form correct periodic number lookup
for negative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
mo
r
e
inf
o
commit
|
commitdiff
|
tree
2004-08-14
s
k
imo
typo
commit
|
commitdiff
|
tree
2004-08-14
skimo
correct
t
es
t
for mpz
_
divisibl
e
_
p
commit
|
commitdiff
|
tree
2004-08-14
skim
o
repe
a
t workaround i
n
loop
commit
|
commitdiff
|
tree
2004-08-14
ski
m
o
old
e
r gmp
s
see
m
to
h
ave problems with a
string
c
onstisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
sk
i
m
o
support older gmp versions
commit
|
commitdiff
|
tree
2004-08-13
skimo
don't assume C99
commit
|
commitdiff
|
tree
2004-08-10
skim
o
r
emove code dupl
i
cation
commit
|
commitdiff
|
tree
2004-08-09
skimo
extr
a
ct out common code
commit
|
commitdiff
|
tree
2004-08-09
skimo
ext
r
act ou
t
code
to
const
r
uct n
e
gative test constraint
commit
|
commitdiff
|
tree
2004-08-09
ski
m
o
co
d
e r
e
u
se
commit
|
commitdiff
|
tree
2004-08-09
skimo
det
e
ct more unhan
d
led ca
s
es
commit
|
commitdiff
|
tree
2004-08-09
skim
o
simplif
y
s
o
m
e
code
commit
|
commitdiff
|
tree
2004-08-08
ski
m
o
r
e
move redundant rays
commit
|
commitdiff
|
tree
2004-08-08
s
k
im
o
allow any nu
m
ber of parts in e
n
umerate_or
commit
|
commitdiff
|
tree
2004-08-08
skimo
"imple
m
ent" eor
commit
|
commitdiff
|
tree
2004-08-08
skimo
han
d
le
(
sin
g
le)
ray
commit
|
commitdiff
|
tree
2004-08-06
s
k
imo
remove
(some)
l
i
nes
commit
|
commitdiff
|
tree
2004-08-05
skimo
set
n
par
a
m back to use as number of
dimension
s
in p
a
r
t
itio
n
commit
|
commitdiff
|
tree
2004-08-05
skimo
m
a
ke compute_enode work
again in general cas
e
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
remove debugging outp
u
t
commit
|
commitdiff
|
tree
2004-08-05
skimo
re
m
ov
e
deb
u
g
g
ing output
commit
|
commitdiff
|
tree
2004-08-05
skimo
us
e
evalue rather
t
han enu
m
erat
i
on a
n
d some memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
ski
m
o
extend printing
and computing to handles "modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
alternative to in_d
o
m
ain that handles
"
mod
u
los" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
store "
r
ea
l
" dimension in pos fie
l
d of partition
commit
|
commitdiff
|
tree
2004-08-04
skimo
remove duplica
t
e
i
mplementatio
n
commit
|
commitdiff
|
tree
2004-08-04
skimo
be
s
l
i
ghtly more con
s
ervative (co
r
rect) in determin
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
skimo
a ray th
a
t
d
epe
n
ds
on the
pa
r
ame
t
ers sh
o
uld be
o
k
commit
|
commitdiff
|
tree
2004-08-04
skimo
clean
up
commit
|
commitdiff
|
tree
2004-08-04
skimo
memory
leak
commit
|
commitdiff
|
tree
2004-08-03
sk
i
m
o
m
e
mory
l
eak
commit
|
commitdiff
|
tree
2004-08-03
s
k
i
mo
memor
y
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory
l
eak
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
e
mory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
s
k
i
mo
remove d
e
bugging out
p
ut
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
c
h
eck wh
e
th
e
r projecti
o
n is bounded
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
S
plit on par
a
m
e
t
r
ic vertex
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
If one of the vertices in the com
b
ine
d
space
i
s
a lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
eliminate
p
arame
t
e
r
s if we
can
commit
|
commitdiff
|
tree
2004-08-03
skimo
only perf
o
rm
v
d basid reducti
o
n if the polyt
o
pe ha
s
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
unfringe polyhedron
commit
|
commitdiff
|
tree
2004-08-03
skimo
re
m
o
ve debugging output in unfringe
commit
|
commitdiff
|
tree
2004-08-03
skimo
extend a
d
deliminatedparams t
o
partitions
commit
|
commitdiff
|
tree
2004-08-01
sk
i
m
o
bail early on
empty polytop
e
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
reduce higher
degrees
o
f f
r
actio
n
al part
s
wi
t
h f
l
oor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
only
rays involving t
h
e real
variables lea
d
to un
b
ounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
perfo
r
m rang
e
r
eduction if requ
e
st
e
d
commit
|
commitdiff
|
tree
2004-08-01
s
k
i
m
o
only
c
alcu
l
ate once f
o
r part t
h
at
i
s in
d
ep
e
ndent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
s
k
imo
perform anot
h
e
r range reduction a
f
ter
s
u
mm
a
t
ion
commit
|
commitdiff
|
tree
2004-07-31
skimo
Dec
o
mp
o
s
itions based on validit
y
domains a
n
d parametr
i
c
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
p
lit off par
t
th
a
t c
e
rtain
l
y
contains la
t
tice points
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
routine f
o
r reduc
i
ng to
z
ero v
a
riab
l
es
case
commit
|
commitdiff
|
tree
2004-07-30
skimo
use newly added routine
commit
|
commitdiff
|
tree
2004-07-30
skim
o
a polytope
w
ith ray
s
indep
e
ndent of the existential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
im
o
ch
e
c
k
for em
p
ty polytope
commit
|
commitdiff
|
tree
2004-07-30
skimo
simplify
c
onstraints on ea
c
h invoca
t
io
n
of bar
v
inok_enumer
a
t
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
m
o
ext
r
a
c
t
out routine for "or"i
n
g
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
unused routine for remo
v
ing double bounds
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
sen
d
d
ebug o
u
tput
to
std
e
rr i
n
(
unu
s
ed
)
unfringe
commit
|
commitdiff
|
tree
2004-07-30
skimo
make de
b
ugg
i
n easier
by keeping trac
k
of
recur
s
ion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract out routine to align const
r
aint along a line
a
r
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If one of the hy
p
erplanes ha
s
to b
e
independent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
En
s
ure that f
i
rs
t
variable
is
m
ad
e
negat
i
v
e insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
Ens
u
re that splitting will reduc
e
t
he number of existential
commit
|
commitdiff
|
tree
2004-07-30
skimo
abstract
o
ut handlin
g
of m
u
ltiple
v
ali
d
ity domains
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
Extra check that is probably no
t
needed
commit
|
commitdiff
|
tree
2004-07-29
skimo
h
andle
comp
o
sed validit
y
domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
reduce after summation
commit
|
commitdiff
|
tree
2004-07-29
skimo
do
n
't crea
t
e emp
t
y partitions
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow eval
u
ation of floorings
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
p
erform (trivia
l
)
r
educt
i
on on floo
r
ings
commit
|
commitdiff
|
tree
2004-07-29
skimo
make reo
r
der_terms work f
o
r
f
loorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
correct
c
heck for 1
commit
|
commitdiff
|
tree
2004-07-29
skimo
be more st
r
ict when co
m
p
a
r
ing two r
a
tionals
commit
|
commitdiff
|
tree
2004-07-29
skimo
typo in comm
e
nt
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle ca
s
e of all empty val
i
d
ity domai
n
s
commit
|
commitdiff
|
tree
2004-07-21
skimo
support
polynom
i
als in "
r
e
a
l
" param
e
t
ers
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle n
e
gative values
o
f summed variable
commit
|
commitdiff
|
tree
2004-07-21
skim
o
c
h
eck
w
he
t
h
e
r
P
OLYTOPE_P
R
EFIX
i
s actually set
commit
|
commitdiff
|
tree
next