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
Sve
n
Ver
d
oolaege
barvin
o
k 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
AUTHORS: upd
a
t
e
support in
f
ormation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
ra
n
domve
c
tor:
d
o
ub
l
e size of coefficie
n
t
s
on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdo
o
la
e
ge
iscc:
s
upport transiti
v
e closu
r
e
commit
|
commitdiff
|
tree
2010-03-10
S
v
en
V
e
r
doolaege
update isl
to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
erdo
o
laege
ba
r
vinok_e
.
cc: enumerate_
v
d: rem
o
ve unused variables
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erdoolaege
e
value
.
c: Polyhedron_
I
ns
e
rt:
add missing return
t
y
p
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
e
v
al
u
e
.
c: reduce_evalue
:
r
e
move unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isc
c
: ad
d
@ ope
r
ator
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
iscc: add
"
ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
ad
d
isl_pw_qpolyn
o
mial_upper_bo
u
n
d
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoo
l
aege
iscc
:
ad
d
su
m
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
doolaege
add isl_
p
w_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
a
d
d isl_p
w
_qpolynomial_to
_
e
v
alue
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
update
i
sl for isl_pw_qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
rename ev
a
l
ue2isl to
isl_pw_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Ve
r
dool
a
ege
iscc: detect more
kinds of error
s
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olae
g
e
barvinok_enumerate
:
use isl
during the ve
r
i
fic
a
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
ad
d
i
s
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
add
i
sl_se
t
_card and i
s
l_map_c
a
rd
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
dd evalue2
i
sl
commit
|
commitdiff
|
tree
2010-03-05
S
ven Ver
d
o
o
laege
evalue_
c
onvert
:
expo
r
t as application
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n Verd
o
ola
e
ge
barvinok_en
u
m
e
rate_e:
optionally
use isl to proje
c
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolae
g
e
add
isl submodule
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
A
X
_S
U
BMODULE: accept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ver
d
oolaege
bar
v
in
o
k
_enumerate
:
retu
r
n NaN for infinite pro
b
lems
commit
|
commitdiff
|
tree
2010-01-28
Sve
n
V
e
rdool
a
ege
re
m
ove_al
l
_equalities:
h
andle integrally, but n
o
t rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
olae
g
e
barvinok_enumer
a
t
e_e: always r
e
t
urn a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdo
o
laege
ba
r
v
i
nok_enume
r
ate: che
c
k tha
t
dimension of input includ
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaeg
e
partition
2
enum
e
ration: che
c
k that input i
s
real
l
y a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sve
n
Verdoolaege
u
pdate
pipli
b
for change in co
n
figu
r
e option
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
update omega fo
r
confi
g
urati
o
n/com
p
ilation i
s
sue
s
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdoolaege
barvino
k
_
c
ount_w
i
th_options: check
return value
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
P
o
lyhedron_Sample: plug me
m
ory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
o
olaege
summate
.
c: add missing i
n
clude
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Ve
r
doolaege
to
p
com
.
c: support newer v
e
rsions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
a
e
ge
topcom
.
c
:
compute_domain:
skip ver
t
ic
e
s
without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdool
a
ege
doc: reflect that --enable
-
fractional is now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_
p
olyhedr
o
n_aff
i
ne_sign: sp
e
cia
l
case
0D p
o
lyhedr
a
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolaege
Polyhedron_Insert_Colum
n
s
:
f
i
x typo
commit
|
commitdiff
|
tree
2009-11-11
Sven
Verdoola
e
ge
P
o
lyhedro
n
_Factor: fix updatin
g
of groups
commit
|
commitdiff
|
tree
2009-10-06
Sve
n
Ve
r
d
o
ol
a
ege
configure
.
in: use AX_SUBMOD
U
LE in
s
tead of BV_SUBMODU
L
E
commit
|
commitdiff
|
tree
2009-08-21
Sven
V
erdoolaege
remove_equalitie
s
: use Polyhedron_Preima
g
e in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
doc: add
experimental
compari
s
on between old and n
e
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
lexmin
.
cc:
remove
"anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
V
e
r
doolaege
doc: ad
d
some less common
.
s
ty
files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
olaege
add
"clever
"
Laure
n
t expansion based
summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
move Last_Non_Zero to uti
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n V
e
rdoolae
g
e
extract out param_polynomial fro
m
laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoolaege
extract vertex_cone from laure
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdo
o
laeg
e
update polylib for speed improvem
e
nt in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoola
e
ge
update piplib
for distribution is
s
ue
commit
|
commitdiff
|
tree
2009-05-26
Sve
n
Verdoolaeg
e
Polyhedron_Factor: fix merg
i
n
g
of groups of co
l
umns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)counter:
mo
v
e co
u
nter
:
:
r
e
set() up to counter_b
a
se
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
Mak
e
file
.
am:
kee
p
b
e
tt
e
r track of failed t
e
sts
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Ver
d
oo
l
a
eg
e
Line_
L
ength: hand
l
e
0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoo
l
aege
Polyh
e
dron_Fact
o
r
:
han
d
le pol
y
hedr
a
w
ith a
non-tri
v
ial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Ver
d
oolaege
update piplib fo
r
change in configure arguments
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvino
k
.
cc: remove unused nono
r
t
hog
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Verdoo
l
a
ege
u
pdate
p
ip
l
i
b
f
o
r MinGW c
o
mpatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
u
pdat
e
polylib for MinGW com
p
atibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
oolaege
evalue
.
c: in
_
domai
n
: special-case 0D d
o
mains
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
erdoo
l
aege
Avoid
u
se
o
f sys/times
.
h
head
e
r when not available
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
erdoolae
g
e
a
d
d gnul
i
b
getsubopt modu
l
e
f
o
r
MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven
V
erdoola
e
ge
R
EA
D
ME: mentio
n
that GiNaC is al
s
o needed for the Ome
g
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven
V
erdoolaege
Allow
bui
l
d of occ when using bundled omeg
a
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
do
c
:
add
a
reference to a
ma
s
ter thesis a
c
tually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolae
g
e
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
README: fix u
p
inst
a
llat
i
on instructions
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n
Verdoolaege
Add files gen
e
rated by bison
a
nd flex to the dis
t
r
i
buti
o
n
commit
|
commitdiff
|
tree
2008-10-16
S
v
en
V
erdoolaege
u
p
date
polylib
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoo
l
a
ege
upd
a
te pip
l
ib
commit
|
commitdiff
|
tree
2008-10-10
Sven V
e
r
doolaege
e
v
alue
.
c: affine2e
v
alue: reduce c
o
ef
f
ic
i
ents
commit
|
commitdiff
|
tree
2008-10-10
S
ven
Verdoola
e
ge
ev
a
lue
.
c: e
v
alue_
l
evel
_
cmp: pro
d
uce
m
ore
consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven
Ver
d
o
o
l
a
ege
d
o
c: ad
d
another paper r
e
f
erring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven V
e
r
doolaege
piecewise_lst
.
h: avoid du
p
licate parameter name
commit
|
commitdiff
|
tree
2008-09-02
S
v
e
n Verdoolaege
evalue_read
.
c: fix minor
b
ugs in toke
n
izer
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
erd
o
o
l
aeg
e
update omega for missing fi
l
e
s in dis
t
ribu
t
ion
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
barvinok_enumerate_e
:
avoid infinite loop
w
hen presente
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
m
ove omega subdir
t
o
o
m
e
ga_int
e
rf
a
ce
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoo
l
aege
NTL_QQ
.
cc: a
d
d stdlib
include for ab
o
rt hidden in N
T
L_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
remove gnulib
l
ink-warn
i
ng module co
m
pl
e
tely
commit
|
commitdiff
|
tree
2008-08-24
Sv
e
n Verdo
o
laege
update polylib w
i
th extra fie
l
d
i
n
Param
_
P
o
lyhedron
commit
|
commitdiff
|
tree
2008-07-30
S
ven V
e
rdoolaege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-20
Sv
e
n Ver
d
oolaege
up
d
ate gnulib f
u
nctio
n
to last pre-GPLv3
version
commit
|
commitdiff
|
tree
2008-07-02
Sven Ve
r
d
o
olaege
enume
r
ato
r
::handl
e
:
r
eplac
e
i
ncorrect delete b
y
fre
e
commit
|
commitdiff
|
tree
2008-06-17
S
v
e
n Verdoolaege
update piplib for
correct
e
d Urs_parms
h
andli
n
g
commit
|
commitdiff
|
tree
2008-06-12
Sven V
e
rdoolaege
configure: us
e
correct
header files in case
o
f
bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
aeg
e
omega/occ: only open debug outp
u
t file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdool
a
ege
a
dd editors t
o
ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdoolaege
bar
v
inok
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdoo
l
aeg
e
a
dd s
o
me te
s
t
set
s
from itsl2008
p
aper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
doc
:
add la
t
e
s
t
(ac
c
epted)
p
ublications
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaeg
e
Ma
k
efile
.
am: add section_array
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
ol
a
ege
n
o
rmalization
.
c: compute_shifts: r
e
move redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
move Free_Param
N
ames polylib and make param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
occ: a
d
d int
e
rface to ba
r
v
i
no
k
_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_
c
onvert
.
cc: ex
t
ra
c
t ex2evalue from
r
ange
.
cc
commit
|
commitdiff
|
tree
next