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_local_space_alloc_div: rename "dim" argument to "space"
2018-08-22
Sv
e
n Ve
r
doolaege
is
l
_local_space_alloc_div: rename "dim" argument
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
ege
is
l
_space_co
w
: rename
"dim" argumen
t
to
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaeg
e
isl_
s
pace_lift: rename "
d
im" argument to
"
s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaeg
e
isl_space_flatten
:
rename "dim" argum
e
nt to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_sp
a
ce_
r
eset:
rename "
d
im" argument to "s
p
a
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
ege
isl
_
s
pace_zip: rena
m
e "dim"
a
r
gu
m
ent to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_sp
a
ce_unwr
a
p: rename
"dim" arg
u
ment to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_space_wrap:
r
enam
e
"di
m
" argumen
t
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_space
_
is_wra
p
ping: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
i
sl_space_from_range
:
rename "dim" argu
m
en
t
to "s
p
ace
"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaeg
e
isl_space_from_
d
om
a
in:
rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
dool
a
ege
is
l
_space_reverse: rena
m
e
"dim
"
ar
g
umen
t
to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
olaege
isl_spac
e
_
s
et_dim_name
:
rename "dim" argument to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_
s
pace
_
get_tuple_name: renam
e
"dim"
argumen
t
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_space_get_di
m
_name: rename "dim"
argu
m
ent to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_sp
a
ce_set_
t
u
pl
e
_name: ren
a
me "dim" a
r
gumen
t
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl
_
spa
c
e_get_
d
im_id
:
rename "dim" argume
n
t to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erd
o
olaege
isl_space_has_
d
im_id:
r
en
a
me "dim" argum
e
nt to
"
s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_space_reset_
t
uple
_
id: r
e
na
m
e
"
d
im" argument t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolae
g
e
isl_space_set_
t
uple_i
d
: rename "dim"
a
rgument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_space_get
_
tuple_
i
d
:
rename
"
d
im" argument to
"spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdo
o
laege
isl_spac
e
_has_tuple
_
i
d
: renam
e
"dim" a
r
gument to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
eg
e
isl
_
space
.
c: off
s
et: rename "dim
"
a
r
gument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
i
sl_space_dup: rename "dim" argument to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
d
o
ol
a
ege
isl_spac
e
_get_ctx
:
rename "dim
"
argum
e
nt t
o
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
lae
g
e
is
l
_fold
.
c: qpolynomial_fold_alloc: rename "dim" argum
e
nt
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdo
o
laege
isl_
u
n
i
on_
*
_
a
lloc: rename
"
d
im" ar
g
ument
to "spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_map
.
c: m
a
p
_
lex_gte: re
n
am
e
"dims" argume
n
t to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
map
.
c:
map_lex_lte: rename "dim
s
" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
e
rdoolaege
i
s
l_transitiv
e
_cl
o
sure
.
c: construct_power
_
c
o
mpo
n
ents
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
laege
i
s
l_basic
_
set_nat_un
i
verse: rename
"di
m
" arg
u
ment to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl
_
m
a
p
.
c:
m
a
p
_lex_gt
e
_
f
irs
t
: rename "dims" ar
g
ument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_map
.
c: ma
p
_le
x
_lte_fir
s
t
:
rename "
d
i
m
s
" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
isl
_
output
.
c: print_set_c:
r
ename "dim"
a
rgumen
t
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
oolaeg
e
isl_
t
ransitive
_
closure
.
c: flo
y
d_wa
r
shall: renam
e
"dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
oolaege
i
sl_transitiv
e
_clos
u
re
.
c: floy
d
_warshall_with
_
groups
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transiti
v
e
_
clo
s
ure
.
c: compute_inc
r
emental: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
b
asic_m
a
p_alloc_space
:
r
ena
m
e "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
isl_basic_map_m
o
re_or_e
q
ual_at: rename "dim
"
argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdo
o
laege
i
sl_basic_
m
ap_more_at: rename "d
i
m" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_le
s
s_
o
r_equal_at: rename "dim"
a
rgume
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
s
l_tab_pip
.
c: set_mini
m
um: rename "dim" argument
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
oolaege
isl_dim_map_dim_range: r
e
name "d
i
m"
argument t
o
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_basic_map_extend
_
s
p
ace: rename "d
i
m" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Ve
r
doolaege
isl_map
_
re
s
e
t
_spac
e
: rename
"dim" ar
g
ument to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
aege
isl
_
qpo
l
ynomial_*_on_domain: renam
e
"dim" ar
g
ument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
d
o
o
lae
g
e
isl_q
p
olyn
o
mi
a
l_from_affin
e
: rename "dim" argumen
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
is
l
_space_find_dim_by_id: rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdo
o
l
aege
isl_s
p
a
c
e
.
c
:
n
:
rename "
d
im
"
argume
n
t to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
is
l
_po
i
nt_v
o
id: renam
e
"dim
"
argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
rdoolaeg
e
isl_point_zero: re
n
ame "dim" argu
m
ent to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erd
o
olaege
isl_point_alloc: re
n
ame
"dim" argument to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_o
u
t
put
.
c: print_base: rena
m
e
"dim" ar
g
u
m
ent to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_output
.
c: print_nested_tupl
e
: rename "local_dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolae
g
e
i
s
l_output
.
c:
p
rint_nested
_
var_l
i
st: ren
a
me "local_dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_
b
asic_m
a
p
_
nat_universe: rename "dim" arg
u
m
ent to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_transitive
_
closure
.
c: increme
n
tal_closur
e
: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl
_
transit
i
ve_closure
.
c: construc
t
_extended_path:
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
doolaege
isl_transitive_clos
u
re
.
c: incremen
t
al_on_ent
i
re
_
doma
i
n
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaeg
e
isl_transitive_c
l
osure
.
c: incremen
t
: rename
"dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_tr
a
nsitive_c
l
osure
.
c: equate_parameter_to_length
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdool
a
eg
e
i
s
l_transiti
v
e_cl
o
sure
.
c: p
a
th_al
o
ng_delta: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_transi
t
ive_cl
o
sure
.
c:
p
ath_
a
l
o
ng_steps:
renam
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
d
oolaege
isl_ma
p
.
c: neg_halfs
p
ace: rena
m
e "dim" arg
u
ment to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl
_
map
.
c: nonne
g
_halfspace: rename "d
i
m
"
ar
g
ument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Ver
d
oola
e
ge
isl_basic_m
a
p_identity
:
rename "dim"
argumen
t
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
i
sl_map
.
c
: basic_map_
i
dentity: rename "
d
im
s
" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_basic_map_from_
c
onstraint_mat
r
i
c
es: rena
m
e "dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_space_drop_dims: rename
"
dim" argument to "
s
pace"
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdool
a
e
ge
isl_b
a
sic_map_add_
d
iv_constr
a
ints: add memory management
.
.
.
commit
|
commitdiff
|
tree
2018-08-16
Sven V
e
r
d
o
o
l
aege
split ISL_B
A
SIC_MAP_NORMALIZED into *_NO_REDUNDA
N
T
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoolaege
isl_m
a
p_simplify
.
c: isl_ba
s
ic_map_eliminate_vars: drop
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoolae
g
e
isl_map_si
m
plify
.
c: set_div_from_eq: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoolaege
isl_
m
ap_simp
l
ify
.
c:
eliminate_var
_
usin
g
_equa
l
i
ty: d
r
o
p
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoolaege
isl_map
.
c
:
i
n
sert
_
bounds_on_div_fr
o
m_ineq: d
r
op redundant
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven V
e
rdool
a
ege
is
l
_bas
i
c_ma
p
_insert_dims
:
rename
"
di
m
" v
a
ria
b
le to
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven
Verdoolaege
i
sl_space_insert_
d
ims:
u
se isl_sp
a
ce_get_ctx
commit
|
commitdiff
|
tree
2018-08-05
Sven
V
erdoolaege
i
s
l_spa
c
e
_
insert_dims:
re
n
ame "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-07-04
S
ve
n
Verdo
o
laege
add isl_
*
_li
s
t_swap
commit
|
commitdiff
|
tree
2018-06-21
Sven Verdoola
e
ge
add is
l
_basic
_
set_from_multi_aff
commit
|
commitdiff
|
tree
2018-05-17
Sven Verdoolaege
isl_
*
_
l
ist_get_*:
extract
o
ut is
l
_*_list_peek
commit
|
commitdiff
|
tree
2018-05-02
Sven Verdoolaege
ext
r
act out shar
e
d isl_
r
eorderi
n
g
_
g
et_ctx
commit
|
commitdiff
|
tree
2018-05-02
Sven Verdoolaege
extract out shared isl_local_reorder
commit
|
commitdiff
|
tree
2018-04-30
S
v
e
n Verdoo
l
a
ege
isl_space_ali
g
n
_
para
m
s
:
r
ename
"dim"
a
r
g
u
me
n
ts to
.
.
.
commit
|
commitdiff
|
tree
2018-04-28
S
ven Verdool
a
ege
isl_b
a
sic_m
a
p_realig
n
: renam
e
"dim" argument to "space"
commit
|
commitdiff
|
tree
2018-04-28
Sve
n
Verdoolaege
isl_b
a
sic
_
map_
r
ea
l
ign:
use isl_b
a
si
c
_
map_di
m
commit
|
commitdiff
|
tree
2018-04-24
Sven
V
erdoolaege
isl/
v
al
.
h: ex
t
ract out isl/v
a
l_typ
e
.
h
commit
|
commitdiff
|
tree
2018-04-18
Sve
n
Verdoolaege
isl_ma
p
.
c
: extract o
u
t shared isl_ma
p
_chec
k
_range
commit
|
commitdiff
|
tree
2018-03-18
Sven Ve
r
doolaege
isl
_
pw_*_eval
:
rename "pnt_
d
im" vari
a
ble to "
p
nt_space"
commit
|
commitdiff
|
tree
2018-03-18
Sven Ve
r
do
o
l
a
ege
add
isl_
a
ff_eva
l
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
ad
d
i
s
l_local
_
space_l
i
ft_poin
t
commit
|
commitdiff
|
tree
2018-03-18
Sve
n
Verd
o
olaege
add is
l
_local_space
_
h
a
s_
s
pace
commit
|
commitdiff
|
tree
2018-03-18
Sven Verd
o
olaeg
e
isl_q
p
olynomial
_
eval
:
extrac
t
out i
s
l_local_extend_poi
n
t_vec
commit
|
commitdiff
|
tree
2018-03-18
S
v
en Ver
d
o
o
laege
isl_polynomial
.
c
: isl_upoly_
e
val:
check for
N
ULL argument
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
add isl_ve
c
_add_els
commit
|
commitdiff
|
tree
2018-03-18
S
ven Ve
r
d
o
olaege
isl_
l
ocal_
s
pace_divs_known: e
x
tract
o
ut
i
sl
_
local
_
divs_known
commit
|
commitdiff
|
tree
2018-03-18
Sven
V
erdoolaege
i
s
l_local
.
c: extract out shared i
s
l_loc
a
l_dim
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolae
g
e
isl_local
.
c: e
x
t
r
act ou
t
sha
r
ed isl_local_get_ctx
commit
|
commitdiff
|
tree
2018-03-04
Sven Ve
r
doolaege
isl_space_
i
s_d
o
m
a
in:
e
xtract
o
ut is
l
_space_has_domain_tuples
commit
|
commitdiff
|
tree
2018-03-04
Sven
V
erdoolaege
pr
i
vat
e
ly export isl_ma
p
_is_params
commit
|
commitdiff
|
tree
next