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: path_along_delta:: rename "dim" variable to "space"
2018-08-22
S
v
en Verd
o
olaege
isl_
t
ransitive
_
cl
o
sure
.
c: path_along_delta:: re
n
ame
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
isl_basic_map_range_pro
d
uct: rename "dim" var
i
a
ble
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
olaege
isl_basi
c
_map_pr
o
d
uct: rename "
d
im"
variable to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
a
ege
i
s
l_
b
asic_map_de
l
tas_
m
ap: rename "d
i
m" var
i
able
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_domain_map: rename
"
dim"
variab
l
e t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaeg
e
is
l
_basic_map_apply
_
rang
e
: rena
m
e "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoola
e
g
e
is
l
_local_space_alloc: rename "dim" va
r
iable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_bas
i
c_map_le
s
s_at: rename "dim
"
argum
e
n
t
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
basic
_
map_e
q
ual: ren
a
me "dim" argum
e
nt
t
o
"spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
output
.
c: print_
b
asic_set_c: rename "
d
i
m" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
V
er
d
oolaeg
e
is
l
_
l
ocal_space_alloc_
d
iv: re
n
a
m
e
"
di
m
" arg
u
ment t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoo
l
aege
isl_space_cow: rename "dim" argum
e
nt to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_space_lift: rename
"dim" argument to "s
p
ac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_s
p
ace_fla
t
ten: rename "di
m
" a
r
gument to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
s
l_
s
pa
c
e_reset: rename "d
i
m" a
r
gument to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_spa
c
e_zip: r
e
na
m
e
"
dim" argument to
"space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaeg
e
isl_space_unwrap: rename
"dim"
a
r
g
u
m
e
n
t to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
olaege
isl_s
p
ace_wrap:
r
e
name "dim"
a
rgument
t
o "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdool
a
e
g
e
i
s
l_sp
a
c
e_i
s
_wrappin
g
: renam
e
"
d
im" argument to "s
p
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_spa
c
e_from_range: rename "
d
im
"
argu
m
ent to "sp
a
ce
"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
ool
a
e
g
e
i
sl
_
space_fr
o
m_domain: rename
"
dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_spac
e
_reverse: rename "di
m
"
a
rgum
e
nt to
"
space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaeg
e
is
l
_space
_
s
et_
d
im_
n
ame: rename "dim" a
r
gument to "
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
sp
a
ce_g
e
t
_tuple_
n
ame
:
r
e
na
m
e "d
i
m
" argument
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aeg
e
isl
_
space_get_dim_name: rename "
d
im" ar
g
ument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_s
p
ace_set_tuple_name: rename
"dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdool
a
ege
isl_spa
c
e_ge
t
_dim_id: rename "dim" arg
u
ment to "
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_sp
a
ce
_
has_dim
_
id: renam
e
"di
m
" ar
g
ument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolae
g
e
isl_
s
pac
e
_re
s
et_tuple_
i
d:
r
ename "dim" argument
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
is
l
_space_set_t
u
ple_id: re
n
a
m
e "di
m
"
a
rgument
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_space
_
get_tuple
_
id:
re
n
ame "dim" arg
u
m
ent
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_s
p
ace_has_tu
p
le_id: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
doolaege
isl_space
.
c: offs
e
t
:
re
n
ame "dim"
a
r
gument
to
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_space_dup: rename "
d
im" arg
u
m
e
n
t to "
s
p
ac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
olaege
is
l
_s
p
ace
_
g
e
t_
c
tx: rename "dim" argument
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
ege
i
s
l
_
fol
d
.
c: qpol
y
n
o
mial_fold_alloc: rename "dim"
a
rgument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_union_
*
_al
l
oc: rename
"
dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_map
.
c:
m
a
p
_
l
ex
_
gte: rena
m
e "dims
"
arg
u
ment to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoo
l
a
e
ge
isl_m
a
p
.
c: m
a
p_lex_lte:
rename "dims"
argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erd
o
olaege
isl_transit
i
ve_closure
.
c: construc
t
_pow
e
r_components
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
ae
g
e
isl_basic_set_
n
at_univer
s
e:
r
ename "dim
"
arg
u
ment to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_map
.
c
:
map_
l
ex_gte_first: rename
"
dims" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_m
a
p
.
c
:
map
_
lex
_
lte_first: rename "dims" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_output
.
c: print_set_c
:
rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
g
e
i
s
l_tra
n
sitiv
e
_closure
.
c:
f
loyd_warshall: ren
a
me "dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_tra
n
sitive_clo
s
u
re
.
c: floyd_warshall_w
i
th_g
r
oups
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdoolaege
isl_
t
ra
n
sitive_clo
s
ure
.
c: compute_i
n
cr
e
mental: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_basic_map_all
o
c_spa
c
e
: re
n
am
e
"dim" ar
g
ument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdo
o
lae
g
e
isl_basic_m
a
p_m
o
re_
o
r_equa
l
_
a
t:
rename "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_basic
_
map_more_at
:
rename "d
i
m" arg
u
ment t
o
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
isl_basic_map_l
e
ss_
o
r_
e
qual_
a
t
:
r
ename "di
m
" arg
u
ment
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oolaege
isl_tab_pip
.
c: set
_
minim
u
m: rename "dim
"
argume
n
t
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verd
o
ol
a
ege
isl_dim_map_dim_range: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
is
l
_basic_
m
ap_extend_space: re
n
ame "d
i
m" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_map_reset
_
sp
a
ce: rename "di
m
"
argument to "spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoo
l
ae
g
e
is
l
_qpolynomial_*_on_dom
a
in: rename "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdoolaege
isl_qpo
l
ynomial_fr
o
m_affine: rename "di
m
" arg
u
ment
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_
f
ind_dim_by_id: re
n
ame "dim" a
r
gument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
is
l
_space
.
c: n: ren
a
me "dim"
a
rg
u
ment to "s
p
ace
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
a
ege
isl_point_v
o
id: rename "di
m
"
argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
olaege
is
l
_po
i
nt_zero: re
n
ame "dim" argum
e
nt
to
"spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Ve
r
do
o
l
aege
isl
_
point_alloc: rename "dim" argument
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_output
.
c: print
_
base:
r
ename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
oolaege
isl_output
.
c: print_nested_tu
p
le: rename "local_dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
l
a
ege
isl_
o
utput
.
c: print_
n
est
e
d
_
v
a
r
_list: ren
a
me "local_
d
im
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oo
l
aege
isl
_
basic_ma
p
_n
a
t_univer
s
e: rename
"dim" ar
g
u
m
e
n
t to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oo
l
aege
isl
_
transitiv
e
_clo
s
u
re
.
c: incr
e
mental_closure: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_tran
s
itive_closure
.
c: construct_extend
e
d_path
:
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_transi
t
ive_closu
r
e
.
c: i
n
cr
e
m
ent
a
l
_on_entire
_
domain
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
oolaege
isl_
t
r
ansi
t
iv
e
_closure
.
c: increme
n
t
: ren
a
me "d
i
m"
a
rgument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_closure
.
c:
e
quate_
p
arameter_to_length
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoo
l
aege
i
s
l_tra
n
s
iti
v
e_closure
.
c:
path_alon
g
_delta: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
is
l
_transitive
_
c
l
os
u
re
.
c: pa
t
h_along_steps:
r
ename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c
:
neg_
h
alfs
p
ace: rename
"
dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
g
e
isl_map
.
c
: no
n
neg_halfsp
a
c
e
: rename "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oolaege
isl_basic_m
a
p_identi
t
y: rena
m
e "dim
"
a
r
gu
m
en
t
to "space
"
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoo
l
aege
i
s
l_
m
ap
.
c: basic_map_identity: r
e
name "dims
"
argum
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
i
sl_basic_map
_
f
r
om_constraint_matrices: re
n
ame "dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_drop_dims: renam
e
"dim" argumen
t
to "spa
c
e"
commit
|
commitdiff
|
tree
2018-08-21
Sve
n
Verdoo
l
aege
i
sl_b
a
sic_map_a
d
d_div_const
r
ain
t
s:
add memory ma
n
agemen
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-16
S
v
e
n Verdoolaege
split ISL_BASIC_MAP_NOR
M
A
L
IZED into
*
_NO
_
REDUNDANT
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven V
e
rdoolaege
isl_ma
p
_simplify
.
c
:
isl_basic_map_eliminate_v
a
rs:
d
rop
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
S
v
en Verdoolae
g
e
isl_ma
p
_si
m
plify
.
c:
se
t
_div_f
r
o
m
_eq:
d
rop redundant
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoolaege
isl_map_si
m
plify
.
c
:
elimin
a
te_var_using_equ
a
lity: drop
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoolaege
isl_map
.
c: insert_bounds_
o
n
_
d
iv_from
_
ineq: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven Verdoolaege
isl_b
a
sic_map_insert
_
dims: rena
m
e "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven V
e
r
doola
e
ge
isl_
s
pa
c
e_insert_d
i
ms: use isl_sp
a
ce_get_ctx
commit
|
commitdiff
|
tree
2018-08-05
Sven Ver
d
oolaege
isl_space_
i
n
s
ert_dims: rename "dim" ar
g
ument to
"
space"
commit
|
commitdiff
|
tree
2018-07-04
S
v
en Verdo
o
l
a
ege
add isl_*_list_swa
p
commit
|
commitdiff
|
tree
2018-06-21
Sven
Verdoo
l
aeg
e
add
isl
_
b
a
si
c
_set
_
from_multi
_
af
f
commit
|
commitdiff
|
tree
2018-05-17
Sven V
e
rdoolaege
i
sl_*_
l
ist_get_*:
e
xtr
a
ct out
i
s
l_*
_
list_pee
k
commit
|
commitdiff
|
tree
2018-05-02
Sv
e
n Verdoolaege
extract
out s
h
ared isl_reord
e
ring
_
get_
c
tx
commit
|
commitdiff
|
tree
2018-05-02
Sven Verdoolaege
extract out shared isl_
l
ocal
_
r
eord
e
r
commit
|
commitdiff
|
tree
2018-04-30
S
v
en Verdoo
l
aeg
e
isl_space_align
_
para
m
s: rename "dim" argument
s
to
.
.
.
commit
|
commitdiff
|
tree
2018-04-28
S
ven Ver
d
oolaege
i
s
l_ba
s
ic_map_realign: re
n
am
e
"dim" argument
to "space"
commit
|
commitdiff
|
tree
2018-04-28
Sven Ver
d
oolaege
isl_basi
c
_ma
p
_realign: use
isl_basic
_
map_dim
commit
|
commitdiff
|
tree
2018-04-24
S
ven
V
e
rdoolaeg
e
isl/v
a
l
.
h
: extract out isl/val_type
.
h
commit
|
commitdiff
|
tree
2018-04-18
S
ven Verdoolaege
i
s
l
_map
.
c
:
extract out shar
e
d
isl_map_chec
k
_ra
n
ge
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdo
o
la
e
ge
isl_pw_*_ev
a
l
: rename "pnt
_
dim" variable to "pnt_space"
commit
|
commitdiff
|
tree
2018-03-18
Sv
e
n
Verdoolaege
add i
s
l_af
f
_eval
commit
|
commitdiff
|
tree
next