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_basic_map_more_at: rename "dim" argument to "space"
2018-08-22
Sven
V
e
r
doola
e
g
e
isl_basic_map_mo
r
e_at: rename "dim" ar
g
ument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
i
s
l_basic_map_less_o
r
_equal_at: rename "
d
im" a
r
gument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl
_
tab_pip
.
c: set_minimum: rename "dim" argument
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
olaege
i
s
l
_d
i
m_ma
p
_d
i
m_range: rena
m
e "di
m
" argu
m
ent to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdo
o
laege
is
l
_basic_map_ex
t
e
n
d_
s
pace: rename
"d
i
m" a
r
gume
n
t
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
o
o
laege
isl_m
a
p_
r
eset_space
:
rename
"
d
im" argument
to
"
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
is
l
_qpolynomial_*_
o
n_d
o
ma
i
n: renam
e
"
d
im" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoola
e
ge
isl_
q
poly
n
omial_from_affine: rename "dim"
arg
u
m
ent
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_space
_
find_dim_by_id: rename "dim" argument
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl
_
s
p
a
ce
.
c: n: rename "dim" argume
n
t
t
o "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
ola
e
ge
i
sl_point
_
voi
d
: ren
a
me
"d
i
m
" argument
to "spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verd
o
o
l
a
e
g
e
isl_po
i
nt_zero: rename "dim" argument to "s
p
ace
"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
is
l
_
poin
t
_alloc: ren
a
me "di
m
" argument t
o
"space
"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_o
u
t
put
.
c: pr
i
nt
_
base: rename "d
i
m"
argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
i
sl_output
.
c
:
print_n
e
sted_tuple: rename "local_dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erd
o
o
lae
g
e
isl_output
.
c: pr
i
nt
_
nested_
v
ar_list: ren
a
me "local_
d
im
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
i
s
l_ba
s
ic_map_nat_un
i
verse: rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_closure
.
c: i
n
cremental_
c
losure: r
e
name
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_tran
s
itive_c
l
osur
e
.
c:
c
o
n
s
truct_extended_
p
ath:
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
aege
isl_transit
i
v
e
_clo
s
ure
.
c: incremental_
o
n_entire_do
m
ain
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
ola
e
ge
isl_transitive_clos
u
r
e
.
c
: increment:
r
ename
"d
i
m" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdool
a
ege
isl_transitive_closure
.
c: e
q
uate_para
m
eter
_
to_
l
e
n
gth
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_closure
.
c: path_along
_
delta
:
r
e
na
m
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
doolae
g
e
isl_transitive_c
l
os
u
re
.
c: path_along
_
steps
:
rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verd
o
olaege
is
l
_map
.
c: neg_halfspace: rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
er
d
oola
e
ge
isl
_
map
.
c: no
n
neg_halfspace: rename "
d
im" ar
g
u
ment
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_ba
s
ic_ma
p
_
i
dentity:
rename "d
i
m" argument
to "
s
pac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl
_
map
.
c
: basic_map_identity: rename "dim
s
" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven V
e
rd
o
olaege
i
s
l_basic_map_from_cons
t
r
a
i
nt_matrices:
rename
"di
m
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_
d
rop_di
m
s: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-21
Sv
e
n Verdoolae
g
e
isl_b
a
sic
_
map_add
_
di
v
_co
n
straints:
add memory m
a
n
a
gement
.
.
.
commit
|
commitdiff
|
tree
2018-08-16
Sven Verdoolaeg
e
split ISL_BA
S
IC_MAP_NORMALIZED into *_NO_REDU
N
DA
N
T
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven V
e
rdoolaege
isl_map_simplify
.
c: isl_basic_ma
p
_
e
liminate_var
s
: drop
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoolaege
isl_m
a
p
_
si
m
plify
.
c: set_div_
f
rom_eq: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
S
v
en V
e
r
doolaege
isl_map_simpl
i
f
y
.
c: eliminate_var_u
s
in
g
_
e
quali
t
y
:
drop
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Ve
r
doolaege
isl_map
.
c
:
i
nsert_b
o
unds_on_div_from_ineq:
d
rop redundant
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sve
n
Ver
d
o
o
l
a
e
g
e
isl_basic_
m
ap_insert_
d
ims: rena
m
e
"
d
im
"
variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven
V
erdo
o
laege
isl_space
_
inser
t
_di
m
s: us
e
i
s
l
_space_
g
et
_
c
t
x
commit
|
commitdiff
|
tree
2018-08-05
Sv
e
n Ve
r
doo
l
aege
isl_sp
a
c
e_insert_dims
:
r
e
name "dim" argument to "
s
pace"
commit
|
commitdiff
|
tree
2018-07-04
Sve
n
Verdo
o
laege
add
isl_*_list_swap
commit
|
commitdiff
|
tree
2018-06-21
S
ven Verdo
o
la
e
ge
add isl_basic_set
_
from_multi_aff
commit
|
commitdiff
|
tree
2018-05-17
Sve
n
Ver
d
ool
a
ege
isl_*_
l
ist
_
get_*: e
x
tr
a
c
t out i
s
l
_
*
_list_peek
commit
|
commitdiff
|
tree
2018-05-02
Sven Verdoola
e
ge
extract
out
s
h
ared isl_reo
r
dering_get_ctx
commit
|
commitdiff
|
tree
2018-05-02
S
ve
n
Ve
r
doolaege
e
xtract out
s
hared isl_local_re
o
rder
commit
|
commitdiff
|
tree
2018-04-30
Sven Verdool
a
ege
is
l
_space_align
_
params: rename "dim" argument
s
to
.
.
.
commit
|
commitdiff
|
tree
2018-04-28
Sven Verdo
o
laege
i
sl_basic_map_realign:
r
ena
m
e
"dim" argument to "space"
commit
|
commitdiff
|
tree
2018-04-28
Sven Verdo
o
laege
isl_basic_map_realign:
u
se isl_basic_map_dim
commit
|
commitdiff
|
tree
2018-04-24
Sven Verdo
o
laege
isl/val
.
h: extra
c
t
out isl/val_type
.
h
commit
|
commitdiff
|
tree
2018-04-18
Sven Verdoolaeg
e
i
s
l
_
map
.
c:
extract ou
t
s
h
ared isl
_
map_check_range
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdool
a
ege
isl_pw_*_eval:
rename "pnt_dim" var
i
a
b
le
t
o
"
pnt_
s
pace"
commit
|
commitdiff
|
tree
2018-03-18
Sv
e
n Verdoolaege
add isl_af
f
_
e
val
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
add isl_local_space
_
l
i
f
t
_poin
t
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
a
dd isl_l
o
cal_space_has_s
p
ace
commit
|
commitdiff
|
tree
2018-03-18
S
ven Verdoolaeg
e
isl_qpolynomia
l
_eva
l
: extract
o
ut i
s
l_l
o
cal
_
extend_poin
t
_ve
c
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdo
o
laege
i
s
l_polyn
o
mi
a
l
.
c: isl_upoly_eval: check for NULL argum
e
nt
commit
|
commitdiff
|
tree
2018-03-18
S
v
e
n Verdoolaege
add isl_vec_add_els
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdool
a
ege
isl_local_s
p
ace_d
i
v
s
_known: extra
c
t out i
s
l
_
local_divs_kn
o
wn
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl_local
.
c: extract
o
ut
s
h
a
red isl_local_di
m
commit
|
commitdiff
|
tree
2018-03-18
Sv
e
n
Verdoola
e
ge
i
sl_local
.
c: extract out shared is
l
_
local_get_c
t
x
commit
|
commitdiff
|
tree
2018-03-04
Sve
n
Verd
o
olaege
isl_s
p
ace_
i
s
_do
m
ai
n
: extract out is
l
_space_has_domain_t
u
ples
commit
|
commitdiff
|
tree
2018-03-04
Sven
V
erdoolaeg
e
privately
e
x
port
isl_m
a
p_is_params
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
e
rdo
o
laege
isl_p
w
_*_ge
t
_
space
:
e
x
tr
a
ct ou
t
isl_pw_*_p
e
e
k_space
commit
|
commitdiff
|
tree
2017-12-26
Sven
Verdoolaeg
e
isl_aff
.
c: pw_af
f
_a
f
f_on_d
o
ma
i
n: explic
i
tly insert
.
.
.
commit
|
commitdiff
|
tree
2017-12-26
Sven
Verdoolaeg
e
add isl_aff
_
fro
m
_range
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
erdoolaege
add
i
sl_af
f
_{t
a
ke,r
e
store}_dom
a
in_local_space
commit
|
commitdiff
|
tree
2017-12-26
Sven Ver
d
oolaege
add isl_local
_
sp
a
ce_se
t
_
f
rom_param
s
commit
|
commitdiff
|
tree
2017-12-26
S
v
en Ve
r
d
oolaeg
e
add isl_
l
ocal_
s
p
ace_{take,rest
o
re}_space
commit
|
commitdiff
|
tree
2017-11-29
S
ven Verdo
o
laege
specialize i
s
l_space_replace to isl_spa
c
e_repla
c
e_param
s
commit
|
commitdiff
|
tree
2017-11-29
Sven Ver
d
oo
l
aege
isl_reordering_
e
xtend_space:
r
ename "d
i
m" argument
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdo
o
l
a
e
ge
isl_space_f
l
atten_range: ren
a
me "dim" argume
n
t
to
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sve
n
Verdoolaege
i
sl_space_flatten_domain: rename "dim" argumen
t
to
.
.
.
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
r
e
move depreca
t
ed band f
o
res
t
s
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdool
a
ege
add isl_v
e
c_zero
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
isl
_
space_fact
o
r_domain: accept se
t
spac
e
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verd
o
o
laege
isl_spac
e
.
c
:
move isl
_
space_factor_
d
omain down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-26
S
v
e
n V
e
r
d
oolaege
i
s
l_coalesce
.
c: e
x
tract out shared find
_
eq and
f
i
nd_ineq
commit
|
commitdiff
|
tree
2017-09-26
S
ven
V
erdoolaege
isl_coalesce
.
c
:
extract out share
d
count_
e
q and
c
o
u
nt_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sv
e
n
Verd
o
o
l
aege
isl_coalesce
.
c
:
e
xtr
a
ct
o
u
t shared any_eq and any_ineq
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n Ver
d
oo
l
aege
bo
u
n
d
.
c:
d
irectly include
required header
commit
|
commitdiff
|
tree
2017-09-18
S
ven Verd
o
olaege
i
sl_schedule_tree
.
c: directl
y
include required headers
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
V
erdo
o
laege
i
s
l
_
s
chedule_rea
d
.
c: directly inc
l
ude
r
equired header
commit
|
commitdiff
|
tree
2017-09-18
Sven
V
er
d
oolaege
isl_
s
chedule_
b
a
nd
.
c
:
d
irectly include
requ
i
red h
e
ad
e
rs
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolae
g
e
isl
_
sched
u
le
.
c: direc
t
ly include required hea
d
ers
commit
|
commitdiff
|
tree
2017-09-18
S
v
e
n
Ver
d
o
olaege
isl
_
range
.
c: directly include r
e
quired head
e
r
commit
|
commitdiff
|
tree
2017-09-18
Sven Verd
o
o
l
a
e
ge
isl_obj
.
c:
d
irectly include
requ
i
red
h
eader
commit
|
commitdiff
|
tree
2017-09-18
Sven
V
er
d
oolaege
isl_flow
.
c:
d
ir
e
ctl
y
include required headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_
a
st_codegen
.
c: d
i
rectly
i
nc
l
ude required h
e
aders
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_ast_build_expr
.
c:
d
irectly incl
u
de required header
s
commit
|
commitdiff
|
tree
2017-09-18
Sven V
e
rdool
a
ege
i
sl_ast_build
.
c: directly includ
e
required headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_ast
.
c
: di
r
ectl
y
inc
l
ude required
h
e
ader
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdoo
l
ae
g
e
isl_list_templ
.
c: direct
l
y in
c
l
u
de required header
commit
|
commitdiff
|
tree
2017-08-08
S
v
en V
e
rdoolae
g
e
isl_map_universe: rena
m
e
"dim" a
r
g
u
ment to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Ver
d
oolaege
i
sl_map_empty: re
n
ame "dim"
a
rgum
e
nt
t
o
"space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl_basic_map_universe
:
rename "
d
im" argumen
t
t
o
"space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Ve
r
doolaege
isl
_
basic_map_empty: r
e
name "dim"
argument to "sp
a
c
e
"
commit
|
commitdiff
|
tree
2017-08-08
Sven
Verdoolaege
isl_set_un
i
verse: renam
e
"dim" a
r
gument
to
"space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Ve
r
doolaege
isl_set_empty: rename "dim"
argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
S
ven Verdoolaege
isl
_
basic_set
_
u
n
iverse
:
renam
e
"dim
"
argu
m
e
nt to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl_basic_set_empty: rena
m
e "dim" argum
e
nt to "s
p
ace"
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verdo
o
laege
i
sl_access_inf
o
_co
m
pute_flow: support "ki
l
l" acce
s
ses
commit
|
commitdiff
|
tree
next