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
add isl_space_domain_wrapped_domain
2021-12-26
Sven Ver
d
oolaege
add isl
_
s
pace_dom
a
in_wrappe
d
_domain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-12-18
Sv
e
n Verdool
a
ege
isl_map_s
u
btract
.
c: n
_
non_
r
edunda
n
t: fix typo in
c
omment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-11-27
S
v
e
n
Verdoo
l
aege
r
equire
P
ython 3
.
6
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-10-24
Sven V
e
rdoolaege
isl_schedule_tree_du
p
:
fix memory manage
m
ent annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-10-24
Sven Verdoola
e
ge
isl
_
sche
d
ule_n
o
de
_
du
p
:
fix memory mana
g
eme
n
t annotati
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-10-24
Sven Ve
r
doolaege
i
s
l_spa
c
e_dup: fix m
e
mory
ma
n
agement annot
a
tion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-10-17
S
v
en Verdoo
l
aege
up
d
ate gforge
.
inria
.
fr links
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sve
n
Verd
o
olaeg
e
i
sl_tab_com
p
ute_reduced_basis:
c
uddle else-if
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven Verdoolaege
isl_
s
pace
.
c: name_ok: drop unus
e
d local var
i
able
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven Verdoola
e
ge
i
s
l
_stride
.
c:
set
_
s
t
ride: drop
u
n
u
sed local var
i
able
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven Verdoolaege
isl_sa
m
ple
.
c
:
b
a
s
ic_set_sample:
d
rop unus
e
d
local va
r
iable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven V
e
rdo
o
l
aege
isl_aff_insert_d
i
ms: drop unu
s
ed loc
a
l variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
S
v
en Ve
r
doolaege
isl_aff_drop_dims: drop
u
n
u
s
e
d
l
o
c
al v
a
r
i
able
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven Ver
d
oolaege
pi
p
.
c:
m
ove_parame
t
er
s
: fix
h
armless typo
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-29
Sven Verdoolaege
export isl_aff_get_c
o
n
s
tant_
v
al to templated inter
f
ace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-18
Sve
n
Verdoolaege
doc: ex
p
l
a
in how to build t
h
e foreign language bindings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-18
Sv
e
n
Ve
r
do
o
l
a
ege
d
o
c: cl
a
rif
y
that the --wi
t
h
-gmp-* configure
o
pt
i
o
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-18
Sven Verdoolaeg
e
doc:
e
xplain how
t
o
r
un the tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-15
Sven Verdoolaege
i
s
l_local_sp
a
ce_offset: extract out isl
_
local_space_var_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-15
S
v
en
Verdoolaege
isl_l
o
cal
_
s
pac
e
_o
f
fset: us
e
isl_
l
ocal_space_peek_
s
pace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-29
S
v
en Verdoolaege
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2021-07-29
Sv
e
n
Verdoolaege
is
l
_coalesce
.
c
:
add_
s
elec
t
ed
_
wraps_around_facet: add
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-28
S
ven Verdoolaege
add test for
coalesci
n
g
of rational sets
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-26
Sve
n
Verdoolaege
add e
x
ported i
s
l_set_get_lattice_tile
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-26
S
ven Verdoolaege
isl
_
s
e
t_get_simple_fixed_box
_
hull: e
x
tract out fixed_box_as_map
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-21
Sven Verdoo
l
ae
g
e
isl_s
c
heduler
.
c: fix
t
y
po i
n
comm
e
nt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-21
S
v
e
n
V
e
rd
o
olaege
test_inputs/sc
h
edule/niewang
.
sc: f
i
x
typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-21
Sven Verdoolaege
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2021-07-19
Sven Verdoolaege
is
l
_map_coales
c
e: ha
n
d
le empty facet during wr
a
p
pi
n
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-19
Sven Verdo
o
laege
is
l
_test
.
c
:
test_coalesce_
s
pecial2: extract out test_coalesc
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-19
S
ven V
e
r
dool
a
e
g
e
i
s
l_test
.
c
:
t
e
st_coalesce_special2: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-06
Sv
e
n Verdoolaege
doc
/
S
u
bm
i
ttingPatc
h
e
s: men
t
ion
l
imit on commit message
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-02
Sven Verdoolaege
isl_*_list_read_from_str: support
r
eading
e
mpty
l
ist
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-29
Sven
V
erdoo
l
aege
e
xport
i
sl_map_list
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-29
Sv
e
n Verdoolaege
a
d
d
isl_map
_
list_read_from_
s
tr
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-29
Sv
e
n Verdoolaege
ad
d
exported isl_*_list_
r
ead_
f
rom
_
st
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-28
Sven
V
erdoolaege
privately expose isl_st
r
eam_read_*_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-23
Sven Verdoolaege
add isl_union_map_preimage_rang
e
_multi_aff test
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-23
Sven V
e
r
d
oolaege
move
p
reima
g
e tests to a
new
C+
+
b
a
sed test2 program
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-23
S
v
en Verdoolaege
test
isl_set_pre
i
mage_
m
u
l
ti_aff instead of isl_basi
c
_set_pre
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-22
Sven Verdo
o
laege
doc: a
d
d a note
th
a
t stride detec
t
ion
m
ay not be abl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-29
Sve
n
Ver
d
ool
a
e
ge
drop unused and long dep
r
ecated i
s
l_constraint_set_c
o
efficien
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-25
Sven Verdoolaege
isl_s
e
t
_
substitute:
only allow
set dimensi
o
n
s
ubstitution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-25
Sven Ve
r
doolaege
mark
i
sl_basic_set_
s
ubstitute static
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-25
Sven
V
erdo
o
l
a
e
ge
isl_pw_multi_a
f
f
_subst
i
tute
:
only allow input dimensio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-23
Sven Verdoolae
g
e
isl_vertic
e
s
.
c: fix typos in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-15
Sve
n
Verdoolae
g
e
isl_s
c
hedule_constr
a
ints
_
c
o
m
pute_schedule: detect implicit
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-13
S
v
en
Verdoolaege
add isl
_
mul
t
i_pw_aff_{isa,
a
s}_multi_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-08
Sven
V
erd
o
o
laege
isl_test_python
.
py:
st
o
p r
a
i
sing
strings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-08
S
ven
V
erdoolaege
isl_ast_codegen
.
c
: foreach_iteration: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-25
Sven Verd
o
olaege
i
s
l
0
.
24
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-25
Sv
e
n Verdo
o
lae
g
e
updat
e
AU
T
HORS
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-11
Sven
V
erdoo
l
aege
M
erge b
r
anch 'main
t
'
commit
|
commitdiff
|
tree
2021-04-11
Sven Verdoo
l
aege
isl_basic_set_comp
u
te_v
e
rtices: detect
i
mplicit equality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-11
Sven Verdoolaege
isl_basic_set_compute_ver
t
ices
:
keep track
of original
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-11
Sv
e
n
V
e
r
d
oo
l
ae
g
e
isl_vertices
.
c: lower_dim_vertices: consume inp
u
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-11
S
ven
V
erdoolaege
isl_basic_s
e
t
_
c
o
mpute_vertices: a
d
d s
a
nit
y
check on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
S
v
en V
e
rdoola
e
ge
int
e
rface: pass correct 4th argument to C
o
mpilerInv
o
c
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
Merge bran
c
h
'
m
a
int'
commit
|
commitdiff
|
tree
2021-04-06
S
ven
Verdoolaege
i
sl_basic_
m
ap_s
e
t_to_empty
:
m
od
i
fy
i
npu
t
even if it
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-05
Sven Verdoolaege
dete
c
t
required f
l
a
g
s for b
u
ild compiler
to suppo
r
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-02-07
Sven Verdoola
e
ge
add exported isl_
m
ap_set_{
d
omain,range}_tuple_id c
o
nvenienc
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-02-07
Sv
e
n
Verdoolaege
add isl_pw
_
multi_aff_get_ra
n
ge_tu
p
le_id convenience
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-02-07
Sven Verdoolaege
a
d
d
e
xported is
l
_multi_*_set_range_tuple_id conven
i
ence
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-02-07
Sven Verdoolaege
add exporte
d
is
l
_mu
l
ti_*_{has,get}_ra
n
ge_tuple_id conven
i
enc
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-02-07
S
ven Verdoolaeg
e
add exported isl_map_g
e
t_{domain,range
}
_tuple_id
c
onve
n
ience
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-02-07
Sven Verdool
a
ege
add export
e
d
isl_space
_
g
e
t
_{domain,range
}
_tuple_id
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-10
Sven
Verdool
a
ege
Merge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2021-01-10
Sven Verdoolaege
i
sl_basic_map_al
i
g
n_di
v
s:
d
o n
o
t a
l
ign aga
i
nst modified
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-10
Sven Verdo
o
la
e
ge
merge test_plain
_
unshifte
d
_simple_hull
and
tes
t
_un
s
h
i
f
ted_si
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-10
Sve
n
Verdoolaege
per
f
orm plain_unsh
i
fted
_
simple_hull
tests
in terms
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-05
Sven Verdoo
l
a
e
ge
isl_
p
w
_
qpolyn
o
mial_bo
u
nd:
s
p
eci
a
l case c
o
ns
t
ant poly
n
omials
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-05
Sven Ver
d
oolaege
i
s
l_qpo
l
ynomial_bound_on_
d
o
mai
n
_bernstein:
s
peci
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-05
Sve
n
Ver
d
oolaege
e
x
tra
c
t out sh
a
re
d
i
s
l_qpoly
n
o
mial_cst_bou
n
d
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-05
Sven
Verdo
o
laege
e
x
tract out shared is
l
_bound_add{,_ti
g
ht}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-05
Sven Ver
d
oolaege
isl_qpolynomi
a
l_boun
d
_on
_
d
o
main_bernstein: properly
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-05
Sven Verdoolaege
add minimum
r
e
d
u
ct
i
on parsin
g
test cas
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-05
S
v
e
n Verdoolae
g
e
strea
m
l
i
ne
isl_pw
_
qpolynomial_
b
o
u
nd tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-05
S
v
e
n Verdoola
e
g
e
add isl
_
pw_
q
poly
n
o
m
ial_
f
old_re
a
d
_
from_str
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-05
S
v
en Verdoolae
g
e
isl_s
t
re
a
m_read_obj: handle mi
n
imum red
u
ction
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-04
Sven Verdool
a
ege
consi
d
er reductio
n
s equal as soon as the
y
h
ave the
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-04
S
v
en
V
e
rdoolaege
isl_qp
o
lynom
i
al_fold_
p
lain_is
_
e
q
u
al:
e
xt
r
act out
*_list_pl
a
i
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-31
Sven Verdoolaege
isl_qpol
y
nomial_fold: use isl_qpolynomia
l
_l
i
st
t
o represent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-31
Sven Verdoolaege
isl_qpo
l
ynomial_fold_fold_on_domain:
extract out merge_folds
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-31
S
v
e
n Verdoolaege
add isl_qpo
l
y
nomial_list
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven
V
erdoolaege
i
sl_morph
_
g
et_dom
_
space: ext
r
act out isl_morp
h
_peek_do
m
_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven Ve
r
d
o
o
laege
i
s
l_qpolynomial
_
morph_d
o
main:
u
se isl_qp
o
lynomial_peek_domai
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdoolaege
isl_qpolynomial_
f
old_
m
or
p
h_domain:
u
se isl_qpolyn
o
mial_fold_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven
V
erdoolaege
i
sl_
q
po
l
ynomial_fo
l
d
_get_domai
n
_
s
p
ace:
e
x
t
rac
t
o
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven Ve
r
doo
l
aege
extract out sh
a
red is
l
_qpol
y
n
o
mial_fol
d
_{ta
k
e,restore
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven
V
e
rdoolaege
i
sl_qpo
l
ynomial_fo
l
d_alloc
:
use i
s
l_qpolynom
i
al_get_domain_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-29
Sven
Ve
r
doolaege
isl_qpolynomial
_
fold_plai
n
_
i
s_equal: return isl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-29
Sven
Verd
o
olaege
isl_
q
polynomia
l
_fold_pla
i
n_is_equal: use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-29
Sv
e
n
Verdoolaege
isl_qpol
y
n
o
mia
l
_fol
d
_fold_on
_
domain
:
use
i
sl_b
o
ol for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-29
Sven Verdool
a
ege
isl_q
p
o
l
ynomial_fold_in
v
olves_d
i
m
s: r
e
tur
n
isl
_
bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-29
Sven V
e
rdool
a
ege
isl_qpolynomia
l
_fold_i
n
v
olves
_
dims: use isl_
b
ool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-24
Sven V
e
rd
o
olaege
make isl_
q
polynom
i
al
_
fold
_
invo
l
ves_dims s
t
a
tic
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-24
Sven Verdoolaege
isl_input
.
c: fix typ
o
in comme
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-15
Sven
Verdo
o
laege
update
ima
t
h to version 1
.
31
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-15
Sv
e
n Verdoolaeg
e
isl_test_i
m
ath
.
c
:
drop referen
c
e to
M
P_US
M
AL
L
_MIN
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next