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_transitive_closure.c: incremental_on_entire_domain: rename "dim" argument
2018-08-22
Sven
V
erd
o
olaege
isl_tr
a
nsi
t
ive_closure
.
c
:
i
n
c
re
m
ental_o
n
_entire_domain
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_transitive_closure
.
c: i
n
crement:
rename "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
i
sl_tra
n
s
i
tive_closure
.
c: equate_parameter_to_length
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erd
o
olaege
isl_transiti
v
e_cl
o
sure
.
c: path_along
_
d
elta: r
e
n
a
me
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
t
ransiti
v
e
_
closure
.
c: path_along_s
t
eps:
rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdo
o
l
a
ege
isl_
m
ap
.
c
: neg_hal
f
s
pace: rena
m
e
"
dim"
a
rgument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoolaeg
e
isl_m
a
p
.
c: nonneg_
h
alfspace:
r
ename "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_
bas
i
c_map
_
ide
n
tity
:
rename "dim
"
argument to "spa
c
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
is
l
_
m
a
p
.
c: b
a
s
i
c_
m
ap
_
ident
i
ty
:
rename
"d
i
ms" argumen
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoolaege
isl_b
a
sic_map_
f
rom_constraint_matri
c
es
:
r
e
name "di
m
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_spa
c
e_dro
p
_d
i
ms: rena
m
e "dim" argu
m
ent to "spa
c
e"
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl
_
b
asi
c
_m
a
p_add_div_constraints: a
d
d memory management
.
.
.
commit
|
commitdiff
|
tree
2018-08-16
Sven V
e
rd
o
olaeg
e
s
plit
I
SL
_
BASIC_MAP_NORM
A
LIZ
E
D
into *_
N
O_REDU
N
DA
N
T
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoolaege
i
sl_map_s
i
mplif
y
.
c: isl_basic_map_eliminat
e
_vars: d
r
o
p
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoolaege
isl
_
map_simplify
.
c:
set_div_fr
o
m_eq: drop redundan
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Ve
r
doolaege
i
sl_map_simplify
.
c: elimi
n
ate_var_using_
e
qu
a
lity: dr
o
p
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven
Verdoolaeg
e
i
s
l_map
.
c: insert_bounds_on_div
_
from_in
e
q: drop re
d
u
nd
a
nt
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven Verdoolaege
isl_basic_map_ins
e
rt_dims: rename "dim
"
v
ar
i
able
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven
V
erdo
o
l
a
ege
isl_spa
c
e_in
s
ert_dims: use isl_space_get
_
ctx
commit
|
commitdiff
|
tree
2018-08-05
Sven Verd
o
o
l
aege
isl_spac
e
_insert_di
m
s
:
rename "di
m
" argument to "s
p
a
c
e"
commit
|
commitdiff
|
tree
2018-07-04
Sv
e
n Verdo
o
laege
add isl_*
_
list_swa
p
commit
|
commitdiff
|
tree
2018-06-21
Sven V
e
rdoo
l
aege
add isl_
b
as
i
c
_
s
e
t_fro
m
_
mult
i
_aff
commit
|
commitdiff
|
tree
2018-05-17
S
ven
Verdoolaege
isl_*_list_g
e
t_*: extract out isl_
*
_list_p
e
ek
commit
|
commitdiff
|
tree
2018-05-02
Sven Verdoolae
g
e
extract out
s
hared isl_r
e
or
d
e
r
ing_get_ctx
commit
|
commitdiff
|
tree
2018-05-02
Sv
e
n
V
erdo
o
laege
extract out shared
isl
_
l
o
c
a
l
_
reo
r
der
commit
|
commitdiff
|
tree
2018-04-30
Sven Verdool
a
ege
i
sl_space_align_
p
arams: r
e
name "dim" arguments to
.
.
.
commit
|
commitdiff
|
tree
2018-04-28
Sven V
e
rdo
o
lae
g
e
isl_basic_map_realign: re
n
ame "d
i
m"
a
r
gum
e
nt to "space"
commit
|
commitdiff
|
tree
2018-04-28
S
v
en Verdoolaege
isl_bas
i
c_ma
p
_realign: u
s
e i
s
l_b
a
sic_map_dim
commit
|
commitdiff
|
tree
2018-04-24
Sven Verdoolaege
isl/val
.
h:
e
x
tract out isl/val_type
.
h
commit
|
commitdiff
|
tree
2018-04-18
S
v
en
V
erdoolaege
isl_map
.
c: ex
t
r
act out s
h
ared
i
sl_map_c
h
eck_range
commit
|
commitdiff
|
tree
2018-03-18
Sven
Ve
r
doola
e
ge
i
s
l_pw_
*
_
e
val: rename "p
n
t
_
d
im" v
a
r
iable to
"p
n
t_spa
c
e"
commit
|
commitdiff
|
tree
2018-03-18
S
ve
n
Verdoolaege
add isl_aff_eva
l
commit
|
commitdiff
|
tree
2018-03-18
Sven
Verdoolaege
add isl
_
local_space_lif
t
_poi
n
t
commit
|
commitdiff
|
tree
2018-03-18
S
v
en Verdoolaege
a
dd
isl_l
o
cal_space_has_space
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoo
l
ae
g
e
is
l
_qpoly
n
omial_eval:
extr
a
ct
o
u
t
i
s
l
_loca
l
_ex
t
e
nd_point_vec
commit
|
commitdiff
|
tree
2018-03-18
Sven Ver
d
oolaege
isl_p
o
lynomial
.
c: i
s
l
_u
p
o
ly_eval: ch
e
ck for NULL argument
commit
|
commitdiff
|
tree
2018-03-18
S
ven
V
e
rdoolaege
a
d
d isl_vec_
a
dd_els
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl_local_space_divs_known: extract ou
t
isl_l
o
cal_divs_kn
o
wn
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdool
a
ege
i
s
l_local
.
c: extract
out
shared isl_l
o
cal_d
i
m
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoo
l
aege
isl
_
local
.
c: ex
t
ract out shared
i
sl_local
_
get_
c
tx
commit
|
commitdiff
|
tree
2018-03-04
Sven
V
e
r
d
oolaege
i
s
l
_space_is_domain: extract
ou
t
is
l
_space_has_dom
a
in_tuples
commit
|
commitdiff
|
tree
2018-03-04
Sven V
e
r
dool
a
eg
e
priva
t
ely export i
s
l_map_is_params
commit
|
commitdiff
|
tree
2017-12-26
S
v
en Verdoo
l
ae
g
e
isl_pw_*_
g
et_
s
pace: extract
out
isl_pw_*_peek_space
commit
|
commitdiff
|
tree
2017-12-26
S
ven
V
erdoo
l
aege
i
sl_a
f
f
.
c: pw_aff_aff
_
on_domain: explicitly inse
r
t
.
.
.
commit
|
commitdiff
|
tree
2017-12-26
Sven V
e
rdoolae
g
e
add is
l
_
aff_
f
rom_range
commit
|
commitdiff
|
tree
2017-12-26
Sve
n
Verd
o
olae
g
e
add isl_aff_
{
t
ake,res
t
ore}_domain_loca
l
_
space
commit
|
commitdiff
|
tree
2017-12-26
Sven Verd
o
olaege
add isl_
l
ocal_space_set_from
_
p
a
r
ams
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaeg
e
add isl_local_space_{t
a
k
e
,re
s
tore}_space
commit
|
commitdiff
|
tree
2017-11-29
Sven
V
erdoolaege
special
i
ze isl
_
s
p
a
c
e_replace to isl_spac
e
_
r
e
place
_
pa
r
ams
commit
|
commitdiff
|
tree
2017-11-29
Sven V
e
rdoolaege
isl_reordering_ext
e
nd_space: rename
"
d
i
m" ar
g
ument
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sv
e
n Verdo
o
l
aeg
e
isl_space_flatten_range: rename "dim
"
argument to
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
i
s
l_spa
c
e_flatten_
d
omain: rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
remove depr
e
cated band
f
o
rests
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
r
d
oolaege
add isl
_
v
ec_zero
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verd
o
ol
a
e
g
e
isl_space_factor_do
m
a
in: accept
s
e
t spac
e
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
is
l
_space
.
c: move isl_space_facto
r
_domain
do
w
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-26
S
v
e
n Verdoolae
g
e
isl
_
coalesce
.
c: e
x
tract out s
h
ared fin
d
_eq and
f
ind_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoolaeg
e
i
sl_coalesce
.
c: ex
t
r
act out shared count_eq and count_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sven
V
erdoola
e
ge
isl_coalesce
.
c: ex
t
ract out shar
e
d any_e
q
and
a
n
y
_ineq
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdoolaeg
e
bound
.
c: directly in
c
lude required hea
d
er
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdoola
e
ge
isl
_
schedul
e
_tree
.
c: directly i
n
clude
r
e
q
uired headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_s
c
hedule_rea
d
.
c: directly incl
u
de
r
e
q
uired head
e
r
commit
|
commitdiff
|
tree
2017-09-18
Sven Ve
r
d
oolaege
isl_sch
e
dule_band
.
c:
dir
e
ctly in
c
lude required h
e
a
d
ers
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n Verdoolaege
isl_sch
e
du
l
e
.
c: di
r
ec
t
ly
includ
e
requi
r
ed h
e
aders
commit
|
commitdiff
|
tree
2017-09-18
Sven Ver
d
oolae
g
e
isl_range
.
c: directly
include required hea
d
er
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoo
l
aege
isl_obj
.
c
:
di
r
ectly include
require
d
header
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
V
e
rd
o
olaeg
e
isl_flow
.
c: directly
i
n
clude required headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdool
a
ege
i
sl_ast
_
codegen
.
c
: directly
includ
e
required headers
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n Verdoola
e
g
e
isl_
a
st_build_expr
.
c: directly include
r
e
quir
e
d h
e
ade
r
s
commit
|
commitdiff
|
tree
2017-09-18
Sven
Verd
o
olaege
i
s
l_ast_build
.
c: dire
c
tly inclu
d
e req
u
ired heade
r
s
commit
|
commitdiff
|
tree
2017-09-18
S
ven Verdoolaege
isl_ast
.
c: dir
e
c
tly inc
l
u
d
e requir
e
d header
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
i
s
l_list_t
e
mpl
.
c: direct
l
y include required head
e
r
commit
|
commitdiff
|
tree
2017-08-08
Sven Ve
r
doolaege
isl_map_universe: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
is
l
_
m
a
p
_empty: rename "dim" argument to
"space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdo
o
laege
isl_
b
a
sic_
m
ap_
u
nivers
e
: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdo
o
laege
isl_
b
asic_
m
ap_emp
t
y
:
rename "d
i
m" argu
m
ent to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoola
e
ge
isl_set
_
u
n
iv
e
rse
:
rename "dim" argument to "sp
a
ce"
commit
|
commitdiff
|
tree
2017-08-08
Sv
e
n
V
e
r
d
oolaege
isl_s
e
t_e
m
pty:
rename
"
dim" argument to "space
"
commit
|
commitdiff
|
tree
2017-08-08
S
ven V
e
rd
o
ol
a
ege
isl_b
a
s
ic_set_universe:
rena
m
e "dim" argume
n
t to
"s
p
a
ce"
commit
|
commitdiff
|
tree
2017-08-08
Sven
Verdoolae
g
e
isl_basic_
s
e
t_empty: renam
e
"dim" argumen
t
to "space"
commit
|
commitdiff
|
tree
2017-06-12
Sven Ver
d
oolaeg
e
isl_access
_
info
_
compu
t
e_flow:
s
uppo
r
t "ki
l
l" accesses
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_u
n
ion_map
.
c: subtract_entr
y
:
use isl_union
_
map_get_ctx
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erdoolaege
isl_union_ma
p
.
c:
s
ubtract_entry: use isl_map_get_s
p
ac
e
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
isl_unio
n
_map
.
c: rename has_dim to h
a
s_s
p
ace
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
isl_un
i
on_map
.
c: has_dim: rename "dim" va
r
i
a
ble to
.
.
.
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verdoolaege
a
d
d is
l
_flow
appli
c
ation
commit
|
commitdiff
|
tree
2017-06-08
Sve
n
V
erdoolae
g
e
s
c
heduler:
ex
p
loit l
i
n
e
a
lity spa
c
e in differe
n
c
e
s
e
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
erdoolaege
add isl_unio
n
_set_combined_lineality_spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verd
o
olaege
privately export isl_s
e
t_com
b
in
e
d_lineality
_
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en V
e
rdoola
e
ge
isl_ba
s
ic_
s
et_lineality_space: allow l
o
c
a
l variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Verdoolaege
add is
l
_b
a
s
i
c
_set_
e
xtr
a
ct_eq
u
a
li
t
i
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n
Ver
d
oolaege
add isl_m
u
lti_af
f
_from_aff_
m
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
schedu
l
er: drop
c
ons
t
r
a
in
t
s tha
t
c
a
n only be used for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoolaege
isl_sched
u
ler
.
c: collect
_
intr
a
_val
i
di
t
y
:
drop paramete
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaeg
e
i
s
l_scheduler
.
c:
intra_coefficien
t
s
:
separate
c
ache
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
V
erdoo
l
aege
isl_scheduler
.
c: co
u
nt_map_constrai
n
ts: count par
a
met
r
ic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Ve
r
dool
a
ege
isl_scheduler
.
c:
e
xtract out shared
f
orce_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl_scheduler
.
c:
e
xtract
o
ut shar
e
d
u
p
date_c
o
u
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verd
o
olae
g
e
add isl_union_
s
et_
p
lain_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
oolaege
add isl_map_p
l
ain_gi
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next