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
Sven Verdoo
l
ae
g
e
u
se test
scrip
t
s for
p
erforming test
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
Sven Verd
o
o
lae
g
e
ba
r
vi
n
o
k_enumerate_e: drop Omega simp
l
i
f
i
ca
t
i
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
Sven Ve
r
doolaege
barvinok_enume
r
ate_e:
drop option
to use Parker's DFA
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
Sven V
e
rdoolaege
remove selection of
default spec
i
ali
z
ation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
S
v
e
n Verdoola
e
ge
do
c
/barvinok
.
b
ib: drop Parker
2
004 entr
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
Sv
e
n Ver
d
oolaege
doc: update outputs of exam
p
les
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-10
Sven
Verdoolae
g
e
d
r
op de
c
laratio
n
of pip
_
*
_
Polyhedron
_
Red
u
ced_Basis
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-10
Sven
Verdoolaege
d
r
o
p
N
T
L_
5
_3_2
.
patch
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-10
S
v
en Verdoolae
g
e
sca
l
e
.
c
: Param_Po
l
yhedr
o
n_D
o
main:
o
nly set Facet
s
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-02
Sven Ve
r
doolaege
b
ar
v
inok 0
.
4
1
.
7
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-02
Sven
V
erdoolaege
u
pdate pet to
v
ers
i
on 0
.
11
.
7
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-02
Sven Verdoolae
g
e
up
d
a
t
e isl to
vers
i
o
n
0
.
26
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-20
S
v
en Verdoolaege
add som
e
iscc tests for fixed
p
owers
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-20
Sve
n
Ve
r
dool
a
ege
iscc:
f
ix c
o
mputa
t
ion of (n
e
gative) fixe
d
powers of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-07
Sven Verdoolaege
update
i
sl for
c
hang
e
in coalescing
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Sven V
e
rdoolae
g
e
update
p
et for support for recen
t
versions o
f
c
l
ang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
S
ven Verdool
a
e
g
e
update isl for supp
o
rt for rece
n
t ver
s
ions of
clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven
V
erdoolaege
requ
i
re C
+
+
11
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven
V
erdoo
l
aege
drop support for __gnu_c
x
x::hash
_
m
ap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
repla
c
e obso
l
et
e
AC_TRY_LINK by AC_LINK_IFEL
S
E
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
replace obsole
t
e AC_TRY_COMPIL
E
by AC_COMPILE
_
IFELSE
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
replace obsole
t
e AC_HELP_ST
R
ING
calls
by AS_HE
L
P_STRI
N
G
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
S
v
en Verdoolaeg
e
repl
a
c
e
obsolete
A
C
_PROG_LIBTOOL by LT_INIT
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven
Verdoolaege
drop ev_size
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
drop count_domain
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Ver
d
oolaege
drop colle
c
t_no
n
simple
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sve
n
Verdoolaege
d
rop collect_polytopes
2
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sv
e
n Verdoolaege
drop collect_po
l
yto
p
es
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven
V
erdoolaege
d
rop v
e
rify_lexsmaller te
s
t a
p
p
l
i
c
atio
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verd
o
olaege
drop polytope_lattice_width ap
p
licati
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Ver
d
oolaege
d
rop p
o
lyhedr
o
n_s
a
mple ap
p
lication
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
S
ven Verdo
o
laege
drop poly
t
ope
_
s
c
an application
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoo
l
aege
drop remove
_
redu
n
da
n
t_equalities
a
pp
l
i
c
ation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-20
Sv
e
n Verd
o
olaege
update documen
t
atio
n
to rem
o
va
l
of bar
v
i
n
ok_e
n
umerate_pip_wi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-20
S
v
e
n Ve
r
doolaeg
e
configure
.
ac: drop
A
M_PROG_LEX and AC_P
R
OG
_
YACC calls
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-14
Sven
V
erdoolaege
add an isc
c
weighted counting
tes
t
case with an equality
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-14
Sven Verdo
o
l
a
e
g
e
tes
t
box an
d
bernoulli summation algorit
h
m
s on square_p2
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolaege
a
d
d tes
t
s/ehrhart
_
unio
n
.
README explaini
n
g
or
i
gin of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verd
o
olaege
add tests/e
h
rhart
.
README explaining origin of some
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Ve
r
do
o
laege
add te
s
ts/l
e
xmin
.
R
EADME explaining ori
g
in o
f
some of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven
V
e
r
d
oolaege
te
s
ts/pwqp/hong*
.
pwqp:
m
en
t
ion
contributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
S
v
en Verdoola
e
ge
tests/i
s
cc/leroux: mention origi
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolaege
tests/iscc
/
lat
t
i
c
e_w
i
dth-j
o
n
_*: menti
o
n
c
on
t
ributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolaeg
e
tests/iscc/
c
ount
/
garbervetsky: me
n
tion c
o
ntributo
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven V
e
rdoolaege
tests/iscc/c
o
un
t
/
em
p
t
y
7
: men
t
ion contributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolaege
tests/is
c
c/co
u
nt/
a
ndr
e
as: mention contributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
S
v
en Verdoola
e
ge
t
e
sts/ehrhart_e/**/segh
i
r-*:
m
ention
c
ontri
b
utor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
S
ven V
e
rdoolaege
tests/ehrhart/classen*: mention co
n
tri
b
utor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
S
v
e
n Verdo
o
lae
g
e
convert samp
l
e test to iscc test
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sve
n
V
e
rdoolaege
con
v
ert coun
t
ing tests to iscc tes
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2022-07-31
S
ven Verdoolaege
ma
k
e i
s
l_basic
_
se
t
_
latti
c
e_width
s
tatic
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-24
Sven Ve
r
doolae
g
e
su
m
mat
e
.
c: add missing inc
l
ud
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
S
v
en Verdoolaege
barvinok 0
.
41
.
6
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdo
o
laege
up
d
ate
pet to version
0
.
11
.
6
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
S
v
e
n Verdool
a
e
g
e
up
d
ate i
s
l
t
o
version 0
.
25
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaege
a
l
low sta
t
ic build
i
ng of executables
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Ver
d
oola
e
ge
c
o
nfigure
.
ac: ren
a
me BV_LDFLA
G
S to BV_LIB_LDFLAGS
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdool
a
ege
configure
.
ac
:
drop spuri
o
us space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolae
g
e
update pet for support for r
e
cent versions of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sve
n
V
e
r
doolaege
upda
t
e isl for suppor
t
for recent versions of
c
lang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
man
u
a
l_co
u
nt:
rename "dim" variable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
Verdoolaege
isl
_
m
a
p_apply_pw_qpoly
n
omial: rename "di
m
" variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
ven
V
e
r
doolaege
su
m
ma
t
e
.
c:
pw_q
p
olyno
m
ial_apply: renam
e
"dim
"
var
i
a
b
les
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
V
e
r
d
oolaeg
e
i
s
l_union_set_apply_union
_
p
w_qpolynomial: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
Verdoolaege
summate
.
c
:
p
w_qpolyn
o
mia
l
_apply_set: rename "dim
"
variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
r
d
oolaege
isl_u
n
ion_m
a
p_a
p
ply_union_
p
w_qpoly
n
o
m
ial: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
rdoolaege
isl_union_pw
_
qpol
y
nom
i
al_s
u
m: rena
m
e "dim
"
variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sve
n
Verdoolaeg
e
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 Verdoolaege
isl_
c
onstraints_opt
:
rena
m
e "dim" vari
a
ble to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
rd
o
olaeg
e
isl_polyhe
d
ron_affine_sign: rename "dim" v
a
riable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoo
l
aege
boun
d
.
c: split_on_domain_size: rename "di
m
"
v
ariabl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
ven Verdoolaege
i
s
l_Polyhedron_Re
d
uced_Ba
s
is
:
rena
m
e "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
bar
v
inok_enu
m
erate
.
cc: veri
f
y_isl: rename "dim" var
i
able
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdool
a
ege
isl_union
_
map_card:
r
e
name
"
di
m
"
v
ariab
l
e to
"
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolae
g
e
i
s
l_
u
nio
n
_set_card: rename "dim"
variable to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n
Verdool
a
e
g
e
is
l
_map_card: rena
m
e
"dim"
variab
l
e to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sve
n
Verdoolaege
b
a
rv
i
nok
.
cc:
c
a
rd_as_sum: rename
"di
m
"
v
ariable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
v
en Verdoolae
g
e
b
a
r
v
inok
.
cc: ba
s
ic_map_card: rename "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ve
r
doola
e
ge
isl_union
_
set_lat
t
ice_w
i
dth
:
rename "dim" va
r
iable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sve
n
Verdoolaege
i
s
l_se
t
_lattice_width: r
e
name
"
dim" variabl
e
to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verd
o
olaege
is
l
_
b
a
sic_set_lattic
e
_width: rename "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
ven V
e
rdo
o
lae
g
e
evalue_isl
.
c: rela
t
ion2pwqp: rename "dim" variabl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
evalue
_
isl
.
c
:
extract_base:
rename
"dim" parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
rdoolaege
isl_pw_qpolynomial_from_evalue
:
rena
m
e "
d
im"
p
aram
e
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
isl_qpolyn
o
mia
l
_
f
rom_evalue: ren
a
me "dim"
pa
r
ame
t
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
Ver
d
oola
e
ge
ve
r
ify_options_se
t
_range
_
pwqp
.
c: use isl_pw_q
p
olynomial_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-30
Sve
n
Verdoolaege
extrac
t
out sha
r
ed verify
_
options_set_range_pwqp
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-30
Sven Verdoolaege
barvino
k
_summ
a
te
.
c:
v
erify: fix
mem
o
ry
m
anagement a
n
n
otati
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-24
Sven Verdo
o
laege
evalue
_
isl
.
c:
ad
d
_g
u
arded_qp: drop unused
v
ariable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-24
Sven Verdoo
l
a
ege
barvinok
_
summate
.
c: verify_point: drop unused
v
ar
i
a
b
le
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-03-19
Sven Verdoolaege
doc: upda
t
e g
f
o
r
ge
.
i
nria
.
fr link
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-08-15
S
ven Verdoo
l
aege
barvinok_boun
d
: fix --it
e
rate o
p
ti
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-08-15
Sven Verd
o
olaege
b
ound
.
c: iter
a
te
:
r
e
nam
e
"dim
"
variable to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-07-26
Sven Ver
d
oolaeg
e
update pet
f
o
r more r
e
lax
e
d pet_expr_i
s
_equal index
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sven Ve
r
doo
l
aege
b
arv
i
nok 0
.
41
.
5
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sven
V
erdoolaege
update pet to ve
r
sion 0
.
1
1
.
5
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
S
v
en Verdoo
l
a
ege
update
isl to version 0
.
24
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdo
o
lae
g
e
Makefile
.
am: drop LOCAL_POLYLIB_LA
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sv
e
n Verdo
o
laege
build libisl
.
la before libpet
.
la
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
S
v
e
n
Verdoolae
g
e
update
p
et
for suppor
t
for recent ve
r
sions o
f
c
l
ang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next