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
update m4/ax_create_stdint_h.m4
2022-06-11
Sv
e
n Verdoolaege
update
m
4/ax_create_
s
td
i
nt_h
.
m
4
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-11
S
ven Verdoo
l
aege
replace obsolete AC_PR
O
G_LI
B
TOOL
by LT_INIT
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-11
Sven Verdoolaege
replace obsolete AC_TRY_
C
O
M
PILE
by AC_COMPIL
E
_IFELSE
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-11
Sven V
e
rdoolaege
replace obs
o
lete AC_
E
R
ROR
c
alls by AC_MSG_ERR
O
R
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-11
S
v
en Verdoolae
g
e
Merg
e
branch
'ma
i
nt'
commit
|
commitdiff
|
tree
2022-06-11
Sven
Verdo
o
l
aege
isl_mul
t
i_*_reset
_
domain_space: handle
N
ULL input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-11
Sven Verdo
o
laege
isl_pw_*_exploit
_
equalities
_
and_remo
v
e_if_empty: ha
n
dle
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-08
Sven Verdo
o
laege
M
erg
e
branch 'ma
i
n
t'
commit
|
commitdiff
|
tree
2022-04-30
Sv
e
n Verdoo
l
aege
inc
l
ud
e
/isl
/
polynomial_
t
ype
.
h
:
add missing incl
u
d
es
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-03-31
S
ven
V
erdoolaege
Merge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2022-03-31
S
v
en Verd
o
olaege
properl
y
fix
isl_pw_*_gi
s
t_
p
arams
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-02-27
S
v
e
n
V
e
rdoola
e
ge
add isl_pw_aff_gist_p
a
rams test
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-02-27
Sven
V
er
d
oolaege
export isl_*_aff
_
gist_
p
ar
a
ms
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-02-27
Sven Verdoolaege
M
e
r
ge
b
r
a
nch 'maint'
commit
|
commitdiff
|
tree
2022-02-27
Sven
Verdoolaeg
e
fix isl_
p
w_*_gis
t
_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-31
Sv
e
n Ve
r
d
oolaege
e
xtract
out incremental
s
cheduler to isl_scheduler_c
l
uster
i
ng
.
*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven
V
erdoolaege
isl_
s
cheduler
.
c:
r
e
name
compute_sched
u
le
_
wcc
_
clustering
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Ve
r
doolaege
isl_scheduler
.
c: rename c
o
mp
u
te
_
schedule_wcc
_
band
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
S
v
e
n
Verdo
o
laege
i
sl_scheduler
.
c: re
n
a
me c
o
mpute
_
schedu
l
e_fi
n
ish_ba
n
d
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoo
l
a
e
ge
isl
_
s
cheduler
.
c: rename edge_scc_ex
a
ctly to isl_sched_
e
dge_s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sve
n
Verdoo
l
a
ege
i
s
l_sc
h
eduler
.
c: rename
e
x
tr
a
ct
_
su
b
_
graph t
o
isl_sched_graph
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
S
ven Verdoolaege
isl_sc
h
eduler
.
c: rename compute_ma
x
v
ar to
isl_sche
d
_graph_co
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
S
v
en Verdoolaege
isl_schedul
e
r
.
c
: rename extract_sccs t
o
isl
_
sched_
g
raph_extr
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verd
o
olaege
i
s
l_sch
e
dul
e
r
.
c:
r
e
na
m
e
n
o
d
e
_extract_partial_s
c
he
d
ule_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolaege
isl_scheduler
.
c: rename
node_upda
t
e_vmap to
i
s
l_
s
ch
e
d_no
d
e
_
u
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
S
v
en
V
erdo
o
la
e
ge
is
l
_sc
h
edul
e
r
.
c: rename
detect_ccs to
isl_sched_gra
p
h_detect_ccs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven
V
erdoolaege
isl_s
c
hedu
l
er
.
c: rename gra
p
h_init
to isl_sched_gr
a
p
h
_init
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
S
ven Verd
o
olaeg
e
isl_
s
c
h
eduler
.
c: ren
a
me gr
a
ph_free to i
s
l_sche
d
_graph_free
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
S
ven Verdoolaeg
e
isl_schedul
e
r
.
c: re
n
ame
g
r
aph_has
_
validi
t
y_edge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolaege
isl_scheduler
.
c: rename is
_
node to isl_sched_
g
raph_is_node
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdo
o
laege
i
s
l_sche
d
uler
.
c: rename gra
p
h
_
find_node to is
l
_sc
h
ed
_
graph_f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolaege
is
l
_s
c
heduler
.
c: rename
i
s_conditional_valid
i
ty
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolaege
isl_scheduler
.
c: r
e
name is_condition to isl_sched_edge_is_co
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolaege
isl_scheduler
.
c: renam
e
i
s
_proximity
t
o
i
sl
_
sched_
e
d
g
e_is_pr
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolae
g
e
i
s
l_sch
e
du
l
er
.
c: re
n
ame is_ty
p
e to i
s
l
_s
c
h
e
d
_edge_has_t
y
pe
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verd
o
o
la
e
ge
i
sl_sch
e
dule
r
.
c
: r
e
name n
o
de_scc_exactly to is
l
_sched_node_s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
S
ven Verdoo
l
aege
extract o
u
t
isl_schedul
e
_node_sequence_splice_c
h
ildren
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven
V
e
r
doolaege
isl_sched
u
le_
n
ode
.
c: extract o
u
t shared check_is_sequence
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sv
e
n
Verd
o
olaege
extract out shared isl
_
schedu
l
e_node_grandparent
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolaege
extract out shared
i
s
l
_
schedu
l
e_node_
g
randch
i
ld
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sve
n
Verdoolaege
i
s
l_schedule_nod
e
.
c:
is_dis
j
o
int_e
x
tensi
o
n: use
i
sl_sch
e
dule
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolaege
isl_schedule_n
o
d
e
.
c: is_disjoint_
e
xtension: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolae
g
e
isl_s
c
h
e
dule_node
.
c: is_disjoint
_
exten
s
ion: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sv
e
n
Ve
r
doo
l
a
e
ge
isl_scheduler
.
c:
a
djust_maxvar_to_slack: return isl_size
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoola
e
ge
is
l
_scheduler
.
c: c
o
mpu
t
e_maxvar: retur
n
is
l
_st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolaeg
e
isl_schedu
l
e
r
.
c: node_
u
pdate_vm
a
p:
ret
u
rn isl_st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Ver
d
oolaege
include/is
l
/schedule_node
.
h
: add missing incl
u
de
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven V
e
r
d
oolaege
isl_ta
b
.
h
: add miss
i
ng
i
nclude
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
S
ven
Verdoolae
g
e
pip
.
c: remove spurious include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-26
Sven Ver
d
o
o
laeg
e
add e
x
ported isl_u
n
ion_map_inter
s
ect_range_wrapped_domain
_
un
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-26
Sven
V
erdoolaege
add ex
p
o
r
t
e
d
i
sl_union_map_intersec
t
_domain_
w
rapped
_
domain_u
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-26
Sven Verdoolae
g
e
add e
x
p
orte
d
isl
_
m
a
p
_i
n
tersec
t
_range_wra
p
p
e
d_doma
i
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-26
S
ven Verdoolae
g
e
add e
x
port
e
d i
s
l
_
map_intersect_domain_wrapped_domain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-26
S
ven
V
erdoolaege
add isl
_
space_range_wrapped_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-26
Sven Ver
d
oolaeg
e
add isl_space_range_wra
p
ped_domain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-26
Sven Verdoolaege
add
i
sl_space
_
dom
a
in_wrapped_
r
ang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-26
Sven
V
e
rdoolae
g
e
ad
d
i
sl_space_domain_wra
p
ped_domain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-18
Sven
Ver
d
oolae
g
e
i
s
l_map
_
subtra
c
t
.
c:
n
_no
n
_redundant: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-11-27
Sven
V
erd
o
olaege
requ
i
r
e Python 3
.
6
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-10-24
Sven Verdoolaege
isl_sche
d
u
le_tree_dup:
f
i
x
me
m
ory management annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-10-24
Sven
V
e
r
doo
l
aege
isl_s
c
hedule_
n
o
d
e_dup: fix memory management ann
o
tation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-10-24
Sve
n
Verdoolae
g
e
isl_space_dup: fix me
m
ory mana
g
em
e
nt
a
nnotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-10-17
Sven
V
erdoolaege
update gforge
.
inria
.
fr link
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven V
e
rdo
o
laege
isl_
t
ab
_
co
m
pute_r
e
d
u
ce
d
_
b
asis: cuddle e
l
se-if
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven Verdoo
l
aege
i
s
l_spa
c
e
.
c: nam
e
_ok: drop un
u
sed
l
oca
l
variab
l
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven
V
erd
o
olaege
isl_str
i
de
.
c: s
e
t_st
r
ide: drop unused loc
a
l variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven Verdoolaeg
e
isl_sample
.
c: basic_set_sampl
e
: drop unused local
vari
a
bl
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sve
n
Verdo
o
l
aege
isl_aff_
i
n
s
ert
_
dims: drop unused
l
ocal varia
b
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven Verdoolaege
is
l
_
aff_dr
o
p_dims: drop unused local varia
b
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven Ve
r
dool
a
e
ge
pi
p
.
c:
m
o
ve_parame
t
e
r
s
:
f
i
x
harm
l
ess ty
p
o
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-29
Sven Ver
d
oolaege
expo
r
t isl_aff_get_constant_val to templated interface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-18
Sven Ver
d
oolaege
doc: explai
n
how to build the fo
r
eign langu
a
g
e
b
ind
i
ngs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-18
Sven Verdoolaege
doc:
clar
i
f
y
that
the --with-gmp-
*
configure options
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-18
Sven Verdoolaege
doc:
e
xplain ho
w
t
o
run t
h
e tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-15
Sv
e
n Ve
r
doolaege
isl
_
l
o
cal_space_offset:
extract out isl_local_space_var
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-15
Sven Verdoolaege
isl_lo
c
al_space
_
of
f
set: use isl_lo
c
a
l_s
p
ace_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-29
Sven Verdool
a
ege
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2021-07-29
Sven Ver
d
oolaege
isl_coalesc
e
.
c: add_selected_wraps_aroun
d
_face
t
: add
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-28
Sven Verdoolaeg
e
add tes
t
for c
o
alescing o
f
rational se
t
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-26
Sv
e
n Verd
o
o
laege
add
e
xp
o
r
ted isl
_
set_get_
l
att
i
ce_tile
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-26
Sven
V
er
d
oolaege
isl_set_get_simple_fixed_box_hull: extr
a
ct ou
t
fixed_bo
x
_a
s
_
map
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-21
Sven Verdoolae
g
e
isl_sc
h
e
dule
r
.
c: fix typo i
n
comme
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-21
S
ven Ver
d
oo
l
aege
te
s
t_inputs/sc
h
e
dule/ni
e
wa
n
g
.
sc: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-21
S
v
e
n
Verdoolae
g
e
Merge
b
r
anch
'maint
'
commit
|
commitdiff
|
tree
2021-07-19
S
ve
n
Verdool
a
ege
i
s
l_
m
ap_coales
c
e: handle empty facet durin
g
w
rapping
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-19
S
ven
V
erdoolaege
i
sl_test
.
c: t
e
st_
c
oalesce_s
p
ecial2: extract out test_coal
e
sc
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-19
S
v
en Verdoolaege
isl_te
s
t
.
c: test_
c
o
ale
s
ce
_
special2:
r
eturn isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-06
Sve
n
Verdoolaege
d
o
c/SubmittingPatches:
mention limit on
c
o
mmit
m
essage
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-02
Sven Verdoolaege
isl_*_list_r
e
ad_
f
r
o
m
_str: support reading empty
l
ist
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-29
Sven Verdoolaege
export
i
sl_map_list
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-29
Sven Verdoolaege
add isl_map_
l
ist
_
rea
d
_from
_
str
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-29
Sven
V
e
r
doolaeg
e
add exporte
d
isl_*_l
i
st_read_from_
s
t
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-28
S
ven Verdoola
e
ge
privately ex
p
ose
i
s
l_
s
tream_r
e
a
d
_*_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-23
Sven V
e
rd
o
olaege
add i
s
l_union_map_preimage_range_mu
l
ti
_
aff
t
est
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-23
Sven
Verdool
a
ege
move preimage tests to a new C++ base
d
test2 program
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-23
Sven
Ve
r
doolaeg
e
te
s
t isl_set_preimage_mul
t
i
_aff inst
e
ad
o
f
isl_b
a
sic
_
set_pre
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-22
Sven Verdoolaege
doc: add a n
o
te that s
t
ride detection
m
ay not
be able
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-29
Sven Verdoolaege
d
r
op unused
and long deprecated isl_constraint_set_coef
f
icien
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-25
Sven Ve
r
doolaege
isl_set_
s
ubstitute
:
only allow set
d
imen
s
ion subst
i
tution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-25
Sven
Verdoola
e
ge
m
ark isl_bas
i
c_set_su
b
st
i
tute static
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next