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
interface/Makefile.am: avoid use of INCLUDES variable
2014-04-28
Sven
V
erdoolaege
i
n
te
r
f
ace/Makefile
.
am: avoid use of INCLUDES vari
a
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
Verd
o
olaege
isl_map_union
_
disjoint: check spaces before handling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
rdoolaege
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoo
l
aege
i
sl_flow
.
c: all_so
u
rces: fi
x
memo
r
y management
a
nn
o
tation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
rdoolaege
isl_flow
.
c: compute_val_based_depen
d
ences
:
u
s
e c
o
rrect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-21
S
ven Verdoolaeg
e
is
l
_qpolyno
m
i
al_fro
m
_af
f
: plug memory l
e
ak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Tob
i
a
s
G
r
osser
Avoid uninitial
i
zed memor
y
warning in valgrind
when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Sve
n
V
erdool
a
ege
dr
o
p isl_t
a
b_exte
n
d in favo
r
o
f isl_ta
b
_extend_
c
on
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Sven Verdoo
l
ae
g
e
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2014-04-17
Sven Verdoolaege
isl_sample
.
c: tab_shift_cone: use isl_t
a
b_ex
t
e
n
d
_
cons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Sve
n
V
e
r
d
oolaege
remove WARN_UNUSE
D
f
rom public
h
e
ader
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Sven Verdoolaege
isl_printer_free: free
i
ndent_prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-15
Sven Verdoolaege
isl_input
.
c: accept
_
e
xten
d
ed_affine: p
l
u
g
memory
leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verd
o
o
la
e
ge
isl 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Ve
r
doolaege
isl_schedule
.
c: e
x
trac
t
_edge: avoi
d
NULL pointer deref
e
rence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
ven
V
erdoo
l
a
eg
e
M
erge br
a
nch 'm
a
int'
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n Ve
r
d
oola
e
ge
isl_map
.
c: greato
r
: avoid double
fre
e
on error
p
ath
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
v
en
V
erd
o
ola
e
ge
isl_union_*_all
o
c: a
v
oid double free
on error
p
ath
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
v
en Verd
o
olaege
isl_unio
n
_
*
_al
l
oc: p
l
ug memory
l
eak on er
r
or path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolae
g
e
isl_ctx
_
next_operation: handle NULL inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
T
o
bias G
r
osser
Mar
k
the c
o
mp
u
t
e
out f
e
ature experimental
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
S
ven Verdoola
e
ge
u
p
date AUTHORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
S
ven Verdo
o
laege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
isl_coal
e
sce
.
c: isl_map_c
o
alesce: improve er
r
or handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaege
i
s
l_printe
r
_to_s
t
r:
a
void acc
e
ss to uninitialize
d
da
t
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoo
l
ae
g
e
i
s
l_sch
e
dul
e
.
c: graph_fre
e
: im
p
rov
e
error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven V
e
rdoolaege
i
sl_ast
_
expr_free: improve error
han
d
li
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven
V
erdo
o
laege
isl_ast_node_alloc_for: plug me
m
ory leak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdo
o
laege
isl_map
.
c: basic
_
se
t
_maximal_differen
c
e_
a
t:
a
v
oid double
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sv
e
n Verdoolaege
isl_coalesc
e
.
c
:
eq
_
statu
s
_
in: impr
o
v
e
error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Ve
r
doolaege
isl_c
o
al
e
sce
.
c:
ineq_st
a
tus_in: improv
e
erro
r
han
d
ling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven
Verd
o
olaege
isl_basic_se
t
_
dim_residu
e
_class: avo
i
d
doubl
e
free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven
V
erdoolaege
isl_tab_pip
.
c: sol_for_free: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaege
isl_
t
ab_
p
ip
.
c:
propagate_equalities: r
e
turn indication
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaege
isl_tab_a
d
d_sa
m
ple
:
retur
n
i
nt
i
nstead of isl
_
t
ab
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdo
o
laege
isl_h
a
sh_table_foreac
h
:
improve err
o
r handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaeg
e
i
n
stall depreca
t
ed
header files in
c
orrect
l
o
c
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
To
b
ias
G
ro
s
ser
isl_uni
o
n_map_
a
lloc:
R
ename di
m
t
o
spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoo
l
a
e
g
e
Merge branch
'
m
aint'
commit
|
commitdiff
|
tree
2014-04-11
T
o
bias
G
ross
e
r
i
s
l
_
union
_
map_a
l
loc: plug memo
r
y
leak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven Verdoolae
g
e
interface/extract_interface
.
cc: explicitly
inc
l
ude
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven Verdoolaege
upd
a
t
e for change in arg
u
me
n
ts of CompilerIn
s
tance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven
Verdoolaege
interface/extract
_
i
n
terf
a
ce
.
cc
:
add spac
e
bet
w
een litera
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven
V
erdoolaege
doc/SubmittingPatches:
e
x
plain
how to
submit p
a
t
ch
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven
Verdoolaeg
e
also c
o
nsider m
e
mory
al
l
oc
a
tions to
be
"opera
t
ions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-05
Sv
e
n Verdo
o
l
a
ege
isl_basic_
{
set,map}_re
a
d_
*
: improv
e
error message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdo
o
laege
add isl_union_map_get
_
di
m
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verd
o
olaege
add
isl_union_map_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
add isl_union_map_proj
e
ct_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n Verdoolaege
add isl_union_map_preimag
e
_
domain_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
ven Verdo
o
laeg
e
add missing declaration
f
or isl_union_ma
p
_pre
i
mage_doma
i
n_pw
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
ven
V
erdoolaege
i
sl_union_
m
ap
.
c: updat
e
d
o
c
umentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verd
o
olaege
isl_space_product
:
a
l
low set spaces
as inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
V
erdoolaege
isl_m
a
p
.
c: fix typ
o
in comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en V
e
r
d
oolaege
isl_*_to_*_set: fix error
handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en Verdo
o
laeg
e
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2014-03-30
S
v
en Verdoolaege
isl
_
te
s
t
.
c: test_vertices:
c
heck that the expected
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
ch
a
nge isl_vertex inspectors
t
o
return proper isl objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
i
s
l
_v
e
rtices
.
c: move isl_b
a
sic_s
e
t_se
t
_inte
g
ral before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
S
ven Ve
r
doolaeg
e
privately exp
o
rt isl_multi
_
a
ff_from_basic_set_equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
i
sl_pw_multi
_
aff_from_map: d
e
lay co
m
putation of f
l
o
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
add isl_mul
t
i_aff_
f
loo
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven V
e
rdoolaege
a
d
d is
l
_
o
bj_
p
w
_mul
t
i
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Tob
i
as
Gross
e
r
Do not
derefe
r
ence a
N
ULL pointer in tab_for_le
x
min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
T
o
bias Grosser
F
ix
typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-09
T
obias Grosser
Add extern C
to val_gmp heade
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-09
S
ven
V
erdoolaege
inclu
d
e/isl/de
p
recated
/
*i
n
t
.
h: allo
w
inclusi
o
n from C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sv
e
n Verdoolaege
add pr
e
liminary supp
o
rt for a
f
fine N
a
N expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
S
v
e
n Verdoo
l
aege
isl_input
.
c: a
c
cept_affine: r
e
name "dim" variable t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Ver
d
oo
l
aege
add
s
o
m
e basic tests for binary operations on
i
sl_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
S
v
en Verdoola
e
ge
isl_
a
ff
.
c:
fi
x
ty
p
o in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoo
l
aege
i
sl_
p
rinter: add indent_prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verd
o
olaege
isl_printer: save c
o
py of prefix/suffix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoolaeg
e
is
l
_union_*_a
d
d_*: align parame
t
er
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdo
o
lae
g
e
d
e
c
l
ar
e
i
s
l
_union_pw_multi_aff_a
l
ign_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven
Verdoolaege
i
s
l
_map_union:
s
pecial
c
ase obviou
s
ly equ
a
l
inp
u
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
S
v
e
n Verdoolaege
isl
_
ast_build_
a
st_from_schedule: coalesce input schedul
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven
V
erdoolaeg
e
a
d
d a note on isl_map
_
union
_
disjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
S
ve
n
Verdoolaege
isl_map
_
union:
avoid
calli
n
g
i
s
l_map_uni
o
n_disjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sv
e
n
V
erdo
o
laege
isl_a
s
t_build_ast_from_schedu
l
e: sort lower a
n
d upper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaege
add isl_pw_
a
ff_p
l
ain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
S
ven Verdoo
l
ae
g
e
ad
d
isl_local_space_cm
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoo
l
aege
add isl_local_space_div_is_known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaege
add
isl_spa
c
e_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolae
g
e
add isl_id_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sve
n
van Haastregt
AX_DETE
C
T_GIT_
H
EAD
:
avoi
d
empty version string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Al
e
xandre Isoard
isl_{set,map}_dim_{min,max
}
: fix o
u
t
pu
t
s
p
a
ce on empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdo
o
laege
i
s
l_*_free: return
NULL pointer
of object
type rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdoolaege
i
sl_spac
e
_free: rename dim v
a
riable to
sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sve
n
V
erdoo
l
aege
doc
:
move memory manageme
n
t sec
t
i
on b
e
fore
v
alues
section
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
S
v
en Verdoolaege
isl
_
aff_set_coe
f
f
i
c
ient_si: first check if
coefficient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sve
n
Verdoolaeg
e
add isl_pw_a
f
f_rese
t
_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdoolaege
isl
_
pw_*_set
_
tuple
_
i
d: fix memory mana
g
ement annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdoolaege
add
i
sl
_
union_set_reset
_
user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sv
e
n Verdoolaege
a
dd isl_u
n
ion_set_p
r
eima
g
e_union_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sv
e
n Verdoo
l
a
e
ge
ad
d
isl_uni
o
n
_
s
e
t_preimag
e
_pw_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdoolaege
a
d
d
i
sl_union_set_prei
m
age_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
S
v
en Verdoolaege
add isl_union_ma
p
_preimage_range_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdool
a
ege
isl_un
i
on_map_preimage_domain_multi_af
f
: align parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven
V
e
rdoolaege
isl_mul
t
i_*_align_pa
r
a
m
s
: check if pa
r
amet
e
rs match
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next