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
test_inputs/codegen/separate2.in: fix typo in comment
2022-07-31
Sven Verd
o
ol
a
ege
isl_
a
s
t_b
u
ild_expr
.
c
: is_non_neg_after_stealing: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-31
S
v
e
n Verd
o
o
laege
isl_ast_build_exp
r
.
c: try_ext
r
act_mod: r
e
turn i
s
l_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-31
Sv
e
n Verdool
a
ege
is
l
_ast_build_expr
.
c: ext
r
act_nonneg_
m
od: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-31
S
ven Verdoolaege
i
s
l_ast_bu
i
ld_expr
.
c:
e
xtract_mod: return
i
s
l
_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-31
Sven
V
e
r
d
o
olae
g
e
i
sl_ast_build_expr
.
c
: extrac
t
_term_and_mod: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-23
Sven Ve
r
doolaege
isl_coalesce
.
c: ta
b
_ins
e
rt_divs:
fix
e
rror
h
an
d
ling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-09
Sven Ve
r
doolae
g
e
in
c
re
m
ental schedu
l
er:
d
ec
o
mpose top
o
logical
sort of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-09
Sven Ver
d
oolaeg
e
isl_sched_graph_extra
c
t_scc
s
: extract
out
isl_sched_graph_ex
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-09
Sven Verdoolaege
add i
s
l_has
h
_table_first
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven
V
e
r
do
o
l
a
eg
e
isl 0
.
2
5
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaege
doc: upd
a
te latest relea
s
e
o
f clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
S
v
en V
e
rdo
o
laeg
e
u
p
date AUTHORS
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-25
Sven Verdool
a
ege
interface: update to m
o
ve of setLangD
e
faults method
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-25
Sven Verdoolaege
i
n
t
e
rfac
e
/template_cpp
.
c
c
: total_params
:
c
hange getN
u
mPara
m
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-25
Sven
Verdo
o
laeg
e
add test for
i
sl_
s
et_from_m
u
lti_pw_aff/isl_pw_multi_aff_as_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-12
S
v
en Verdoolaege
m4/ax_pro
g
_
cc_
f
or_
b
u
i
ld
.
m4: work
a
round change
i
n autoconf
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-11
Sven
Verdoolaege
update m4/ax_prog_cc_for
_
build
.
m4
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-11
Sven Verdoola
e
g
e
update compiler fla
g
s macros
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-11
S
v
e
n Verd
o
olaege
update m4/a
x
_
gcc
_
warn_unused_r
e
sult
.
m
4
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-11
Sven V
e
rdoo
l
aege
update m4/ax_create_stdint_h
.
m4
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-11
S
ve
n
V
e
rdoolaege
re
p
lace obsolete
A
C_PR
O
G_LIBTOOL by LT_INIT
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-11
Sv
e
n Verdoolaege
re
p
la
c
e ob
s
olete AC_
T
RY_COMPILE by AC_COMP
I
L
E
_IFELSE
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-11
Sven Verdoolaege
r
e
place obsolete AC_
E
RROR calls by AC_MS
G
_
ERROR
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-11
Sv
e
n Ver
d
oolaege
Merg
e
b
ranch 'maint'
commit
|
commitdiff
|
tree
2022-06-11
Sven Verd
o
olaege
isl_m
u
l
t
i_*_reset_domain_space: handle NULL input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-11
S
ven
V
erdoolaege
isl_pw_*
_
exploit_equalities_and
_
remove_if_empty:
h
andle
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-08
S
v
en Verdoolaege
Merge b
r
anch 'mai
n
t'
commit
|
commitdiff
|
tree
2022-04-30
Sven Verdoolaege
include/
i
sl/pol
y
nomi
a
l
_type
.
h
: add missing includes
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-03-31
Sven
Ver
d
oolaege
M
er
g
e branch 'maint'
commit
|
commitdiff
|
tree
2022-03-31
Sven Verdo
o
lae
g
e
p
roper
l
y fix isl_
p
w_*_gist_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-02-27
Sven Ve
r
doolaeg
e
add
i
sl_pw_a
f
f_gist_params test
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-02-27
Sven Verdoolaege
e
xport isl_*
_
a
f
f_gist_p
a
ram
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-02-27
Sven V
e
rdoolaege
Merge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2022-02-27
Sven Verdoo
l
a
e
ge
fix isl_pw_*_gist_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-01-08
Basil
e
Clement
i
sl_{set,ma
p
}_from_multi_pw
_
aff: take into a
c
c
ount
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-31
Sven Ve
r
d
oolaege
extr
a
ct
o
u
t incremental schedul
e
r to isl_sched
u
ler
_
clustering
.
*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolaege
is
l
_sche
d
uler
.
c: r
e
name
c
o
m
pute
_
s
c
hedule_
w
cc_cluster
i
ng
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolaege
isl_scheduler
.
c
: renam
e
compute_schedule_w
c
c_ban
d
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolaege
isl_scheduler
.
c: re
n
ame c
o
mpute_schedule_fi
n
ish_band
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolaege
is
l
_scheduler
.
c: rename
edge_s
c
c
_
exactly t
o
isl_sched_edge_s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolaege
is
l
_scheduler
.
c: rename
e
x
t
rac
t
_sub_graph to isl_sch
e
d_graph
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sv
e
n Verdoolaege
i
sl_schedul
e
r
.
c: rename compute_maxv
a
r to isl_sched_grap
h
_co
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sv
e
n V
e
r
doolaege
isl_s
c
heduler
.
c: r
e
n
a
me extract_sccs
t
o isl_sch
e
d
_
g
r
aph_extr
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven
V
erdoolaege
i
s
l_
s
ch
e
duler
.
c: rename no
d
e_e
x
trac
t
_partial_
s
chedu
l
e_multi_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sve
n
Ve
r
doolaege
isl_scheduler
.
c: renam
e
node_update_
v
map to isl_sched_
n
o
d
e_u
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoola
e
ge
isl_sch
e
d
ule
r
.
c
:
rename de
t
ec
t
_ccs to isl_sc
h
ed_graph_detect_ccs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
S
v
en V
e
r
d
oolaege
isl_sch
e
dul
e
r
.
c
:
rename gr
a
ph
_
init to isl_sched_graph_init
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
S
v
en
V
e
rdoolaege
is
l
_sche
d
uler
.
c: r
e
name graph_free to isl
_
sch
e
d_gra
p
h_free
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolaege
isl_schedule
r
.
c
:
rename gr
a
ph_has
_
v
a
lidity_edge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoola
e
ge
isl_
s
cheduler
.
c: rena
m
e
is_
n
ode
t
o isl_sc
h
e
d
_graph_i
s
_
n
o
d
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven
V
e
rdool
a
ege
isl_s
c
hed
u
le
r
.
c: r
e
name graph_find_no
d
e t
o
i
s
l
_sched_graph_f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdo
o
laege
isl_scheduler
.
c: rename
is_conditional
_
validity
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
S
v
en Ve
r
doolaege
isl_sc
h
eduler
.
c:
r
ename is_
c
ondition to i
s
l_sch
e
d_edg
e
_is_co
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sve
n
Verdoolaege
isl_scheduler
.
c: rename is_proximity t
o
isl_s
c
hed_edge_
i
s_pr
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
S
v
en Verdoo
l
ae
g
e
isl_sc
h
eduler
.
c: rename
i
s_type to isl_sched_edge_has_type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolaeg
e
isl_
s
che
d
u
l
er
.
c: re
n
ame node_scc_exactly
t
o isl_sc
h
ed_node_s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
S
v
en
V
erdoo
l
aege
extract out isl_schedule_node_se
q
u
e
nce_splice
_
children
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sv
e
n Verdoolaege
isl_schedul
e
_no
d
e
.
c: extract out
s
ha
r
e
d chec
k
_i
s
_sequence
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolaege
ext
r
act out shared is
l
_s
c
h
edule_node
_
gr
a
ndparent
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven
V
erdool
a
ege
extract
out shared isl_schedule_
n
ode_grandchild
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sv
e
n Verdool
a
ege
isl_schedule_node
.
c
: is_d
i
sjoint_extension: use isl_
s
ch
e
d
u
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sve
n
V
erdoolae
g
e
isl_s
c
hedule
_
node
.
c: is
_
disjoint_
e
xte
n
sion: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sv
e
n Verdoolaege
isl_schedule_
n
o
d
e
.
c: i
s
_disjoi
n
t_exte
n
sion: use isl_bo
o
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolaege
isl_schedul
e
r
.
c: adj
u
s
t_
m
axvar_to_slack:
retu
r
n isl_size
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sve
n
Ver
d
oo
l
aege
i
s
l_sched
u
ler
.
c: compu
t
e_maxvar: return
i
s
l
_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Ve
r
doo
l
aege
isl_scheduler
.
c: node_updat
e
_vmap:
retu
r
n isl_st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verd
o
olaege
include
/
is
l
/schedul
e
_node
.
h: add missing
i
ncl
u
d
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoola
e
ge
isl_t
a
b
.
h: a
d
d
missing inc
l
ude
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-30
Sven Verdoolaege
pi
p
.
c:
rem
o
ve spurious include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-26
Sven Verdoola
e
ge
a
d
d
e
x
ported is
l
_union_
m
ap_inter
s
ect_range_wrapp
e
d
_
d
o
m
a
in_un
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-26
Sven Verdoolaege
ad
d
ex
p
orted isl_union_
m
ap_int
e
r
s
ect_domain_wrapped_domain_u
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-26
Sven Verdoolaege
add exported
isl_map_in
t
ersect
_
range_wrapped
_
d
omai
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-26
S
ve
n
Ve
r
dool
a
ege
add expo
r
ted isl_ma
p
_intersect_domain_wrapped_domain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-26
Sven Ver
d
oolaege
a
dd isl_space_range_wrapped
_
r
a
nge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-26
S
ven Verd
o
olaege
add isl
_
s
p
a
ce_ra
n
ge_wrapped
_
dom
a
in
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-26
Sven V
e
rdoolaege
add isl_spac
e
_domain
_
wrapped_r
a
nge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-26
Sv
e
n Verdoolaege
add isl_space_doma
i
n_w
r
apped_domain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-20
S
v
en Ver
d
oolaege
isl_basic_map_plain_cmp:
s
pecifica
l
l
y handle un
k
nown
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-18
Sv
e
n
Verd
o
olaeg
e
is
l
_map_subtract
.
c: n
_
non_redundant: fix typo in
co
m
ment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-11-27
Sve
n
V
erdoolaege
require Python 3
.
6
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-10-24
Sven V
e
rdoola
e
g
e
isl_schedule
_
tree_dup: fix memory man
a
gement
annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-10-24
Sven Verdo
o
la
e
ge
isl_schedul
e
_node_dup: fix m
e
mory m
a
nagement annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-10-24
Sven Verdoolaege
isl_space_d
u
p: fix me
m
ory management annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-10-17
Sven Verdoolae
g
e
update gforge
.
inria
.
fr lin
k
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
S
ven
Verdoolaege
isl_tab_c
o
mput
e
_re
d
uced_basis: cud
d
le else-if
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven Verdoolaege
i
sl_s
p
ace
.
c
: name_ok
:
drop unuse
d
local varia
b
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sve
n
Verdoolaege
isl_stride
.
c
: set_stride: drop unuse
d
local va
r
iable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven Verdoolaege
isl_sample
.
c: basic_set_sample: drop unused local va
r
iable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven Verd
o
olaege
isl_aff
_
inse
r
t_d
i
m
s: drop
u
nused local variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven Verdoolae
g
e
isl_aff
_
drop
_
dim
s
: drop unused l
o
cal variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven Verdool
a
ege
pip
.
c: m
o
ve_pa
r
a
m
eter
s
: f
i
x
h
armles
s
typo
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-31
Sv
e
n
V
er
d
oolaege
unexpose is
l
_basic_set_s
a
mple_bounded
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-31
Sven Verdoolae
g
e
isl_
l
p
.
c:
m
ake i
s
l_tab_solve_
l
p static
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-29
S
ven Verdoolaege
e
xport isl
_
af
f
_get_co
n
stant_val to tem
p
lated interface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-18
Sven Verdoolaege
doc: e
x
plain h
o
w to build the foreign language
b
indings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-18
Sven V
e
r
d
oo
l
aege
d
oc: c
l
arify
t
hat
t
h
e
-
-with-gmp
-
*
c
onfigure options
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-18
Sven Verdoola
e
ge
doc:
ex
p
l
a
in how
to run the tes
t
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-02
Sven V
e
rdoolaege
isl_bas
i
c_se
t
_copy: implement in ter
m
s of
i
sl_basic_
m
ap_copy
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-29
Sven Verd
o
olae
g
e
M
e
r
ge
br
a
nch 'maint'
commit
|
commitdiff
|
tree
2021-07-29
Sven Verdoolaege
isl_coalesce
.
c
:
a
d
d_selected_wraps_around_facet: add
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next