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_transitive_closure.c: map_power: use stricter test of valid input
2018-08-22
Sv
e
n Verdoolaege
isl_spac
e
_get_tu
p
le_id: rename "dim" a
r
gume
n
t to
"
space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
oolaege
i
s
l_sp
a
ce
_
ha
s
_
tuple_id: rename "di
m
" a
r
gumen
t
t
o
"space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
V
erdoolaege
isl_sp
a
ce
.
c: offset:
r
e
n
ame
"
dim
"
arg
u
m
e
nt to "s
p
a
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdool
a
e
g
e
isl_sp
a
ce_dup: rename "d
i
m" argu
m
ent
to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
is
l
_
space_get_ctx: rename "dim" argum
e
nt to "
s
p
ac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
eg
e
isl_
f
old
.
c:
qpo
l
ynomial_f
o
l
d
_alloc: rename "dim" argu
m
e
nt
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_union_*_alloc: rename "
d
i
m" argument to "spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_map
.
c: map_le
x
_gte: rename "d
i
ms" argum
e
nt
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verd
o
olaege
isl_map
.
c: map_lex_lte: ren
a
me "
d
i
m
s" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_transit
i
ve_closure
.
c: constru
c
t_p
o
wer_components
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
o
l
ae
g
e
isl_basic_set_nat_universe
:
r
e
name "dim" argum
e
nt to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_
m
ap
.
c: map_lex_g
t
e_fi
r
st: rename "dims" argu
m
ent
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolae
g
e
isl_map
.
c: map_le
x
_lte_first: rename "dims" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_out
p
ut
.
c: pr
i
nt
_
set
_
c:
rename "d
i
m"
argumen
t
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdoolaege
isl_transitiv
e
_
closure
.
c: floyd_warshall: rename "dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transiti
v
e
_
c
losure
.
c
:
floyd_warsh
a
ll_with_groups
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
oolaege
isl_transitive_cl
o
sure
.
c:
compute_incre
m
ental: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
is
l
_
b
asic_map_alloc_space: rename "dim" ar
g
um
e
nt to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_b
a
sic_ma
p
_mo
r
e_or_equal_at: rename
"d
i
m"
argum
e
nt
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_basic_map_
m
o
re_
a
t: r
e
name "di
m
" ar
g
u
ment
to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdo
o
laege
isl_basic_map_le
s
s_o
r
_equal_at: rename "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoola
e
ge
i
s
l_
t
ab_pip
.
c: s
e
t_minimum:
r
ename "dim"
a
rgum
e
nt to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_dim
_
map_dim_rang
e
: rename
"
dim
"
argument to
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oola
e
ge
i
s
l_basic_
m
ap_ex
t
end_space: rena
m
e "dim"
argument
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verd
o
ol
a
eg
e
i
s
l
_map_reset_
s
pace
:
rename "dim" argument to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_qp
o
lynomia
l
_
*_on_domain: ren
a
me "dim" ar
g
ument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoo
l
aege
isl_q
p
o
lynomial_from_affine: ren
a
me "dim" argume
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdool
a
ege
isl_spa
c
e
_
find_dim
_
b
y
_id: rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_space
.
c: n: rename "dim" ar
g
ument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_po
i
nt_voi
d
: re
n
ame
"dim"
argu
m
e
n
t
to "
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_point_zero: rename "dim
"
argument to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaeg
e
isl_point_alloc: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_output
.
c: print_
b
ase: rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
aege
i
s
l_
o
utput
.
c: prin
t
_
nest
e
d_tuple: rename "local_dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_output
.
c:
p
r
in
t
_
n
ested_var_lis
t
: rename "local_dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
l
a
ege
isl_bas
i
c_m
a
p_nat_un
i
verse:
r
ename "dim" a
r
gument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
doolaege
isl_tra
n
sitive_closure
.
c: in
c
remental_closure:
r
ename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
lae
g
e
isl_transiti
v
e_closure
.
c: construct
_
e
x
tended_p
a
t
h:
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
i
s
l_
t
ransitive_c
l
os
u
re
.
c
: incremen
t
al_on_entire_domai
n
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transiti
v
e_clos
u
r
e
.
c: increment: ren
a
me "
d
im" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl
_
tra
n
sitive_c
l
osure
.
c: e
q
uate_parameter_to_length
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_transitive_clos
u
re
.
c: p
a
th_along_de
l
ta
:
rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoola
e
ge
i
s
l_transitive_cl
o
sure
.
c: path_along_step
s
: renam
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_map
.
c
:
n
e
g_h
a
lfspace: ren
a
me "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
laege
i
sl_map
.
c:
n
onne
g
_halfsp
a
ce: rename "
d
i
m
" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
ege
isl
_
b
a
sic_map_identity: rename "dim" argume
n
t to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ola
e
ge
i
s
l_ma
p
.
c: bas
i
c_map_identity: rename "dims" argume
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_bas
i
c_map_from_constrai
n
t_m
a
trices:
rename "d
i
m
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaeg
e
isl_spac
e
_drop_dims: r
e
name "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdo
o
laeg
e
isl_basic_map
_
a
d
d_div_constrain
t
s: add memo
r
y
manageme
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-16
S
v
e
n
Ver
d
oolaege
spl
i
t
ISL_BASIC_
M
AP_N
O
R
M
A
L
IZED i
n
to *_NO_REDUND
A
NT
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven
V
e
r
d
o
olaege
i
s
l_map_simplify
.
c: is
l
_basic_map_el
i
m
i
nate_vars: dr
o
p
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sve
n
V
erdo
o
l
aeg
e
isl_m
a
p_si
m
plify
.
c: set_div_from_eq:
dr
o
p redundant
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven
Verdoolaege
isl_ma
p
_si
m
plify
.
c:
eliminate_var_u
s
i
n
g_equali
t
y: drop
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Ve
r
doolaege
is
l
_ma
p
.
c
: inser
t
_
b
ounds_on_div_from_
i
neq: drop red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven
Verdoolae
g
e
isl_bas
i
c_map_insert_
d
ims:
re
n
ame
"
dim" v
a
ri
a
ble t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven Ve
r
doolaege
i
sl_s
p
ace_insert_dims: u
s
e isl_space_get
_
c
t
x
commit
|
commitdiff
|
tree
2018-08-05
S
ven Verdoolae
g
e
isl_space_insert_dims: rename "dim"
a
rgument to "space"
commit
|
commitdiff
|
tree
2018-07-04
Sven
Ve
r
doo
l
aege
add isl
_
*_list_swap
commit
|
commitdiff
|
tree
2018-06-21
S
v
en Ver
d
oolae
g
e
ad
d
isl_basic_se
t
_from_multi_aff
commit
|
commitdiff
|
tree
2018-05-17
Sv
e
n Verdoolaege
isl
_
*_l
i
st_g
e
t_*: extrac
t
out isl_*_list_peek
commit
|
commitdiff
|
tree
2018-05-02
Sve
n
Verdoolaege
extra
c
t out shared
i
sl_reord
e
r
ing_get_
c
tx
commit
|
commitdiff
|
tree
2018-05-02
S
ven Verdoolaege
extrac
t
out sha
r
ed isl_local_reorder
commit
|
commitdiff
|
tree
2018-04-30
S
ven V
e
rdoolaege
isl_space_align_para
m
s: rename "dim" arguments to
.
.
.
commit
|
commitdiff
|
tree
2018-04-28
Sven Verd
o
ol
a
ege
isl
_
basic
_
map_re
a
l
i
gn: rename "d
i
m" a
r
gume
n
t
to "space
"
commit
|
commitdiff
|
tree
2018-04-28
Sven Verdoolae
g
e
i
sl_basic_map_
r
ealig
n
:
use is
l
_basic_map_dim
commit
|
commitdiff
|
tree
2018-04-24
S
ven Ver
d
oolaege
isl/val
.
h
:
extra
c
t out isl/val_type
.
h
commit
|
commitdiff
|
tree
2018-04-18
Sven Verdoo
l
aege
isl_map
.
c:
e
xtract out
s
hared isl_map_check_rang
e
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl_
p
w_
*
_ev
a
l: rename "pnt_dim" var
i
a
b
le to
"
pnt_
s
pace"
commit
|
commitdiff
|
tree
2018-03-18
S
v
e
n
Ver
d
oolaege
add isl_aff_eval
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdo
o
laege
add isl_local_s
p
a
ce
_
l
i
ft_point
commit
|
commitdiff
|
tree
2018-03-18
Sven V
e
r
d
oolaege
ad
d
isl_local_space
_
has_space
commit
|
commitdiff
|
tree
2018-03-18
Sven Ve
r
d
ool
a
ege
isl_qpolynom
i
al
_
eval: extract out
i
sl_local_extend_p
o
i
n
t_vec
commit
|
commitdiff
|
tree
2018-03-18
Sv
e
n Verdool
a
ege
i
s
l
_pol
y
nomial
.
c: isl_upoly_eval: check for NULL argument
commit
|
commitdiff
|
tree
2018-03-18
S
v
e
n
Ver
d
ool
a
ege
add isl_
v
ec_a
d
d
_
el
s
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdo
o
laege
isl_
l
ocal_sp
a
ce_divs_known: extract out isl_local_
d
ivs_kn
o
wn
commit
|
commitdiff
|
tree
2018-03-18
Sven Ve
r
d
o
o
laege
i
s
l_loc
a
l
.
c
:
extract out shared isl_local
_
dim
commit
|
commitdiff
|
tree
2018-03-18
S
v
en Verdoolaege
isl_local
.
c: extract out shared isl_local_
g
et_ctx
commit
|
commitdiff
|
tree
2018-03-04
S
v
en
V
erdoolaege
is
l
_
space_is_dom
a
in: extract out
isl_space_has_
d
omai
n
_tuples
commit
|
commitdiff
|
tree
2018-03-04
Sven Verdoolaege
p
rivatel
y
e
xport is
l
_map_is_p
a
ra
m
s
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
isl
_
pw_
*
_
g
et
_
space:
extract out isl
_
pw_*
_
peek_space
commit
|
commitdiff
|
tree
2017-12-26
Sven Ve
r
d
o
olaege
isl_aff
.
c: pw_aff_aff_on_domain:
expli
c
i
t
ly insert
.
.
.
commit
|
commitdiff
|
tree
2017-12-26
S
ven Verdoolae
g
e
add i
s
l_aff_f
r
om_range
commit
|
commitdiff
|
tree
2017-12-26
Sve
n
V
erdoolaege
ad
d
is
l
_aff_{take,re
s
tore}_doma
i
n_local_space
commit
|
commitdiff
|
tree
2017-12-26
Sven Ve
r
doolaege
a
d
d
i
sl_loc
a
l_space_set_
f
rom_params
commit
|
commitdiff
|
tree
2017-12-26
S
ven Ver
d
o
olaeg
e
a
dd isl_
l
ocal
_
sp
a
ce_{take,
r
estore}_space
commit
|
commitdiff
|
tree
2017-11-29
S
v
en
Ver
d
o
olaege
s
pecialize isl_space_replace
t
o
i
s
l_s
p
ace_rep
l
ace_
p
arams
commit
|
commitdiff
|
tree
2017-11-29
Sven V
e
rdoolaege
isl_reordering_extend_space: rename "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
S
v
en Ver
d
oo
l
aege
isl_space_flatten_ra
n
ge: rename "dim" argument
t
o
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoo
l
aege
isl
_
space_fla
t
ten
_
domain: rename
"dim
"
a
r
gument
t
o
.
.
.
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
Verd
o
olaege
rem
o
ve deprecated band forests
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
o
l
aege
add isl_ve
c
_zero
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdo
o
l
a
e
g
e
isl_space_factor_d
o
main:
a
c
cept set space i
n
pu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoola
e
ge
isl_space
.
c
: mo
v
e
i
sl_space_factor_
d
omai
n
dow
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoolaege
isl_c
o
ales
c
e
.
c
: extract
o
ut shared find_eq and f
i
nd_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sven
V
e
rd
o
olaege
isl_coalesce
.
c:
e
x
t
ract out shar
e
d
count_eq
and
c
ount_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoo
l
a
ege
i
s
l
_coal
e
sce
.
c: extract out
s
hared any
_
eq
and any_ineq
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolae
g
e
bo
u
nd
.
c:
d
irec
t
ly include requi
r
ed he
a
der
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n Ver
d
oolaege
isl_s
c
h
edule_tree
.
c: directly inc
l
ude required headers
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Ver
d
oolaege
isl_schedule_read
.
c: directly i
n
c
lude required
hea
d
er
commit
|
commitdiff
|
tree
next