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_map.c: map_dim_opt: rename "dim" variable to "space"
2018-08-22
S
v
en Verdoolaege
isl_map
.
c:
m
ap_di
m
_opt: rename "di
m
"
variable to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_basic_set_solut
i
ons:
r
ename "d
i
m" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_se
t
_coeffi
c
ients: rename "dim" variab
l
e
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_
s
et_lift: rename
"
dim" variabl
e
to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_
m
a
p
.
c: map_apply_ran
g
e:
r
ename "
d
im" v
a
riable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
oo
l
a
e
ge
isl_basic_set_sample_point: rename "dim"
variabl
e
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_
f
actorizer_groups: rename "dim" variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_set_l
i
f
t:
r
ename "d
i
m" variable
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
s
l
_ba
s
ic_map_add_
c
onstra
i
nt: rename "dim" variable
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_b
e
rn
s
tein
.
c: bernstein_coefficients_cell: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_uni
o
n_pw_*_from_pw_
*
: rename "d
i
m" variabl
e
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaeg
e
is
l
_tab_pip
.
c: s
p
lit_domai
n
:
rename "dim"
v
a
r
i
a
ble
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
e
rdoolaege
i
s
l_map_delt
a
s
_m
a
p: r
e
nam
e
"domain_
d
im" v
a
riable t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
oolaege
isl_tra
n
sitive_cl
o
sure
.
c: add_
l
ength: re
n
ame "dim"
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
l
aege
isl_tra
n
sitive_c
l
osure
.
c: set_
p
ath_length: r
e
name
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
doolaege
isl_transit
i
ve_cl
o
sure
.
c: path
_
alo
n
g_delta:: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
a
e
ge
isl_ba
s
ic_
m
ap_range_product: re
n
ame
"
dim
"
variable
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
e
rdool
a
ege
isl_bas
i
c_map_product
:
r
ename "dim" variab
l
e to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
i
sl_
b
asic_map_de
l
ta
s
_map: rename "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
a
ege
isl_basic_map_domain_map: ren
a
me "di
m
"
v
a
riab
l
e to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
doolaege
isl_
b
asic_ma
p
_ap
p
ly_range: rename "
d
im" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_loca
l
_space_all
o
c
: rename "dim"
v
ariable to
"spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
is
l
_basic_map_
l
ess_at: rename "dim" argumen
t
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
l
a
ege
isl_basic
_
m
a
p_equal
:
r
ename "dim" argu
m
ent to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_output
.
c: print_basic_set_c:
r
e
name "di
m
" argu
m
e
nt
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoo
l
aeg
e
isl_local_spac
e
_alloc_div
:
rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
oolaege
isl_space_
c
ow
:
rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_space_li
f
t: ren
a
m
e "dim" argument
t
o
"s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_space_flatten:
r
ename
"dim" argume
n
t to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_reset:
r
ename "dim" argumen
t
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
l
a
e
g
e
i
s
l
_space_zip: re
n
ame "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_unwrap: rena
m
e "dim" argu
m
ent
to "
s
pac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erd
o
olaege
isl_s
p
ace_wrap: rename "dim" argu
m
ent to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
oolaege
isl_space_i
s
_wrapping: r
e
name "dim" argumen
t
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl
_
space_from_range:
r
ename "dim" argument to
"s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_space_from_
d
omain: rena
m
e "di
m
" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_
r
evers
e
: ren
a
me "dim"
argum
e
nt
t
o
"spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_set_dim_name:
rename "dim" argument to
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
aege
i
s
l_spac
e
_g
e
t_tup
l
e_
n
ame: rename "dim"
argume
n
t
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Verdoolaege
is
l
_spa
c
e_get_dim_name: rena
m
e "dim
"
argument
t
o "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_s
p
ace_set_
t
uple_name: ren
a
me "d
i
m" ar
g
ument
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl
_
space_get_di
m
_id
:
rename "dim"
a
rgument to "
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
oolaege
isl_spa
c
e
_
h
as_dim_
i
d:
r
ename
"
dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
is
l
_
space_rese
t
_tuple_id: rename "d
i
m
"
argumen
t
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
i
s
l_space_
s
et_tuple_id: rename "dim" ar
g
u
ment to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoolaege
i
s
l
_space_get_tuple_id: rename "di
m
" argu
m
ent to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
isl_space_
h
as_tuple_id: r
e
name "
d
im" arg
u
ment to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
doolaeg
e
isl_
s
pace
.
c: offset: rename "dim" a
r
g
u
ment
to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_dup: r
e
name "dim" argume
n
t to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_space_get_ctx: r
e
name "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_fold
.
c: qp
o
l
y
nomial_fo
l
d
_
alloc: r
e
n
a
me "di
m
"
argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_union_*
_
all
o
c
:
rename "dim" argument to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdo
o
laege
isl_map
.
c: map_lex_gte: rename "dims" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
ola
e
ge
isl_map
.
c: map_le
x
_lte
:
r
ename "dim
s
" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
i
s
l
_
transi
t
ive_closure
.
c: const
r
uct_
p
o
w
e
r
_components
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
is
l
_basic_set_nat_uni
v
erse: rename "dim" argum
e
nt to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c: map_lex_gte_first
:
rename "dims"
a
r
gument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdoolaege
isl_m
a
p
.
c: map_lex_lte_first: rena
m
e
"
d
i
ms" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oo
l
aege
i
sl_out
p
ut
.
c
:
pr
i
nt_set_
c
: rename "dim"
a
rgu
m
ent t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_t
r
ansitive_closure
.
c:
f
l
oyd_war
s
hall: ren
a
me
"dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
ege
isl_trans
i
tive_closure
.
c: floyd_warshall_w
i
th_
g
rou
p
s
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
oolaege
is
l
_
t
r
ansitive_
c
losu
r
e
.
c: co
m
pute_incr
e
men
t
al: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl
_
basic_ma
p
_
alloc
_
spa
c
e
: r
e
name
"dim" ar
g
ument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_basic_m
a
p_more_or_equal_
a
t: r
e
name "dim
"
argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_basic_map_more_at: rena
m
e
"
dim" argument to "spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
i
sl_basic_map_l
e
s
s_
o
r
_equ
a
l
_at:
ren
a
me
"
dim" arg
u
ment
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_ta
b
_pip
.
c
:
s
e
t_minimum:
r
e
n
a
m
e "dim" arg
u
m
ent to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_dim_map_dim_range: rename "dim" argument to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolae
g
e
isl_basic_m
a
p
_
extend_space: rename "dim
"
a
r
gu
m
ent to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolae
g
e
isl_ma
p
_rese
t
_
space
:
r
ename "dim
"
arg
u
m
e
n
t
t
o "sp
a
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
q
polynomial_*
_
on_domain:
r
e
n
a
me "
d
im" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_qpolynomi
a
l_fr
o
m_affine
:
renam
e
"d
i
m" argume
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdool
a
e
g
e
isl_space_find_dim_b
y
_id: renam
e
"di
m
"
ar
g
ument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdoola
e
ge
isl_s
p
ace
.
c:
n
: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_point_void: re
n
ame "dim"
a
rgume
n
t to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_point_zero: rena
m
e "dim
"
a
r
gument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdool
a
ege
i
s
l
_
po
i
nt_
a
l
loc: rename "dim
"
argumen
t
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
o
laeg
e
isl_output
.
c: pri
n
t_b
a
s
e
:
rename "dim" argume
n
t to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_
o
utput
.
c: pri
n
t_nested_
t
u
ple: rename "lo
c
al_dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_output
.
c: print_nested_
v
ar_list: ren
a
me "loc
a
l_dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_
n
at_univ
e
rse: rename "di
m
" a
r
gument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
sl_trans
i
tive_clos
u
re
.
c:
i
n
cr
e
ment
a
l_closure: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
isl_transitive_closure
.
c: constru
c
t_extended_pat
h
:
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoola
e
ge
i
s
l
_
transitive_cl
o
sure
.
c
:
inc
r
e
mental_on
_
e
n
tir
e
_domain
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoola
e
ge
isl_
t
ransitive_closure
.
c
: i
n
crement: rename "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
i
sl_transi
t
ive_closure
.
c: equate_parameter_to_length
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl
_
transitive
_
closure
.
c: path_along_delta: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
sl_transitive_closure
.
c: pa
t
h_along_step
s
: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
doolaege
isl
_
map
.
c:
neg_halfspace: rename "dim"
ar
g
ument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
e
ge
isl_map
.
c: nonneg_halfspace:
r
ename "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
laege
isl
_
ba
s
i
c
_
map_ide
n
ti
t
y: re
n
ame "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
d
oolaege
isl_
m
ap
.
c: basic_map_
i
dentity
:
rename "dims"
arg
u
me
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_basic_map_from_cons
t
raint
_
matrices: rename "dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_space_drop_d
i
ms:
r
ename "dim
"
argument to "space"
commit
|
commitdiff
|
tree
2018-08-21
Sven Ver
d
oolaege
isl_bas
i
c_ma
p
_add_div_con
s
t
rai
n
t
s
: add me
m
or
y
management
.
.
.
commit
|
commitdiff
|
tree
2018-08-16
S
ven
Ve
r
doolaege
split ISL_BASIC_MAP
_
NORMALIZED into *_
N
O_REDUNDAN
T
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven
V
erd
o
olaeg
e
i
s
l_map_simpl
i
f
y
.
c
:
isl_ba
s
ic_
m
ap_elimin
a
te_vars: drop
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sv
e
n Verdoolaeg
e
isl_m
a
p
_
simplify
.
c:
s
et_div_fro
m
_eq: drop redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoolaege
isl_map_simpli
f
y
.
c: eliminate_v
a
r_using_equal
i
ty: drop
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoolaege
isl_map
.
c: insert_bounds_on_div_fr
o
m_ineq
:
drop r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
next