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_map.c: map_apply_range: rename "dim" variable to "space"
2018-08-22
Sven Verdoolaege
isl_m
a
p
.
c: map
_
apply_ran
g
e
:
rename "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
is
l
_ba
s
ic_se
t
_sample_point: r
e
name "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
la
e
ge
isl_factorizer_g
r
o
ups: rename "dim" variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_ba
s
i
c_set_lif
t
: rename
"
dim" variab
l
e to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
ba
s
i
c_map
_
add_con
s
traint: rename "dim" v
a
r
i
a
b
le
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaege
isl_bernstein
.
c
:
bernstein_coef
f
icie
n
ts_
c
el
l
:
r
ename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_uni
o
n_pw_*_from_pw_*: rena
m
e
"dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_tab_
p
ip
.
c: spl
i
t
_doma
i
n
:
rename "dim" vari
a
b
le
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
oolaege
is
l
_map_deltas_m
a
p
:
rename
"
dom
a
in_di
m
" variabl
e
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
is
l
_t
r
a
nsitive_clo
s
ure
.
c: ad
d
_le
n
gth: rename "dim"
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
rdoolaege
isl_transitive_closure
.
c: set_path_length:
r
en
a
me
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transi
t
ive_
c
losure
.
c: path_along_
d
e
lta:: renam
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdoolaege
i
s
l_ba
s
ic_map_range
_
produ
c
t:
rena
m
e "d
i
m" var
i
ab
l
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_bas
i
c_map_pro
d
u
ct
:
rename "
d
i
m
"
variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_delt
a
s_m
a
p: re
n
ame "di
m
" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_basi
c
_
map_domain_map: rename "dim" variab
l
e to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
ge
is
l
_basic_map
_
ap
p
ly_range:
rename "dim" variab
l
e to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
i
s
l_l
o
c
a
l_sp
a
ce_allo
c
:
ren
a
me "dim
"
v
a
riable
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oolaege
i
sl_basic
_
map_less
_
at: rename "di
m
"
a
r
gum
e
nt to "spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_b
a
sic_map_equal: re
n
ame "dim" arg
u
ment t
o
"
sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdoolaege
isl_output
.
c:
p
rint_basic_se
t
_c:
r
ename "dim
"
a
rgument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rd
o
ol
a
ege
isl_local_spac
e
_
a
lloc_div:
rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_s
p
ace_cow: rena
m
e "dim" ar
g
ument to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_space_
l
ift: rename "dim" argument
to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
s
p
a
ce_fl
a
tten: rename
"
dim" argume
n
t to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_
s
pace_rese
t
:
r
e
n
ame "dim" argument to
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolae
g
e
is
l
_space_zip
:
rename "dim" argument
t
o
"spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaeg
e
i
s
l_spa
c
e
_un
w
rap: rename "dim" argument
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdo
o
laege
isl
_
spac
e
_
w
rap: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoo
l
aege
isl_space_is_wrappi
n
g: rename "dim" a
r
gument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_space_from_r
a
n
g
e: rename "di
m
" argument
t
o "s
p
a
c
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoola
e
ge
isl_space_from_domain: rename
"di
m
" arg
u
ment to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_space_reverse: ren
a
me "dim" argu
m
ent to
"
s
p
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_
s
pace_s
e
t_dim_name: rename "dim" argum
e
nt to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
isl_space_get
_
tuple_nam
e
: rename "d
i
m" argument
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_get_dim_name: rename "dim"
a
rgument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_space
_
set_tupl
e
_name: rename "dim"
a
r
gument
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_s
p
ace
_
get_dim_id: rename "di
m
" argument to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_space_has_
d
im_id: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
i
sl_space_reset_tup
l
e_id: rena
m
e "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
o
l
aege
isl_spa
c
e_set_tuple_id: rena
m
e "dim" argument to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_space_get_tuple
_
id
:
rename
"dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_has_tupl
e
_id:
r
ename "dim" argument to
"space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_sp
a
ce
.
c:
offset: rename
"
dim"
argument
t
o
"
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_space_d
u
p: r
e
name
"dim" a
r
gument to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolae
g
e
isl_space_
g
et_
c
tx
:
rename
"
d
im" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_fold
.
c: qpoly
n
omial_fol
d
_allo
c
:
r
e
na
m
e
"dim" ar
g
ument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
i
sl_union_*_a
l
lo
c
: re
n
a
me "dim" arg
u
men
t
to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoo
l
aege
is
l
_m
a
p
.
c: map_lex_gte:
rename
"
d
ims"
arg
u
ment to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
Verdoolaege
i
sl
_
m
a
p
.
c: m
a
p
_l
e
x
_
lte: rename "dims" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
is
l
_transit
i
ve_
c
losure
.
c
: const
r
uct_power_components
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_set_nat_
u
niverse: rena
m
e "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl
_
map
.
c: map_l
e
x_g
t
e_fir
s
t
: rename "dims" ar
g
ument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_map
.
c: map
_
lex_lt
e
_first:
renam
e
"
dims" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ol
a
ege
isl_o
u
tput
.
c: print_set_c
:
rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
doolaege
isl_transi
t
iv
e
_
c
los
u
re
.
c: floyd_
w
arsha
l
l: rename "dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdool
a
ege
isl_transitive_
c
losure
.
c: floyd_warshall_wit
h
_gro
u
p
s
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
i
s
l_transitiv
e
_clos
u
re
.
c: compute_incre
m
ental: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_basic_map_alloc_spa
c
e: rename
"dim
"
argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
e
r
doolaege
isl_basic_map
_
more_or_equ
a
l_at:
r
ename "di
m
" argumen
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolae
g
e
isl_basic_m
a
p
_
more_at
:
rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
o
o
l
a
e
ge
is
l
_basic_map_less
_
or
_
equal_at:
r
e
name "
d
im" argu
m
ent
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
doolaege
isl_ta
b
_pip
.
c: set_minimum: rename "
d
im" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
oolaege
isl_dim_map_dim_r
a
nge: rename
"
dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
e
r
d
oola
e
ge
isl_basic
_
m
ap_e
x
tend_space:
r
e
n
a
me "dim" arg
u
ment to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_map_reset_
s
pace:
r
e
name "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_qpoly
n
omial_*
_
on_domain: re
n
ame "dim"
argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_qpo
l
ynomial_from_affine:
rename
"
dim"
a
r
gument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
oolaege
i
sl_spa
c
e_fin
d
_
dim_by_id: rename "
d
im" arg
u
ment
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_spac
e
.
c
:
n
:
r
ena
m
e
"
di
m
" argument to "
s
pac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_point_void: re
n
a
me "dim" argum
e
nt t
o
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_p
o
i
nt_zero: rename "dim" a
r
gument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_point_alloc: re
n
ame "dim"
argument
t
o "
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_o
u
tput
.
c
: pri
n
t_base
:
rename "
d
im" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_outpu
t
.
c: print_nested_tuple:
rename "local_dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Ver
d
oolaege
isl_ou
t
put
.
c: print_nested
_
v
ar_
l
i
st: r
e
name "local_di
m
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
i
s
l
_basi
c
_
m
ap_
n
at_u
n
iverse:
r
ename "
d
i
m" a
r
gument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
olae
g
e
isl_transitive_clos
u
re
.
c: in
c
r
e
m
e
ntal_clos
u
re: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transit
i
ve_closur
e
.
c: co
n
struct_exte
n
de
d
_path:
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl
_
transitive
_
clo
s
ure
.
c: incremental_on_entire_dom
a
in
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdool
a
ege
i
sl_t
r
ans
i
tive_closure
.
c: incr
e
ment
:
r
e
name "dim" arg
u
ment
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_tra
n
sitive_closure
.
c: equate_p
a
rameter_to_
l
en
g
th
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_tr
a
nsitive_
c
l
o
sure
.
c: pa
t
h_along_delta
:
rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oolaege
isl_
t
rans
i
tive_closure
.
c:
pa
t
h_along_st
e
ps: renam
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
do
o
laege
isl_map
.
c: n
e
g_
h
a
l
fspac
e
: rename "dim" arg
u
ment to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_m
a
p
.
c: nonne
g
_
h
alfspa
c
e:
rename "dim"
a
rgume
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_basic_map_identity: rena
m
e "d
i
m"
argument to "sp
a
c
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
olaege
isl_ma
p
.
c: basic
_
map
_
ide
n
tity: r
e
name "dims" argum
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Ver
d
oolaege
isl_ba
s
ic_map_from_
c
o
n
straint_matrices
:
rename
"dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
do
o
laeg
e
isl_sp
a
ce_drop_dims:
r
ename "dim"
argume
n
t
t
o
"sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_basic
_
map_add_div_const
r
aints: add memory management
.
.
.
commit
|
commitdiff
|
tree
2018-08-16
Sven Verdoolaege
split
I
SL_BASIC_MAP_
N
ORMALIZED
into *_NO_REDU
N
DANT
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sv
e
n
Verdoo
l
aege
isl_map_simplify
.
c: isl_basic
_
m
a
p
_eliminate_
v
ars: d
r
op
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdo
o
laege
is
l
_map_simplify
.
c: s
e
t_div_from_eq:
drop
redundant
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoolaege
i
sl_m
a
p_simplify
.
c: eli
m
inate_var_
u
sing_equal
i
ty:
dro
p
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verd
o
olaege
isl_
m
a
p
.
c: insert_bounds_on_div_from_ineq
:
drop redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven Verdo
o
laege
isl
_
basic_map_in
s
er
t
_
dim
s
: ren
a
me "dim" var
i
able to
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sve
n
Verd
o
olaeg
e
i
s
l_spa
c
e_insert_dim
s
: us
e
isl_sp
a
c
e
_get_ctx
commit
|
commitdiff
|
tree
2018-08-05
S
ven Verdoolaege
isl_sp
a
c
e_inser
t
_dims:
r
e
nam
e
"dim" argument to "sp
a
c
e
"
commit
|
commitdiff
|
tree
2018-07-04
Sv
e
n V
e
r
doolaege
add isl_
*
_lis
t
_
s
wap
commit
|
commitdiff
|
tree
next