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 installation of (possibly) new version
2004-08-31
skimo
for
c
e installation of (possibly) n
e
w version
commit
|
commitdiff
|
tree
2004-08-31
s
k
imo
check
for getopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
m
o
v
e
"c
o
nstant" constant
pa
r
t outside o
f
frac
t
i
o
nal
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
sk
i
mo
combine result
commit
|
commitdiff
|
tree
2004-08-29
skimo
sm
a
ll memory leak
commit
|
commitdiff
|
tree
2004-08-29
skim
o
use pi
p
if available
commit
|
commitdiff
|
tree
2004-08-29
skimo
check for piplib
commit
|
commitdiff
|
tree
2004-08-29
skimo
convert to loo
k
up-table i
f
requ
e
sted
commit
|
commitdiff
|
tree
2004-08-29
skimo
tes
t
p
r
og
r
am
for pip support
commit
|
commitdiff
|
tree
2004-08-29
skimo
add support for computing th
e
lexicograph
i
cal minimum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
also look at denominator o
f
t
h
e
c
onstant
commit
|
commitdiff
|
tree
2004-08-28
s
kimo
more parti
a
l ray removal (l
a
r
g
el
y
untested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s/vd/vertices
/
commit
|
commitdiff
|
tree
2004-08-23
skimo
check that polylib
i
s
recen
t
eno
u
gh
to correctly
com
p
ute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
a
dd t12
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
new tests from polylib
commit
|
commitdiff
|
tree
2004-08-23
s
k
i
mo
p
erform correct
p
eriodic number
lookup for negative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
mor
e
info
commit
|
commitdiff
|
tree
2004-08-14
skim
o
t
ypo
commit
|
commitdiff
|
tree
2004-08-14
ski
m
o
co
r
rec
t
test for mpz_divisible_
p
commit
|
commitdiff
|
tree
2004-08-14
skimo
rep
e
at
work
a
ro
u
nd
i
n loop
commit
|
commitdiff
|
tree
2004-08-14
s
kimo
older gmps seem to have problems with a st
r
ing constisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
sk
i
mo
supp
o
rt
older
gmp v
e
rsions
commit
|
commitdiff
|
tree
2004-08-13
skimo
don't ass
u
me
C
99
commit
|
commitdiff
|
tree
2004-08-10
skimo
r
emove code duplicat
i
on
commit
|
commitdiff
|
tree
2004-08-09
skim
o
ex
t
r
a
ct out common code
commit
|
commitdiff
|
tree
2004-08-09
s
k
imo
e
x
tract out
code to c
o
nstruct ne
g
a
tive te
s
t constraint
commit
|
commitdiff
|
tree
2004-08-09
sk
i
mo
c
o
de r
e
use
commit
|
commitdiff
|
tree
2004-08-09
s
k
imo
det
e
ct more unhandled ca
s
es
commit
|
commitdiff
|
tree
2004-08-09
s
kimo
simplify some
code
commit
|
commitdiff
|
tree
2004-08-08
skim
o
remo
v
e redundant rays
commit
|
commitdiff
|
tree
2004-08-08
skimo
all
o
w any number of parts in enu
m
e
r
ate_or
commit
|
commitdiff
|
tree
2004-08-08
skimo
"implemen
t
" eor
commit
|
commitdiff
|
tree
2004-08-08
skimo
handle (s
i
ngle) r
a
y
commit
|
commitdiff
|
tree
2004-08-06
skim
o
remove (some) lines
commit
|
commitdiff
|
tree
2004-08-05
skimo
set nparam back to use as n
u
mbe
r
of dime
n
sions i
n
par
t
ition
commit
|
commitdiff
|
tree
2004-08-05
skimo
make
comput
e
_
e
node wo
r
k a
g
ain in general case
commit
|
commitdiff
|
tree
2004-08-05
s
kimo
r
e
move debugging output
commit
|
commitdiff
|
tree
2004-08-05
ski
m
o
rem
o
ve debugging
o
utpu
t
commit
|
commitdiff
|
tree
2004-08-05
skimo
use eva
l
ue rather
than enumerat
i
on and some memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
ex
t
e
n
d
printing and computin
g
to handles "modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
al
t
er
n
ativ
e
to in_
d
omain th
a
t handles
"
modu
l
os" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
sk
i
m
o
store "real
"
dimen
s
ion
in pos
field of partition
commit
|
commitdiff
|
tree
2004-08-04
ski
m
o
remove dupli
c
ate implem
e
nt
a
ti
o
n
commit
|
commitdiff
|
tree
2004-08-04
skimo
be slightly
m
o
re conservat
i
ve (corre
c
t) in determining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
skimo
a ray that dep
e
nds
on th
e
parameters s
h
ould be ok
commit
|
commitdiff
|
tree
2004-08-04
skimo
cle
a
n up
commit
|
commitdiff
|
tree
2004-08-04
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
m
emory le
a
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory le
a
k
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
memory leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
me
m
ory leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
emory leak
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
re
m
ove
deb
u
gging output
commit
|
commitdiff
|
tree
2004-08-03
skimo
chec
k
whether
project
i
o
n
is b
o
unded
commit
|
commitdiff
|
tree
2004-08-03
skimo
Spl
i
t
on parametri
c
vertex
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
If
o
ne of t
h
e v
e
rt
i
ces
i
n t
h
e combined space i
s
a lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
eli
m
inate para
m
ete
r
s if
we can
commit
|
commitdiff
|
tree
2004-08-03
skimo
onl
y
per
f
orm vd bas
i
d r
e
duction
i
f the pol
y
to
p
e ha
s
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
un
f
r
i
nge polyhe
d
ron
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove debug
g
i
ng out
p
ut in un
f
r
inge
commit
|
commitdiff
|
tree
2004-08-03
skimo
extend
a
d
d
eliminatedparams to par
t
iti
o
ns
commit
|
commitdiff
|
tree
2004-08-01
skimo
b
ail early on empty poly
t
o
p
e
commit
|
commitdiff
|
tree
2004-08-01
ski
m
o
r
edu
c
e h
i
gher degrees o
f
fractional parts with
floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skim
o
o
nly rays invo
l
ving t
h
e real variable
s
l
e
a
d to
unbounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
perform range reducti
o
n if r
e
qu
e
sted
commit
|
commitdiff
|
tree
2004-08-01
skimo
on
l
y c
a
lculate once for p
a
r
t
that is independent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
p
e
rform a
n
othe
r
range
r
eduction
a
fter summation
commit
|
commitdiff
|
tree
2004-07-31
skimo
Decompositions based on val
i
d
ity domain
s
a
nd parametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
i
mo
split off
part that cert
a
in
l
y co
n
tai
n
s lattice poi
n
ts
commit
|
commitdiff
|
tree
2004-07-30
skimo
routin
e
for
r
educing t
o
zero variables case
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
use newly added r
o
uti
n
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
a polytope w
i
t
h ra
y
s i
n
dep
e
n
dent of the e
x
istentia
l
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
c
heck for e
m
p
ty polytop
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
simplify
c
onstraints on each invocat
i
on
of b
a
rv
i
nok_enume
r
at
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract out routine for "or"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
unused r
o
ut
i
ne for rem
o
v
i
ng doub
l
e bo
u
nds
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
send
debug o
u
tput to stderr
i
n
(
unused) unfringe
commit
|
commitdiff
|
tree
2004-07-30
skimo
m
a
ke debuggi
n
e
a
sier by keeping track of recu
r
sion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
extr
a
ct out rou
t
i
n
e to ali
g
n cons
t
raint along
a
l
i
near
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
If o
n
e
of the hyperplanes has to be
indep
e
ndent a
s
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
Ensure that first
variable is mad
e
negativ
e
inside
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ens
u
re
that splitting
w
ill reduce the number of exi
s
t
ential
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
abstrac
t
out handling of multiple vali
d
ity d
o
mains
commit
|
commitdiff
|
tree
2004-07-29
skimo
Extra check that is probably
n
ot needed
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
h
a
ndle com
p
ose
d
validity do
m
ai
n
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
reduce
a
fter summation
commit
|
commitdiff
|
tree
2004-07-29
skimo
d
on't cr
e
ate empty partitions
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow
e
v
aluation of floorings
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
p
e
r
f
or
m
(
tri
v
ial) redu
c
tion on floorings
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
make
r
eorder_term
s
wor
k
for floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
correct check for 1
commit
|
commitdiff
|
tree
2004-07-29
skim
o
be more strict when comp
a
ri
n
g two rational
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
typ
o
in
comment
commit
|
commitdiff
|
tree
2004-07-21
skimo
handl
e
cas
e
o
f
all
e
mpty validity domains
commit
|
commitdiff
|
tree
2004-07-21
skimo
s
u
pport polynomials
in "real" paramet
e
r
s
commit
|
commitdiff
|
tree
2004-07-21
skimo
ha
n
d
le
n
egativ
e
values
o
f
summed variab
l
e
commit
|
commitdiff
|
tree
2004-07-21
ski
m
o
c
h
eck whethe
r
POLYTOPE
_
PREF
I
X i
s
actu
a
lly set
commit
|
commitdiff
|
tree
2004-07-20
skimo
fl
o
or conver
s
io
n
a
nd pa
r
tial i
m
plement
a
t
i
on of esum
commit
|
commitdiff
|
tree
next