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
update isl to version 0.14
2014-10-26
Sven Verdo
o
l
aeg
e
update isl to
versio
n
0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-14
S
v
e
n
Verdoolaege
README
:
update contact info
r
mation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-09
Sven Verdo
o
l
a
ege
up
d
ate isl for c
h
ange
i
n
isl_map
_
subtract
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven
V
er
d
oolaege
upda
t
e pet for supp
o
rt
f
or recent
clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
S
v
e
n Verdoo
l
aege
upd
a
te
isl for support for
recent
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoo
l
a
ege
lattice_width
.
c: av
o
i
d use of deprecated function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-22
Sve
n
Verdoolaege
barvinok_enumerate_w
i
th_opti
o
ns: handle co
n
tex
t
c
o
nstr
a
ints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-18
Sv
e
n V
e
r
d
oola
e
g
e
d
oc: add
anothe
r
paper referi
n
g to the
l
ibrary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-04
S
v
en
V
erdoolaeg
e
isl_Polyhedron
_
Reduced_Basis:
a
void double
free of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-22
Sven Verdoolaege
iscc: also disallow source
o
per
a
tion when -
-
n
o-io is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
barvi
n
ok 0
.
3
7
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoo
l
aege
u
pdate pet to versi
o
n 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
upda
t
e isl to version 0
.
13
commit
|
commitdiff
|
tree
2014-04-04
Sve
n
V
er
d
oolaege
upda
t
e p
e
t for sor
t
ing of arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdo
o
laege
isl_par
a
m_u
t
il
.
c: drop
e
xpr2verte
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Ve
r
doolaege
updat
e
isl for change
i
n isl
_
vertex inspectors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven V
e
rdoolaege
add isl_multi_aff
_
to_pol
y
lib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
S
ve
n
V
e
rdo
o
l
a
ege
iscc: add
minimal
s
u
p
port f
o
r isl_obj_pw_mul
t
i_
a
f
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoola
e
g
e
update
i
sl for is
l
_
obj_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Sven Verdoolaege
gen_fun::add_union: context of result sh
o
uld be the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Sven Ver
d
oolaege
reduce_evalue: reduce polyno
m
ial
e
xpressions in denominato
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sven
V
erdoolaege
u
p
date pet for suppor
t
f
or recent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sven Ver
d
oo
l
a
ege
update is
l
for support for r
e
c
e
nt c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sve
n
Verdoolaege
update pet f
o
r ch
a
nge in pet_scop_
c
o
llect
_
{reads,writes}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sve
n
V
e
rdoolaege
update isl for isl_id_
t
o_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdo
o
laege
config
u
re
.
ac:
use AX_DETE
C
T
_GIT_HE
A
D
instead
of inlined
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-16
Sve
n
Verdoolaege
d
oc: fi
x
t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-05
S
v
en V
e
r
d
oolae
g
e
AX_S
U
BMODULE: all
o
w
.
git f
i
le
i
n submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
S
v
en Verdoolaege
u
pdate pet for support for
r
ecent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sve
n
V
erdo
o
laege
u
p
date isl for support f
o
r rec
e
n
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoola
e
g
e
verify_point_
d
ata_init: use isl_set_card t
o
count elemen
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sve
n
Verd
o
olaege
tes
t
_approx: return
E
XIT_FAILU
R
E
on
error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolaeg
e
test_approx: use i
s
l i
n
terface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sv
e
n Ver
d
o
ol
a
ege
cle
a
n up te
s
ts/ehrhart/* inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven Ver
d
oolaege
evalue_isl
.
c: relation2pwqp
:
han
d
l
e non-par
a
metric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
S
v
en Verd
o
olaege
update isl for isl_*
_
eval
returning a
n
isl_val instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven
Ver
d
oolaege
update isl for isl
_
stream_read
_
obj r
e
turning isl_
o
bj
_
val
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven V
e
rdoolae
g
e
updat
e
pet to
v
ersion 0
.
04
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
Sven Verdool
a
eg
e
c
onfigure
.
ac: replace -
-
with-libgmp option by --with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
Sven Ver
d
o
o
l
a
ege
update isl
t
o version 0
.
12
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
r
doolaege
iscc
.
c: avoid use of isl_tok
e
n inte
r
nals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
evalue_isl
.
c: div
2
eval
u
e: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n
V
erdoolaege
eval
u
e_isl
.
c:
i
sl_pw_qp
o
lynomial_fro
m
_eval:
use
i
sl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
evalue_isl
.
c: isl_qpol
y
nomial_from_evalue
:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
evalue
_
isl
.
c: ext
r
act_base: use isl
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven V
e
rdoolaege
ve
r
ify
.
c: verify_point_data
_
init: us
e
isl_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verd
o
olaege
verify
.
c: verify_context
_
se
t
_
boun
d
s: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
u
t
il
.
c: manua
l
_
count: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoolaeg
e
test_b
o
und
.
c
: result_data: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
rdoolaeg
e
test_boun
d
.
c
:
ve
r
if
y
_
po
i
nt: use
i
sl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolaege
samp
l
e
.
c: Polyhedron_Sample: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
oolaege
polysign_
i
s
l
.
c: isl_constra
i
nts_opt: use is
l
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdool
a
e
g
e
p
o
l
y
sign_isl
.
c: isl_polyhedron_af
f
ine
_
sign: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdoola
e
ge
polysign_isl
.
c: extract_inequalities: use isl
_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
lae
g
e
p
olysig
n
_isl
.
c
:
extract_equalities
:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdool
a
ege
iscc
.
c
: read_id
e
nt: use isl_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
iscc
.
c: obj_at_index: u
s
e
isl_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
iscc
.
c: power: use isl_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ve
n
Verdoolaege
iscc
.
c: n
e
xt
_
is_neg
_
int: use
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
ev
a
lue_
i
s
l
.
c
:
add_
t
erm:
u
s
e isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
o
o
laege
evalue_isl
.
c: relat
i
on2pwqp
:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdool
a
ege
bound
.
c:
s
p
li
t
_on_size
:
use
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoola
e
ge
bo
u
nd
.
c: verify_point: use
i
sl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolae
g
e
basis_
r
eductio
n
.
c
:
isl_Polyhedron_Reduced_
B
as
i
s: us
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olaege
b
a
r
vinok_summate
.
c: veri
f
y
_point: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdo
o
laege
barvinok_
e
numerate
.
c
c
:
v
erify_point:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en V
e
rdoolaege
b
arvinok
.
cc: ca
r
d_
a
s_sum: use
i
s
l
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoola
e
g
e
isl_
m
ap_
p
olylib
.
c: use isl_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven
V
er
d
oo
l
aege
u
pd
a
te isl for i
s
l_
v
al abstrac
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verd
o
olaege
integrate i
s
l-polyli
b
module
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sv
e
n Ve
r
doolaege
barvinok_enumerat
e
.
cc: explicit
l
y include g
m
p
t
o
a
v
oid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
barvinok_e
.
cc: explicitly
i
n
clude
gm
p
to avoid inclusion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaeg
e
test_bou
n
d
.
c: result
_
d
a
ta_clear: re
m
o
ve unused var
i
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoola
e
ge
e
v
al
u
e
_
i
s
l
.
c: avoid use of i
s
l_
s
eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
erd
o
olaege
te
s
t
.
c: remove redundant include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-23
Sven Verd
o
olaege
u
p
date isl to version 0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-08
S
v
e
n
V
e
rdoolaege
e
value_isl
.
c: avo
i
d use of isl_ve
c
internal
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Ve
r
do
o
laege
u
p
d
ate pet for support for
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdoolaege
update isl for support f
o
r recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-10
Sven Verdoola
e
g
e
NTL_QQ:
u
se NTL's Vec template class when availabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-06
Sven Ve
r
dool
a
ege
isl
_
pw_
q
po
l
y
n
o
mial_sum: error out if input does
n
ot
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
Sven Verdoolaeg
e
iscc
.
c:
p
rint_cod
e
: d
o
not as
s
ume
isl_un
i
on_m
a
p_get_space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven
V
erdoolaege
vertex_cone: check that
dim
e
n
sion
i
s
at l
e
ast
o
ne
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sv
e
n Verdoolaege
barvinok_su
m
_over_polyt
o
pe: s
p
eci
a
l case 0D po
l
ytop
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
S
v
en Verdoolaege
s
u
m
m
a
t
e
.
c: s
u
m_wit
h
_equalities
:
extr
a
ct out sum_ove
r
_polyt
o
pe_0D
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-10
Sven Verdoolaege
update
isl t
o
vers
i
on
0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Verdoola
e
g
e
b
arvinok 0
.
36
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
ven V
e
rdoo
l
aege
le
x
min
.
cc
:
lexmin: remove unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
v
en V
e
r
doolaege
lattice_po
i
n
t
.
c
c
:
fractional_par
t
: remove unus
e
d
label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
e
rdoola
e
g
e
t
est
l
ib
.
cc: test_hilbert: f
i
x tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n
Verdo
o
laege
iscc
.
c: read_bool_if_available: r
e
move unused
l
a
b
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
v
en
V
erdoo
l
aege
up
d
ate p
e
t
to ve
r
s
i
on 0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
e
rdoola
e
ge
update isl to version 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
v
en Ver
d
oolaege
README: refer
to pet/README for mo
r
e
deta
i
ls on how
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
S
ven Verdoolaege
u
p
date pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Ver
d
oolaege
up
d
ate isl
f
or support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
drop cloog su
b
m
o
dule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolae
g
e
use isl f
o
r c
o
de gener
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
update i
s
l for code generation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoo
l
aeg
e
iscc
.
c: add mis
s
ing in
c
lude
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next