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
remove use of ehrhartpolynom
2003-12-22
skimo
remov
e
use of e
h
rhartpolynom
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
remove params
commit
|
commitdiff
|
tree
2003-12-22
skimo
conv
e
r term
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
conv
e
rt term
_
info
commit
|
commitdiff
|
tree
2003-12-22
skimo
c
o
n
vert multi_pol
y
nom
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
"convert" constan
t
commit
|
commitdiff
|
tree
2003-12-22
skim
o
con
v
ert uni_
p
olyn
o
m
commit
|
commitdiff
|
tree
2003-12-22
skimo
new
"constructor"
commit
|
commitdiff
|
tree
2003-12-22
s
k
im
o
free
f
ac
t
o
r
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
use addelimina
t
edparams_eva
l
ue
commit
|
commitdiff
|
tree
2003-12-22
skimo
copied
from polylib
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
remove unneeded ar
g
ument
commit
|
commitdiff
|
tree
2003-12-22
skimo
co
n
vert factor to e
v
alue
commit
|
commitdiff
|
tree
2003-12-22
skimo
i
n
t
c
o
nstru
c
tor
commit
|
commitdiff
|
tree
2003-12-20
skimo
Ke
e
p the eq
u
ations
t
hat Polyhe
d
ro
n
2
P
aram_S
i
m
plifiedDomain
commit
|
commitdiff
|
tree
2003-12-17
skim
o
check nu
m
ber of ar
g
uments
o
f count
_
points
commit
|
commitdiff
|
tree
2003-12-17
skimo
check number of
a
rguments of Po
l
yhedron_Enumerate
commit
|
commitdiff
|
tree
2003-12-17
skim
o
D
o
n't assume new_enode
inits
commit
|
commitdiff
|
tree
2003-11-27
s
kimo
m
ake sure t
e
sts
g
e
t
inc
l
uded
commit
|
commitdiff
|
tree
2003-11-27
skimo
bump ve
r
s
i
on
commit
|
commitdiff
|
tree
2003-11-27
s
kimo
cle
a
r value
before overwriting
i
t
commit
|
commitdiff
|
tree
2003-11-26
skimo
D
o
n't
a
ssume new_enod
e
i
ni
t
s
.
x
.
n
a
nd fix
s
om
e
memo
r
y
.
.
.
commit
|
commitdiff
|
tree
2003-11-26
s
kimo
d
on'
t
throw
a
way the const
r
aints on the par
a
meters
commit
|
commitdiff
|
tree
2003-11-26
skimo
Dea
l
with equalities with non-one coeffi
c
ients
.
commit
|
commitdiff
|
tree
2003-11-26
skimo
H
a
ndle equalities among
p
arameters (p
a
rtially copied
.
.
.
commit
|
commitdiff
|
tree
2003-11-26
skimo
provid
e
more info
o
n
failure
commit
|
commitdiff
|
tree
2003-11-26
skimo
o
nly skip
e
qualities
commit
|
commitdiff
|
tree
2003-11-26
skimo
honour argu
m
e
n
t
commit
|
commitdiff
|
tree
2003-11-26
skimo
return empty polyhedron o
n
ce we're out
of
v
ari
a
bles
commit
|
commitdiff
|
tree
2003-11-25
skimo
leave e
q
ualities am
o
ng par
a
meters alone
commit
|
commitdiff
|
tree
2003-11-25
skim
o
handle non-parametrize
d
and empty polytope
s
commit
|
commitdiff
|
tree
2003-11-25
skimo
init values before writing to t
h
em
commit
|
commitdiff
|
tree
2003-11-25
skimo
get period righ
t
commit
|
commitdiff
|
tree
2003-11-25
skimo
a
d
d (succeed
i
n
g
)
tests
commit
|
commitdiff
|
tree
2003-11-25
s
kimo
remove equ
a
lities f
r
om parametrize
d
domains
commit
|
commitdiff
|
tree
2003-11-24
skimo
verify ba
r
vinok_enumerate
commit
|
commitdiff
|
tree
2003-11-24
skimo
copied
from polyl
i
b distribution
commit
|
commitdiff
|
tree
2003-11-24
skimo
more m
e
mory leaks fixes
commit
|
commitdiff
|
tree
2003-11-24
skimo
fix a few memory lea
k
s
commit
|
commitdiff
|
tree
2003-11-24
sk
i
mo
fix a few memory
leaks
commit
|
commitdiff
|
tree
2003-11-24
skim
o
remove
u
nuse
d
variable
commit
|
commitdiff
|
tree
2003-11-24
skimo
only do d
e
co
m
position
once for
each
vertex
commit
|
commitdiff
|
tree
2003-11-23
skimo
pri
n
t the complete list of
E
numer
a
tions
commit
|
commitdiff
|
tree
2003-11-23
sk
i
mo
restart count for each domain
commit
|
commitdiff
|
tree
2003-11-23
skimo
reduce fracti
o
ns in generated
e
val
u
es
commit
|
commitdiff
|
tree
2003-11-23
s
k
i
m
o
ca
l
l red
u
ce_evalu
e
commit
|
commitdiff
|
tree
2003-11-23
s
kimo
chec
k
w
hether r
e
duc
e
_evalue i
s
exported
commit
|
commitdiff
|
tree
2003-11-23
skimo
fix
p
a
rametri
z
ed rat
i
onal p
o
lytopes case
commit
|
commitdiff
|
tree
2003-11-21
skimo
sup
p
ort for rational polytop
e
s in
mult
i
ple parameters
commit
|
commitdiff
|
tree
2003-11-21
skimo
fix supp
o
rting
_
c
one_p
commit
|
commitdiff
|
tree
2003-11-21
skimo
pu
t
some com
m
on
c
ode in
a
function
commit
|
commitdiff
|
tree
2003-11-21
skimo
d
i
rectly add to correct list
commit
|
commitdiff
|
tree
2003-11-21
skimo
fu
r
ther
s
implification
commit
|
commitdiff
|
tree
2003-11-21
skimo
small simpl
i
fication
commit
|
commitdiff
|
tree
2003-11-21
skimo
get so
m
e cases
o
f single parame
t
er r
a
ti
o
nal polytopes
.
.
.
commit
|
commitdiff
|
tree
2003-11-21
skim
o
iterate over all data in r
e
su
l
t
commit
|
commitdiff
|
tree
2003-11-20
skimo
pat
c
h
f
ro
m
Krist
o
f
commit
|
commitdiff
|
tree
2003-11-19
skimo
lcm
and i might point to the same Value
commit
|
commitdiff
|
tree
2003-11-19
skim
o
s
u
pport multiple par
a
meters
commit
|
commitdiff
|
tree
2003-11-19
skimo
use EhrhartPol
y
noms
commit
|
commitdiff
|
tree
2003-11-19
skimo
add mis
s
i
n
g a
s
s
e
rt
commit
|
commitdiff
|
tree
2003-11-19
s
k
imo
contributed code
f
rom K
o
en Beyls
commit
|
commitdiff
|
tree
2003-11-19
s
k
imo
add main program for enumerat
e
commit
|
commitdiff
|
tree
2003-11-19
skimo
remo
v
e debuggin
g
output
commit
|
commitdiff
|
tree
2003-11-19
s
k
im
o
r
o
ugh implementation of barvinok_enumera
t
e f
o
r one
.
.
.
commit
|
commitdiff
|
tree
2003-11-16
sk
i
mo
Construct supporting co
n
e of p
a
ramet
r
ized polyhedron
commit
|
commitdiff
|
tree
2003-11-16
skimo
Si
m
plify
s
up
p
or
t
ing_cone
commit
|
commitdiff
|
tree
2003-11-16
sk
i
mo
n
ew utilit
y
functio
n
s
commit
|
commitdiff
|
tree
2003-11-06
skimo
bu
m
p ver
s
ion
commit
|
commitdiff
|
tree
2003-11-06
s
k
i
m
o
allow specificatio
n
of m
a
x #const
r
a
ints
commit
|
commitdiff
|
tree
2003-11-06
sk
i
mo
j
ust
in case
commit
|
commitdiff
|
tree
2003-11-06
ski
m
o
OK, so we were actually looki
n
g a
t
the lower faces
.
.
.
commit
|
commitdiff
|
tree
2003-11-06
skimo
remove debuggi
n
g output
commit
|
commitdiff
|
tree
2003-11-06
s
k
imo
So appare
n
tly trianguliza
t
ion also w
o
rks if you tak
e
.
.
.
commit
|
commitdiff
|
tree
2003-11-05
s
kimo
check whet
h
er pol
y
li
b
grows
chernikova table space
commit
|
commitdiff
|
tree
2003-11-05
skimo
add test
o
n ra
n
do
m
poly
t
op
e
s
commit
|
commitdiff
|
tree
2003-11-05
sk
i
mo
a
t
est th
a
t
t
akes some time
commit
|
commitdiff
|
tree
2003-11-05
sk
i
mo
make "small integers" a bit
b
igger still
commit
|
commitdiff
|
tree
2003-11-05
skimo
remove app
a
r
e
ntly misguid
e
d
a
ssertion
a
nd r
e
l
ax check_tr
i
ang
.
.
.
commit
|
commitdiff
|
tree
2003-11-05
skimo
miss
i
n
g part of fu
r
the
r
reduce mem
o
r
y consumptino
commit
|
commitdiff
|
tree
2003-11-05
skimo
further reduce memory consum
p
tino
commit
|
commitdiff
|
tree
2003-11-05
skimo
do not allocate an unnecessarily large amoun
t
of sp
a
ce
commit
|
commitdiff
|
tree
2003-11-05
s
k
im
o
don't con
s
truc
t
cones
that are
n
ot going to be
used
.
.
.
commit
|
commitdiff
|
tree
2003-11-05
skimo
i
nplace polarizat
i
on
commit
|
commitdiff
|
tree
2003-11-05
s
kimo
en
l
arge the
c
oncept of "small integers"
commit
|
commitdiff
|
tree
2003-11-05
skimo
another small bug fi
x
commit
|
commitdiff
|
tree
2003-11-04
skimo
vertical h
y
pe
r
planes
a
re
not lower
commit
|
commitdiff
|
tree
2003-11-04
ski
m
o
new tests
commit
|
commitdiff
|
tree
2003-11-04
skimo
chec
k
for unsati
s
f
i
able equalities
commit
|
commitdiff
|
tree
2003-11-04
sk
i
m
o
fix mi
n
or bug
commit
|
commitdiff
|
tree
2003-11-04
skimo
allow testing
of unimodular_compl
e
te
commit
|
commitdiff
|
tree
2003-11-04
s
k
imo
oops; TESTS
has a
spec
i
a
l meaning
commit
|
commitdiff
|
tree
2003-11-03
skimo
chan
g
es
commit
|
commitdiff
|
tree
2003-11-03
s
k
i
mo
add tests to dist
commit
|
commitdiff
|
tree
2003-11-03
ski
m
o
bump vers
i
on
commit
|
commitdiff
|
tree
2003-11-03
skimo
o
utput someth
i
ng for failing tests
commit
|
commitdiff
|
tree
2003-11-03
skimo
tests for recent change
commit
|
commitdiff
|
tree
2003-11-03
sk
i
mo
fix ano
t
her typo
commit
|
commitdiff
|
tree
2003-11-03
skimo
Try random lifti
n
g if
De
l
aun
a
y fails
.
commit
|
commitdiff
|
tree
2003-11-03
skimo
tests for recent change
commit
|
commitdiff
|
tree
next