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_tab_compute_reduced_basis: cuddle else-if
2021-09-24
Sven Ve
r
d
o
olaege
isl_tab_compu
t
e_r
e
du
c
ed_basis: cud
d
le else-if
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
S
v
en Verdoolaeg
e
isl_space
.
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 Verdoolaege
isl_strid
e
.
c:
s
et_stri
d
e:
drop u
n
used local va
r
i
a
b
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven Verdoolaege
isl_sampl
e
.
c: basic
_
set_s
a
m
ple
:
drop unused loc
a
l
variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven Verdoolaege
i
s
l_aff_insert_dims:
d
r
o
p unused local var
i
able
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven Verd
o
olaege
i
sl
_
aff_dr
o
p_d
i
ms: drop unuse
d
l
o
cal varia
b
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-09-24
Sven Ver
d
oolaege
pi
p
.
c: move_pa
r
am
e
ters: fix harmless typo
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-31
S
ven
V
erdoolaege
unexpose isl_basic_se
t
_sam
p
l
e
_bounded
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-31
Sven V
e
r
dool
a
e
ge
isl_lp
.
c: make isl_tab_solve_lp st
a
tic
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-29
Sven Verdoolaege
exp
o
rt isl_af
f
_get_co
n
stant_val
t
o
templ
a
ted i
n
t
erface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-18
Sven
V
erdoolaege
doc:
e
x
p
lain how
to
build the f
o
r
eign l
a
nguage bindings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-18
Sven V
e
rdoolaege
doc
:
cl
a
rif
y
that the --wi
t
h-gmp-* configure o
p
tions
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-18
Sven
Verdoolaege
doc: ex
p
lain how
to run
t
h
e tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-02
Sven Verdoola
e
ge
isl_b
a
sic_
s
et_copy: imple
m
ent i
n
term
s
of isl_basic
_
map_copy
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-29
Sven
V
e
rdoolae
g
e
Merge br
a
n
c
h 'maint'
commit
|
commitdiff
|
tree
2021-07-29
S
v
en Verd
o
olaege
isl_co
a
lesc
e
.
c: a
d
d
_
selected_w
r
aps
_
around_facet:
a
d
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-28
Sven Verdool
a
ege
add tes
t
for
c
o
a
lescing
of rational sets
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-26
S
ven Verdoolaege
add exported isl_set_get_latti
c
e_
t
il
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-26
Sven Verdo
o
l
aege
isl_set_get_simp
l
e_fixed
_
box_hull:
extrac
t
out fixe
d
_box_as_ma
p
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-21
R
i
c
cardo Mo
r
i
exp
o
r
t isl_set_n_bas
i
c_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-21
Riccardo M
o
ri
export isl_map_n_basic_ma
p
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-21
Sven Verdoolaege
isl_
s
ch
e
du
l
er
.
c
: fix ty
p
o in comm
e
nt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-21
Sven Ve
r
d
o
olaeg
e
test_in
p
uts/
s
chedule
/
niewang
.
sc
:
fi
x
typo in
c
omme
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-21
S
ven Verd
o
olaege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2021-07-19
Sv
e
n Ve
r
doolaege
isl_map_coalesce: handle em
p
ty facet du
r
ing wrapping
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-19
Sven V
e
rdoolaege
isl_te
s
t
.
c: test_coalesce_special2: extra
c
t
out test_coalesc
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-19
Sve
n
Verdoolaege
i
sl_test
.
c: test_coa
l
esce_spe
c
ial
2
:
r
eturn
i
s
l
_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-08
Ric
c
ardo Mori
expo
r
t isl_union_set_g
e
t
_
set_list
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-08
R
i
ccardo Mori
ex
p
ort isl_set_list
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-08
R
i
c
cardo M
o
ri
add is
l
_set_list
_
read_from_str
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-06
Sven
V
erdoolaege
doc/
S
u
bmittingPatches: mentio
n
limit on commit messa
g
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-02
Sven
V
e
rdo
o
l
aege
isl_*_li
s
t_read
_
from_
s
tr: su
p
port
r
eadi
n
g empty list
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-29
Sven Verdoolaege
exp
o
r
t i
s
l
_union_map_get_map_list
commit
|
commitdiff
|
tree
2021-06-29
Sv
e
n Verdoolaege
ex
p
o
r
t isl
_
map_list
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-29
Sve
n
Verdoo
l
aege
add isl_map_list_read_fro
m
_st
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-29
Sve
n
Verdoolaege
export is
l
_
uni
o
n
_pw_multi_aff_get_
p
w
_multi_aff_list
commit
|
commitdiff
|
tree
2021-06-29
Sven Ve
r
doolaege
add
e
xpor
t
ed isl_*_list
_
read_fro
m
_str
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-28
Sven Ve
r
doolae
g
e
privately expose isl_stream_read_*_
a
ff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-23
Sven Ve
r
doo
l
aege
a
d
d i
s
l
_
union_m
a
p
_pre
i
mage_rang
e
_mu
l
ti
_
aff test
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-23
Sven Ve
r
d
oolaege
m
ov
e
preima
g
e tests to a new C
+
+
b
ased test2
p
rog
r
am
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-23
S
v
en
V
e
r
doolaege
t
e
st isl_set_preimage_
m
ulti_aff instead of
is
l
_basic_se
t
_
p
re
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-22
Sven Verd
o
ol
a
ege
a
dd exported isl_map_
g
et_range_
l
attice_tile
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-22
S
v
en Verd
o
olaege
doc: add a no
t
e that stride
d
e
tecti
o
n m
a
y
n
ot be able
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-10
Sve
n
Verd
o
olae
g
e
isl_map
.
c: extract out shared
c
heck_conv
e
x
_
no
_
loca
l
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-10
Sven V
e
rdoolae
g
e
isl_map
.
c
: extract
out shared is_
c
onve
x
_no_
l
ocals
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-10
S
ven
Ve
r
doolaege
isl_map
.
c
:
m
ap_i
n
ter
s
ect_add_cons
t
ra
i
n
t: fix sanit
y
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-30
S
ven Verdoolaege
add isl_polyhe
d
ron_re
m
ove_r
e
du
n
dant
_
equalitie
s
t
est
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-29
Sv
e
n
V
erdoolaege
d
rop unused and long deprecated isl_con
s
traint_set_coefficient
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-25
S
v
en Verd
o
olaege
isl_set_substitute: impl
e
m
e
nt in
terms o
f
isl_
s
e
t
_preimage_m
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-25
S
v
en Ve
r
d
o
olaeg
e
isl_se
t
_substitute: only
allow set dimen
s
ion sub
s
t
i
tution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-25
Sven
V
erdoolae
g
e
mar
k
isl_basic_set_substitute static
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-25
Sve
n
Verdoolaege
is
l
_
pw_
m
ulti_aff
_
su
b
stitute:
only allo
w
input
dimension
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-23
Sven Verdoolaege
i
sl_ver
t
ices
.
c:
f
ix typo
s
in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-15
Sven Verdoolaege
isl_s
c
hedule_
c
onstraints_compute_sc
h
edule: de
t
ect i
m
plicit
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-13
Sven Verdoolaege
add isl_mul
t
i_pw
_
af
f
_{isa,as}_multi_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-08
Sven Ve
r
doolaege
isl_test_python
.
py: sto
p
r
ais
i
ng stri
n
g
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-05
Matt Wh
i
tl
o
ck
conf
i
gure
.
ac: avoid bash-specific '==' com
p
arison
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-25
Sven Verd
o
olaege
isl 0
.
24
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-25
Sven
V
erdoo
l
aege
update AUTHORS
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-11
Sv
e
n V
e
rdoolaege
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2021-04-11
Sven V
e
rdool
a
ege
isl
_
b
asic_set_compute_vertices: detect implicit equality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-11
Sve
n
Ver
d
oolaege
isl_basic_set
_
com
p
u
te_verti
c
es: ke
e
p
t
rack of
o
riginal
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-11
S
v
en Verdoolaege
isl_vertices
.
c: lower_di
m
_vertices
:
consume
i
nput
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-11
Sven Verdoolaeg
e
isl_basic_set_c
o
mpute_vertices: add sanity check on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-11
Sven Verdoolaege
isl_basic_set_multiplicative_ca
l
l: d
e
tect redun
d
ant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
introduce t
e
mplated C++
i
nterface
commit
|
commitdiff
|
tree
2021-04-10
Sve
n
Verdoolae
g
e
interface: mak
e
drop_suffix
a
v
a
il
a
ble a
s
g
enerator
.
.
.
commit
|
commitdiff
|
tree
2021-04-10
Sv
e
n
V
erdo
o
laege
class
_
printe
r
::print_metho
d
_
h
eade
r
: pass argument position
.
.
.
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolae
g
e
class_p
r
inter::pr
i
nt_method_
g
ro
u
p: make printing
o
f
.
.
.
commit
|
commitdiff
|
tree
2021-04-10
S
ve
n
Verdoolaege
interface: Conver
s
i
o
nMethod: e
x
tract
o
u
t
NoCopyMethod
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
c
l
a
ss_printer::print_method_he
a
der: virtualize cl
a
ss
.
.
.
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdo
o
lae
g
e
cpp_type_printer::i
s
l_type: virt
u
alize (namespa
c
e)
.
.
.
commit
|
commitdiff
|
tree
2021-04-10
Sv
e
n Ver
d
oola
e
ge
move
c
pp_generator to interface/c
p
p
.
*
commit
|
commitdiff
|
tree
2021-04-10
S
v
en
Ve
r
doolaege
En
u
mMetho
d
::print_par
a
m_use:
u
se output stream opera
t
or
commit
|
commitdiff
|
tree
2021-04-10
Sven V
e
rdo
o
laege
Method::
p
rint_par
a
m
_
use
:
use o
u
tput stream o
p
e
rator
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
cpp_generator::class_
p
rinter::print_method_header:
.
.
.
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
plain_c
p
p_generator: extract out cpp_ge
n
e
r
ator
commit
|
commitdiff
|
tree
2021-04-10
Sv
e
n Verdo
o
lae
g
e
plai
n
_cpp_ge
n
e
rator:
c
o
p
y
methods inherit
e
d
f
rom supe
r
c
lasse
.
.
.
commit
|
commitdiff
|
tree
2021-04-10
Sven
V
erdoo
l
aege
class_prin
t
e
r::pr
i
nt_method_hea
d
er:
u
se
t
ype printer
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
pla
i
n
_
c
p
p_gen
e
rator::class_
p
rint
e
r: extract out plain_p
r
inte
r
commit
|
commitdiff
|
tree
2021-04-10
S
v
e
n Verd
o
olaege
rename cp
p
_generator to
pl
a
i
n_cpp
_
generator
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdool
a
ege
rename
i
nterfac
e
/cpp
.
*
to inte
r
face
/
pl
a
in_cpp
.
*
commit
|
commitdiff
|
tree
2021-04-10
S
v
en V
e
rdoolaeg
e
class_printe
r
::print_method_he
a
der: ext
r
a
c
t out print_full_m
.
.
.
commit
|
commitdiff
|
tree
2021-04-10
S
v
en Verdoo
l
aege
cpp_generato
r
::
p
aram
2
cpp:
e
x
trac
t
ou
t
cpp_type
_
print
e
r
commit
|
commitdiff
|
tree
2021-04-10
Sve
n
Verdoolae
g
e
interface: pass correct 4t
h
argumen
t
to
C
ompilerInv
o
cati
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
M
e
rge b
r
anch '
m
aint'
commit
|
commitdiff
|
tree
2021-04-06
S
ven
V
erdoolaege
isl_basi
c
_map_set_to_empty
:
modify input even
if
i
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-05
Sven Verdoolaeg
e
d
etect requir
e
d f
l
ag
s
f
o
r
b
u
ild co
m
piler to support
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-03-04
Chielo New
c
tle
python interface
:
make
rethrow Pytho
n
3 c
o
m
p
a
t
ible
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-18
Sven Verdoolaege
r
e
-exp
o
rt i
s
l_pw_
m
u
lti_af
f
_range_map as isl_sp
a
ce_
r
ange_map_
.
.
.
commit
|
commitdiff
|
tree
2021-01-18
Sven Verdoo
l
aege
re-export isl
_
pw_mul
t
i_a
f
f_domain_map as isl_space_d
o
main_ma
.
.
.
commit
|
commitdiff
|
tree
2021-01-18
Sven Ve
r
doolaege
re-export isl_multi_aff_range_map as isl_space_
r
ange_map_mul
.
.
.
commit
|
commitdiff
|
tree
2021-01-18
Sven Ver
d
oolaege
re-export isl_multi_aff_domain_map as isl_space_domain_map_m
.
.
.
commit
|
commitdiff
|
tree
2021-01-18
Sven
V
e
rdoolaege
re-export isl_multi_*
_
from_*_list
a
s isl_spac
e
_multi_*
commit
|
commitdiff
|
tree
2021-01-18
Sve
n
Ve
r
doolaege
re-e
x
po
r
t isl_map_
u
niv
e
rse as isl_space_u
n
iverse_map
commit
|
commitdiff
|
tree
2021-01-18
Sven Verd
o
olaege
r
e-export isl_aff_ze
r
o_
o
n_domain_space as isl_space_zero
_
a
f
f
.
.
.
commit
|
commitdiff
|
tree
2021-01-10
S
ven Verdool
a
eg
e
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2021-01-10
Sven
V
erdoolaege
i
s
l_
b
asic
_
map_align_divs: do not align again
s
t
m
odifie
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-10
Sv
e
n
Verdoola
e
ge
mer
g
e te
s
t
_plain
_
unshift
e
d_simple
_
h
u
ll and test_unshifted_si
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-10
Sve
n
Verdoo
l
aeg
e
perform pl
a
i
n
_u
n
shift
e
d_simple
_
hull
t
ests in
t
e
rm
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next