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 Verdoola
e
ge
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
do
o
laege
AUTHOR
S
: u
p
date support in
f
ormation
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
r
doolaege
ra
n
domvecto
r
: doubl
e
si
z
e of co
e
fficients on each attemp
t
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
iscc: support transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
upda
t
e isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
bar
v
inok_e
.
c
c
:
enum
e
rate_vd: re
m
ove
u
nused var
i
able
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
l
a
ege
ev
a
lu
e
.
c: P
o
lyh
e
dron_In
s
er
t
: add miss
i
ng
re
t
urn typ
e
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
e
value
.
c:
reduce_evalue: remove unused va
r
iable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
e
g
e
iscc: add
@
o
perator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
iscc: a
d
d "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
add isl_pw_qpol
y
nom
i
al
_
upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdo
o
laege
iscc: add
sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
add i
s
l_pw_qpolynomial
_
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ve
r
doolaege
add isl_pw_qpolyn
o
mial_t
o
_eval
u
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
update isl for is
l
_pw_qpo
l
ynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
o
laege
re
n
ame evalue2isl to isl_pw_qpolynom
i
al
_
from
_
eval
u
e
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
isc
c
: detect more
k
inds o
f
e
rrors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_enumerate: use isl during th
e
verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
add is
l
_set_card
and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
a
d
d
e
va
l
u
e
2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue_convert: export as app
l
i
c
ation
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolae
g
e
bar
v
inok
_
en
u
merate_e: option
a
lly use isl to
pro
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n Verdoolae
g
e
add
isl submod
u
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
ae
g
e
AX_S
U
BMODULE: a
c
c
ept
"
-
"
in mod
u
lename
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoolaege
barvi
n
ok_enu
m
erate: return NaN fo
r
infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remov
e
_all_e
q
ualities: ha
n
dle integrally, b
u
t not rati
o
nally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdo
o
laege
barv
i
nok_e
n
umerate_e: always return
a partition
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
ba
r
vinok_enumerate:
che
c
k
t
h
at dim
e
nsion of i
n
put includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
oolaege
part
i
t
i
on2enume
r
ation:
c
heck that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdo
o
laege
update piplib for change in config
u
re
options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
u
pdate omega for co
n
figuration/
c
ompilation issu
e
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
doo
l
aege
b
a
rvinok_c
o
unt_w
i
th_optio
n
s
:
check retu
r
n
v
al
u
e of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
ve
n
Ve
r
doolaege
P
olyhed
r
on_S
a
mple:
plug memory lea
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
ege
summate
.
c:
a
dd missing incl
u
de
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdo
o
laege
topco
m
.
c:
s
u
ppo
r
t newer v
e
rsion
s
of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoola
e
ge
topcom
.
c: com
p
ute_domai
n
: skip vertices without dom
a
i
n
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
do
o
l
a
ege
doc:
reflect that --enable-fra
c
tional is now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
g
l
pk_po
l
yhedron_affine_sign: special case 0D
p
oly
h
e
d
r
a
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
Polyhedron_In
s
ert_Columns: f
i
x typo
commit
|
commitdiff
|
tree
2009-11-11
S
v
e
n V
e
rdoolaege
Po
l
yhedron_Factor: fix upd
a
ting of
g
r
oups
commit
|
commitdiff
|
tree
2009-10-06
Sven
V
e
rdoolaege
con
f
i
g
ure
.
in: use A
X
_SUBMODULE instead of BV
_
SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
S
ven
V
erdoolaege
r
e
m
o
ve_equa
l
iti
e
s: use Pol
y
hedron_P
r
eima
g
e instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
barvin
o
k 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n
Verdoolae
g
e
doc: add experimenta
l
c
om
p
arison between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ve
n
Verdoolae
g
e
lexmin
.
cc: remov
e
"anachro
n
i
sm"
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Ve
r
doolaege
doc: add so
m
e
less c
o
mmon
.
sty file
s
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
e
r
d
oolaege
add "cle
v
er"
Laurent
expansion base
d
summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
olaege
move L
a
st_Non_Zero
t
o
u
t
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoolaege
ext
r
act out param_
p
ol
y
no
m
i
a
l fro
m
l
a
urent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doolaege
e
xtract vertex_cone f
r
om laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
upda
t
e p
o
ly
l
ib
for
speed im
p
r
ove
m
ent in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven
Verdoola
e
ge
up
d
ate piplib for
distributi
o
n i
s
sue
commit
|
commitdiff
|
tree
2009-05-26
S
ven Verdoolae
g
e
P
o
lyhedron_
F
actor: fix merging
of groups
o
f colu
m
ns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
(t)co
u
nter:
move counter::res
e
t()
u
p
to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolae
g
e
Makefile
.
a
m: keep
be
t
ter trac
k
of failed te
s
ts
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
do
o
lae
g
e
Line_Leng
t
h
: han
d
le 0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-04-02
Sven
Verdoolae
g
e
Polyhedron_Factor: handle
p
o
l
y
h
e
dra with
a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
v
en
Verdoolaege
update p
i
p
lib for
cha
n
ge
i
n configure argu
m
en
t
s
commit
|
commitdiff
|
tree
2008-12-27
Sven
V
e
rdoolaege
barvinok
.
cc: remove
unuse
d
nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erdoolaege
update piplib f
o
r Mi
n
GW compatibi
l
i
ty
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update polylib
f
or MinGW compa
t
i
b
ilit
y
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoo
l
aege
ev
a
lue
.
c: in_domain: spec
i
al-case
0
D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Ver
d
oolaege
Av
o
id use of sys/tim
e
s
.
h hea
d
er when not avai
l
ab
l
e
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add gnulib getsubopt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
S
v
en Verdool
a
ege
READM
E
: mention t
h
at
GiN
a
C i
s
also needed for
t
he Ome
g
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdool
a
ege
Allow bui
l
d of
o
cc whe
n
using
b
und
l
ed ome
g
a
commit
|
commitdiff
|
tree
2008-10-28
S
v
e
n Verdoolaege
doc: add a
reference to
a
m
aster thesis actuall
y
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
o
laege
bar
v
i
n
ok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoolae
g
e
README: fix up i
n
s
t
a
ll
a
tion instructi
o
ns
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n
V
erdoolaege
Ad
d
files generated by b
i
son and flex to the di
s
tribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
aege
update po
l
ylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolae
g
e
update
p
ip
l
ib
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n Verdool
a
ege
evalue
.
c: affine2evalue
:
reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdool
a
ege
eva
l
ue
.
c
: eva
l
u
e_
l
evel_cmp: pr
o
duc
e
more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sv
e
n Verd
o
olae
g
e
do
c
:
add another paper referring to th
e
li
b
rary
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaeg
e
piecewise_lst
.
h: avoid dupl
i
c
ate
p
aramet
e
r nam
e
commit
|
commitdiff
|
tree
2008-09-02
S
ven Ver
d
o
ola
e
ge
eval
u
e_read
.
c: fix minor bugs in
t
oken
i
zer
commit
|
commitdiff
|
tree
2008-09-02
Sven Ve
r
do
o
laege
updat
e
omega for missing files in distr
i
bution
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
barvinok_enumerate_e
:
a
v
oid infi
n
ite loop wh
e
n
presen
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
m
ove omega subdir to o
m
ega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
olaege
NTL_QQ
.
cc: a
d
d
stdl
i
b include fo
r
ab
o
rt hid
d
en in
N
TL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
remove g
n
uli
b
link-warning modul
e
completely
commit
|
commitdiff
|
tree
2008-08-24
S
v
en Ve
r
do
o
lae
g
e
update p
o
l
ylib with extra field in Param_Polyhed
r
on
commit
|
commitdiff
|
tree
2008-07-30
Sven
Verdoo
l
aege
doc: fix ty
p
o
s
commit
|
commitdiff
|
tree
2008-07-20
S
ven Verdoolaege
upd
a
t
e
gnu
l
ib function t
o
la
s
t p
r
e-GP
L
v3 version
commit
|
commitdiff
|
tree
2008-07-02
S
v
e
n Verdoolaege
e
numerator
:
:handle
:
replace incorrect d
e
lete by
free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdool
a
e
g
e
update piplib for corrected Urs_parms
h
andl
i
ng
commit
|
commitdiff
|
tree
2008-06-12
Sv
e
n
V
erdoolaege
con
f
i
gure
:
use correct
he
a
d
e
r files in case o
f
bun
d
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
oolaege
omega/occ: only open debug outpu
t
file if ther
e
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n V
e
rd
o
o
l
aege
a
dd e
d
itors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ba
r
vinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
add some tes
t
s
e
ts fr
o
m
i
tsl200
8
pa
p
e
r
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdoolaege
doc:
a
d
d latest
(accepted) publica
t
ions
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdool
a
ege
Makefile
.
am: add section_ar
r
a
y
.
h to distribu
t
ion
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
n
ormalization
.
c:
c
om
p
u
te_shifts:
remove re
d
undant r
e
tu
r
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
move Free_P
a
ramNames poly
l
ib
a
nd
m
ake param names con
s
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaeg
e
occ
:
add int
e
r
f
ace to b
a
rvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
do
o
l
aeg
e
ex_co
n
ve
r
t
.
cc: extrac
t
ex
2
evalue
f
rom rang
e
.
cc
commit
|
commitdiff
|
tree
next