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_range_product: rename "dim" variable to "space"
2018-08-22
Sv
e
n Verdoo
l
a
ege
isl_basic_
m
ap
_
range_pr
o
duct: ren
a
me "dim" variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
i
sl_basic_
m
a
p_produ
c
t: rename "dim" var
i
able to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
dool
a
ege
isl_ba
s
ic_m
a
p_deltas_map:
r
en
a
me "di
m
"
va
r
iable
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
e
r
doolaege
is
l
_b
a
s
i
c
_ma
p
_domain_map:
rename "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_basic_map_ap
p
l
y_range:
r
ename
"dim
"
variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
i
sl_loca
l
_space
_
all
o
c:
rename
"
dim"
var
i
able to "spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoola
e
ge
i
s
l
_
b
asic_map_less_a
t
:
r
e
na
m
e "d
i
m"
a
r
g
ument to "
s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_basic_map_eq
u
al: rename "dim" arg
u
ment to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_ou
t
put
.
c: prin
t
_
basic_set_c:
rename "dim" argu
m
ent
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_local_space_a
l
loc_div: rename "dim" argum
e
n
t
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
oolaege
isl_space_cow: rename "dim" argu
m
ent to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl
_
spac
e
_lif
t
: re
n
a
m
e "dim"
argu
m
ent
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
i
s
l
_
sp
a
ce_flatten: renam
e
"dim" a
r
gum
e
nt
t
o
"
sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
S
ven V
e
rdoo
l
aege
isl
_
s
p
ace
_
reset:
r
e
n
a
me "di
m
" ar
g
ument to
"space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
i
s
l
_
space_zip:
r
e
n
ame "d
i
m" argument to "
s
pac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_sp
a
ce_u
n
wrap: re
n
ame "dim" ar
g
ument
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
olaege
isl_
s
pace_wr
a
p: rena
m
e
"dim" argument
to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_space_is_wrapping: rena
m
e "
d
i
m
" argum
e
nt to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erd
o
olaege
isl_space_from
_
range: rename "dim" arg
u
ment t
o
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_space_from_domain: rename "dim"
argument to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erd
o
o
la
e
ge
isl_space_re
v
er
s
e: rename "dim" argument
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_
s
pace_set_dim_name: renam
e
"dim" ar
g
ument
t
o
"s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_get_tupl
e
_name:
r
enam
e
"di
m
" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Ve
r
do
o
laeg
e
i
sl_space_get_dim_na
m
e
:
r
enam
e
"dim" argument to "s
p
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olae
g
e
isl_space_
s
et_tuple
_
n
ame: rename "dim"
a
rgument
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_get_dim_
i
d: rename
"dim" a
r
gument
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verd
o
olaege
i
s
l
_space_has
_
d
i
m_id: ren
a
me "d
i
m
" argum
e
nt to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n V
e
rdoolae
g
e
isl_
s
pace_reset_tuple_id: rename
"
dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rd
o
olaege
isl_space
_
se
t
_tuple_id
:
r
e
name "d
i
m
"
argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
doolaege
isl_space_get_
t
uple_id: r
e
name "dim" argument
t
o
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
oolaege
i
s
l
_
space_has_tuple_id: rename "dim" ar
g
ument to "
s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_
s
pace
.
c: off
s
et: ren
a
me
"dim" argument to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
is
l
_space_dup: rename "dim" arg
u
m
e
nt to
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
s
pace_
g
et_ct
x
:
rename "dim" ar
g
ument to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_fo
l
d
.
c: qpolynomial_fold_alloc: rename "dim"
argu
m
ent
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_u
n
ion
_
*_al
l
oc: renam
e
"d
i
m"
argument to "sp
a
ce
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_map
.
c: map_lex_gte: rename "d
i
ms" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
rdool
a
e
ge
isl
_
map
.
c: map
_
lex_lte: rename "dims" ar
g
u
m
ent
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolae
g
e
isl_transitive
_
clo
s
ure
.
c: construct_powe
r
_co
m
po
n
ents
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_bas
i
c
_
set_nat_uni
v
erse: rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdoo
l
aege
isl_m
a
p
.
c: map_lex_gte_firs
t
: re
n
am
e
"dims" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
lae
g
e
i
s
l_
m
a
p
.
c: map_le
x
_
lte_
f
irst: renam
e
"dim
s
" ar
g
u
me
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdo
o
l
a
eg
e
isl_
o
utput
.
c: prin
t
_set_c:
rename "dim" ar
g
u
m
ent to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
o
o
laege
isl
_
t
r
ansitive_cl
o
sure
.
c: floyd_warshall: rename "dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitiv
e
_closure
.
c: fl
o
yd_warshall_with_groups
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_transitive_clos
u
re
.
c
:
compute_incr
e
me
n
tal: ren
a
me
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_b
a
sic_map_al
l
oc_s
p
a
ce: rename "dim" argu
m
en
t
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_basic_map_more_o
r
_e
q
u
al
_
at: rename "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
i
s
l_basic
_
map_more_a
t
: rename
"dim" argument to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_basic
_
map_
l
ess_or_equal_at: re
n
ame
"
dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
lae
g
e
isl_tab
_
pip
.
c:
s
e
t
_m
i
nimum:
r
ename
"di
m
" argu
m
ent
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_dim_map_dim_
r
ange: rena
m
e "di
m
" argument
to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_ba
s
ic_map_exten
d
_sp
a
ce: rename "dim" argu
m
e
n
t t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
a
ege
isl
_
m
ap_reset_space: renam
e
"dim" arg
u
ment to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
oolae
g
e
is
l
_qpolynomial_*_on_domain: r
e
n
a
m
e
"dim" argumen
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoola
e
ge
isl_qpolynomial_from_affine: rename "dim" a
r
gume
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
o
l
aeg
e
isl_space_find_dim_by
_
id
:
renam
e
"dim"
a
rg
u
m
ent
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdo
o
l
a
ege
i
s
l
_space
.
c:
n: rename
"
dim" argu
m
en
t
t
o "s
p
ace
"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
doolaege
isl_point
_
void:
rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_
p
oi
n
t_zer
o
: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdoolaege
i
sl
_
po
i
nt_all
o
c: rename "dim" argument t
o
"
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_output
.
c: print_base: rename "dim
"
argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_output
.
c: pr
i
nt_neste
d
_tuple
:
rename "
l
ocal
_
dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_output
.
c:
pr
i
nt_nested_v
a
r_li
s
t: rename "loca
l
_
d
i
m
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doola
e
ge
isl_basic_map_nat
_
universe: rename
"
d
im" a
r
gument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
r
d
o
o
laege
isl_transitive_closure
.
c: incremental_closure: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
is
l
_transi
t
ive_cl
o
s
ure
.
c: co
n
struct_extended_
p
ath:
.
.
.
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
Sve
n
Verdoolaege
isl_transi
t
iv
e
_closure
.
c: increm
e
nt: rena
m
e "di
m
" argum
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_tr
a
nsitive_c
l
osur
e
.
c: equate_pa
r
ameter_to_le
n
gth
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_tr
a
nsitive_closure
.
c
:
pa
t
h_along_delta: r
e
name
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
g
e
isl_transitiv
e
_closure
.
c:
path_along_steps: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
doolaeg
e
isl_map
.
c: ne
g
_halfs
p
a
ce: renam
e
"dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_map
.
c
: nonneg_halfspace: r
e
na
m
e "dim" argum
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdo
o
l
aege
i
s
l
_
basic_map_identity: rename "dim"
argumen
t
to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_map
.
c:
bas
i
c_
m
ap_ide
n
tity: rena
m
e "dims"
a
rgume
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaeg
e
i
sl_basic_map_from
_
con
s
traint_matrices: ren
a
m
e
"
d
im
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_spa
c
e
_drop_dims: re
n
ame "dim" argume
n
t to "space"
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdo
o
l
a
eg
e
isl_b
a
sic_m
a
p_add_d
i
v_co
n
s
t
raints: add memor
y
management
.
.
.
commit
|
commitdiff
|
tree
2018-08-16
Sven
V
e
rdoolaege
spli
t
ISL_BASIC_MAP_NORMA
L
IZED int
o
*_NO_R
E
D
UNDANT
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoo
l
aege
isl_map
_
simplify
.
c: isl_basic_map_
e
li
m
ina
t
e_vars: drop
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
S
v
en Verdoolaege
isl_map_simplify
.
c:
set
_
div_
f
rom_
e
q: drop
re
d
und
a
nt
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven V
e
rdo
o
laege
isl_map_simplify
.
c: eliminate_var_u
s
ing
_
equali
t
y: drop
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoolae
g
e
is
l
_
map
.
c: inser
t
_bounds_on_
d
iv_from_ineq
:
drop redundant
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
S
ven V
e
rdoolaege
i
s
l_bas
i
c
_map_i
n
s
ert_dims: renam
e
"
d
im" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
S
ven Verd
o
olaege
isl_space_insert_dims: use isl_space_ge
t
_ct
x
commit
|
commitdiff
|
tree
2018-08-05
Sven Verdoolaege
isl_spa
c
e_insert_
d
ims: rename "di
m
"
argument to
"
space"
commit
|
commitdiff
|
tree
2018-07-04
Sven Verdool
a
ege
ad
d
is
l
_*_lis
t
_sw
a
p
commit
|
commitdiff
|
tree
2018-06-21
Sven Ve
r
doola
e
ge
add isl_basic_
s
et_from_multi_af
f
commit
|
commitdiff
|
tree
2018-05-17
Sven Verdoolaege
isl_*_li
s
t_g
e
t_*: extract ou
t
i
s
l
_*
_
list_peek
commit
|
commitdiff
|
tree
2018-05-02
Sven Ve
r
d
oolaege
ex
t
ract out
sh
a
r
e
d
is
l
_reor
d
ering_get_
c
t
x
commit
|
commitdiff
|
tree
2018-05-02
Sven Verdoolaege
extract out
s
h
ared isl_local_reorder
commit
|
commitdiff
|
tree
2018-04-30
S
v
en Verdoolae
g
e
isl_sp
a
ce
_
align_p
a
rams:
r
ename "dim" a
r
gumen
t
s to
.
.
.
commit
|
commitdiff
|
tree
2018-04-28
Sven Verdoolaege
isl_
b
asic_map_
r
e
a
l
ign: ren
a
me "dim"
a
rgument to
"spa
c
e"
commit
|
commitdiff
|
tree
2018-04-28
Sven Verdool
a
ege
i
s
l_basic_map_reali
g
n: use isl_b
a
sic_map_dim
commit
|
commitdiff
|
tree
2018-04-24
Sve
n
Verdool
a
ege
isl/va
l
.
h: extrac
t
out isl/val
_
t
y
pe
.
h
commit
|
commitdiff
|
tree
2018-04-18
Sven Verdoolae
g
e
isl
_
map
.
c:
e
xtr
a
ct out s
h
ared is
l
_map_check_range
commit
|
commitdiff
|
tree
2018-03-18
Sven Ve
r
doo
l
aege
isl_pw_*_eval: rena
m
e "pnt_dim
"
variabl
e
to "
p
nt_space"
commit
|
commitdiff
|
tree
2018-03-18
S
ven
V
er
d
oolaege
a
dd
is
l
_a
f
f_eval
commit
|
commitdiff
|
tree
2018-03-18
S
v
en Verdoola
e
ge
add isl_loc
a
l_space_lift_point
commit
|
commitdiff
|
tree
next