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
document isl_{set,map}_set_tuple_name
2014-05-27
Sven Verdo
o
laege
document isl_{set,map}_set_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-01
Sven Ve
r
doola
e
g
e
Merge bra
n
ch 'mai
n
t'
commit
|
commitdiff
|
tree
2014-05-01
Sven Verdoolaege
i
s
l_
l
ocal_
s
pa
c
e_inte
r
sect: ad
d
missing
isl_local_space_
c
ow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-01
Sven Ve
r
d
oolaege
AST gen
e
rator: detec
t
p
a
rtial executed
r
elations that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-01
Sven Verdool
a
ege
isl_ast
_
b
u
ild_expr_from_set: return va
l
id result on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-29
S
ven Ver
d
oolaege
r
e
mov
e
spurious include of isl/config
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-28
Sven Ver
d
oolaege
.
g
iti
g
nor
e
: add compile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-28
S
v
en Verdoolaege
interface/Makefil
e
.
am
:
avoid use of
I
NCLUDES
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdo
o
laege
isl_map_union_disjoint
:
check spa
c
es befo
r
e handlin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Verdoo
l
aege
Mer
g
e branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
Ve
r
doolaege
isl_f
l
ow
.
c:
a
ll_sources: f
i
x
m
e
mory ma
n
agement annota
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ve
r
doolaege
isl_flow
.
c: co
m
pute_
v
al_based
_
dependences: use correct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-21
Sv
e
n Verdoo
l
aeg
e
i
sl_qpolynomial_from_aff: plug memory leak on e
r
ro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Sven
Ve
r
doolaege
drop isl_tab_extend in favo
r
of isl_tab_
e
xtend_cons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
S
ven Verdoolaege
Mer
g
e
b
ranch 'maint'
commit
|
commitdiff
|
tree
2014-04-17
Sven Verdoola
e
ge
isl_sample
.
c: tab_sh
i
ft_co
n
e: use
isl
_
tab_extend_
c
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Sven
Verdoolaege
remove WARN_U
N
USED f
r
o
m
p
u
b
lic hea
d
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Sven
Verdo
o
la
e
ge
isl_p
r
inter_free
:
free i
n
dent_prefi
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-15
Sven Verdoo
l
aege
isl
_
i
n
put
.
c: ac
c
ep
t
_extended_affine: p
l
u
g memory
l
eak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdool
a
ege
isl 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven
Verdoolaege
isl
_
s
chedule
.
c:
e
xtra
c
t
_
edg
e
: avoid NULL point
e
r derefere
n
ce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven
Ver
d
oolaege
M
erge branch 'maint'
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoo
l
aege
i
sl_map
.
c:
g
r
eator: av
o
i
d
d
ouble f
r
ee on er
r
or path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
v
en Verd
o
olaeg
e
isl_uni
o
n_*_al
l
oc: avoi
d
d
ouble
free o
n
error p
a
th
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven
Verdoolaege
isl_union_*_a
l
loc: p
l
ug memor
y
leak on
error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolae
g
e
isl_c
t
x
_
next_operation: h
a
ndle NULL inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdool
a
e
g
e
update AUTHORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven
V
erd
o
olaege
Merge
b
r
anch 'main
t
'
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaeg
e
isl
_
printer_to_st
r
:
a
v
o
id ac
c
ess to
u
ninit
i
alized data
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolae
g
e
isl_schedule
.
c:
graph_fre
e
: im
p
rove erro
r
h
a
ndling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolae
g
e
isl
_
ast_expr_free: improve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven V
e
rdoolaege
isl_ast_
n
ode_a
l
loc_fo
r
:
p
l
u
g memory leak on err
o
r path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoola
e
ge
isl_map
.
c: basic_set_
m
aximal_difference_at
:
avoid do
u
b
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoo
l
a
ege
i
s
l_coalesce
.
c: eq_
s
tat
u
s
_
i
n: improve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sv
e
n Verdoolaege
isl
_
coalesce
.
c: ineq
_
status_in: impr
o
ve error
h
andling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sve
n
Verdool
a
ege
isl_
b
asic_set_di
m
_r
e
sidue_class: avoid
doubl
e
free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sve
n
Verdoolaege
isl_tab_pip
.
c: sol_for
_
f
r
ee: handle
N
UL
L
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
S
v
en Verdoolaege
is
l
_t
a
b_pip
.
c: pro
p
agat
e
_equa
l
ities: retu
r
n
indication
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven
Verdoolaege
isl
_
tab_
a
dd
_
sample:
r
eturn
i
nt instead of isl_tab
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaege
i
s
l_h
a
s
h
_table_foreach: impr
o
ve erro
r
handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaege
install dep
r
ecated header files in
correct location
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaege
M
e
r
g
e branch 'maint'
commit
|
commitdiff
|
tree
2014-04-10
Sven Verdoolaege
i
nterface/extra
c
t_interface
.
c
c
: explicitl
y
include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven Ve
r
doo
l
aege
update for chang
e
in
a
rguments of
Com
p
i
lerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
S
v
en V
e
rdoolaege
int
e
rfac
e
/extract_interfa
c
e
.
cc
:
add space between lite
r
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven V
e
r
d
o
o
laeg
e
doc/SubmittingPat
c
hes
:
explain how to subm
i
t
p
atch
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sv
e
n Verd
o
olaege
also consi
d
er me
m
ory
a
llocations to be "
o
perations
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-05
Sven Verdo
o
laege
isl_basic_{s
e
t,map}
_
r
e
ad
_
*: improve
error messa
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
ven Verdoo
l
a
e
g
e
add
isl_union_map_
g
et_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
v
e
n
V
e
rdoolaege
add isl_union_map_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
V
erdool
a
ege
add
i
sl
_
u
nion
_
map_
p
roj
e
ct_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
add isl_union_map
_
pr
e
imag
e
_doma
i
n_multi_p
w
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
add
missing declaratio
n
for
i
sl_union_map
_
preimage_domain_pw
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
is
l
_
u
n
io
n
_map
.
c: update documentat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verd
o
ol
a
ege
i
sl_space
_
produ
c
t: allo
w
s
e
t
s
p
aces
as inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en Verdoolaege
isl_map
.
c: fix typo
in commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n Verdoolaege
isl_*_to_*_set: fix error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verd
o
olaege
M
erge branch 'maint'
commit
|
commitdiff
|
tree
2014-03-30
Sven Ver
d
oola
e
ge
isl_t
e
st
.
c: test_vertices:
c
heck that the expected
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Ve
r
doolaege
change isl_ver
t
ex
inspecto
r
s
to return
p
r
oper isl objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Ve
r
d
oo
l
aege
isl_
v
ertices
.
c: mo
v
e isl_basic
_
set_set_i
n
tegral before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verd
o
olae
g
e
pr
i
v
ately export isl_multi_aff_from_basic_set_equa
l
iti
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolae
g
e
isl_pw_multi_aff_from
_
m
a
p: delay computation of floor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdool
a
ege
add i
s
l
_
multi_aff_floor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdo
o
l
aege
a
d
d isl
_
obj_p
w
_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-09
Sve
n
Verdoolaege
include/isl/deprecated/*int
.
h:
a
llow
inclusion from C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoolaege
add preliminary suppo
r
t for affine NaN ex
p
ressio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdo
o
laeg
e
isl_input
.
c: accept
_
affine: rename "dim"
va
r
i
a
ble to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoolaege
add s
o
me basic tests for binary
o
p
e
r
ations on isl_
a
ff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven
V
erd
o
olae
g
e
i
sl_
a
ff
.
c: fi
x
typo in comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoolaege
isl_printer: a
d
d
indent
_
prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven
V
e
r
doolaeg
e
isl_p
r
inter: save copy
of prefix/
s
u
ffix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoolaege
isl_uni
o
n_*_add_*: a
l
ign parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
S
ven Verdoo
l
a
ege
decla
r
e isl
_
uni
o
n_pw_multi_aff_align_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
S
v
en Verdoolaege
is
l
_map_un
i
o
n: special case obviously equ
a
l inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven V
e
rdoo
l
aeg
e
isl_ast_bui
l
d_ast_f
r
om_schedule: c
o
alesce input s
c
he
d
u
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sv
e
n
Ve
r
doo
l
aege
add a note
on isl_map_union_disj
o
int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdool
a
ege
isl_map_union: avoi
d
calling i
s
l_map_uni
o
n_
d
is
j
oint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sv
e
n Verdoolaege
i
s
l_ast_build_ast_from_schedule: sort
lower
and upper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Ve
r
doolaege
ad
d
isl_p
w
_aff_p
l
ai
n
_cm
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaege
add isl_local_spa
c
e_
c
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
S
ven Ve
r
d
oolae
g
e
add isl_local_space_div_is_know
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sve
n
Ve
r
doolae
g
e
add isl_space_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
S
ve
n
Verd
o
olaege
a
dd
isl_id_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Ver
d
o
o
laege
isl_
*
_free: return N
U
LL point
e
r of object type
r
ather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
S
v
en Verd
o
o
l
aeg
e
isl_
s
p
a
ce_free: rename dim vari
a
ble to spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sv
e
n Verdoolaege
doc
:
move
m
emor
y
management sectio
n
before values section
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Ve
r
doolaege
isl_af
f
_set_coeffic
i
ent_si: first chec
k
if coefficient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdool
a
ege
add isl_
p
w
_
aff_rese
t
_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sv
e
n Verdoola
e
ge
i
s
l_pw_*_se
t
_t
u
ple_id: fix
memory man
a
geme
n
t annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdoolaege
add isl_union_set_reset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verd
o
olaege
add isl_
u
nion_set_preim
a
ge_union_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sve
n
Verdoolaege
add is
l
_union_set_preimage_pw_mu
l
ti
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdoolaege
ad
d
isl_union_set_pr
e
image_m
u
l
ti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sve
n
V
erdoo
l
ae
g
e
a
dd is
l
_union_map_preimage_ran
g
e_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven
V
e
r
doolaege
i
s
l_union_
m
ap_preimag
e
_
d
o
m
a
in_multi_aff: align pa
r
ameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verd
o
olaege
isl_multi_*_ali
g
n_params:
c
heck
i
f parameters match
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sv
e
n Verdoolaege
add i
s
l_m
a
p_preimage_range
_
mul
t
i_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
S
ven V
e
rdoo
l
aege
add i
s
l_map_preimage_ran
g
e_pw_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
S
v
e
n
Verd
o
olaeg
e
doc: reorder preimage
f
u
nctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next