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
drop deprecated isl_map_n_in
2018-08-28
Sven Verdoolaege
isl_basic_set_total_di
m
:
implement in
t
erms of isl_basic_map
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
S
ve
n
Verdoolaege
isl_constraint
.
c:
u
se
i
sl_basic_set_offset
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
o
olaege
isl_constrai
n
t
.
c: use
isl_basic_map_o
f
fset
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdoolaege
drop isl_b
a
sic_set_
e
xte
n
d
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdo
o
l
ae
g
e
drop is
l
_basic
_
s
e
t_ad
d
_
e
quality duplicate
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoola
e
ge
isl_
b
asic_map_add_{
e
q
,
i
n
eq
}
: only modify
single copy
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoo
l
a
e
ge
isl_qpo
l
y
n
omial_as_polyno
m
ia
l
_on_dom
a
in: use
i
s
l
_
l
o
cal_space
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
r
doolaeg
e
isl_qpolynomial_
g
ist: use isl_
l
o
cal_space_
l
ift_set
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdo
o
laege
ad
d
isl_local_space_lift_basi
c
_set
commit
|
commitdiff
|
tree
2018-08-25
Sven Verd
o
olaege
isl_aff_gis
t
:
e
x
tract out isl_lo
c
al_space_lift_set
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_basic_ma
p
_
identity: us
e
i
sl_
s
p
a
ce_dim
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
m
ap
.
c:
b
asic_map_identity: reuse isl_
b
asic_map_equal
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_sp
a
ce_
u
nderlying:
return set
spa
c
e
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
V
erdoo
l
aege
isl_basic_set_pr
e
image:
u
se
is
l
_ba
s
i
c
_set_a
d
d_
d
ims
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
olaege
isl_
u
nion_*_set_h
a
s_dim: re
n
ame to isl
_
u
nion_
*
_
s
et_h
a
s_space
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_union_*_
s
et_has_
d
im: renam
e
"dim" va
r
ia
b
le to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
rdool
a
e
ge
is
l
_s
e
t_flatten_map: re
n
ame "dim"
v
ariabl
e
s to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
do
o
laege
isl_tra
n
sitive
_
cl
o
s
ure
.
c:
union
_
floyd_war
s
hall_on_list
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_space_l
i
f
t: rename "d
i
m" variable
to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
laeg
e
isl_s
p
ace_
j
o
i
n: rename "dim" variable to
"space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_space_alloc: rename "dim" variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
aege
isl_local_
s
pace_off
s
et: rename
"
d
im"
v
ariable
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
g
e
isl_tran
s
itive_closure
.
c: c
o
nstruct_po
w
er: re
n
ame
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c: map_dim_opt:
ren
a
me
"
dim" var
i
able to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_basic_set_solutions: rename "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oola
e
ge
isl_basi
c
_set_coeffici
e
nts
:
rename
"dim" variab
l
e
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoola
e
ge
isl_
s
et
_
l
i
ft: rename "di
m
" variable to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_map
.
c: m
a
p_apply_range: rename "dim"
v
ariabl
e
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oolaege
isl_basic_set_sample_po
i
nt:
rename "dim"
v
ar
i
able to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
r
d
oo
l
aege
isl_
f
actorizer_groups: r
e
name "dim" v
a
riable to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_
b
asic_set_
l
ift: r
e
name "
d
im"
v
ari
a
ble
to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_basic_map_ad
d
_constraint:
r
ena
m
e "di
m
" vari
a
b
le
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
olae
g
e
isl_bernstein
.
c: bernstein
_
coefficients_cell:
rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_union_pw_*_from_pw_
*
: rename "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verd
o
olaege
isl
_
tab_pi
p
.
c:
split_domain: r
e
name "di
m
" var
i
able
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_map_
d
eltas_map: re
n
ame "d
o
ma
i
n
_dim" variable t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
e
rdool
a
ege
is
l
_transitive_closure
.
c
:
add_len
g
th: rename "dim"
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoolaege
i
s
l_transitive_clo
s
ur
e
.
c: set_path_length: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
olaege
isl_
t
r
ansitive_closure
.
c: p
a
th_a
l
o
ng_delt
a
:: renam
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolae
g
e
isl_basic_map_r
a
nge_product: rename "dim" vari
a
ble
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdo
o
laege
isl_basic_ma
p
_product: rename "dim" variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl
_
basic_map_delta
s
_map
:
rename "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_basi
c
_
m
ap_domain_m
a
p
: rename "d
i
m" vari
a
b
l
e
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
basic
_
m
ap_apply_range
:
rename "dim" variabl
e
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
i
s
l_lo
c
al_space_alloc: r
e
name "dim"
v
aria
b
le to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Ve
r
do
o
laege
isl_basic_
m
ap_
l
es
s
_at:
r
ename "
d
im"
a
rgument to "
s
pa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdool
a
ege
isl
_
basic_map_e
q
u
a
l: rename "dim" argume
n
t to "
s
p
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ol
a
ege
isl_output
.
c:
p
rin
t
_basic
_
set_
c
: rename "dim"
a
rgument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoola
e
ge
isl_l
o
cal_spac
e
_
alloc_div:
rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
ool
a
ege
isl
_
space_cow: re
n
ame "dim" arg
u
ment to
"
s
p
ac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
r
d
oo
l
aege
isl_spa
c
e_lift: rename "dim" argume
n
t to "s
p
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oolaege
isl_s
p
ace_flatten: rename
"di
m
"
a
rgument to "
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
do
o
laege
isl_space_
r
eset
:
rename
"
dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaeg
e
is
l
_space_zip: rename "di
m
" argumen
t
to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdoolaege
i
s
l
_
space
_
unwrap:
rename "dim" argument
to
"
sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl
_
spa
c
e
_
wrap: rename "dim" argument
to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_space_is
_
w
rapping: ren
a
m
e "dim" arg
u
ment to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erd
o
olaege
isl_space
_
f
rom_rang
e
: re
n
am
e
"di
m
" argu
m
e
n
t t
o
"
s
pace
"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdool
a
eg
e
isl_sp
a
ce_from_
d
omain
:
ren
a
m
e
"
dim"
a
rgument
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space
_
revers
e
:
r
ename "
d
im" ar
g
ument to
"spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
is
l
_
s
pace_set_dim_n
a
me: rename "dim" argument to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaeg
e
isl_space_get_tuple_name: rena
m
e "dim" ar
g
u
m
e
nt to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_space_ge
t
_dim_na
m
e: rename "d
i
m
" argume
n
t to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_sp
a
ce_set
_
tuple_name: rename "dim" argum
e
nt to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_
s
pace
_
get_dim_id:
renam
e
"
dim" argum
e
nt to
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
oolae
g
e
isl_space
_
has_dim_i
d
: renam
e
"dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
doolaege
isl_spac
e
_
r
e
s
et_t
u
ple_
i
d
:
rename "dim" argument t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_space_set_t
u
ple_id: ren
a
me
"
dim" arg
u
ment to
"
s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdool
a
e
g
e
i
sl_s
p
ace_g
e
t_tuple_id:
rename "d
i
m
" argument to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_spa
c
e_has_tuple_id: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_spa
c
e
.
c: offs
e
t
:
rename "dim" argume
n
t to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verd
o
ol
a
ege
is
l
_spac
e
_dup: re
n
a
me "dim
"
argument to
"
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
i
sl
_
spac
e
_get_ctx: rename "dim"
a
rgum
e
nt to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oolaege
i
s
l
_fold
.
c
: qpo
l
yno
m
ial_fold_alloc: rename "
d
im" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_uni
o
n
_*_a
l
lo
c
: rename "dim
"
a
rgumen
t
t
o
"space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoola
e
ge
isl_map
.
c
: map_lex_gte: rename "dims"
a
rgument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_ma
p
.
c: map_lex_lte: ren
a
me "dims" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
doolaege
isl_transitive_closure
.
c
:
construct_pow
e
r_com
p
onents
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaeg
e
isl_bas
i
c_se
t
_nat_univ
e
rse: rename "di
m
" argument t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_m
a
p
.
c: map_l
e
x_gte_fi
r
st: rename "dim
s
"
a
rgument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdoo
l
ae
g
e
isl_map
.
c: ma
p
_lex
_
lte_fir
s
t: rename "dims
"
argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_output
.
c
:
print_set_c
:
rename "d
i
m" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_transitive_closure
.
c: floyd_wars
h
al
l
: rename "dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
la
e
ge
isl_t
r
an
s
itive_closure
.
c
: fl
o
yd_wa
r
sha
l
l_with_groups
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
s
l_t
r
a
nsitive_closure
.
c
:
compu
t
e_
i
ncre
m
e
ntal: r
e
name
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ba
s
ic_m
a
p_all
o
c_space: rena
m
e
"dim"
a
rgument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_bas
i
c_map
_
mor
e
_or_eq
u
al_at: rename "
d
im"
a
r
g
u
ment
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_b
a
sic_map_more_a
t
: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaeg
e
isl_basic_map_less_or_eq
u
a
l
_at
:
r
ename "
d
im"
argu
m
ent
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
t
a
b_pi
p
.
c: set_minimu
m
: rename "dim" ar
g
u
m
ent to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaeg
e
isl
_
dim_map_dim_range: rena
m
e "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_bas
i
c_
m
ap
_
ext
e
nd_s
p
ace: rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_
m
ap_reset_spac
e
:
rename "
d
im" argument
t
o "spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_qpolynomial_*_on_domain:
r
e
n
ame "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_qpolynomial_from_affi
n
e: rename
"dim" ar
g
ument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
olaege
isl_space_find_dim_by
_
id: ren
a
me "dim"
argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
doolaege
isl_space
.
c
:
n: rename "dim" ar
g
ument to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
e
r
doolae
g
e
isl_point_
v
oid: rename "dim
"
a
r
gumen
t
t
o
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
doolae
g
e
isl_point_ze
r
o: rename "d
i
m
"
argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoola
e
ge
isl_point_alloc: re
n
ame "dim"
a
r
gum
e
nt to "space"
commit
|
commitdiff
|
tree
next