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 isl_basic_set_extend
2018-08-25
Sven Ve
r
doo
l
aeg
e
drop isl_basic_set_extend
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
drop isl_basic
_
set_add_equalit
y
duplic
a
te
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdoo
l
aege
isl_basic_map_add_{eq,in
e
q}: onl
y
mod
i
fy sing
l
e copy
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rdoola
e
ge
isl_qpolyn
o
mi
a
l_as_polynomial_on_domain: use isl_local_space
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_qpolynomial_gist: use isl
_
local_spac
e
_lift_set
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
r
doolaege
add
is
l
_local_space_l
i
f
t_basic_set
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdoo
l
a
e
ge
isl_aff_gist:
e
xtract ou
t
is
l
_l
o
cal_space_li
f
t_set
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolae
g
e
isl_
b
asic_map_ide
n
ti
t
y: use i
s
l_spac
e
_dim
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
oolae
g
e
isl_m
a
p
.
c: basic_map_
i
dent
i
t
y
: re
u
se isl_basi
c
_map_equal
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
aege
isl_space_unde
r
lying: return s
e
t space
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_basi
c
_se
t
_preimage: use isl_b
a
sic_set
_
add_d
i
ms
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_union
_
*_
s
et_ha
s
_dim: rename
t
o isl_union
_
*_set_
h
a
s
_s
p
ace
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaeg
e
isl_union
_
*_set_
h
as_dim:
rename "dim" var
i
able to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoolaege
i
s
l_set_flatten_map: rename
"dim" variables t
o
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_c
l
osure
.
c:
u
nion_flo
y
d_warshall_on_list
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_space_li
f
t: rename "dim" v
a
ria
b
le to "spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdoolaeg
e
i
sl_space_join:
rename "dim"
variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_space_allo
c
: r
e
name "dim" va
r
iable to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
s
l
_
local_
s
pace_offset: rename "dim" vari
a
ble
to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_
t
ran
s
itive_
c
losure
.
c: construct_power: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_
m
ap
.
c: m
a
p_dim
_
opt: rename "dim" variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verd
o
ol
a
ege
i
s
l
_basic
_
set_solutions: rename "dim
"
variab
l
e to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_basic_set_c
o
efficien
t
s: rename "di
m
" variabl
e
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_se
t
_lift:
rename "dim" var
i
abl
e
to
"
s
p
a
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_map
.
c
: map_apply_rang
e
:
rename "d
i
m" variable
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_basic_s
e
t_sample_po
i
nt: rename
"dim" va
r
iable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
doolaege
is
l
_f
a
ctor
i
zer_groups: re
n
ame "dim"
v
aria
b
l
e
to "
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdo
o
laege
i
s
l
_basic_set_lift: rename "dim" variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_basic_m
a
p_add_constraint: rename
"
dim" va
r
iable
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
do
o
laege
isl_bern
s
tein
.
c: bernstein_coefficients_cell: rena
m
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoo
l
aege
isl_union_pw_*_from
_
p
w
_*
:
rename "dim"
v
ariable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdo
o
la
e
ge
isl_tab_pip
.
c: split_domain: rename "dim" vari
a
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_ma
p
_deltas
_
map: rena
m
e "domain
_
dim" varia
b
le to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_c
l
osure
.
c: add_length
:
rena
m
e
"dim"
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_tra
n
sitive_cl
o
sure
.
c:
set
_
p
ath_length: rena
m
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transiti
v
e_closure
.
c:
p
ath
_
along_de
l
t
a
:
: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_bas
i
c_map_rang
e
_product: rename "d
i
m" va
r
iable
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_basic
_
ma
p
_produc
t
:
r
enam
e
"di
m
" va
r
iabl
e
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoo
l
aege
isl_basic
_
map_del
t
a
s
_map: re
n
am
e
"dim" v
a
riable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_
b
asic
_
map_domain_map: rename "dim" vari
a
b
l
e
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_basic
_
map
_
apply_ra
n
ge:
r
e
name
"dim" variab
l
e to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoola
e
ge
isl_lo
c
al
_
s
p
a
ce_allo
c
:
rena
m
e "dim"
var
i
able to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
dool
a
e
ge
i
s
l_basic_map_less
_
a
t: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_equal: rename
"
dim" argument to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
sl_o
u
tput
.
c: print_basic_se
t
_c: rena
m
e "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
do
o
laege
isl_local
_
space_alloc_div
:
rename "dim" ar
g
um
e
nt
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Verdoolaeg
e
isl_space_cow: re
n
ame
"
dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_spac
e
_lift: rename "dim" arg
u
ment to "space
"
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Ver
d
o
o
laege
isl_sp
a
ce_flatten
:
rename "dim"
a
rgument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_space_reset: rename "dim
"
argument
t
o "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
laege
is
l
_space_zip: rename "dim"
argument to "
s
p
a
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdoolaege
i
s
l_
s
pace_unwrap:
rename "dim" a
r
gu
m
ent to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_space_wrap: rename "dim" ar
g
ument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aeg
e
i
s
l_space_is_wrappi
n
g
:
r
ename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erd
o
olae
g
e
isl_space_f
r
om_ran
g
e: r
e
name "dim" argum
e
nt t
o
"sp
a
ce
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_space_from_d
o
main: rena
m
e "d
i
m" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaeg
e
isl_spac
e
_reverse: r
e
n
ame "dim" arg
u
ment to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_set
_
dim_na
m
e: rename "dim" ar
g
u
ment to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
s
pac
e
_get_tuple_name: renam
e
"dim" a
r
g
u
ment
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
i
sl_space_get_dim_name: rename "dim" argumen
t
t
o
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
laege
isl_space
_
set_t
u
ple_n
a
me: rename "
d
im" argumen
t
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_space
_
get_dim_i
d
: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
i
s
l_space_has_dim_id:
r
e
n
a
me "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl
_
space_re
s
et_tu
p
le_id: rename "dim"
a
r
g
ument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoola
e
ge
isl_spac
e
_set_
t
up
l
e_
i
d: rename "
d
im" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_spac
e
_get_
t
uple_id: renam
e
"dim
"
a
r
gument to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_space_has_tuple_
i
d: rena
m
e "dim" argumen
t
to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdo
o
laege
i
s
l_space
.
c:
o
ffset: renam
e
"dim"
a
rgument t
o
"
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoo
l
aege
isl_space_
d
up: rename "dim
"
a
rgum
e
n
t
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_space_get_ctx: rena
m
e "d
i
m" arg
u
men
t
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
i
sl_fold
.
c: qpolynomial_fold_alloc: rename "d
i
m" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_union_*_alloc: rename "
d
im" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_
m
ap
.
c: m
a
p_lex_gte: renam
e
"dims
"
argu
m
ent to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl
_
map
.
c
:
m
ap_lex_l
t
e:
ren
a
m
e
"dims" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_tr
a
nsitive_closure
.
c: construc
t
_
p
ower
_
components
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
e
r
doolaege
isl_basic_se
t
_
na
t
_universe: r
e
name
"
d
i
m
" arg
u
m
ent to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdool
a
ege
i
sl
_
map
.
c
:
ma
p
_lex_gte_first: rename "d
i
ms" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_map
.
c: map_l
e
x_lte_first: rename
"dims
"
arg
u
ment
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ou
t
put
.
c: print_set
_
c:
r
e
n
ame "dim"
argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_transitive_
c
losure
.
c: flo
y
d_
w
arshall: renam
e
"dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven V
e
rdoolaege
isl_trans
i
tive_cl
o
sure
.
c: floyd_warshall_wi
t
h
_groups
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erd
o
olaege
isl_transi
t
i
ve_closure
.
c: compute_increment
a
l: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_b
a
sic_map_a
l
loc_sp
a
ce: ren
a
me "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_
b
asic_map
_
more_or_equal_at: rename "
d
i
m
"
argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
d
oolaege
i
sl_basic_map_mor
e
_
a
t: rename "dim" argum
e
nt to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_bas
i
c
_
map_l
e
ss_
o
r_equal_a
t
:
r
ename "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaeg
e
isl
_
tab
_
pip
.
c: set_minimum: rename "dim" arg
u
ment t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_dim_
m
ap_d
i
m_rang
e
:
rename "dim"
a
rgum
e
nt to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_b
a
sic_map
_
extend_spa
c
e: rena
m
e "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
r
d
oolaege
i
s
l_map
_
re
s
et
_
space: rename "dim
"
argument to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_qpolynomial_
*
_on_domain: rena
m
e "dim" argume
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
l
aege
is
l
_
q
pol
y
n
o
m
ia
l
_from_affi
n
e: ren
a
me
"
dim" argumen
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_spa
c
e_find_dim_by_id:
r
ena
m
e "
d
im" argume
n
t
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ola
e
ge
isl_space
.
c: n: renam
e
"
dim" ar
g
ument to "spa
c
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oola
e
ge
isl_point_void: r
e
n
a
me "dim" arg
u
me
n
t to "s
p
ace
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_point_zero: re
n
a
m
e "dim" argument to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_point_alloc: r
e
name "dim" argument to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_ou
t
put
.
c: print_ba
s
e
:
ren
a
me
"
dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_o
u
tput
.
c: print_nested_tup
l
e: ren
a
me "local_di
m
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoola
e
g
e
isl_out
p
u
t
.
c: prin
t
_ne
s
ted_var_list: rename "local
_
d
i
m
.
.
.
commit
|
commitdiff
|
tree
next