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_gmp.c: remove spurious include
2014-05-28
Sven Verd
o
olaege
isl_gmp
.
c: remove
s
purious incl
u
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-27
Sven Ve
r
doolaege
docume
n
t isl_{set
,
map}_set_tup
l
e_nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-01
Sven
V
erdoo
l
aege
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2014-05-01
Sven Ve
r
do
o
laege
isl_local_space_i
n
tersect:
a
dd missing isl_local_space_cow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-01
S
v
en Verdoolaege
AS
T
generator: d
e
tect pa
r
tial executed
r
elat
i
ons that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-01
Sven Ver
d
oo
l
aege
i
s
l
_
ast_build_expr_from_se
t
:
return va
l
id
r
esult on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-29
Sven
Verdoolaege
remove sp
u
r
ious incl
u
de o
f
is
l
/
c
onfig
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-28
Sven Verdoolae
g
e
.
gitignore
:
add
c
o
mpile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-28
Sv
e
n
V
erd
o
olae
g
e
i
n
te
r
face/Makefile
.
am: avoi
d
u
s
e of INCLUDES va
r
iable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verd
o
olae
g
e
isl_map_union_di
s
joint: check
spaces
b
efore han
d
ling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
Me
r
ge branch
'ma
i
nt'
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
rdo
o
laege
isl_flow
.
c: all_sources:
fix
m
e
mor
y
management
a
nno
t
at
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
erdoolaege
isl_f
l
ow
.
c: compute_val_ba
s
ed_dependences:
u
s
e correct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-21
Sven Verdoolaege
isl_qpolynomial
_
from_aff: pl
u
g memory leak on erro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Tobias Grosser
Avoid uninitialized memory warning in valgrind when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Sven Verdoolaege
d
r
op i
s
l_ta
b
_extend in favor of isl_tab_extend_cons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Sven
Verdoolaege
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2014-04-17
Sven Ver
d
oolaege
i
sl_sample
.
c: tab
_
shift_cone: use
i
s
l_tab_extend_con
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Sve
n
Ver
d
oolaege
remo
v
e WARN_UN
U
SED from public
h
eader
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Sven Verdoolaege
isl_prin
t
e
r
_
fre
e
: free indent_prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-15
S
ven Ve
r
do
o
laege
isl_inpu
t
.
c:
a
cc
e
pt_extended_affine: plug memo
r
y leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdo
o
laege
isl 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdo
o
l
a
ege
isl_sched
u
le
.
c:
e
xtract_edge: a
v
o
id
N
U
L
L
po
i
nter
dereference
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdool
a
ege
M
erge
branch 'maint'
commit
|
commitdiff
|
tree
2014-04-14
S
v
e
n Verd
o
olaeg
e
i
s
l_map
.
c
: greator: avoid double free on error
p
ath
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verd
o
ol
a
e
g
e
isl_uni
o
n_*_alloc
:
avoid
d
ouble free on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven
V
e
rd
o
olaege
isl_un
i
on_*_a
l
loc: p
l
u
g memory leak on e
r
ror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven V
e
r
doolaege
isl
_
ctx_
n
ext_operation:
h
andle NULL in
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
T
obias Grosser
Mark t
h
e comp
u
te out feature ex
p
eri
m
ental
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
update AUTHORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
S
ven Verdoolaege
Merg
e
bran
c
h
'mai
n
t'
commit
|
commitdiff
|
tree
2014-04-13
T
obia
s
Gro
s
s
e
r
is
l
_coale
s
ce
.
c: isl_ma
p
_coalesce: improve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoo
l
aege
isl_printer_
t
o_str: avoid access
to
u
ninitialized
d
ata
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoo
l
aege
isl_schedule
.
c: graph
_
free: improve
erro
r
h
a
ndling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaege
i
s
l
_
ast_expr_fre
e
:
improve erro
r
handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaege
isl_ast_no
d
e
_
al
l
o
c
_
for
:
plu
g
memory
l
eak on err
o
r path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaege
isl_m
a
p
.
c
: basic_
s
et_m
a
ximal_differen
c
e_
a
t: avoid double
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Ve
r
doolaege
isl_coalesce
.
c: eq_s
t
atus_in: imp
r
ove err
o
r handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Ver
d
oolaeg
e
i
s
l
_
c
oalesce
.
c: ineq_status_in:
i
mprove error hand
l
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Ve
r
d
o
olaege
isl_bas
i
c_set_
d
im_residue_class: avoid double free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
S
v
en Verdool
a
ege
isl_
t
ab
_
p
ip
.
c: s
o
l
_for_free:
h
andle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
S
v
en
Verdoolaege
isl_tab_pip
.
c:
propagate_equaliti
e
s: re
t
urn in
d
ication
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven V
e
rdoolaege
isl_tab_add_sample: retu
r
n int instead
o
f
i
s
l_t
a
b *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdool
a
ege
isl_hash_tab
l
e_fo
r
e
ach: improv
e
e
rror handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
S
ven Verdoolae
g
e
insta
l
l de
p
recated header
f
i
l
e
s
i
n
corre
c
t
loc
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Tobias G
r
osser
isl_union_map_alloc:
Rename dim to space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoo
l
aeg
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-04-11
T
o
bias Gross
e
r
isl_
u
nio
n
_
m
ap_alloc: plug memo
r
y
le
a
k on error pat
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven Verd
o
olaeg
e
interface/ex
t
ract_inte
r
face
.
c
c
: explicitly
i
ncl
u
de
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven Ver
d
oolaege
update for change in arguments of Compil
e
rInstan
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven Verdoolaege
interface/extract_interfac
e
.
cc
:
add space between literal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven V
e
rdoolae
g
e
doc/SubmittingPat
c
h
e
s: expla
i
n
how to
submi
t
patch
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven Ver
d
oolaege
al
s
o
conside
r
memo
r
y al
l
o
catio
n
s to be "operations
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-05
Sven Verdoolaege
isl_basic_{set,map}_read_*: impr
o
v
e error message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Ver
d
oolaeg
e
a
dd isl_union_map_get_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
ven
V
e
rdoo
l
a
ege
add isl_union_map_d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
V
erdoolaege
add i
s
l_unio
n
_map_project_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
V
e
rdo
o
la
e
ge
a
d
d
i
sl_union
_
map_preimage_domain_multi
_
pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoo
l
a
e
ge
add missi
n
g
d
ec
l
a
rat
i
on for isl_union
_
ma
p
_preimage_do
m
ain_pw
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdool
a
ege
isl_u
n
ion
_
map
.
c: u
p
date documentatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
v
e
n
V
erdo
o
laege
is
l
_space_product: allow se
t
spaces as input
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
Ver
d
oolaege
isl_
m
a
p
.
c: fix t
y
po in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
V
e
r
d
oolaege
isl_*_to_*_
s
et: fix error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
Merge
b
r
a
n
ch 'maint'
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
isl_tes
t
.
c: test_ver
t
ices:
c
h
e
ck that the expected
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Ver
d
ool
a
e
ge
ch
a
nge isl_vert
e
x inspector
s
to re
t
urn
p
roper i
s
l obj
e
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven V
e
rdoo
l
aege
isl_vertice
s
.
c: move isl
_
b
a
sic_set
_
set_in
t
egral bef
o
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
S
v
e
n
V
erdoolae
g
e
private
l
y export isl_multi_aff_from_basic_s
e
t_equalitie
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven
Verdoolaege
isl_pw_m
u
l
ti_aff_from_map: d
e
lay computation of fl
o
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
add i
s
l_multi_a
f
f_floor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Ver
d
oolaege
add
is
l
_obj_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Gr
o
s
s
e
r
Do not dere
f
erence a NULL pointe
r
in tab_f
o
r_le
x
min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
To
b
ias Grosser
F
i
x typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-09
Tobias
Gro
s
s
er
Ad
d
extern C to val_gmp head
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-09
Sven Verdoolaege
i
n
clu
d
e/isl/dep
r
eca
t
ed/*
i
n
t
.
h: allow
incl
u
sio
n
fro
m
C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sv
e
n Verdool
a
ege
ad
d
preliminar
y
support for a
f
fine NaN expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdool
a
ege
isl_inpu
t
.
c: a
c
cept_affine: re
n
a
m
e "dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
S
v
en Verdoolaege
add some basic tests for bina
r
y operati
o
ns on isl_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
S
ven Verdoolaege
isl_aff
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoolaege
isl_printe
r
: a
d
d
indent_prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sve
n
Verdoolaege
isl_pr
i
nter
:
save cop
y
of p
r
efix/
s
uf
f
i
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sve
n
Verdoolaege
isl_uni
o
n_*_add
_
*
: align parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoolaege
decl
a
re is
l
_un
i
on_pw_multi_a
f
f_align_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoo
l
a
e
ge
isl_map_
u
nion:
special case obviously
equal
in
p
u
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sv
e
n Verdoo
l
aege
isl_ast_build_ast_
f
rom_
s
c
h
edule: coalesce in
p
u
t schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaege
add a note
o
n
isl_m
a
p_union_disjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
S
v
en Ver
d
o
o
l
a
e
g
e
isl_map_union: av
o
id c
a
lling isl_ma
p
_union_disjoi
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
S
v
en Verdoolaege
i
s
l_ast_build_ast_from_sch
e
dule:
s
ort
l
o
wer and upper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaege
add
i
sl_pw_aff
_
pl
a
in_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven
V
e
rdoo
l
aege
add isl
_
local_
s
pace
_
cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdo
o
l
aege
add isl_l
o
cal_space_d
i
v_is_known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaege
a
d
d isl_space_cm
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
S
ven Verdoolaege
add isl_id_cm
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven van Haastr
e
gt
AX_DETECT_GIT
_
HEAD: avoi
d
empty vers
i
on string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Alexand
r
e Isoard
isl_{set,map}_dim_{min,max}: fix
output space on em
p
t
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verd
o
ola
e
g
e
isl_*
_
free: return NULL
pointer of object typ
e
rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven
V
erd
o
olaege
isl_space_free: rename
d
i
m variable to space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdoolaege
doc: move
m
emory management section
befor
e
v
alue
s
sect
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Ve
r
doolaege
isl_aff_set_coeffi
c
i
e
nt_si: first check if coeffic
i
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
S
ven Ve
r
doolaege
a
d
d isl_pw_aff_reset_tu
p
le_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next