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_add_constraint: rename "dim" variable to "space"
2018-08-22
Sven Verdoolaege
isl_basic
_
m
a
p
_add_constraint: renam
e
"dim"
va
r
iable
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
e
r
d
ool
a
ege
isl_bernstein
.
c
: ber
n
s
tein_coeff
i
cients_ce
l
l:
r
e
n
ame
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
i
s
l_u
n
ion_pw_*
_
from_pw_*: rename "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_ta
b
_
pip
.
c: split_domain: r
e
na
m
e "di
m
"
v
ariable
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ma
p
_deltas_map: rename "domain_dim
"
variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
isl_transit
i
v
e_closure
.
c:
a
dd
_
length: r
e
nam
e
"dim"
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaeg
e
isl
_
transitive_closu
r
e
.
c
: se
t
_path_length: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_transit
i
ve_closure
.
c: path_along
_
delta:: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_m
a
p_r
a
n
g
e_produc
t
: rename "dim" variable
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_bas
i
c_map
_
p
roduc
t
: rename "dim" v
a
riable
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_deltas_map: r
e
name
"dim" v
a
riable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
e
r
doolaege
isl_
b
asic_
m
a
p
_
domain_map: r
e
n
a
m
e
"
dim" varia
b
le to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_bas
i
c_map_app
l
y
_rang
e
:
rename "dim" variable
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoo
l
a
e
ge
isl_loc
a
l_spa
c
e_alloc: rename "dim" v
a
riable to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdoolae
g
e
isl_basic_
m
ap_le
s
s_at: rename "
d
im" ar
g
ument
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
is
l
_basic_m
a
p_equal: rename "dim" argument
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
doolae
g
e
isl_o
u
tpu
t
.
c
: print_basic_set_c:
r
e
n
ame "di
m
" ar
g
ument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdoolaege
i
sl_local_space
_
a
lloc_div
:
r
e
na
m
e
"dim"
argum
e
nt to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
i
s
l_space_cow: ren
a
m
e
"dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
o
o
lae
g
e
isl_space_lift: rename
"dim" argu
m
ent to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolae
g
e
i
sl
_
spac
e
_flatten: ren
a
me "di
m
" arg
u
ment to "
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
S
ven V
e
rdoolaege
isl_s
p
ace_r
e
set: rename "
d
im"
argument to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
is
l
_space
_
zip: rename "di
m
"
argumen
t
to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verd
o
olaege
is
l
_s
p
a
ce_unw
r
a
p
: ren
a
me "dim
"
argumen
t
to
"s
p
ac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
doola
e
g
e
isl_spa
c
e_wra
p
: rename "dim"
ar
g
ument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_spa
c
e_i
s
_wrappi
n
g: rename
"dim" argumen
t
t
o
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoola
e
ge
isl_
s
p
a
ce_from_range: rename "di
m
" argument to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_spac
e
_from_domain: rename
"dim" argumen
t
to
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_sp
a
ce_reverse:
r
ename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_set_dim_nam
e
: ren
a
m
e
"dim" argument to
"space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
i
sl_
s
pace_get_t
u
ple
_
na
m
e:
renam
e
"dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_sp
a
ce_g
e
t_dim
_
name: r
e
name "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_
s
pace_set_tuple_name: ren
a
m
e "dim" argu
m
ent to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
is
l
_space_
g
et_dim_id: rename "dim" argum
e
nt to
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_spac
e
_h
a
s_d
i
m_i
d
:
ren
a
me "dim"
argumen
t
t
o
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl
_
space_res
e
t_tuple_id
:
re
n
ame "di
m
" argument
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoola
e
ge
isl_space_set_tuple_id: rename
"
dim"
ar
g
u
ment
t
o "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
s
p
a
ce_g
e
t_tuple_id: renam
e
"dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
i
s
l_s
p
a
c
e_has_tuple_id: rena
m
e
"d
i
m
"
ar
g
ument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
olaege
i
sl_space
.
c
: offset: rename "dim
"
argu
m
ent to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
s
p
ace_dup: rename "dim"
a
r
gume
n
t to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
l
a
ege
isl_space
_
g
e
t
_ctx: rename "d
i
m" argum
e
n
t
to
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_fold
.
c: qpolynomial_fold_alloc:
rename "dim" argumen
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_union
_
*_alloc: rename "dim" argument to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_map
.
c
: map_
l
ex_gte: rename "dims" argu
m
ent
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaeg
e
isl_map
.
c:
m
a
p_l
e
x_lte
:
rename "dim
s
" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_transi
t
i
ve_closure
.
c:
c
onst
r
uct_power_co
m
p
onents
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl
_
b
a
s
ic_s
e
t_nat_universe: rename
"dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_map
.
c: map_lex
_
gte_first: rename "dims" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
isl_ma
p
.
c: map_lex_lt
e
_
f
i
rst:
rename "d
i
ms" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_output
.
c: print_set_c: rena
m
e "di
m
" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_transitive_clo
s
u
r
e
.
c: flo
y
d_warshall: rename "
d
im
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
dool
a
e
ge
isl_
t
ransi
t
ive
_
closure
.
c: flo
y
d
_
w
arshall_with_groups
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_transi
t
ive_clos
u
re
.
c: co
m
pute_
i
n
c
remental: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
i
sl_basic_map
_
alloc_s
p
ace: rename "
d
im" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
do
o
laege
i
s
l_bas
i
c_map_m
o
re_or_equal
_
a
t
: ren
a
m
e
"
dim"
a
r
gument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl
_
basic_ma
p
_
m
ore_at: ren
a
m
e "dim" argument
t
o "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
is
l
_ba
s
ic_
m
a
p_
l
ess
_
o
r
_equ
a
l_
a
t:
r
ename "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
i
s
l_tab_pip
.
c: set_minimum: rename "dim" argum
e
n
t
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
o
l
aege
isl_dim_
m
ap_dim_ran
g
e: re
n
ame
"dim
"
argu
m
ent
t
o "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_basic_map_extend_space: rename
"dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_ma
p
_reset_s
p
ace: rename "dim" argument
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolae
g
e
isl_
q
pol
y
n
omial_*_on
_
domain: rename "dim" argume
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
q
polynomi
a
l_from_affin
e
: rename "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaege
isl_spac
e
_find_di
m
_by_id:
r
e
n
ame "dim" ar
g
um
e
nt
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolae
g
e
isl_sp
a
ce
.
c
:
n:
r
e
name "dim" argument to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
s
l_point_void: rename "dim
"
argument to
"
spa
c
e
"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oo
l
aege
isl_p
o
int_zero
:
r
e
name "dim
"
argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_p
o
int_alloc: rename "dim
"
argume
n
t t
o
"sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_output
.
c: print_base: rename "dim"
argume
n
t to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oola
e
ge
isl_output
.
c: pr
i
nt_
n
ested_tuple: rename "l
o
cal_dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
oolaeg
e
isl
_
outp
u
t
.
c:
print
_
nes
t
e
d_var_list: rena
m
e "local_
d
im
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdool
a
ege
isl_bas
i
c_
m
a
p_na
t
_un
i
v
e
r
s
e: rename "d
i
m"
a
rg
u
ment to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_transitive_closure
.
c: in
c
re
m
en
t
al_c
l
osure:
r
ename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_t
r
ansitiv
e
_closur
e
.
c:
c
on
s
truct_extended_path:
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transi
t
ive_c
l
osu
r
e
.
c: inc
r
emental
_
on_
e
ntire_d
o
main
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
er
d
oolaege
isl_tr
a
nsitive_closure
.
c: increment: ren
a
m
e "dim" argu
m
ent
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_transitive_closure
.
c:
equ
a
te_
p
a
r
amet
e
r_to_
l
ength
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdool
a
eg
e
isl_transi
t
ive_
c
losure
.
c: path_along_delta
:
r
ename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoo
l
a
e
g
e
isl_tr
a
nsitive_
c
losure
.
c: p
a
th_along_st
e
ps: r
e
name
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_map
.
c:
n
eg_h
a
lfspac
e
:
r
ename "dim" argu
m
e
n
t
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
i
s
l_
m
ap
.
c: nonneg_halfspace: r
e
name "dim"
a
rgument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
aege
isl
_
ba
s
ic_map_id
e
ntity:
r
ename "dim
"
a
r
gument t
o
"s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_map
.
c: basic_
m
a
p
_
identi
t
y:
re
n
ame "dims
"
argume
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_basic_
m
ap_
f
rom_con
s
t
r
aint_matrices: rename "dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolae
g
e
isl
_
space_drop_dims: rena
m
e "dim" a
r
gument to "space
"
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_basi
c
_map_add_div_constra
i
n
t
s: add memory management
.
.
.
commit
|
commitdiff
|
tree
2018-08-16
Sv
e
n Verdoo
l
a
ege
s
p
li
t
ISL_BASIC
_
MAP
_
NORMALIZ
E
D into *_NO_
R
E
DUNDA
N
T
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
S
ven
V
e
rdoolaege
i
s
l_map_
s
i
mplify
.
c:
i
sl_
b
as
i
c_map_elimin
a
te_vars: drop
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sve
n
Verdool
a
eg
e
is
l
_
m
ap_simplify
.
c: set_div_from_eq: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoolaege
isl_map_
s
implify
.
c: elimi
n
a
t
e_var_using_
e
qua
l
ity: drop
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven V
e
rdoolaege
isl
_
m
a
p
.
c: insert_bounds_
o
n_div_from_i
n
eq: drop redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven Verdoolaeg
e
i
s
l_basic_map_insert_dims: re
n
ame "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven
V
er
d
oolaege
i
s
l_s
p
ace_insert_dim
s
: use isl_s
p
ace_get_ctx
commit
|
commitdiff
|
tree
2018-08-05
Sv
e
n Verdool
a
ege
i
s
l
_space_i
n
s
e
rt_dims: rename "dim" argument to "spa
c
e"
commit
|
commitdiff
|
tree
2018-07-04
Sve
n
Ve
r
doolaege
add isl
_
*_list_swap
commit
|
commitdiff
|
tree
2018-06-21
Sven Verdo
o
l
aege
add isl_basic_set_from_multi_aff
commit
|
commitdiff
|
tree
2018-05-17
S
ven Verdoolaege
isl_*_list
_
get_*: extr
a
ct out isl_*
_
list_peek
commit
|
commitdiff
|
tree
2018-05-02
Sven Verd
o
ol
a
ege
extract out sha
r
ed isl_reord
e
ring_get_ctx
commit
|
commitdiff
|
tree
2018-05-02
Sven Verdoolaege
e
xtract out shared isl_loc
a
l_re
o
rder
commit
|
commitdiff
|
tree
next