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_set_preimage: use isl_basic_set_add_dims
2018-08-22
S
v
en Verdo
o
l
aege
is
l
_basic_set_preimage:
u
se isl_basic_set_add_dims
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
doo
l
aeg
e
isl_union_*_set_h
a
s_dim: rename
t
o
isl_union_*_set_has_space
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
eg
e
isl_un
i
on_*_
s
et_has_dim: r
e
name "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_
s
et_f
l
atten_map: rename
"
dim" var
i
abl
e
s t
o
"space
"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_transitive_cl
o
sure
.
c
: union_floyd_w
a
rsha
l
l_on_lis
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaege
isl_space_lift: rename "dim"
vari
a
b
l
e
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_join: ren
a
me "d
i
m" variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
is
l
_
s
pace_allo
c
:
rename
"dim" variable to "s
p
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_local_space_offset: rename "dim" variable to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
r
doolaeg
e
isl_
t
ransitive_closure
.
c:
const
r
uct_p
o
w
er: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
Ver
d
oolaege
isl_ma
p
.
c: m
a
p_dim_opt: ren
a
me
"
dim" variable
to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdool
a
ege
isl_basic_set_sol
u
tio
n
s:
r
e
n
ame
"
d
im" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oola
e
ge
isl_basic_
s
et_coefficients: re
n
ame "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Ver
d
oo
l
aege
isl_set_lift
:
rename "di
m
"
v
ari
a
ble to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_map
.
c: map_app
l
y_ra
n
ge: rename "dim" va
r
iable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
i
s
l_ba
s
i
c_set_sample_p
o
int: rename "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_factoriz
e
r_groups: rename "d
i
m" variable to
"sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
ool
a
ege
isl_
b
asic_set_lift: rename "d
i
m" v
a
riable
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_basic_
m
ap_add_constra
i
n
t: rename "dim" variable
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ber
n
stein
.
c: bernstein_co
e
f
f
ici
e
nts_cell: re
n
am
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_union_pw_
*
_
from_pw_*: rename
"dim"
v
ariable
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_tab_pip
.
c: split_d
o
main: rena
m
e "dim" variable
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolae
g
e
isl_map_de
l
tas_map: rena
m
e "d
o
main_dim"
v
ariable
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoola
e
ge
isl_tr
a
nsitive_cl
o
sur
e
.
c:
a
dd_length: rename "
d
im"
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_transi
t
ive_closure
.
c: se
t
_pat
h
_length: renam
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl
_
transitive_closure
.
c: path_
a
long_delta:: ren
a
me
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaeg
e
is
l
_basic_m
a
p_range_product:
r
ename
"
d
i
m" vari
a
ble
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
ol
a
ege
isl_
b
asic_
m
a
p
_product:
r
ename "dim
"
variab
l
e
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
i
s
l
_
basi
c
_map_delta
s
_map: rename "dim"
v
ariable
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_b
a
s
i
c_map_domain_map
:
r
e
name "dim" varia
b
le to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
is
l
_basic_map_apply_range: rena
m
e
"
dim" v
a
ri
a
bl
e
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erd
o
olaege
is
l
_local_space_alloc: renam
e
"dim" variable to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
aege
isl_basic_
m
a
p
_le
s
s_at
:
rename "
d
i
m
"
a
rgument
to "
s
pa
c
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
basic_ma
p
_equal
:
r
ena
m
e
"dim" arg
u
ment to "spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_output
.
c: print_basi
c
_set_c: rena
m
e
"dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_local_spa
c
e_all
o
c_d
i
v: rena
m
e
"dim" a
r
gume
n
t
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_cow: renam
e
"dim" a
r
gument
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
laeg
e
isl_spac
e
_
l
ift
:
rename "dim" argument to "spa
c
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl
_
space_
f
latten: ren
a
me "dim"
argument to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_
space_r
e
set:
r
ena
m
e "dim" ar
g
umen
t
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoola
e
ge
isl_sp
a
c
e_zip
:
rename "dim" argu
m
ent t
o
"
space"
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
V
e
r
doolaege
isl_
s
p
a
c
e
_unwra
p
:
r
e
name "dim" argument to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_sp
a
ce_wrap: rename
"
dim" a
r
gum
e
nt to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_s
p
ace_is_wrappin
g
: rename
"
dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
laege
isl_
s
p
a
ce_from_range: r
e
nam
e
"dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdo
o
laege
isl
_
space_fr
o
m_d
o
ma
i
n: rename
"dim" argument to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_s
p
ace_reverse: re
n
ame
"di
m
" argumen
t
to "
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_space_se
t
_d
i
m_name: rename "dim" a
r
gu
m
e
n
t to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
isl_space_g
e
t_
t
u
p
l
e
_
na
m
e
: rename
"dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olaege
isl_space_get_dim_na
m
e
:
re
n
ame "d
i
m" arg
u
ment to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_space_set_tuple_n
a
me: rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_space_get_di
m
_id: rename "dim"
a
rgument
to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
olaege
isl
_
s
p
ace_has_dim_id: re
n
am
e
"dim" argument to
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_reset_
t
uple_id: rename "d
i
m"
argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
laege
isl_spac
e
_
set_tuple_i
d
: re
n
a
me
"
dim"
argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_spa
c
e_get_tup
l
e_id: rena
m
e "dim" argument
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_space_has_t
u
p
l
e_id
:
rename "dim"
a
r
gument
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
ege
isl_space
.
c
:
offset:
r
ename "
d
im" argument to "space
"
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Ve
r
doolae
g
e
isl_space_dup:
r
ename "dim" a
r
gu
m
e
n
t t
o
"space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
oolaege
is
l
_
space_get_ctx: rename "di
m
" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_fold
.
c: qpo
l
y
n
omia
l
_fold_
a
lloc:
re
n
ame "dim" argum
e
nt
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl
_
u
n
ion_*_al
l
o
c: rena
m
e "dim" argu
m
ent to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_map
.
c: ma
p
_lex_gte: re
n
ame "dims" arg
u
ment t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
o
olaege
i
sl_m
a
p
.
c:
m
ap_lex_l
t
e:
re
n
ame "
d
ims" ar
g
u
m
ent to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdool
a
ege
isl_trans
i
tive_cl
o
s
u
re
.
c
: construct
_
pow
e
r_components
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_ba
s
i
c
_
s
e
t
_n
a
t_uni
v
erse: rena
m
e "dim" argument
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_map
.
c: map_
l
ex_gte_first: rename "dims" argu
m
ent
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_map
.
c:
map_lex_lte_fi
r
s
t
: r
e
n
ame "
d
ims" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
laege
i
s
l_output
.
c: pri
n
t_
s
et_
c
: rename "dim" argume
n
t to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transi
t
ive
_
closure
.
c
: floy
d
_
w
a
rshall: rename
"
dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
i
sl_tra
n
sitive_closure
.
c:
f
loyd_warsha
l
l_with_grou
p
s
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transit
i
ve_closure
.
c: c
o
mpute_in
c
remental: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_basic_map
_
all
o
c_space: r
e
name "dim
"
a
rgu
m
ent
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doo
l
aege
isl_basic_map
_
more_or_equal_at:
r
ename
"dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoo
l
aege
isl_ba
s
ic_map_mor
e
_at: rename "dim" argu
m
ent to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
ege
isl_basic_map_less_o
r
_
e
qual_at: rename "di
m
"
a
rgument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
eg
e
i
s
l_tab_pip
.
c: se
t
_minimum: rename "dim" ar
g
ument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaege
i
s
l_dim_map_dim_rang
e
: rename
"dim"
a
rgumen
t
to
"spa
c
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
isl_basi
c
_map_extend_s
p
ace:
rename "dim" argu
m
e
n
t to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
is
l
_map_res
e
t_space: renam
e
"
d
im" argument to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_qp
o
l
ynomial_*_o
n
_do
m
ain: rename "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Ver
d
oolaege
isl_qpolynomial_from_
a
f
fine:
rena
m
e "dim
"
ar
g
ument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_spac
e
_fin
d
_di
m
_by_id
:
rename
"
d
i
m
"
ar
g
ument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_space
.
c: n: rename "di
m
" a
r
gument to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdool
a
e
g
e
isl_point_voi
d
: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
i
sl_poin
t
_zero:
r
ename "dim
"
a
r
gum
e
n
t
to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Verdoolaeg
e
isl_point_alloc: rena
m
e "d
i
m" argument t
o
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoola
e
g
e
isl_output
.
c: print_base: rename "di
m
" a
r
gum
e
nt
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_output
.
c: print_nested_tu
p
le: re
n
a
me "local_d
i
m
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_ou
t
pu
t
.
c: print_nested_v
a
r_li
s
t: re
n
ame
"local_dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Ve
r
doolaege
isl_basic_m
a
p_na
t
_u
n
iverse: rename "dim" argum
e
nt to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_tra
n
sitive_closure
.
c: i
n
cremen
t
al_c
l
osu
r
e: r
e
name
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_tra
n
s
i
t
iv
e
_cl
o
sure
.
c: construct_extended_path:
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_
t
rans
i
tive
_
c
losure
.
c
:
incremental_on_entire
_
domain
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
doolaege
isl_transitive_closur
e
.
c: inc
r
eme
n
t: renam
e
"
d
im"
argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
dool
a
e
ge
isl_
t
ransi
t
i
ve_closure
.
c: eq
u
ate
_
par
a
meter_to_length
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
i
s
l_trans
i
tive_
c
losure
.
c:
p
a
t
h_along
_
d
e
l
t
a:
r
enam
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdool
a
ege
isl_transitive_closure
.
c
:
path_a
l
o
n
g_s
t
ep
s
:
r
ename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c: neg_halfspa
c
e:
rename "dim" argum
e
nt to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaeg
e
isl_map
.
c:
n
o
n
neg
_
halfsp
a
ce: r
e
name "dim" argu
m
ent
.
.
.
commit
|
commitdiff
|
tree
next