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
isl_morph_basic_set: use isl_basic_set_preimage_multi_aff
2020-09-19
Sven
Verdoola
e
g
e
i
sl_m
o
r
p
h_basic_set: use is
l
_
b
asic_set_p
r
eimag
e
_mu
l
t
i
_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-15
Sven Verdoolaege
is
l
_tab_pip
.
c: align_conte
x
t
_
divs: only add l
o
cal variables
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-09
S
v
en Ve
r
doolaeg
e
check_single_referenc
e
_
templ
.
c: dro
p
spurious
empty
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-09
Sven Verdoolaege
isl_b
e
rnstein
.
c: drop spurious sp
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-03
Sven Verdool
a
eg
e
drop isl_tab_allocate_
v
a
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-01
Sven Verdoolaege
drop
isl_space_get_f
u
l
l
_
doma
i
n_h
a
s
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-01
S
ven Ve
r
doola
e
g
e
test isl
_
space_get_tuple_domain_hash instead
of isl_
s
pace_ge
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-30
Sve
n
Verdo
o
l
a
eg
e
i
s
l_union_*_extract_*: ignore parameters wh
e
n looking
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-30
Sven Verdoo
l
aege
i
sl_union_*: igno
r
e paramet
e
rs
w
hen lookin
g
up entries
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-30
S
v
en Verdoolaege
rena
m
e isl_union
_
*_has
_
same_
d
omain
_
space
to has
_
same_dom
a
in_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-30
Sven Verdoolaege
isl_u
n
ion
_
*:
use tuple h
a
sh in has
h
table
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-30
Sv
e
n Verdoolaege
a
d
d isl_space
_
get_tuple_domai
n
_hash
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-30
S
v
en Verdoolaege
isl
_
u
nio
n
_*_eval: e
x
tract
out isl_union_*
_
foreach_on_d
o
main
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
Sven Ve
r
doo
l
aege
isl_union_
m
ap_is
_
subset: d
r
op parameter alignment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
S
v
en Verdoola
e
g
e
isl_u
n
ion_map_
e
xtract
_
map: ignor
e
parame
t
ers wh
e
n looking
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
Sven
Verdoolaege
isl_unio
n
_templ
.
c:
*_match_
d
om
a
in_entry
:
ig
n
ore parameters
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
Sven Verdoo
l
aege
isl_union_m
a
p
:
ignore par
a
me
t
ers whe
n
l
o
o
k
ing
u
p entries
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
Sven Verdool
a
ege
a
dd isl_map_has_spa
c
e_tu
p
les
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
S
v
en Verdoolaege
isl_union_map
:
use
t
uple has
h
in
h
ash table
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
Sven Verd
o
olaege
tes
t
_inputs/codegen
/
pldi2012/f
i
g
u
r
e8_b
.
in: specif
y
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
S
v
en Ve
r
dool
a
e
g
e
is
l
_union_map_find_entry: check
t
hat
input has single
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
Sven
V
erdo
o
la
e
g
e
ex
t
ract out shared is
l
_un
i
on_{map,set}_find_entry
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
Sven V
e
rdoolaege
r
ename isl_
s
p
a
ce_
g
et_{domai
n
_,}hash to
isl_space_get_f
u
l
l_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-25
Sv
e
n Verd
o
olae
g
e
isl_spac
e
_get_hash
:
doc
u
ment rel
a
tion wi
t
h isl
_
s
p
ace_
g
et_dom
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-23
Sven Verdoolaeg
e
isl_unio
n
_map
.
c: has_s
p
ace: use is
l
_map
_
has_spac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-23
Sven Verdoolaege
add isl_map_has_spac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-23
Sven Verdoolaege
g
e
neralize isl_local_spac
e
_
h
as_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-16
S
v
e
n
V
e
rdoolaege
isl_union_multi
.
c: isl
_
u
n
ion_*_ha
s
_space:
use isl_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-16
Sven Verdoolaeg
e
is
l
_u
n
ion_map
.
c
:
i
s
_
disjo
i
n
t
_en
t
r
y: use isl
_
map_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-16
Sven Verd
o
olaege
isl_union_map
.
c: i
s
_su
b
set_entry
:
use isl_map_pee
k
_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
.
c: m
a
tch
_
bin_entry: u
s
e
isl_
m
ap_peek
_
space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-16
Sve
n
Verdoolaege
is
l
_un
i
on_map_add_map:
use isl_map_
p
eek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-16
Sven
Verdoolaege
i
sl_union_*_eval: use isl_
p
o
int_pe
e
k
_
space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-16
Sven Verdoolaege
isl_local_space_get_hash: use isl_local_space
_
peek_sp
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-16
Sven Verdoolaege
isl_union_*_eval: use isl_u
n
i
o
n_*_ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-15
Sven Verdoolaege
M
e
r
g
e
br
a
nc
h
'ma
i
nt'
commit
|
commitdiff
|
tree
2020-08-11
Sven
V
erdoolaege
isl_ta
b
_dup: pr
o
pe
r
ly in
i
ti
a
lize cone field from original
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-09
Sv
e
n Verdoo
l
aege
isl_map_range: implement in ter
m
s of
isl_
m
ap_
p
r
o
ject_out
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-09
Sven V
e
r
doolaege
isl_m
a
p_doma
i
n: implement in
terms
of isl_map_p
r
oject_out
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-08-05
Sven Verd
o
olaege
is
l
_
t
e
s
t
.
c: bef
o
re_for:
explicitly c
h
eck
tha
t
d
epth
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-27
Sven V
e
rdoolaege
isl_basic
_
map_d
r
op_redundant_divs_ine
q
:
a
voi
d
possible
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-27
Sven Verdoolaege
isl_b
a
sic_map_dr
o
p_redundant_divs_ineq: extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-26
Sven Verdoola
e
ge
is
l
_multi_union_
p
w_aff_from_mu
l
ti_pw_aff: avoid risk
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-26
Sven V
e
rdoolae
g
e
isl_aff_div: handle division
b
y
z
e
ro
commit
|
commitdiff
|
tree
2020-07-26
Sv
e
n V
e
r
d
o
olaege
isl_aff
_
div: drop red
u
nda
n
t test
commit
|
commitdiff
|
tree
2020-07-26
Sven Ve
r
do
o
laege
is
l
_aff_d
i
v: use isl_bool
f
or l
o
cal var
i
able
commit
|
commitdiff
|
tree
2020-07-26
Sven Ver
d
oola
e
ge
isl_aff_nan
_
on_domain: e
x
tract
o
ut is
l
_aff_set
_
n
a
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-23
Sven Ver
d
oola
e
ge
i
s
l_ast_ex
p
r_from_a
f
f: spec
i
al c
a
se t
e
st for
even
v
alue
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-23
Sv
e
n Verdoolaege
add isl_val_eq_si
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-20
Sven
Verd
o
olaeg
e
i
s
l_map_si
m
pli
f
y
.
c: reduced_using_equalities: pass
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-20
Sven Verdoolaege
isl_map_simplify
.
c
: comp
u
t
e_elimi
n
atio
n
_
index: pass
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-16
Sven Verd
o
ol
a
ege
isl_aff
.
c: f
i
x typo
i
n
c
omment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-16
Sven Verdoolae
g
e
doc:
fix typo in atom
i
c
A
ST generatio
n
option documentat
i
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-16
Sven Verd
o
o
l
ae
g
e
doc: fi
x
typo in isl_val_cmp_
s
i doc
u
m
e
ntation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-09
Sven Verdoolaeg
e
extra
c
t-
i
nterface:
improve detect
i
on of clangEdit
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-09
Sven
Verdo
o
laege
extract-interface:
p
erform library check u
s
ing (build
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-01
Sven
V
erdoolae
g
e
is
l
_pw
_
*_fore
a
ch_lifted_piece: use isl_set_invol
v
es_local
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-01
S
v
en V
e
rdoolaege
i
s
l_*_in
v
olves_locals:
u
se strict
e
r definition
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-06-25
Sven Verdoolaege
doc: properly doc
u
ment isl_space_can_
u
ncu
r
ry
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-06-21
S
ven Verdoolaege
isl_union_map_contain
s
: i
g
nore param
e
ters in space
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-06-13
Sven
V
erd
o
olaege
bu
i
l
d
e
xtra
c
t_interface using build compiler
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-06-13
Sven Verdoolaege
m4/ax
_
pr
o
g_cc_
f
or_build
.
m4: do not override host comp
i
ler
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-06-13
S
v
en Verdoolaege
add m4/ax_prog_{cc
,
cxx}
_
f
or_
b
u
ild
.
m4
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-06-13
Sven Verdool
a
ege
disa
b
le shared libr
a
ries when build
i
ng extrac
t
_interface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-06-13
Sven
Verdoolaege
c
o
nfigure interface s
u
bdirec
t
ory separately
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-06-13
Sv
e
n Verdoolaege
Mak
e
fi
l
e
.
am: ad
d
m
i
ssing $(EXEEXT)
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-06-13
Sven Ver
d
oolaege
stop passin
g
arguments to subdir confi
g
ures
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-06-04
S
ven Verdool
a
eg
e
ex
p
ort isl_*_list_drop
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-06-04
M
ihe
e
r Vaidya
Fix small
typo in `Memory management`
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-05-31
Sve
n
Ve
r
doolaege
ext
r
ac
t
-i
n
t
erface
:
link aga
i
nst single l
i
bclang-cp
p
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-05-28
Sven Verdoolaeg
e
isl_as
t
_codegen
.
c: lis
t
_constant
_
i
s
_negative: use isl_pw_a
f
f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-05-28
Sven
Verdoo
l
aege
add
isl_
p
w_*_ever
y
_piec
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-05-28
Sven
V
e
r
doolaege
add isl_*_list_ever
y
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-05-28
Sven Verdoolaege
isl_
a
s
t
_build_options_involve_de
p
th
:
use is
l
_u
n
ion_map_e
v
ery_map
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-05-22
Sven V
e
r
doolaege
e
xtract_interf
a
ce: do not take into a
c
count sysroot
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-05-17
Sven Ver
d
oola
e
g
e
i
s
l_bas
i
c
_map_make_strides_ex
p
licit:
move
d
own
isl_
b
a
sic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-05-04
Sven Ver
d
oolaege
extract out shar
e
d
i
sl_basic_m
a
p
_applies_rang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdoolaege
is
l
_basi
c
_map_ap
p
ly
_
range: extract out isl_basic_map_check_a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-05-04
Sven
V
e
rdoolaeg
e
i
sl_m
a
p
.
c: extract
out
s
hared isl_basic_map_s
e
t_tuple
_
is_equal
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdool
a
ege
i
s
l_map
.
c: extr
a
c
t o
u
t s
h
a
r
ed isl_map_s
e
t
_tuple_is_equal
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdoolaege
extract
o
ut sha
r
ed isl_
m
ap_
s
p
a
ce_t
u
ple_is_equa
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-05-04
Sven Ve
r
doolaege
extrac
t
out shared i
s
l_m
a
p_
t
uple_is_equal
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-05-04
S
ven Verdoola
e
ge
isl_map_delt
a
s:
use isl_map_check_transformation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdoolaege
e
x
t
r
act out s
h
a
r
e
d isl_basic_map_check_transformation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdoolaege
e
xtra
c
t
out shared is
l
_bas
i
c_
m
ap_is_
t
ransform
a
tion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-05-04
Sven Ve
r
doolaege
rena
m
e isl_map_check_
e
qua
l
_tuples to isl_m
a
p_check_transform
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-05-01
Sven Verdoola
e
ge
isl_code
g
e
n: skip explicit pr
i
n
t
i
n
g of ou
t
er
m
o
s
t blo
c
k
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-25
S
v
en Verdoola
e
ge
isl_map_co
a
lesce: eliminate
u
nit divs
f
rom wrappi
n
g
.
.
.
commit
|
commitdiff
|
tree
2020-04-25
Sven
Verdoolaege
add isl_basic_map
_
eliminate_pure_unit
_
d
ivs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-25
Sven V
e
rdoolaege
isl_map_sim
p
lify
.
c: eliminate_unit_divs: allow selection
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-25
Sven
Verdo
o
l
a
ege
isl_map_si
m
plify
.
c
:
eliminate_unit_divs:
e
xtra
c
t out
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-25
Sve
n
Ver
d
oola
e
ge
isl_map_sim
p
lify
.
c: eliminate_unit_divs: only set
progr
e
ss
.
.
.
commit
|
commitdiff
|
tree
2020-04-25
Sven Verdoolaege
isl_map_simplify
.
c: fi
x
typos in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-12
Sve
n
Ver
d
oolaege
set sysroot if clang
version use
d
f
or
b
indings gene
r
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-12
Sven
V
erd
o
olaege
interface/gen
e
rat
o
r
.
h: decla
r
e functio
n
call
operator
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-12
Sven
Ver
d
oolaege
isl_t
e
st_
c
pp
.
cc: undefine assert
before (re)defining it
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sv
e
n Verdoolaege
polytope_sc
a
n
.
c: i
s
l_basic_set_
s
amples: add m
e
m
or
y
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
p
o
lyhedr
o
n_minimize
.
c: v
e
c
_
ror:
add mem
o
r
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verd
o
olaeg
e
polyhedron_minimize
.
c: isl_vec_lin_to_aff: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven V
e
r
dool
a
ege
isl_tab
.
c:
t
ab_mat_produ
c
t:
add memory
manage
m
ent a
n
notations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next