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.41.6
2022-07-02
Sven Verdo
o
laege
b
arvino
k
0
.
41
.
6
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verd
o
o
laege
update pet
to
v
ers
i
o
n
0
.
11
.
6
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
S
ve
n
Verdoolaege
update isl to version
0
.
25
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaege
a
llow sta
t
ic bu
i
l
ding of executabl
e
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Ve
r
doolaege
c
onfig
u
re
.
ac: rename BV_LDFLAGS to BV_LIB_LDFLAGS
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Ver
d
oolaege
configure
.
ac: drop
spurious space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verd
o
ol
a
ege
upd
a
te pe
t
for support for
recent versions of
c
lan
g
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
S
v
e
n Verd
o
ol
a
ege
upd
a
te
isl for support
for
r
ecent
v
e
rsions
o
f cl
a
ng
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
V
erdoolaeg
e
m
anual_count: r
e
name "dim" variable
t
o "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
ven Verdo
o
laege
isl_map_apply_pw_qpolynomial: rename "
d
im" variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
rdoolaege
sum
m
ate
.
c: p
w
_qpo
l
yn
o
m
i
al_apply: re
n
ame "dim" v
a
r
ia
b
l
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
v
e
n Verdoolaege
isl_union_
s
e
t_apply_
u
nion_pw_qpol
y
nomi
a
l:
r
e
n
a
m
e "d
i
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
V
erdoolaege
s
u
m
m
a
te
.
c
: pw_qpol
y
nomia
l
_apply_set:
r
ename "dim" variabl
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaeg
e
isl
_
union_map_a
p
pl
y
_union_pw_qpolyn
o
mia
l
: rename "di
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n V
e
rdoolaege
isl_uni
o
n_pw_
q
p
oly
n
om
i
al_sum:
rename "dim" varia
b
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
Polyhe
d
ro
n
_
S
am
p
le: ren
a
me "dim
"
v
a
riable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
v
en
V
erdoola
e
ge
isl_constraints_opt: re
n
am
e
"dim" var
i
a
b
le to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
r
dool
a
ege
isl_polyhedron
_
affine_sign
:
rena
m
e "dim"
v
ariable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
b
ound
.
c: sp
l
it_on_d
o
main
_
size:
rename "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verd
o
o
l
aege
isl_Polyhedron_R
e
duced_Basis:
r
ename "dim" va
r
iable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
r
do
o
la
e
g
e
barvin
o
k_enumera
t
e
.
cc: veri
f
y_isl: rename "dim" vari
a
ble
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
V
erdoolaege
isl_union_map_card: rename
"
dim" variable to "
s
pa
c
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n
Verdool
a
ege
isl_union_set_card:
ren
a
m
e
"d
i
m
" variable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sve
n
Ve
r
d
o
o
laege
isl
_
map_card: rename "
d
im" variable
to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ver
d
ool
a
ege
barvinok
.
cc:
c
ard
_
as
_
sum: rename "
d
im"
variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdo
o
laege
barvin
o
k
.
c
c: basi
c
_map
_
card: rename "dim" var
i
a
b
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
isl_unio
n
_set_lattice_wi
d
th:
r
e
nam
e
"d
i
m" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
isl_set_lat
t
ice_width: rename "dim
"
variable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verd
o
ola
e
ge
i
sl_basic_
s
et_lattice_width:
re
n
a
m
e
"
dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdool
a
ege
evalue_isl
.
c
:
relation2pwqp: rename "di
m
" var
i
able
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verd
o
olaege
evalue_isl
.
c: extract_base
:
rename "di
m
" paramet
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
isl_p
w
_qpoly
n
o
m
ial_f
r
o
m
_evalue: rename "dim
"
pa
r
a
m
e
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verd
o
olaege
isl_qpolynom
i
al_from_
e
value: rename "dim" paramete
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sve
n
Verdoolaege
ve
r
ify_
o
ptio
n
s_
s
e
t_r
a
nge_pw
q
p
.
c: use isl_pw
_
qpolynomial_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-30
Sven Verdool
a
ege
e
x
tract
o
u
t
shared ve
r
ify_optio
n
s_s
e
t_range_
p
w
q
p
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-30
S
ven
V
erdoo
l
aege
barvino
k
_
s
ummate
.
c
:
verify: fix memory management ann
o
ta
t
ion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-24
S
ve
n
Verdoo
l
aege
evalue_isl
.
c: add_gua
r
ded_qp: drop u
n
used variable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-24
Sve
n
V
erd
o
o
l
aege
b
a
rvinok_summate
.
c: verify_point: drop
u
n
u
se
d
vari
a
b
l
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-03-19
Sven V
e
rdoolae
g
e
doc: up
d
ate gf
o
rge
.
inria
.
fr link
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-08-15
S
v
e
n
Verdoolaege
barvinok_bound: fix -
-
iterate option
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-08-15
Sven Verdoolaege
boun
d
.
c: iterate: 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
erdoola
e
ge
u
pd
a
te pet for
more relaxed pet_expr_is_equal index
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sve
n
Verdoolaege
barvinok
0
.
41
.
5
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sven Verdoolaege
updat
e
pet to version 0
.
11
.
5
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sven Ver
d
oolaege
upda
t
e isl
t
o versio
n
0
.
24
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
Makefile
.
am
:
drop LOCAL_
P
OL
Y
LIB_LA
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdo
o
laege
bu
i
ld libisl
.
la
be
f
ore lib
p
e
t
.
l
a
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
S
v
en Verd
o
olaege
update pet for supp
o
r
t fo
r
recent versions of
c
lang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
update isl for support
fo
r
re
c
ent versions of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-12-07
Sven Ve
r
doo
l
aege
remove
_
al
l
_equali
t
ies: als
o
rem
o
ve
p
arameter eq
u
alit
i
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-12-07
S
v
en Verdool
a
ege
remove_all
_
equaliti
e
s: copy context whenever main
p
olyhedro
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-11-19
S
ven Verdoo
l
aege
barvinok 0
.
41
.
4
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-11-13
Sv
e
n V
e
rdoolaeg
e
update pet t
o
v
e
rsion 0
.
11
.
4
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-11-01
Sven Verdoolaege
upda
t
e
isl
to
v
ersio
n
0
.
23
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-09-03
S
v
en
V
e
rdoolaege
upd
a
te pet for support
f
or rec
e
nt
ve
r
sions of c
l
ang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-09-03
Sven Verdoolaege
update isl
f
o
r
suppor
t
for recent
versio
n
s
o
f clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-11-13
Sven Verdoola
e
ge
barvino
k
0
.
4
1
.
3
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-11-13
Sv
e
n Verdoolaege
u
pdate pet to vers
i
on 0
.
11
.
3
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2019-11-13
Sven Ver
d
o
o
laeg
e
u
p
dat
e
isl to versio
n
0
.
22
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2019-08-24
Sven Verdoolae
g
e
up
d
ate pet for su
p
por
t
for recent ve
r
si
o
ns of cl
a
ng
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-08-24
Sven Verdoolaege
update
i
sl
f
o
r
s
u
p
p
ort
for re
c
ent ve
r
s
i
ons of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-08-24
S
ven Verdoolae
g
e
update isl
for c
h
a
n
ge in
o
utp
u
t of is
l
_has
h
_table_find
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-08-24
S
ve
n
Ver
d
ool
a
eg
e
configure
.
a
c
: fix botched up assi
g
nme
n
t of p
r
evious
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-07-09
Sven Verd
o
olaeg
e
c
o
n
figure
.
ac:
override --w
i
t
h
-isl opti
o
n
for submodules
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-05-11
Sven Verdool
a
ege
try and include compiler/linker o
p
t
i
ons needed for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-05-11
Sven Verdo
o
laeg
e
use
A
C
_PROG_
S
ED in
s
t
ead of directly ca
l
ling sed
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-03-28
Sven
Verdoolaege
barvinok 0
.
41
.
2
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-03-28
Sven Verd
o
o
l
aege
update pet
t
o
v
ersion
0
.
11
.
2
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-03-10
Sven V
e
rdoolaege
upd
a
t
e
isl
t
o v
e
rsion
0
.
21
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-01-26
Sven Ver
d
oolaege
up
d
ate
p
et
f
o
r support fo
r
recent
versions
o
f cla
n
g
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-01-26
Sven Verd
o
olaege
update isl fo
r
suppor
t
for
r
e
cen
t
versions of c
l
ang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-01-26
Sve
n
V
erdoo
l
a
e
g
e
update pet f
o
r
m
o
v
e
o
f
i
s
l
's
interface/all
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-19
Sven
V
e
rdo
o
laege
dro
p
EXT
R
A
_
{te
s
t,barvino
k
}_
{
summate,bound}_
S
OURCES
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-07-31
Sven Verdoo
l
aeg
e
update i
s
l
f
or move of in
t
erfa
c
e/all
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-07-30
Sven Verdoolaege
barvin
o
k 0
.
41
.
1
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-07-30
Sv
e
n Verd
o
olaeg
e
update pet t
o
v
e
rsion 0
.
1
1
.
1
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-07-30
S
ven Verdoolaege
update isl to version 0
.
2
0
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-07-17
Sv
e
n Verdoolaege
up
d
ate
p
e
t
for direct header
i
nclus
i
ons
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-05-27
Sve
n
Verdoo
l
aege
onl
y
build isl
.
p
y
a
n
d its
depe
n
dencies whe
n
e
x
trac
t
_interfa
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verdoolaege
la
t
tice_wi
d
th
.
c: directl
y
include required headers
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-04-25
Sven Ve
r
do
o
laeg
e
isl_
p
aram_util
.
c: dire
c
tl
y
include req
u
ir
e
d
headers
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-04-25
Sven
Verdoolaege
barvinok_e
.
c
c
:
dire
c
tly include req
u
ired h
e
ad
e
rs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-04-17
Sven Ve
r
dool
a
ege
a
d
d LICENSE to distrib
u
tio
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-16
Sven Verdoolaege
AX_S
U
BMODULE: add missing invocatio
n
o
f tes
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-06
Sven Verdoolaege
barvinok
0
.
4
1
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
Sven
Ver
d
oolaege
updat
e
pet to version 0
.
11
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
S
ven Verdoolaege
up
d
ate i
s
l to
version 0
.
19
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoolaege
add m
i
ssing CLEA
N
F
I
LES
a
n
d
DISTCLEA
N
FILES
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
Sven
V
e
r
doolaege
d
o
n
o
t r
e
move polymake/
a
u
togen
.
sh from distribution
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
Sven V
e
r
doolaege
a
d
d
do
c
/glosstex
.
ist to distribut
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
Sven V
e
rdoolaeg
e
AX_SUBMOD
U
LE: fix typo in t
e
st invocation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
S
v
en Verdoolaege
in
t
erface: make langu
a
ge bin
d
ing
s
depe
n
d on all
r
elevant
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-16
Sven V
e
rdoolaege
update pe
t
for
s
uppor
t
for recent clangs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-16
S
ven Verdoolaege
update isl for support for recent
c
langs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-13
Sven Ve
r
doolaege
iscc: drop
s
upport for
a
pplying "
c
odegen
"
to a se
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-02
Sven
Verdoola
e
ge
distribut
e
both ver
s
ions of
i
nterface/isl
.
py
.
top
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-02
Sven Verdoolaege
AX_SUBMO
D
UL
E
: only check submodul
e
status in git re
p
o
s
i
tory
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoola
e
g
e
interfa
c
e/isl
.
p
y
.
top
.
*
: explicitly
c
ast s
e
l
f
.
ptr of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoolaege
u
pdate pet for
f
ixes in
p
ython bindings
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven
Verdoo
l
aeg
e
update isl
f
o
r fixes in
python bindings
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next