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_wrap: rename "dim" argument to "space"
2018-08-22
Sven Verd
o
olaege
i
sl_space_wrap: rename "dim" argument
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
spac
e
_is_wrapping: r
e
name "dim" ar
g
ument to "s
p
ace
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_space_from_range: rename "d
i
m" argu
m
ent to
"
sp
a
c
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_space_fr
o
m
_domain: re
n
ame "dim"
a
rgument to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erd
o
ol
a
ege
isl
_
spa
c
e_rever
s
e: renam
e
"
d
im"
a
rgume
n
t
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
i
s
l_space_
s
et_dim_name: re
n
ame
"
dim"
a
rgumen
t
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ola
e
ge
isl_space_g
e
t_tuple_name: re
n
ame "dim"
argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdo
o
l
a
ege
i
s
l
_
s
pace_get_dim_na
m
e:
rename "dim"
a
rgument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_space_set_
t
upl
e
_name: rename "dim" argumen
t
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_get_dim_id: re
n
ame
"
dim" argument to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_s
p
ace_has_dim_id: rename "dim" a
r
gument
t
o
"
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
r
do
o
l
aeg
e
isl_space
_
res
e
t_tu
p
le_id:
r
enam
e
"dim"
argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdo
o
la
e
ge
isl_space
_
set_tuple
_
id:
re
n
ame "dim" argum
e
nt
t
o
"
spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoo
l
aege
isl_
s
pace
_
get_tuple_
i
d: rena
m
e "dim" ar
g
ument to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Ve
r
doolaege
is
l
_space_has_tuple_
i
d: r
e
n
a
me "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_
s
pace
.
c: offset: rename "di
m
" ar
g
ument to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doola
e
g
e
i
s
l
_space_du
p
:
ren
a
me "dim"
argument
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_space_
g
et_ctx: ren
a
me "dim" argu
m
ent to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdoolae
g
e
isl_fold
.
c: qpolynomial_fold_alloc: rename "d
i
m" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaeg
e
isl_
u
nion_*_alloc:
r
e
name "di
m
" argument to
"
s
p
a
c
e"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_
m
ap
.
c: map_lex
_
gte: renam
e
"
d
ims" ar
g
u
ment to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
m
ap
.
c: map_lex_lte: r
e
name "dims" a
r
g
u
ment to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transiti
v
e
_
c
losure
.
c: construct_power_comp
o
nents
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
laege
is
l
_basic_se
t
_nat_u
n
iv
e
r
se: rename
"
d
i
m" argume
n
t
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c: map_lex_gte_first
:
r
ena
m
e "
d
im
s
" argu
m
ent
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
dool
a
ege
isl_ma
p
.
c
: map
_
l
ex_lte_first: rename "dims" arg
u
men
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
la
e
ge
isl_ou
t
put
.
c: print_
s
et_
c
:
rename "dim" argument
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_tr
a
n
s
i
t
ive_closure
.
c
:
floyd_war
s
h
all
:
rename
"dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_transiti
v
e
_
c
l
osure
.
c: flo
y
d_
w
arshall_with_groups
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_transitive_clos
u
re
.
c
: compute_increme
n
tal:
re
n
ame
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
o
ola
e
ge
isl_basic
_
map
_
al
l
oc_space: re
n
ame "dim" argument t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaeg
e
i
s
l_basic_map_m
o
re
_
or_eq
u
al_at: rename "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl
_
bas
i
c_map_more_a
t
: ren
a
me "dim" argument to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_less_or_equal_at: rename "dim" argum
e
nt
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_tab
_
pip
.
c: set_minimum:
rename "dim" a
r
g
ument
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_dim
_
map_di
m
_range: r
e
na
m
e "dim"
argumen
t
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_extend_space: rename "d
i
m" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
map_reset_space: rename "dim" argument to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_qpolynomial_*_on_
d
omai
n
: rename "dim" argume
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_qpo
l
ynom
i
al_from_aff
i
ne
:
rename
"dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
l
a
ege
is
l
_spa
c
e_find_di
m
_b
y
_id: rename "dim"
a
rg
u
ment to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
laege
isl_
s
pace
.
c: n: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_
p
oint_void:
r
ename
"
dim" argu
m
ent t
o
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_po
i
nt_zero:
rename
"
dim" argument to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
Verdoolaege
isl_
p
oint_alloc: renam
e
"dim"
ar
g
ument to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoola
e
ge
isl_
o
utpu
t
.
c: print_base: rename "dim" argument t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_o
u
tput
.
c: pri
n
t_nested_tu
p
l
e: rename "
l
o
cal_
d
im
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
is
l
_out
p
ut
.
c:
p
rint_n
e
sted_var_list: rename "local_dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
b
asic_map
_
nat_universe: rena
m
e "
d
im" argumen
t
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_tr
a
nsitive_closure
.
c:
increm
e
ntal_closur
e
:
rena
m
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
tran
s
itive_cl
o
su
r
e
.
c: construct_exten
d
ed_pat
h
:
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
i
sl_transitiv
e
_
closure
.
c
:
i
ncrement
a
l_on_e
n
tire_domai
n
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_
t
r
ansitive_closure
.
c: increment: re
n
a
m
e "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdool
a
ege
isl_transitive_closure
.
c: equate_parameter_to_l
e
ngth
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_transitive_c
l
osure
.
c: path_along_delta: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_closure
.
c
:
p
ath_along_steps: renam
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
olaeg
e
isl_map
.
c
:
neg_halfsp
a
ce: rename "
d
im" a
r
gument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
d
oolaege
i
s
l_m
a
p
.
c: nonn
e
g_
h
alfspace: rename "dim" argumen
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven V
e
r
d
oolaege
isl
_
basic_map_
i
d
ent
i
ty: rename "dim" argument
t
o
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_map
.
c: ba
s
ic_map_ide
n
tity: rename "
d
ims" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaeg
e
isl_basic_
m
ap_from_const
r
aint_ma
t
r
ices: rename "di
m
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_s
p
ac
e
_drop_di
m
s:
renam
e
"dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaeg
e
isl_basic_map_add_div_cons
t
raints:
a
dd
m
e
m
o
r
y managemen
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-16
Sve
n
Verdoolaege
s
p
lit ISL_BASIC
_
MAP_NORMA
L
I
ZED into *_NO_REDUND
A
NT
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
S
ven Verdoolaege
isl_
m
ap_simplify
.
c: i
s
l_basic_map_elim
i
nate_
v
ars: dro
p
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdool
a
ege
isl_map_simplify
.
c:
set_div_from_eq: drop re
d
und
a
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
S
ven Verdoolaege
isl_map_simplify
.
c: eliminate_va
r
_using_
e
qualit
y
:
d
ro
p
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sve
n
Verdoolaege
isl_ma
p
.
c:
i
nsert_b
o
u
nds_on_div_from_ineq: drop
r
edu
n
dant
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven Verdoolaege
is
l
_basic_map_insert_d
i
ms:
r
ename "dim" v
a
riabl
e
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven Ver
d
oolaege
isl_space_insert_
d
ims: u
s
e
i
sl_
s
pace_ge
t
_
c
tx
commit
|
commitdiff
|
tree
2018-08-05
S
v
en Verdoolaeg
e
i
sl_space_insert_
d
ims: rename "dim" argu
m
ent
t
o "space"
commit
|
commitdiff
|
tree
2018-07-04
Sven Verdoolaege
add isl_*_list_swap
commit
|
commitdiff
|
tree
2018-06-21
Sven Ver
d
oolaege
ad
d
isl_basic_
s
et_from
_
multi_aff
commit
|
commitdiff
|
tree
2018-05-17
Sven Verdoolaege
isl
_
*_li
s
t_get_*: extr
a
ct
o
ut isl_*
_
list
_
pe
e
k
commit
|
commitdiff
|
tree
2018-05-02
Sv
e
n Verdoolaege
extr
a
ct out shared isl_reord
e
rin
g
_get_ctx
commit
|
commitdiff
|
tree
2018-05-02
Sv
e
n Verdoo
l
a
e
ge
extr
a
ct out
shar
e
d isl_local_reorder
commit
|
commitdiff
|
tree
2018-04-30
Sven Verdoolaege
isl_spa
c
e
_
align_
p
a
ra
m
s: rename
"
dim" ar
g
u
ments to
.
.
.
commit
|
commitdiff
|
tree
2018-04-28
S
v
en
V
erdoolaeg
e
isl_basic_map_
r
ealign:
re
n
ame "dim" argumen
t
t
o "spac
e
"
commit
|
commitdiff
|
tree
2018-04-28
Sven V
e
rdool
a
ege
i
s
l
_bas
i
c_map_r
e
a
lign: use isl_bas
i
c_map_dim
commit
|
commitdiff
|
tree
2018-04-24
S
ven Ver
d
oolaege
isl
/
val
.
h
:
ex
t
ract
out
i
sl/val
_
type
.
h
commit
|
commitdiff
|
tree
2018-04-18
Sven V
e
rdoolaege
isl_map
.
c: extrac
t
out shared isl_map_chec
k
_range
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl_pw
_
*_e
v
al: renam
e
"pn
t
_dim"
v
ariab
l
e
to "pnt_
s
pace"
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
add isl_aff_
e
val
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoola
e
ge
add isl_local_sp
a
ce_lift_
p
oint
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoola
e
ge
add isl_
l
ocal
_
space_h
a
s_space
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl_qpolyno
m
ial_eval: extract out is
l
_local_ex
t
end_poin
t
_vec
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdool
a
ege
i
sl_p
o
lynomial
.
c: isl_upol
y
_eval: check for NULL argument
commit
|
commitdiff
|
tree
2018-03-18
Sven
V
erdoo
l
aeg
e
add isl_vec_add_els
commit
|
commitdiff
|
tree
2018-03-18
Sven Ver
d
oolaege
i
sl
_
loc
a
l_space_divs_known: extra
c
t out isl_lo
c
al_divs_
k
n
o
w
n
commit
|
commitdiff
|
tree
2018-03-18
S
v
en Ve
r
doolae
g
e
i
s
l_lo
c
al
.
c: ex
t
ract out
share
d
i
sl_
l
o
c
al_dim
commit
|
commitdiff
|
tree
2018-03-18
Sven Ver
d
oolaege
isl_lo
c
al
.
c:
e
xtract
o
u
t
shared isl_lo
c
al_get_ctx
commit
|
commitdiff
|
tree
2018-03-04
S
ve
n
Verdoolaege
is
l
_space_is_domain: extract out isl_spac
e
_
h
as_dom
a
i
n
_tuples
commit
|
commitdiff
|
tree
2018-03-04
Sven
Verdoolaeg
e
privat
e
ly
e
xpo
r
t is
l
_map_
i
s_
p
ar
a
ms
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
i
sl_p
w
_*_
g
et_s
p
a
ce: extract out is
l
_pw_
*
_peek_spac
e
commit
|
commitdiff
|
tree
2017-12-26
S
ven Verdool
a
ege
isl_aff
.
c: pw_af
f
_aff_on_domain:
expli
c
itly insert
.
.
.
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
a
dd isl
_
af
f
_
f
r
o
m_range
commit
|
commitdiff
|
tree
2017-12-26
Sven Verd
o
olaege
add isl_aff_{take,re
s
tore}
_
domain
_
loca
l
_space
commit
|
commitdiff
|
tree
2017-12-26
S
ven
V
er
d
oo
l
a
ege
ad
d
isl_local_space_set_from_p
a
rams
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
add i
s
l_loca
l
_space_{ta
k
e,restore}_space
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdo
o
laege
s
p
ec
i
aliz
e
isl_sp
a
ce_replace
t
o isl_space_re
p
l
a
ce_params
commit
|
commitdiff
|
tree
next