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_space_flatten: rename "dim" argument to "space"
2018-08-22
Sven Verd
o
ola
e
ge
isl
_
space_flatte
n
:
rename "dim" arg
u
m
e
nt to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_space_reset: rename "dim
"
a
r
gum
e
n
t to "space
"
commit
|
commitdiff
|
tree
2018-08-22
S
ven V
e
rdoolaege
isl_space_zip: rename
"
d
i
m"
arg
u
ment to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
isl_space_unwrap: rename "dim" argument to
"
space
"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_space_w
r
ap:
r
ename "dim"
argument to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
g
e
is
l
_space_
i
s_wrapping: renam
e
"dim" argu
m
en
t
to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
i
sl_sp
a
ce_from_
r
a
n
ge: rename "dim" a
r
g
u
m
e
nt to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_space_from_domain: rename "dim" argument to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_rev
e
rse:
r
ename "dim" ar
g
u
m
ent to
"
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
is
l
_spac
e
_set_d
i
m
_
n
ame: r
e
nam
e
"
d
im" argument
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doola
e
ge
is
l
_space_get_tuple_name: rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_spa
c
e
_
get_dim_
n
a
me:
r
e
name
"
d
i
m" arg
u
ment
to
"
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_s
p
ace_set_tuple_na
m
e
:
rename "dim" argument t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
isl_space_get
_
dim_
i
d: rename "dim" argu
m
en
t
to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_space_has_dim_id
:
rename
"
d
im" argument to "s
p
ac
e
"
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Ve
r
doolaege
isl_sp
a
ce_res
e
t
_
tup
l
e_id:
r
ename "dim"
a
rgument
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
i
s
l_s
p
a
c
e_set
_
t
u
pl
e
_i
d
: rename "dim
"
a
r
g
ument to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
ol
a
ege
isl
_
space_
g
et_tuple_id:
r
ename "dim" argume
n
t to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space
_
has_tuple
_
id: ren
a
me "dim"
argumen
t
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
sl_space
.
c:
o
f
fset: rename "dim"
a
rgum
e
n
t to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_space_dup: rename "
d
im" ar
g
umen
t
to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
s
l_space_get_ctx: re
n
ame "dim"
a
r
g
ument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_f
o
ld
.
c: qpolynomial_fold_alloc: rename "dim"
a
rgument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
do
o
laege
isl
_
union_*_alloc: rename
"dim" argument to "s
p
ace
"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdoolaege
isl_map
.
c: map_lex_
g
te: rename "
d
im
s
" argumen
t
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_ma
p
.
c: m
a
p_lex_lte: rename "
d
ims" arg
u
ment to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_trans
i
tive_closu
r
e
.
c
: co
n
stru
c
t_power_compone
n
ts
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_se
t
_nat_universe
:
rename "di
m
"
a
rgument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_map
.
c: map_lex_gt
e
_
f
ir
s
t: rename "dims"
ar
g
ument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaeg
e
i
s
l_map
.
c: map_lex_lte_first: rename "dim
s
" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_output
.
c: print_s
e
t_c: rename "d
i
m" a
r
gum
e
n
t t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_t
r
ansitive_closur
e
.
c:
f
loyd_warsha
l
l: ren
a
me "dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_transi
t
ive_c
l
osure
.
c: floy
d
_warshall_wi
t
h_groups
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
olaege
isl_t
r
ansitive_
c
losure
.
c:
co
m
pute_incre
m
ental:
rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
s
l_basic_map_alloc_space:
r
ename "dim" ar
g
ument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_basic_
m
a
p
_more_or_eq
u
al_at: rename
"
d
im" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ol
a
ege
isl_basic
_
map_mo
r
e_at: ren
a
m
e
"dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
ba
s
ic_ma
p
_less_or_equal_at
:
renam
e
"dim"
argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_tab_pip
.
c: set_mi
n
imum: rename "di
m
"
argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdoo
l
aege
isl
_
dim_map_d
i
m_range: rename "dim" argu
m
ent to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
do
o
laeg
e
isl_bas
i
c_map_extend_s
p
ace: rena
m
e
"
di
m
"
arg
u
ment to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_map
_
r
e
s
e
t_space: r
e
name "d
i
m" argument to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl
_
qpo
l
ynomi
a
l_*_
o
n_domain
:
rename "dim" argu
m
e
nt
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_qpolynomial_from
_
affine: rename "dim
"
a
r
gument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_
s
pace_fin
d
_dim_by_i
d
:
rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolae
g
e
isl_space
.
c: n: ren
a
me "
d
im" argument t
o
"
s
pace
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
g
e
isl
_
p
oint
_
void:
rena
m
e "dim"
a
rgum
e
nt to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdo
o
la
e
ge
isl_poin
t
_zero: rename
"
dim" argument to
"
spa
c
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_point_all
o
c: rename
"dim" argument to "
s
pace
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
is
l
_output
.
c: print_base: rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_output
.
c: pri
n
t_nested_
t
uple
:
ren
a
me "lo
c
al_dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_output
.
c: p
r
in
t
_
n
e
sted_var_list: rena
m
e "local_dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oo
l
a
ege
i
sl_basic_map_nat_u
n
ivers
e
: rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
oola
e
g
e
isl_trans
i
ti
v
e_closure
.
c:
incre
m
ental_closure: r
e
n
ame
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_tr
a
nsiti
v
e
_
c
losure
.
c: cons
t
ruct_extended_path:
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transi
t
ive
_
closure
.
c:
inc
r
emental_on_entire_domain
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_trans
i
tive_
c
losure
.
c: increment: rename "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
doolae
g
e
isl_t
r
ansitive_closure
.
c
: equate_param
e
te
r
_to_leng
t
h
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
doolaege
isl_
t
ransitive_
c
losure
.
c: pat
h
_along_delta
:
rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_transitive_
c
losure
.
c:
p
a
th_al
o
n
g
_steps: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_m
a
p
.
c:
neg_halfspace: ren
a
me "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_map
.
c
: nonn
e
g_halfspace
:
rename "
d
i
m"
argum
e
nt
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
i
s
l
_basic_map_identity: rename "di
m
" argument
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdo
o
laege
isl_map
.
c: basi
c
_map_identi
t
y: rename "dims" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
is
l
_ba
s
ic_map_fro
m
_
constraint_matrices: rename "
d
im
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_
s
pace_drop_dims: rename "d
i
m" argument to "space"
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_basi
c
_
m
ap_add_d
i
v_constraints: add memory management
.
.
.
commit
|
commitdiff
|
tree
2018-08-16
Sven Verdoolae
g
e
split ISL_BASIC_MAP_NORMAL
I
ZE
D
into *
_
NO_REDUNDANT
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
S
ven Verdoolaege
i
sl_map
_
simplify
.
c: isl_basic_map_eliminate_vars: drop
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sve
n
Verdoolae
g
e
isl_map_simplify
.
c: se
t
_di
v
_fro
m
_eq: dr
o
p redundant
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoolaege
isl_map_simplify
.
c:
e
limina
t
e_var_using_eq
u
al
i
ty:
d
rop
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
S
ve
n
Ve
r
doolaege
i
s
l_ma
p
.
c: insert_bounds_on_div_from
_
ineq:
d
rop re
d
undant
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven Verdoolae
g
e
isl_basic_map_inser
t
_dims: ren
a
m
e
"dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sv
e
n
V
erdo
o
l
a
ege
isl
_
space_insert_di
m
s: use isl_space_get_ctx
commit
|
commitdiff
|
tree
2018-08-05
Sven
V
erdoolaege
isl_space
_
i
n
s
ert_dims: r
e
name "di
m
" argu
m
e
n
t to "space"
commit
|
commitdiff
|
tree
2018-07-04
Sven Verdoolaeg
e
add isl_*_list_swap
commit
|
commitdiff
|
tree
2018-06-21
S
v
e
n
Verdoo
l
aege
add isl_b
a
si
c
_set
_
from_multi_aff
commit
|
commitdiff
|
tree
2018-05-17
Sven Verdoolaeg
e
isl_*_list_get_*: extract
out is
l
_*_list_peek
commit
|
commitdiff
|
tree
2018-05-02
Sven Verdoolaege
extr
a
ct out s
h
ared isl_reorde
r
ing_get_ctx
commit
|
commitdiff
|
tree
2018-05-02
Sven
Verdoolaege
ext
r
a
c
t o
u
t shared isl_local_r
e
order
commit
|
commitdiff
|
tree
2018-04-30
Sven Verd
o
o
laege
i
s
l_space_align_param
s
: rena
m
e "dim" argum
e
nts to
.
.
.
commit
|
commitdiff
|
tree
2018-04-28
S
v
en V
e
rdoolaege
i
sl_basic_map_
r
ealign: renam
e
"
d
im" argument to "space"
commit
|
commitdiff
|
tree
2018-04-28
Sve
n
Verdoo
l
aege
isl
_
b
a
sic
_
map_r
e
a
l
ign: use isl_basic_ma
p
_dim
commit
|
commitdiff
|
tree
2018-04-24
Sve
n
Verdoolaege
isl/val
.
h: extract
out i
s
l/val_type
.
h
commit
|
commitdiff
|
tree
2018-04-18
Sven
Verdoolaege
i
s
l
_map
.
c: extract o
u
t sh
a
red isl_map_ch
e
ck_range
commit
|
commitdiff
|
tree
2018-03-18
Sven Ver
d
oolaege
isl_pw_*_eval: rename
"
pnt_dim" variable to "pnt_spa
c
e"
commit
|
commitdiff
|
tree
2018-03-18
Sv
e
n Verdoolaege
add i
s
l_a
f
f_eval
commit
|
commitdiff
|
tree
2018-03-18
Sv
e
n Verdoo
l
a
ege
add isl_local_space_lift_point
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
add isl_local_space_has_space
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl_q
p
olynomial_e
v
al: extract out
i
s
l
_local_extend_point_vec
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl_pol
y
nomial
.
c: isl_upoly_e
v
al: check for NULL ar
g
ument
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
add isl_vec
_
a
d
d
_
els
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoola
e
ge
i
sl_loc
a
l_s
p
a
c
e_d
i
vs_known: ext
r
act out isl_lo
c
a
l
_divs_known
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl_local
.
c: extract out shared
i
s
l_local_dim
commit
|
commitdiff
|
tree
2018-03-18
Sven V
e
rdoolaege
is
l
_
l
ocal
.
c: extract
o
ut sh
a
red
i
sl_local_get_ctx
commit
|
commitdiff
|
tree
2018-03-04
Sven Verdoolaege
isl_spac
e
_is_d
o
m
ain:
e
xtra
c
t out is
l
_space_has_domain
_
tuples
commit
|
commitdiff
|
tree
2018-03-04
S
v
en
V
erd
o
olaege
pri
v
ately export isl
_
ma
p
_is_params
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoo
l
aege
isl_pw_*_get_sp
a
ce:
e
xtract out isl_pw_*_pe
e
k
_
space
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n Verdoolaeg
e
isl_aff
.
c: pw_aff_
a
ff_on_domain: explicitly insert
.
.
.
commit
|
commitdiff
|
tree
2017-12-26
Sven V
e
r
doolaege
a
dd isl
_
aff_from_range
commit
|
commitdiff
|
tree
next