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
Sven V
e
r
d
o
o
l
a
e
ge
bar
v
inok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
A
U
T
H
ORS: up
d
ate support informat
i
on
commit
|
commitdiff
|
tree
2010-03-10
S
ven Ve
r
dool
a
ege
r
and
o
mvect
o
r: double
s
ize of coeff
i
ci
e
nts on each a
t
t
e
mpt
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdool
a
e
g
e
iscc: suppo
r
t transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
l
a
ege
update is
l
to version
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ve
r
d
ool
a
e
ge
b
arv
i
nok_
e
.
cc
:
enumerate_vd: re
m
ove
un
u
sed variable
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
eval
u
e
.
c
:
P
o
lyhe
d
ron_
I
nsert:
a
dd missing ret
u
rn type
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaeg
e
e
v
al
u
e
.
c:
r
educe_evalue: re
m
o
v
e
unused vari
a
ble
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isc
c
:
add @ o
p
erator
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoo
l
aege
is
c
c: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verd
o
olaeg
e
add
i
sl_p
w
_qpo
l
yn
o
mial_u
p
per_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
i
s
cc: add
s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
add isl
_
p
w_
q
polynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
add isl_pw_qpolynomi
a
l
_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
ven V
e
rdoolae
g
e
update isl for isl_pw_qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdool
a
ege
rename evalue2
i
sl to
i
s
l
_pw_q
p
olynomial
_
fro
m
_evalue
commit
|
commitdiff
|
tree
2010-03-06
S
ven
V
e
rdoolaege
isc
c
: detect more k
i
nds o
f
errors
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verd
o
olae
g
e
barv
i
nok_enumerate: use isl during
t
he verificatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
ad
d
isl_set
_
car
d
and isl_map_
c
ard
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
ev
a
lue_co
n
v
ert: export as ap
p
lication
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
barvin
o
k_enumerate_e: optionally use
isl to pr
o
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
r
d
oola
e
ge
add
i
sl submo
d
ule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
AX_SUBM
O
DULE: accep
t
"-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
barvinok_enum
e
r
a
te: re
t
urn NaN for infini
t
e
problem
s
commit
|
commitdiff
|
tree
2010-01-28
Sven
V
erdo
o
laege
remove_all_e
q
ualities: handle int
e
grally, but not ra
t
ionally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ve
r
do
o
laege
ba
r
v
inok
_
enumerate_e: al
w
ays retu
r
n a
part
i
t
i
o
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
rdoolaege
barvinok
_
enu
m
erate:
check tha
t
dimensi
o
n of in
p
ut include
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
V
e
rdoolaege
partition2enumeration: check
t
hat inpu
t
is re
a
l
l
y
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n Verdool
a
ege
up
d
ate p
i
plib
for change in configure
optio
n
s
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verd
o
olaege
upd
a
te omeg
a
for conf
i
g
urat
i
o
n/compi
l
ation
i
s
s
ues
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoolaege
barvinok_count_wit
h
_op
t
ions:
c
heck
r
e
turn value
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdool
a
e
g
e
Pol
y
hedron_Sample: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
S
ven Ve
r
doolaege
summate
.
c
: add mis
s
ing include
commit
|
commitdiff
|
tree
2009-11-12
Sven
Ver
d
o
o
l
a
e
ge
topcom
.
c
: support newe
r
version
s
o
f
T
O
PCOM
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
Verd
o
olaege
topco
m
.
c: compute_domain: skip ve
r
tices wit
h
out dom
a
in
commit
|
commitdiff
|
tree
2009-11-12
S
ven Ve
r
doolaege
d
oc:
reflect that --enab
l
e-fract
i
on
a
l is n
o
w the de
f
ault
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
er
d
oola
e
ge
glpk_polyhedron_affine_sign
:
s
p
ecial c
a
se 0D pol
y
hedra
commit
|
commitdiff
|
tree
2009-11-12
S
ve
n
V
er
d
oo
l
aege
Polyhedron_Insert
_
C
o
lumns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven
Verdoolaege
P
o
lyhe
d
r
on_Factor: fix updat
i
ng o
f
groups
commit
|
commitdiff
|
tree
2009-10-06
Sve
n
Verdoolae
g
e
co
n
figure
.
in:
u
se AX_SUBMODULE
i
nstead of BV_
S
UBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven
V
erdoolae
g
e
remove_equalities: use P
o
lyhed
r
on
_
P
rei
m
age i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
b
a
rvi
n
ok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
doc
:
add experimental
c
o
mparison between o
l
d
and n
e
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
lex
m
i
n
.
cc: remove "anachr
o
nism"
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
doc: ad
d
s
om
e
l
es
s
common
.
s
ty files
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rd
o
o
l
aege
add "cle
v
er" L
a
ure
n
t expansion based summati
o
n
commit
|
commitdiff
|
tree
2009-07-20
S
ve
n
Verdoolaege
move La
s
t_
N
on_Zero t
o
u
til
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rd
o
olaeg
e
extract out para
m
_polyn
o
mial from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
ola
e
ge
extract vertex_co
n
e from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sve
n
Verdoolaege
update polylib for speed
i
mprove
m
en
t
in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaeg
e
u
p
date p
i
plib for d
i
stributio
n
issu
e
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Polyhedron_F
a
ctor
:
fix merging of groups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
la
e
ge
(
t
)
c
ounter: move counter::reset
(
)
up t
o
counter
_
base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makefile
.
am: k
e
ep better track
o
f f
a
i
led test
s
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdool
a
e
ge
Line
_
Length: handle
0
D pol
y
tope
i
n
1D
s
pace
commit
|
commitdiff
|
tree
2009-04-02
S
ven Verdoolaege
Po
l
yhedron_F
a
ctor: handle polyhe
d
ra with a n
o
n-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verd
o
olaege
updat
e
pip
l
ib
f
or change
in co
n
figure arguments
commit
|
commitdiff
|
tree
2008-12-27
Sven Verd
o
olaeg
e
barvinok
.
c
c: remove unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update pi
p
li
b
for MinGW co
m
patibility
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verdo
o
la
e
g
e
update p
o
ly
l
ib
for MinGW compat
i
b
ility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
a
e
g
e
eval
u
e
.
c: in_domain: special-case 0D dom
a
ins
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoo
l
aege
Avo
i
d use of sys/ti
m
e
s
.
h
header when no
t
available
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdo
o
laege
add gnulib getsubopt
mo
d
ule for
M
i
n
GW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verd
o
o
laege
README
:
mention
t
hat GiNaC
i
s al
s
o needed for
t
he Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
ven Verdoolaege
Allow build o
f
o
cc whe
n
usin
g
bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven V
e
rdo
o
laeg
e
doc: add a reference to a m
a
ster thesis
ac
t
ua
l
ly
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
d
o
ola
e
ge
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
aege
R
E
A
D
ME
:
fix up
instal
l
ation
i
ns
t
ructions
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
er
d
oola
e
ge
Add files
g
enera
t
ed by bison and
flex
t
o
the
d
ist
r
ibuti
o
n
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
aeg
e
u
pdat
e
p
o
ly
l
ib
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
e
rdoolaege
update
p
ipl
i
b
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolae
g
e
evalue
.
c: af
f
ine2eval
u
e: reduce coeffi
c
ients
commit
|
commitdiff
|
tree
2008-10-10
S
v
en Verd
o
ola
e
ge
evalue
.
c:
e
value_leve
l
_c
m
p:
produc
e
more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sv
e
n Verd
o
olae
g
e
d
oc: add
a
n
o
t
her paper ref
e
r
ri
n
g
t
o
t
he librar
y
commit
|
commitdiff
|
tree
2008-09-16
Sven
V
erdoola
e
ge
p
iec
e
wise_
l
st
.
h:
avoid duplic
a
te parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sv
e
n V
e
rdool
a
ege
e
v
a
lue
_
read
.
c: fix minor bugs in token
i
z
e
r
commit
|
commitdiff
|
tree
2008-09-02
Sven
Verdool
a
ege
u
p
da
t
e o
m
e
ga for missing file
s
i
n
distrib
u
tion
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
barvinok_
e
numerate_e: avoid
infin
i
te
loop when present
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
erdoolaege
move omega subdir
to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verd
o
o
l
ae
g
e
NTL
_
Q
Q
.
cc: a
d
d
s
t
dlib
i
nclude for abort hidden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
r
e
move gnulib l
i
nk-war
n
i
n
g modul
e
completely
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdool
a
eg
e
u
pdate p
o
lylib with extra field in Pa
r
am_Polyhed
r
on
commit
|
commitdiff
|
tree
2008-07-30
S
v
en Verdo
o
laege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-20
S
ven Verdoolaege
update gnu
l
ib function to l
a
st pre-GPL
v
3
v
ersion
commit
|
commitdiff
|
tree
2008-07-02
Sv
e
n Verdoolaege
enumerator::handle: r
e
place incorr
e
ct del
e
te
b
y
f
r
e
e
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
upda
t
e pipli
b
for corre
c
t
ed Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
co
n
figure: u
s
e corre
c
t header file
s
in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Ver
d
oolaeg
e
omega/occ: on
l
y open
d
e
bug ou
t
put file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolae
g
e
doc: fix typ
o
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
oolaege
ad
d
editors t
o
ITSL pap
e
rs
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
barvi
n
ok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolae
g
e
add some test set
s
from itsl2008 p
a
per
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
V
e
rd
o
olaege
doc:
a
d
d
latest
(ac
c
epted) pub
l
ications
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verdoola
e
ge
Makefile
.
am:
add
s
ection_array
.
h to
distribut
i
o
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
normalizatio
n
.
c:
co
m
p
u
te_shifts: remove
r
edundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
move Free_ParamNames polylib and make
p
a
r
a
m
nam
e
s co
n
st
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
occ
:
add in
t
erfa
c
e to barvinok_sum
m
ate
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
er
d
oolaege
ex_conve
r
t
.
cc: ex
t
ract ex2evalue fro
m
r
a
n
g
e
.
cc
commit
|
commitdiff
|
tree
next