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_map_add_div_constraint: return return modified result
2018-08-22
S
ve
n
Verdoolae
g
e
isl_sp
a
ce_lift: re
n
ame "dim" argum
e
n
t
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_sp
a
c
e
_flatten: re
n
ame "dim" arg
u
ment
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_spa
c
e_reset: rename "dim" arg
u
ment to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_spa
c
e
_
zip: rename "
d
im"
a
rg
u
ment
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_
u
nwrap: ren
a
me "dim"
a
rgum
e
nt to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
s
l_sp
a
ce_wrap: rename "d
i
m" argu
m
ent to
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_space_
i
s_wr
a
pping: re
n
ame "d
i
m
" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
i
sl_spa
c
e_f
r
om_range
:
rename
"
dim" ar
g
ument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaeg
e
i
sl_space_from_domain:
r
e
name "dim" argument to
"sp
a
c
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_space_reve
r
se: ren
a
m
e
"
dim" arg
u
ment
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_space_set_dim_name: rename "dim" argument to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oo
l
aeg
e
isl_space_get_tuple_name: rename "dim" argument
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_get
_
di
m
_name: renam
e
"dim" argume
n
t to "
s
pa
c
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
i
sl_sp
a
ce_set_tuple_name: renam
e
"dim
"
argum
e
nt to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl
_
space_ge
t
_dim_id
:
r
e
n
ame
"
dim"
a
r
gument to
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
laege
isl_
s
pace_has_dim_i
d
: rename
"
dim"
a
rgume
n
t to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
oolaege
isl_space_r
e
set_tup
l
e_id: rename "dim" argu
m
ent to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_space_set
_
t
u
ple_id:
rename "dim" a
r
gument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_s
p
ace_get_
t
uple_id: rename "dim"
a
r
gument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
s
l_space_has_tuple_id: rename "
d
i
m"
argume
n
t to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_
s
pa
c
e
.
c
: offset:
rename "dim" argument to "
s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
laege
isl_s
p
a
c
e_dup:
r
ename "
d
im" ar
g
u
m
ent to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
is
l
_
s
pace_get_ctx: rename "d
i
m
"
a
rgumen
t
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_fold
.
c: qpolynomial_
f
old_alloc: rename "di
m
"
a
r
gument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
o
l
a
ege
is
l
_uni
o
n_*_al
l
oc: rename "
d
im" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdo
o
laege
i
s
l
_map
.
c
:
map_lex_
g
te: rena
m
e "d
i
m
s" argum
e
n
t to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolae
g
e
isl_map
.
c: map_lex_lte:
rename "d
i
ms" arg
u
ment t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_
t
ransitiv
e
_clos
u
re
.
c: constru
c
t_p
o
wer_components
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_basic
_
s
et_nat_unive
r
se: re
n
ame "d
i
m" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_
m
ap
.
c:
m
a
p_le
x
_
g
te_first:
rename
"
dims" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
Verd
o
ola
e
ge
is
l
_ma
p
.
c: map_lex_lte_first: rename "
d
ims" argu
m
ent
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdool
a
ege
isl_ou
t
p
u
t
.
c: print_set_c:
rename "di
m
"
argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_closure
.
c
: floyd_
w
a
rs
h
a
l
l: rename "dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_transitive_closu
r
e
.
c:
floyd_warshal
l
_with_groups
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
i
sl_trans
i
tive_closure
.
c: compute_
i
ncr
e
ment
a
l: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_
b
asic_map_alloc
_
space:
rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_basic_map_
m
ore_or_equal_a
t
: rename "dim"
argu
m
ent
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_basic_m
a
p_
m
ore_at
:
rename "dim" argument to "
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaeg
e
is
l
_basic_ma
p
_less_or
_
e
q
ual_at: rename "
d
i
m"
argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaeg
e
isl_
t
a
b
_pip
.
c
:
set_mi
n
imum: rename "dim"
a
rg
u
me
n
t
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdo
o
laege
i
s
l_dim
_
m
ap_dim_range: rename "d
i
m" argu
m
ent to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_extend_s
p
ace: rename
"dim" ar
g
ument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map_reset_space: renam
e
"
d
i
m"
argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_qpo
l
y
n
omial_*
_
on_domai
n
: rena
m
e "di
m
"
argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_qpolynomial_from_affine
:
renam
e
"
d
im
"
argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdo
o
laege
i
sl_space_
f
ind_dim
_
by_id:
r
ename "dim" argument
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Ver
d
oolaege
isl
_
spac
e
.
c: n: rename "di
m
"
a
r
gument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
is
l
_
point_void: re
n
ame "di
m
"
a
rgument to
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_point_zero: rename "di
m
" argumen
t
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_point_alloc: ren
a
me "di
m
" argument to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_
o
utpu
t
.
c: print_base: rena
m
e "di
m
" argument
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdo
o
laege
i
s
l
_outp
u
t
.
c: prin
t
_nested_tuple: rename "local_dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verd
o
o
laege
isl_output
.
c: print_n
e
sted_var_li
s
t: renam
e
"lo
c
al_dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
laege
isl_basic_map_nat
_
universe: r
e
na
m
e "dim" argum
e
n
t
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
oolaege
i
s
l_tr
a
n
s
i
tive_closure
.
c:
i
n
cremental_closure: rena
m
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
i
sl_transitive_closure
.
c: c
o
nstruct_extended_path:
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_
t
ransitive_closure
.
c
:
i
ncrementa
l
_on_entire_
d
omai
n
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
e
rdoola
e
ge
isl_t
r
ansit
i
ve_closu
r
e
.
c:
i
n
crement: rename "dim
"
argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdo
o
laege
isl_transitive_closur
e
.
c
:
equate_
p
arameter_to_len
g
th
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
isl_transitive_c
l
osu
r
e
.
c: path_along
_
delta:
r
ename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
do
o
laege
isl
_
trans
i
tive_
c
lo
s
ure
.
c: p
a
th_along_
s
teps: r
e
name
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
oolaege
isl_map
.
c: n
e
g_halfspace: rename "d
i
m
" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oolaege
isl_map
.
c: nonneg_ha
l
fspa
c
e: r
e
na
m
e
"
dim"
argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolae
g
e
isl_ba
s
ic_map
_
identi
t
y:
r
e
name "dim" argument to "
s
pa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c: bas
i
c_map_identity: rename "dims" argu
m
ent
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_
b
asic_map_from_co
n
straint_
m
atri
c
es: rename "
d
i
m
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdool
a
ege
i
sl_space_
d
rop_dims:
rename "dim" argum
e
nt to "space"
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaeg
e
is
l
_basic
_
map_add_div_constraints: add
memory management
.
.
.
commit
|
commitdiff
|
tree
2018-08-16
Sve
n
V
e
rdoolaege
s
p
lit ISL_BASIC_
M
AP
_
NORMALIZED into *_N
O
_
R
EDUNDANT
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
S
v
e
n
Verdoolaege
isl_map_simp
l
ify
.
c: isl_basic_map_eliminate
_
v
ars: dr
o
p
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verd
o
o
la
e
g
e
isl_map_
s
implif
y
.
c
: se
t
_div_from_eq: drop
r
edu
n
dant
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdool
a
ege
i
s
l
_
map
_
s
implify
.
c
: elimi
n
ate_var_
u
sin
g
_e
q
ual
i
t
y
: drop
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoolaege
is
l
_
m
ap
.
c: insert_b
o
un
d
s_on_div_from_ineq: drop r
e
d
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven V
e
rdoolaege
isl_basic_
m
ap_
i
nsert_d
i
ms: rename
"dim"
v
ariable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven Ve
r
do
o
laege
isl_s
p
ace_insert_d
i
ms
:
use isl_space_get_ctx
commit
|
commitdiff
|
tree
2018-08-05
Sven Verdoolaege
isl_space_insert_dims: ren
a
me "dim" argu
m
e
n
t to "s
p
a
c
e"
commit
|
commitdiff
|
tree
2018-07-04
Sven Verdoolaege
a
d
d isl_*_li
s
t
_swa
p
commit
|
commitdiff
|
tree
2018-06-21
Sven Verdo
o
laege
add isl_basic_set_fr
o
m_multi_af
f
commit
|
commitdiff
|
tree
2018-05-17
Sve
n
Verdool
a
ege
isl_*_list_g
e
t
_
*: extract out
is
l
_
*
_list_peek
commit
|
commitdiff
|
tree
2018-05-02
Sven
V
erd
o
ola
e
ge
extract out share
d
isl_reordering_get_ctx
commit
|
commitdiff
|
tree
2018-05-02
Sven
V
e
rdoolaege
extr
a
ct out s
h
a
r
e
d isl_local_
r
eo
r
der
commit
|
commitdiff
|
tree
2018-04-30
S
v
e
n Ve
r
doolaege
i
s
l_s
p
ace_align_para
m
s: rename "dim" arguments t
o
.
.
.
commit
|
commitdiff
|
tree
2018-04-28
S
v
en V
e
rdoo
l
aege
isl_
b
as
i
c_map_real
i
gn: re
n
ame "di
m
" ar
g
u
m
ent to "space"
commit
|
commitdiff
|
tree
2018-04-28
Sven Verdo
o
lae
g
e
i
sl_b
a
sic_map_r
e
align: use isl
_
basic_map_d
i
m
commit
|
commitdiff
|
tree
2018-04-24
Sven Verdoolaege
isl/val
.
h: extract
o
u
t
isl/
v
al_
t
ype
.
h
commit
|
commitdiff
|
tree
2018-04-18
Sven Verdoolaege
isl_map
.
c: extract out shared
is
l
_
m
ap_che
c
k_range
commit
|
commitdiff
|
tree
2018-03-18
S
ve
n
Verdo
o
laeg
e
isl_pw_*_ev
a
l: r
e
name "p
n
t_dim" variable to "pnt_space"
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
add isl_aff_eval
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdool
a
ege
add isl_local_
s
pac
e
_li
f
t
_point
commit
|
commitdiff
|
tree
2018-03-18
Sven Ve
r
do
o
laege
add isl_loca
l
_sp
a
ce_has_space
commit
|
commitdiff
|
tree
2018-03-18
Sven
Verdoolaege
isl_qpolynomial_eva
l
: extrac
t
out isl_local_exte
n
d_p
o
int_vec
commit
|
commitdiff
|
tree
2018-03-18
S
v
en Verdo
o
l
a
ege
i
s
l
_polynomial
.
c: isl_upoly_eval: check for NULL argument
commit
|
commitdiff
|
tree
2018-03-18
S
v
en Verdo
o
laege
add isl_vec_add_els
commit
|
commitdiff
|
tree
2018-03-18
Sve
n
V
e
rdoolaeg
e
isl_loca
l
_space_
d
ivs_kn
o
w
n: ex
t
rac
t
o
u
t isl_local_div
s
_known
commit
|
commitdiff
|
tree
2018-03-18
Sven
V
er
d
oolaege
isl_local
.
c: extract out s
h
ared isl_local_dim
commit
|
commitdiff
|
tree
2018-03-18
Sven Ve
r
doolaege
isl_local
.
c
: ext
r
act out shared isl_local_g
e
t_ct
x
commit
|
commitdiff
|
tree
2018-03-04
Sven Verdoolaege
i
sl_space_is_domain
:
extract out isl_space_has_domain_t
u
ples
commit
|
commitdiff
|
tree
2018-03-04
Sven Verdool
a
ege
pr
i
vately export i
s
l_map_is
_
params
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdool
a
ege
i
sl_pw_*_get_space: extract o
u
t isl_pw_*_pee
k
_space
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdool
a
ege
i
sl_aff
.
c
: pw_
a
ff_a
f
f_on_domain:
e
xplicitly insert
.
.
.
commit
|
commitdiff
|
tree
next