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
barvinok 0.30
2010-03-10
Sv
e
n
Verd
o
olaege
b
a
r
vi
n
o
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
g
e
AUTHORS: update support information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomvector
:
d
o
uble size of
coe
f
ficients on eac
h
at
t
emp
t
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoola
e
ge
iscc:
s
upport tr
a
n
sitive
closur
e
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update isl to v
e
rsion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verd
o
olaege
barvinok_e
.
c
c
: e
n
u
merate_vd:
r
e
m
o
v
e
unu
s
e
d v
a
riables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
eva
l
ue
.
c: Polyhe
d
ron_Insert: add missing
r
eturn ty
p
e
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoo
l
aege
ev
a
lue
.
c: reduce_evalue: remove u
n
us
e
d var
i
able
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
iscc: add @ ope
r
a
tor
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoo
l
aege
i
s
c
c
: add
"
ub"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
Verdoolaege
add isl_
p
w_qpolynomial_
u
pper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
is
c
c: a
d
d
sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
a
d
d i
s
l
_
p
w
_
q
polynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Ver
d
o
o
l
aege
add isl_pw_
q
po
l
ynomial_t
o
_
e
value
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
upda
t
e isl for i
s
l
_
pw_qpol
y
nomial_fore
a
c
h
_
p
i
ece
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
rename evalue2isl to isl_
p
w_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verd
o
olaege
iscc: detec
t
more kinds of error
s
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoo
l
aege
barvi
n
ok_enumerate: use isl during t
h
e verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
add i
s
cc
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ve
r
d
o
olaeg
e
add isl_set_c
a
rd and i
s
l_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
evalue
_
convert: export as appl
i
c
at
i
o
n
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n Verdoolaege
b
arv
i
nok_enumerate_e: o
p
tionally use
isl to proje
c
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
add isl
s
ubmodule
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
AX_
S
UBMODULE: accept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
b
a
r
v
inok_enumerate: retu
r
n NaN fo
r
infinite p
r
oblems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoo
l
aege
remove_a
l
l_equali
t
ies: handle i
n
t
e
g
rally, but not r
a
t
i
ona
l
ly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enume
r
a
t
e
_e: a
l
w
ays return a
pa
r
t
i
tion for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
b
arvino
k
_e
n
umerate:
check tha
t
dimension of input
i
n
c
ludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
partition2enume
r
ation:
check
t
h
a
t
i
nput is
r
e
ally a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
ven Ver
d
oolaege
upd
a
te pip
l
ib
f
or change in configure opti
o
ns
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdoolaege
upda
t
e omega for config
u
r
ation
/
compi
l
ation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoolaege
barvin
o
k_co
u
n
t
_
w
ith_opt
i
o
n
s
:
check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Poly
h
edron_
S
a
m
ple:
p
l
ug memo
r
y leak
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoo
l
aege
summate
.
c:
a
d
d
m
issing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
t
opcom
.
c: support ne
w
e
r
v
ersio
n
s of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topco
m
.
c: compu
t
e
_domain: skip ve
r
tices without doma
i
n
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
polytope_minimize:
t
a
ke constant term
to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc:
reflect that --enabl
e
-
fract
i
ona
l
is now
the
d
e
f
au
l
t
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoola
e
ge
gl
p
k_poly
h
edron_affi
n
e_sign
:
special c
a
se 0D
polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
er
d
oolaege
P
o
l
yhedron_Ins
e
rt
_
Columns: fix
t
ypo
commit
|
commitdiff
|
tree
2009-11-11
Sven
V
erdoolaeg
e
Polyhedron_
F
a
c
tor: fix updating o
f
groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verd
o
o
l
aege
c
o
nfigure
.
in:
u
se AX
_
SUBMODULE
inste
a
d of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remove_equali
t
ies: use
Po
l
yhe
d
r
on
_
Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
ege
barvin
o
k 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n
Verdoolaeg
e
doc
:
add exp
e
rimental co
m
parison between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
lexmin
.
cc:
r
emove "anachron
i
sm"
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
d
o
olaege
doc: a
d
d some less c
o
mmon
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
a
d
d "
c
le
v
e
r" Laurent expa
n
sion base
d
sum
m
ation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
laege
mo
v
e
Last_
N
on_Z
e
r
o
to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoolaege
extr
a
ct ou
t
param_p
o
lynom
i
al from
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract
vertex_cone fro
m
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
S
v
en Verdoolaege
update
polyli
b
f
o
r
speed i
m
p
r
o
vement i
n
in
_
domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdo
o
laeg
e
upd
a
te
p
iplib f
o
r
distri
b
ution i
s
s
ue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verd
o
ol
a
ege
Polyhedron_Factor: fix merging
of grou
p
s
of col
u
mns
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
b
a
rvinok_enumerate_series
:
don'
t
che
c
k for rev
l
ex posi
t
iv
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)counte
r
: move counter::re
s
et() up
t
o
c
o
u
nter
_
base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
r
doolaege
Makefile
.
am: keep bette
r
track of fai
l
ed
t
ests
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
add se
m
igrou
p
_hole
s
applic
a
tion
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Ve
r
doolaege
L
i
ne_Le
n
gt
h
:
h
andle 0D polytope in 1
D
space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
g
en_fun: add is_zero m
e
thod
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
bar
v
in
o
k_enumerate
_
e_series: remove
equali
t
i
es i
n
each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
doc:
f
ix
typo
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Verdoolaege
barvinok_enumerate_e
_
series
:
handle all exist
e
n
t
i
als
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
series
.
cc
:
make project s
t
atic
commit
|
commitdiff
|
tree
2009-05-07
Sven
Ve
r
dool
a
ege
b
a
r
vinok_enumerate_e_series: h
a
n
dle all equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
V
erdoolaege
add test s
e
t f
r
om the other
i
t
sl2
0
08 paper
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdool
a
ege
Polyh
e
dron_Factor:
h
andle polyh
e
dra with a n
o
n-triv
i
al
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verd
o
olaege
up
d
ate piplib for change in
c
onfigure arguments
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaege
test_appro
x
.
c
:
add dummy fiel
d
i
n
dummy tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verd
o
o
l
a
ege
configu
r
e
.
in: avoid
introducin
g
empty
elements in
P
K
G_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erdoolaege
o
cc: define OM
I
T_GETRUSAGE if s
y
s
/
r
esource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
o
mega_interface/M
a
kefile
.
am: put depending libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en
V
erdo
o
laege
configure
.
i
n
:
ad
d
$(E
X
E
E
XT
)
to optiona
l
o
c
c for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolaege
up
d
a
te
o
meg
a
for MinGW c
o
m
p
atibility
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdoo
l
a
ege
ber
n
stein/confi
g
ure
.
in: add mi
s
sing
AC_PROG_CXX
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdool
a
ege
vector_
p
artition_chambe
r
s: comput
e
s chambers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Ver
d
oolaege
bar
v
inok
.
cc:
remove unused nonor
t
hog
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Verdo
o
l
a
e
g
e
update p
i
p
l
i
b for
M
in
G
W
compat
i
bility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update polylib for MinG
W
compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Verdoolaege
fds
t
ream
.
cc:
d
on't (re)decla
r
e fileno if it's a macr
o
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoolaege
evalue
.
c: in_domain:
s
p
eci
a
l-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven
Ve
r
doola
e
ge
Avoid use o
f
sys/t
i
mes
.
h header
w
he
n
n
ot available
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Ver
d
o
olaege
add gnulib
getsubopt module fo
r
MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven
V
erdoolaege
READM
E
:
m
ention that
G
iNaC is al
s
o nee
d
ed for
the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sve
n
Verdoolaege
Allow build of occ when using b
u
ndle
d
omega
commit
|
commitdiff
|
tree
2008-10-28
Sve
n
Ver
d
oolaege
do
c
: add
a
reference to a
ma
s
ter thesis act
u
ally using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
bar
v
ino
k
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaeg
e
README: fi
x
up i
n
stallation
instruc
t
ions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
laege
Add files generated by bison
a
nd
f
lex
t
o
the di
s
tribution
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoo
l
ae
g
e
u
p
date p
o
l
ylib
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoolaege
up
d
ate piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdool
a
e
g
e
e
value
.
c:
a
ffi
n
e2eval
u
e: r
e
d
u
c
e coeffi
c
i
ents
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
erdoolaege
e
value
.
c: evalue_level_cmp: produce more c
o
nsistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoo
l
aege
doc: add
a
nother paper ref
e
rring t
o
the
l
ibrary
commit
|
commitdiff
|
tree
2008-09-16
Sven
Verdoolaeg
e
piece
w
ise_lst
.
h: avoid
d
uplicate pa
r
am
e
ter na
m
e
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
e
v
a
l
ue_re
a
d
.
c:
fix minor bugs in token
i
zer
commit
|
commitdiff
|
tree
2008-09-02
Sv
e
n Verd
o
olaege
upd
a
te omega for missing
f
iles i
n
dis
t
ribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
b
a
rvinok_enumerate_e: avoi
d
i
n
fi
n
i
te loop wh
e
n presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoo
l
aeg
e
include om
e
ga s
u
bmodule
commit
|
commitdiff
|
tree
next