repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
privately export isl_qpolynomial_list_peek
2020-12-31
Sv
e
n Verdoo
l
aege
pri
v
ate
l
y export isl_qp
o
lynomial_list_peek
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-31
Sve
n
Verdoolaege
add
i
s
l
_qpolynomial_list
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven
V
e
rdoolaege
extract out sh
a
red isl_q
p
olynom
i
a
l
_fold_
c
heck_equal
_
s
p
ace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven Ve
r
dool
a
ege
extr
a
ct o
u
t share
d
isl_qpolyno
m
i
a
l
_f
o
ld_check_eq
u
al_type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
S
v
en V
e
rdoo
l
aege
extract out share
d
i
s
l
_
m
orph_check_
a
pplies
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdoolaege
i
sl_morph_
g
et_dom_space:
extract out is
l
_morp
h
_peek_
d
o
m
_
s
pac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
S
v
en Verdoolaege
i
sl_qpolynomia
l
_m
o
r
p
h
_
doma
i
n:
use
isl_qpol
y
nomia
l
_peek_domai
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven
Verdoolaege
isl
_
qpo
l
ynomial_fold
_
m
o
rph_domain: use
i
sl
_
qp
o
lynomial_fold
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven
Verdool
a
eg
e
is
l
_qpolyn
o
mial_fol
d
_get_do
m
ain_spa
c
e: extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdoolaege
extract out shared isl_qpolynomial_fold_{take,restore
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sv
e
n
V
e
r
dool
a
e
ge
isl_qpoly
n
o
m
ia
l
_fo
l
d_morph_doma
i
n:
u
s
e
isl_mor
p
h_get_ra
n
_spac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
S
v
en V
e
r
doolaege
i
s
l_qpolynomial
_
fo
l
d_alloc: use
i
sl_qpolynomial_get_domain_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven Ve
r
doolaege
isl_
q
polynom
i
al_mor
p
h_domain
:
use i
s
l_qpolynomial_get_
c
tx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
S
ven Verdo
o
laege
i
s
l_fold
.
c: qpolynomial_fold_al
l
oc: use isl_spa
c
e_get_c
t
x
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sve
n
Verdoolaege
i
s
l_b
o
u
n
d
.
c: compressed_gu
a
r
d
ed_po
l
y_bo
u
nd:
u
se isl
_
basic
_
se
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-29
S
v
en Verdoolaege
i
s
l_
q
p
olynomial_fold_pl
a
in_is_equal
:
return
i
sl_b
o
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-29
Sven
Verdoolaeg
e
isl_qpol
y
n
omial_fold_plain_i
s
_eq
u
al:
use isl_bool
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-29
Sve
n
Verdoola
e
ge
is
l
_qp
o
l
y
n
omial_fold_fold_on_domai
n
:
use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-29
S
ven Verdoolaeg
e
isl_qpol
y
nomial_fold
_
involves_dims: retu
r
n
isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-29
S
ven Ver
d
o
o
laege
isl_qpolynomial_fold_involves_
d
i
m
s
: use
isl_bool
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-24
Sven Verdoolaege
make isl_qpolynomial_fo
l
d_involves
_
dims static
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-24
Sven Ver
d
oolaege
isl_seq_elim: clarify documentati
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-24
Sven Ve
r
d
o
olaege
isl_input
.
c: fix typo in
c
omment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-19
Michael Kruse
i
s
l
_
mat_left_her
m
ite
:
avoid undefin
e
d nu
l
l
p
oin
t
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-19
Mich
a
el Kruse
isl_mat_alloc: avoid u
n
d
efined
n
u
ll pointer
a
rithmetic
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-15
S
ven V
e
rdoola
e
g
e
upd
a
te imath to versio
n
1
.
31
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-15
Sven Verdoolaege
is
l
_
t
es
t
_imath
.
c
:
d
rop reference t
o
MP_USMALL_MIN
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-11
Sven Verd
o
olaege
r
e
place PolyLib f
o
r
m
at gist tes
t
case by isl format one
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-11
Sven Ve
r
doo
l
aege
AST generati
o
n: che
c
k th
a
t partial sch
e
d
ule of band
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-01
Sve
n
Verdo
o
laege
isl 0
.
23
commit
|
commitdiff
|
tree
2020-11-01
Sven Verdoolaege
add note about isl-0
.
22 requ
i
rin
g
C++11
t
o gener
a
te
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-01
Sven Verdoolaege
update AUTHORS
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-10-30
S
v
en Verdo
o
laege
Merge branch
'maint'
commit
|
commitdiff
|
tree
2020-10-30
Sven
Verd
o
ola
e
ge
isl_tab
.
c:
d
rop_bmap_div: fix
e
rror ha
n
dling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-10-23
S
v
en Verdoolaege
drop
i
sl_m
a
p_
{
l
o
wer,u
p
per}_
b
ound_multi_val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-19
Sven Verdoo
l
a
e
ge
isl_morph_set: use isl_
s
e
t
_
p
r
eima
g
e_mul
t
i
_
a
f
f
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-19
S
v
en
V
erdoola
e
g
e
isl_morph_
b
asic
_
set: use isl_b
a
sic_
s
et_pr
e
image
_
m
u
lt
i
_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-15
Sven
V
erdoolaege
isl_ta
b
_pip
.
c: ali
g
n
_context_div
s
:
o
n
l
y add loc
a
l
variables
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-09
Sven
V
e
rdoolaege
c
he
c
k_singl
e
_ref
e
rence_tem
p
l
.
c
: d
r
op spur
i
ous empt
y
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-09
Sven
Verdoolaege
isl_ber
n
s
tein
.
c
:
dr
o
p
sp
u
rious space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-05
S
ven
Verdoolaege
isl_qp
o
lynomial_
f
old_insert
_
dims: take into account
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-05
Sven
V
er
d
oolae
g
e
isl_
q
polynomial_fold_set
_
dim_name: t
a
ke into accoun
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-03
Sv
e
n Verdoo
l
aege
drop isl_tab_
a
llo
c
ate_
v
ar
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-03
Sven Verdoolaege
i
sl_fold
.
c: move up
domain_type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-01
Sven V
e
r
doolae
g
e
drop isl_space_get_full_domain_hash
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-01
S
v
e
n
V
erdo
o
l
aege
test
i
s
l_space_get_tuple_
d
omain_hash
i
nstead of isl_space
_
ge
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-30
Sven Verdoolaege
isl_un
i
on_*_extract_*: ignore parameters
when looking
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-30
Sv
e
n
V
erdool
a
ege
isl_un
i
o
n_*: ignore parameter
s
when looking up ent
r
ies
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-30
Sven Verdo
o
la
e
g
e
rename isl_
u
nion
_
*
_ha
s
_sa
m
e_domain_sp
a
ce to has_sam
e
_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-30
Sven Verdoolaege
isl_unio
n
_*:
u
se tuple
hash in
h
a
sh table
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-30
S
v
en Verdoolaege
a
d
d
isl_space_get_
t
uple_domain_hash
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-30
Sven Verdoolaege
isl_union_*_eval:
e
x
t
ract out isl_
u
nion
_
*_foreach_on
_
do
m
a
i
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-30
S
v
en Verdo
o
l
a
e
g
e
isl_pw_qpo
l
ynomial_bound: handle differences in domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
Sv
e
n Ve
r
d
o
olaege
i
sl_union_map_is
_
subset:
drop p
a
r
ameter alignm
e
nt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
Sven Verdoolaege
isl_union_map_ex
t
ract_map: ignor
e
parameter
s
w
h
en looking
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
Sven Verdoolaege
isl_un
i
o
n
_templ
.
c: *_match_domain_e
n
try:
i
gnore parameters
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
S
v
en
Verdoolaege
isl_
u
nion_
m
ap: ignore param
e
t
e
rs when look
i
ng up entries
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
Sven
V
e
r
do
o
laege
add i
s
l_
m
ap_has
_
space_
t
upl
e
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
S
ve
n
Verdoolaeg
e
i
s
l_union_map: use tupl
e
hash
in hash ta
b
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
S
v
en V
e
rdoolaege
t
e
st_inputs
/
codegen/pldi
2
0
12
/
figure8
_
b
.
in: specify
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
Sven Ve
r
doolaege
isl_un
i
on_map_find
_
ent
r
y: check that
i
nput has single
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
Sven Verdo
o
laege
e
x
tract ou
t
s
hared i
s
l_union
_
{map,set}
_
f
ind_entry
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
Sven Verdo
o
laeg
e
re
n
ame
i
s
l
_space_
g
et_{
d
o
m
ain
_
,}hash t
o
isl_space_get_full_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
Sven Verdoolaege
isl_space_get_ha
s
h: documen
t
re
l
ation with isl_s
p
ace_get_d
o
m
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-23
Sv
e
n Verdo
o
laege
i
s
l_u
n
io
n
_m
a
p
.
c:
has_spac
e
: use isl
_
map_
h
as_spac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-23
Sven Verdo
o
laege
add i
s
l_ma
p
_has_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-23
Sven Verdoolaege
generalize isl_loc
a
l_spa
c
e_has_spa
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-16
Sven Ver
d
oolaege
isl_union_mul
t
i
.
c
:
isl
_
union_*_
h
as_space: use i
s
l_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-16
Sv
e
n Verdoo
l
aege
isl
_
u
n
i
o
n
_
m
a
p
.
c: is_disjoint_entry:
use isl
_
m
a
p_peek_s
p
a
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-16
Sven V
e
rdoolaege
is
l
_union_map
.
c: is_
s
ubset_entry: use is
l
_m
a
p_peek_
s
p
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-16
Sv
e
n Ver
d
oolaege
isl_union_map
.
c
: match_bin
_
entry: use is
l
_
map_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-16
Sven Verdoo
l
aege
isl_u
n
ion_map_add
_
map:
u
se isl_ma
p
_peek_s
p
ace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-16
Sven V
e
rdoo
l
aege
i
sl_u
n
ion_*_eval:
us
e
isl_point
_
peek_
s
pace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-16
S
v
en Verdoo
l
a
e
ge
isl_local
_
s
p
ace_get_has
h
: u
s
e is
l
_local
_
s
p
ace_peek
_
space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-16
Sv
e
n Verdoolaege
isl_uni
o
n
_
*_eval: use
isl_union_*_g
e
t_ctx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-15
Sven Verdoo
l
aege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2020-08-11
Sven Verdoolaeg
e
isl_tab_dup
:
properly
i
niti
a
lize cone field from original
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-09
Sven Ve
r
doolaege
isl_map_range: implement i
n
terms of isl
_
map
_
pro
j
ec
t
_
out
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-09
S
ven Verdoolaege
isl_map_domain:
i
m
plement i
n
term
s
of
i
sl_ma
p
_project_o
u
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-05
Sv
e
n V
e
rdoolaege
is
l
_test
.
c: befor
e
_
f
o
r: explici
t
l
y chec
k
that
d
ep
t
h
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-27
Sven Verdoolaege
isl_basic_map_
d
r
o
p_redundant_
d
ivs_ineq: avoid po
s
sible
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-27
Sven
Verdoolaege
is
l
_
basic_map_drop_
r
edundant_divs_ineq: ex
t
r
a
ct out
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-26
Sven Verd
o
olaege
isl_multi_union_pw
_
aff_from_multi_pw_a
f
f
:
avoid risk
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-26
Sven Verdo
o
laege
isl_aff_d
i
v: handle d
i
vision
b
y
zero
commit
|
commitdiff
|
tree
2020-07-26
Sven
V
erdoola
e
ge
i
sl_aff_div: drop
redundant
t
est
commit
|
commitdiff
|
tree
2020-07-26
Sv
e
n Verdo
o
laege
i
sl_aff_div: use isl_bool for local
v
ariable
commit
|
commitdiff
|
tree
2020-07-26
Sven Verdoolaege
isl_aff_nan
_
on_doma
i
n: extract out isl_aff_set_nan
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-23
Sven Verdoolae
g
e
isl_ast
_
ex
p
r_from_aff: special case te
s
t for even value
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-23
Sv
e
n
V
erdo
o
la
e
ge
add i
s
l_val
_
eq_si
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-20
Sven
V
e
rdoolaege
isl_map_simpl
i
fy
.
c: re
d
uced_using_equal
i
ties: pas
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-20
Sven Verdool
a
ege
i
sl_map_simplify
.
c: comp
u
te
_
eliminat
i
o
n
_index
:
p
ass
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-16
Sven Ve
r
d
o
olaege
is
l
_a
f
f
.
c: fix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-16
Sven
Ve
r
doolaege
do
c
: fix typ
o
in atomic AST gen
e
ration option documenta
t
ion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-16
Sven Verdoolaege
doc: fix typo in isl_val_cmp_
s
i
do
c
umenta
t
ion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-09
Sv
e
n
Verdo
o
l
aege
extract-interface: improve detection of c
l
angEdit
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-09
Sven Verdoolae
g
e
ex
t
ract-interfa
c
e: perform library check u
s
ing (b
u
i
ld
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-01
Sven
Verdoolaege
isl_pw_*_fore
a
ch_lift
e
d
_piece:
u
s
e
isl_se
t
_invo
l
ves_locals
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-01
Sven Verdoolae
g
e
isl
_
*_in
v
olves_locals: use stric
t
er
d
efinition
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-06-25
Sve
n
V
erdoolaege
do
c
:
p
roperly
d
ocument is
l
_
space_can_uncurry
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-06-21
Sve
n
Verdoolaege
is
l
_unio
n
_
map_conta
i
n
s: ig
n
ore par
a
meters i
n
spac
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next