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
use test scripts for performing tests
2023-06-03
S
v
en Verdoolae
g
e
use te
s
t scripts for performing tests
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
Sven
V
erdoolaege
b
arvinok_enumerate_e: d
r
op Omega simpli
f
ica
t
ion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
Sven Verdoo
l
aege
bar
v
inok_enumerate_e: dro
p
opt
i
on to use Parker's DF
A
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
Sven Verdool
a
eg
e
r
emove
selection of default specialization
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
Sven Verdoo
l
aeg
e
doc/barvi
n
ok
.
bib: dro
p
Pa
r
ker2004 en
t
ry
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
Sven V
e
rdoolaege
doc: update outputs of
examples
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-10
Sven
Verdoolaege
drop d
e
claratio
n
of pip_*_Polyhedron_Re
d
u
ce
d
_Basi
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-10
Sven
V
erdoolaege
drop NTL_5_3_2
.
patch
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-10
Sven Verdool
a
ege
scal
e
.
c: Para
m
_
P
olyhedr
o
n_Domain: only set Facets in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-02
S
ven
V
erdo
o
l
aege
barvin
o
k 0
.
4
1
.
7
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-02
Sven Verdoolaege
up
d
ate pe
t
t
o
v
ersi
o
n
0
.
11
.
7
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-02
Sven Ve
r
d
oolaeg
e
update isl to version
0
.
2
6
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-20
Sven Verdoolaege
a
dd
s
o
m
e iscc tests for f
i
xed pow
e
rs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-20
Sven
V
e
r
doola
e
ge
iscc: fix
c
omputation of (ne
g
at
i
ve
)
f
i
xe
d
powe
r
s of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-07
Sv
e
n
V
erdoolaege
update isl for ch
a
nge in coalescing
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Sven
V
e
rdoolaege
upd
a
te pet fo
r
support for recent
ve
r
sions of clan
g
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Sven Verdoolaege
update
i
sl for sup
p
ort for
rece
n
t versions of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdo
o
laege
requ
i
re C+
+
11
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven V
e
rdoola
e
ge
d
rop
s
upport for __gnu_
c
xx
:
:hash_map
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven V
e
rdoolae
g
e
replace obso
l
ete A
C
_TRY_LINK by AC_LIN
K
_I
F
EL
S
E
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sve
n
Verdoolaege
r
eplace obsolete AC_TRY_COMPILE by AC_COMPILE_IFEL
S
E
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
S
ve
n
Verdoo
l
ae
g
e
r
e
place obsolete AC_
H
EL
P
_STRING calls by AS_H
E
LP_STRING
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolae
g
e
replace
obsolete
AC_P
R
OG_LIBTOOL by LT_
I
NIT
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven
V
e
r
d
ool
a
e
g
e
drop ev_size
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sve
n
Verdoolaege
drop c
o
unt_domain
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
drop colle
c
t_
n
onsimple
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdool
a
ege
drop collect_polytopes2
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven
Ve
r
doolaege
drop collect
_
polytopes
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoola
e
ge
d
r
op verify_lexsma
l
ler test application
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
S
v
e
n V
e
rdoo
l
a
e
ge
drop
p
olytope_lattice_wi
d
th
a
pplicati
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
S
ven
Verdoolae
g
e
drop polyhed
r
on_samp
l
e
a
pplicati
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sve
n
Verdoola
e
ge
drop polytope_
s
can a
p
plication
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verd
o
olaege
d
r
op remov
e
_r
e
dunda
n
t_equal
i
ties a
p
p
lication
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-20
Sven Verdoolae
g
e
update documentation to re
m
oval o
f
barvinok_en
u
m
erate_pip_wi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-20
Sven Verdoolaege
con
f
igure
.
ac: drop AM_PR
O
G_LEX and
A
C_PROG_YACC calls
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-14
Sven V
e
rdoolaege
add a
n
is
c
c weighted cou
n
ting test case with an
equa
l
ity
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-14
Sven Ver
d
oolaege
test
b
o
x
an
d
be
r
noulli summation algorit
h
ms on sq
u
are_p2
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven
Ver
d
oolaeg
e
a
dd test
s
/ehrhart_union
.
README exp
l
aining origin of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdool
a
ege
add
t
ests/ehrhart
.
REA
D
ME expla
i
ning
o
r
ig
i
n of
s
ome
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolaege
add tests/lexmin
.
R
EADME explaining origin of so
m
e of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven
V
erdoolaege
t
ests/pwqp/hong*
.
pwqp
:
mention co
n
tri
b
u
tor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verd
o
olaege
tests/
i
scc/leroux: mention origin
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven
V
erdoolaege
tests/iscc/lattice_width-j
o
n_*
:
m
ention
c
ont
r
ibutor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
S
ven Verd
o
olaege
tes
t
s/is
c
c/coun
t
/garbe
r
v
e
tsky: m
e
ntion co
n
tribu
t
or
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
S
ven
V
e
rdoolaege
t
e
sts/is
c
c
/c
o
unt/
e
mpty7: menti
o
n contributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
S
v
en Verdoolae
g
e
t
e
sts/iscc
/
c
ou
n
t
/
andr
e
as:
m
ention con
t
r
i
b
u
tor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoo
l
aege
tests/e
h
rhart_e
/
**/seg
h
ir-*: mention con
t
ributo
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoo
l
aege
tes
t
s/ehrhart/classen*: mention contribut
o
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Ve
r
dool
a
ege
convert sam
p
l
e test to iscc test
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoo
l
aege
c
onvert counting
t
ests
t
o iscc tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2022-07-31
Sven
Verdoolaege
make is
l
_basic_set_lattice_wid
t
h
static
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-24
Sven Ve
r
doolaege
summate
.
c: add mis
s
ing incl
u
de
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaege
barvin
o
k 0
.
41
.
6
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven V
e
rdoola
e
ge
update pet
to v
e
r
sion 0
.
11
.
6
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven
Verdoo
l
aege
update isl t
o
version 0
.
25
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven
V
erdoolaege
a
l
low static
b
uilding
of exe
c
utables
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sve
n
Verdoolaege
c
onfi
g
ure
.
ac:
r
ename BV_L
D
F
L
A
G
S
to B
V
_LIB_LDFLAGS
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verd
o
olaege
configur
e
.
ac
:
drop spurious space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoo
l
a
e
ge
upd
a
te pet f
o
r
sup
p
ort for
r
ecent versi
o
ns of
c
lang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
S
v
en
Ver
d
oo
l
a
e
g
e
update isl for support for recent versio
n
s of cla
n
g
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ver
d
oolaege
manu
a
l_co
u
nt: rename
"dim" varia
b
le to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n
Verdoolaege
isl_map_a
p
ply_pw_
q
polynom
i
al: rename "di
m
" variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
ven Verdoolaege
s
ummate
.
c
:
p
w_qpolynomi
a
l_apply: rename "dim" variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
v
e
n Verdoolaege
isl_
u
n
i
on_set_ap
p
ly_union_pw_qpolynomial:
r
ename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n Verdoolaege
s
u
mmate
.
c: pw_
q
polynomial_apply_s
e
t: rename "dim" vari
a
ble
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
v
en
Verdoolae
g
e
isl_unio
n
_map_apply_union_pw_qp
o
l
ynomial:
rename
"
dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdo
o
laege
i
s
l_union_
p
w
_
qpol
y
nom
i
al_
s
um: rename "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdo
o
laege
Po
l
yhedron_Sample: rename
"
dim" variable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
V
e
rdo
o
l
aege
is
l
_co
n
str
a
i
nts_opt: rename "dim" vari
a
b
l
e to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
isl_pol
y
hedron_affine_sign:
re
n
ame "dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verd
o
olaege
b
o
und
.
c
:
split_on_domai
n
_si
z
e:
r
ename
"dim" var
i
able
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoo
l
a
e
ge
isl_Po
l
y
he
d
r
o
n_Redu
c
ed_Basis:
r
e
name "dim" varia
b
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
Verdoolaege
barvi
n
ok_
e
numerate
.
cc:
v
erify_isl
:
ren
a
me "dim"
va
r
i
a
ble
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
rdo
o
lae
g
e
is
l
_union_map_card:
rename
"
d
i
m" var
i
ab
l
e to
"s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoola
e
g
e
i
s
l_
u
nion_se
t
_
c
ard: rename "dim" variab
l
e to "
s
pa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoo
l
ae
g
e
isl_map_card: rename
"
dim" variable to
"
spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
ven Verdool
a
ege
b
ar
v
in
o
k
.
cc: card_as_sum: rename "dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaeg
e
barvi
n
ok
.
cc: b
a
sic_map_car
d
:
rename "dim
"
var
i
able
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoo
l
aege
i
s
l_union_se
t
_lattice_width: rename "dim" va
r
i
able
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
isl_set
_
latt
i
c
e_width: rename "dim" v
a
riable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n V
e
rd
o
olaege
isl_basic_
s
e
t_lat
t
ice_width: rename "d
i
m" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdo
o
laege
evalue
_
isl
.
c
:
r
elation2pwqp: rename
"
dim" var
i
able
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
ev
a
lue_
i
sl
.
c: extract_base:
renam
e
"
d
im" parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
ven
V
erdoolae
g
e
isl_pw_q
p
oly
n
omial_from_evalue:
r
ename "dim"
p
arameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n Verdoolaeg
e
isl_
q
p
olynomial_f
r
om_e
v
a
lu
e
: renam
e
"dim" parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoola
e
g
e
verify_options_s
e
t_range_pwqp
.
c: use is
l
_pw_qpolynomial
_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-30
S
v
en Verdoo
l
aege
e
x
tract out shared ve
r
ify_opti
o
ns_set_range
_
pwqp
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-30
S
ven Verdoolaege
barvinok_su
m
mate
.
c: verify: fix memory
m
anagement annotation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-24
Sven Verdoolaege
e
value_isl
.
c:
add_guard
e
d_qp: dro
p
unused
varia
b
le
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-24
S
ven Verdoo
l
aege
b
a
r
v
i
n
ok_summate
.
c
:
verify_point: drop unused variable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-03-19
Sven
V
erdoolaege
doc: update gf
o
rge
.
inria
.
fr
link
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-08-15
S
v
en
Verdoolaege
bar
v
i
n
ok_bound: fix
-
-
i
t
erate option
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-08-15
S
v
en Verdoolaege
bo
u
nd
.
c:
itera
t
e: rename "dim" variable to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-07-26
S
ven V
e
rd
o
o
l
aege
upda
t
e pet for more rel
a
xed pet_expr_is_equa
l
i
n
dex
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sv
e
n Verdo
o
laege
b
a
rvin
o
k
0
.
4
1
.
5
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sven Verdoolaege
update
pet to
v
e
rsi
o
n 0
.
11
.
5
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sven
V
erdoolaege
up
d
ate isl to ver
s
ion 0
.
24
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
S
ven Verdo
o
l
a
eg
e
Makefile
.
am: drop LOCA
L
_POLYL
I
B_LA
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolae
g
e
bui
l
d libisl
.
la
be
f
ore libp
e
t
.
l
a
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
S
v
en
Verdoolaege
upda
t
e pet for support for r
e
cent versions of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next