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_ctx.c: find_nested_options: properly handle argument "groups"
2013-08-05
Sve
n
Verdoolaeg
e
isl_ctx
.
c: find_
n
ested_options: pr
o
p
erly
ha
n
dle
a
r
g
ume
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sv
e
n Verdoolae
g
e
is
l
_u
n
ion_map_params: pl
u
g m
e
mory leak in
c
ase of empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
isl
0
.
12
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
doc/imple
m
entation
.
t
ex: update t
o
algori
t
hm2e
.
sty version 4
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaege
c
o
nf
i
g
ur
e
.
ac:
l
ink in llv
m
o
ption component in extrac
t
_interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-21
Sven Verdoo
l
aege
i
sl_ast_b
u
ild_ast
_
f
rom_schedule: improv
e
handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-08
Sven Verdo
o
laege
isl
_
ast_build_compute_
g
ist_p
w
_a
f
f: handl
e
parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
laege
isl_ver
t
ices
.
c: isl_cell_alloc:
a
ccep
t
NULL point
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
ven
Verdoo
l
aeg
e
is
l
_vertices
.
c: compute_chambe
r
s: accept N
U
LL p
o
in
t
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaege
isl_v
e
rtices
.
c: add_chamber: acce
p
t NULL pointer on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
sl_
b
asic_s
e
t
_compute_vertices: accept NUL
L
p
ointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdo
o
la
e
ge
is
l
_vertices
.
c: vert
i
ces_fr
o
m_list: accept NUL
L
point
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
olaege
isl_tran
s
itive_closu
r
e
.
c: u
n
io
n
_comp
o
nents:
avoid zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_transitive_closur
e
.
c
:
path_along_delta: a
c
cept
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoo
l
aege
isl
_
t
a
rjan_graph_alloc: accept
NULL p
o
int
e
r on zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_tab
_
basic_set_non_triv
i
al
_
le
x
min: ac
c
ep
t
NULL pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
ven
V
erdoolaeg
e
i
s
l
_
ta
b
_pip
.
c: ba
s
ic_map_partial_le
x
opt
_
s
y
mm: acc
e
pt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoo
l
aeg
e
isl_tab_pip
.
c
: tab_for_lexmin:
a
c
c
ept
NULL p
o
inter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
e
rdoolaege
isl_ta
b
.
c: re
s
tore_basis: accep
t
NULL pointe
r
on z
e
r
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
ve
n
Verd
o
olaege
is
l
_tab_push
_
basis:
a
cc
e
pt
N
U
L
L p
o
inter
on ze
r
o
-size
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
isl_tab_p
r
oduct: accept NULL po
i
nte
r
on
z
e
ro-
s
i
ze alloca
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
isl_
t
ab_dup: accept NULL pointe
r
on zero-size
a
llocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
isl_tab_a
l
loc: accept
NULL poi
n
ter on
z
ero-size allocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verd
o
o
l
a
ege
isl_sp
a
ce_reverse: a
c
cept NUL
L
p
o
int
e
r on
zero-size
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
olaege
isl_schedul
e
.
c
:
co
n
s
t
ruct_fores
t
: with_merged_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
ven
V
erdoolaege
isl_sche
d
u
le
.
c
: c
o
nstruct_band_lis
t
: with
_
me
r
g
e
d_
d
ivs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaeg
e
isl_sche
d
ule
.
c:
cons
t
ruct_
b
and: with_merged_divs: accept
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verdoolaege
is
l
_schedu
l
e
.
c:
e
xtract_
n
od
e
: accept NULL
poin
t
e
r on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oo
l
aege
isl_sched
u
l
e
.
c:
graph_a
l
loc: accept
NULL p
o
inter
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoola
e
g
e
i
sl_qpolyno
m
ial_morph_domain: accept NULL pointer on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_qpolynomial_move_dims: a
v
oid ze
r
o-siz
e
allocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_p
o
lynomial
.
c: wit
h
_
merged_d
i
v
s
: ac
c
ept
N
ULL
point
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_mat_sub_alloc6:
a
c
ce
p
t NULL p
o
i
n
ter
on zero-size
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n
V
e
rdoolae
g
e
isl
_
mat
_
exte
n
d: acc
e
pt
NULL
p
o
i
n
t
er on zero-size allocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
isl_mat_al
l
oc: ac
c
ept
N
ULL
pointer
o
n zero-size al
l
ocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n
Verdoo
l
aege
is
l
_m
a
p_
s
ubtract
.
c:
n
_non
_
r
e
dundant: avoid
z
ero
-
size
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_basic_
m
a
p
_dro
p
_redunda
n
t_divs: av
o
id zero-size
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
ool
a
ege
isl_b
a
sic_map_sort_constrain
t
s: av
o
i
d
zero-
s
ize alloca
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
is
l
_map
.
c: basic
_
map_
i
n
i
t:
a
ccept NULL pointer
on zer
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
is
l
_basic_set_opt_lp_val_aligned
:
accept NULL pointe
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Ver
d
oola
e
ge
isl_lo
c
al_s
p
ace_get_
a
ctive: a
c
cept
N
ULL point
e
r on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n
Verdoolaege
isl
_
b
a
si
c
_set_opt: accept N
U
LL
pointer on
z
e
ro-
s
ize
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n
V
erdoolaege
isl_flow
.
c: compute_flo
w
:
a
cce
p
t NULL pointer on zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
o
o
laege
isl_flow
.
c
:
sched_info_al
l
oc: a
c
cept NULL pointer
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Ver
d
oola
e
ge
isl_flow_alloc: accept
NULL poi
n
t
er on
zero-s
i
ze allocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_coalesce
.
c: coalesce_subset:
a
cce
p
t
NU
L
L pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
isl_coale
s
ce
.
c
:
c
o
alesc
e
_local_pair: ac
c
ept NULL p
o
inte
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdo
o
laege
bernstein_coefficien
t
s
_full_rec
u
rsive: accept N
U
L
L
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_band
_
dup:
a
ccept NULL
p
ointer on
zero-
s
i
z
e allo
c
a
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdool
a
ege
isl_ast_graft
.
c: i
n
se
r
t_pend
i
ng_gu
a
rd_nod
e
s: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdoolaege
isl_ast_expr_allo
c
_
op: accept NULL pointer on
zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
isl_af
f
_a
l
i
g
n_divs: acc
e
pt NULL
point
e
r on
zero-si
z
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoo
l
aege
isl_
a
ff_add: accept NULL poi
n
ter
on zer
o
-siz
e
allocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_pw
_
multi_aff_p
r
oduct:
f
ix ty
p
o
t
ha
t
broke handlin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verdoolaege
isl_ast_codegen
.
c: generate_component: ha
n
dle non-obviously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
ola
e
ge
isl_ast_expr_fr
o
m_aff: clear denominat
o
r
b
e
fore ca
l
ling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-02
Sven Verdoola
e
ge
isl_qpolynomial_val_on_doma
i
n: plug memory lea
k
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-01
Sven Verd
o
olaege
isl_basic_map_apply_range: avoid invali
d
a
cces
s
es
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
Sve
n
Verdoolaege
isl
0
.
12
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
Sven Verdoolaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdoolaege
try
and avoid dep
e
ndin
g
on mpz_gc
d
ext internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sven
Verdoola
e
g
e
i
sl_printe
r
_
print_
m
ap: m
a
ke pr
i
nting order of di
s
ju
n
cts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
S
v
e
n Verdoolaege
i
sl_constra
i
nt_private
.
h:
perform p
r
oper incl
u
des
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven
V
erdoolae
g
e
Mak
e
file
.
am: add i
s
l_v
a
l_pr
i
vate
.
h to libisl
.
l
a source
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdo
o
la
e
ge
doc:
expl
a
in that isl_i
n
ts will
b
e remo
v
ed in future
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoo
l
aege
remove *_s
c
ale_vec fu
n
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
S
v
en Verdo
o
laege
isl
_
b
and_tile: use is
l
_union_pw_multi
_
a
ff
_
s
cale_mu
l
ti_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verd
o
o
l
aege
add isl_union_pw_multi_aff_sc
a
le_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven V
e
rdoolaege
add
isl_pw_multi
_
aff_s
c
a
l
e
_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
S
ven Verdoolaege
a
d
d isl_multi_*_scale_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoo
l
a
e
ge
merge shared is
l
_multi
_
*_alig
n
_
p
arams declara
t
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-16
Sven Verdoolaege
add is
l
_
v
al_int_f
r
om_
c
hunks
and isl_val_get_abs_num
_
c
hun
k
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-14
Sven Verdoolaeg
e
Me
r
g
e
branch 'maint'
commit
|
commitdiff
|
tree
2013-06-14
Sven Verdoolaeg
e
isl_
{
in,}e
q
uality_from_aff:
s
k
ip constr
u
ct
i
on of isl_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-14
Sven Verdoola
e
ge
i
s
l_map_gist_b
a
sic_map:
r
emove alignm
e
nt of context
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-14
S
v
e
n Verdoolaege
is
l
_multi_*_gist
:
add mis
s
ing is
l
_multi
_
*
_
cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-11
Sven
Verdoo
l
ae
g
e
isl
_
loc
a
l_space_s
u
bst
i
tut
e
_equ
a
liti
e
s
:
i
mprove error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-11
Sven Verdoo
l
aege
is
l
_local_sp
a
ce_substi
t
ute_equalities: avoid writi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-10
Sv
e
n V
e
rdoolaege
Merge
br
a
n
c
h
'maint'
commit
|
commitdiff
|
tree
2013-06-10
Sven
V
erdoolaege
isl
_
c
o
alesce
.
c
:
f
ix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-10
Sven Verdoolaege
isl_o
u
tput
.
c
:
p
r
in
t
_qpolynomia
l
_c: improve
e
r
r
or handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-06
Sv
e
n Verdool
a
ege
i
sl_m
a
p_ali
g
n_divs: fix error ha
n
d
ling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven Ver
d
oolaege
is
l
_h
m
a
p
_map_basic_se
t
_
s
et: avoid memory
l
eak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaege
isl_uni
o
n_ma
p
_al
l
oc
:
avoid d
o
uble
f
ree on e
r
ror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sve
n
Verdoolaeg
e
i
sl_vertices
.
c: compute_chamber
s
:
a
v
oid
in
v
ali
d
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sv
e
n V
e
rdoolaege
i
s
l_basic
_
map
_
gi
s
t: a
v
o
id inval
i
d
access on err
o
r path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven Ve
r
d
oola
e
ge
isl_basic_map_
a
l
i
gn_
d
ivs: avoid inv
a
lid access on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sv
e
n Verdoolaege
i
sl_basic
_
map_co
n
tains: avoid invalid
access on
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaege
isl_basic_set_o
p
t: avo
i
d invalid a
c
cess
on error pa
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-04
Sve
n
Verdo
o
l
aege
is
l
_tab_pip
.
c
: context_gbr
_
save: avo
i
d
i
n
valid a
c
cess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoola
e
ge
i
sl_tab_pip
.
c:
use_shifted: avoid inval
i
d
access
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-04
S
v
en V
e
r
dool
a
ege
i
s
l_ast_codegen
.
c
: gene
r
a
t
e_component: avoid invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-04
S
v
en
Verd
o
olaege
isl_stream_r
e
ad_map: handle "i
m
plies" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-03
Sven Verd
o
o
l
aege
remo
v
e re
f
erence to pi
p
lib
f
rom
.
g
itmodules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
S
ven Verdoolaege
i
s
l_input
.
c: accept_
d
iv: a
c
cept
f
loor/ceil of
rati
o
na
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sv
e
n Verdoola
e
ge
isl_
i
nput
.
c
:
ex
t
ract out
c
ommon is
_
start
_
of_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolae
g
e
isl_pw_*_fix_v
a
l
:
also p
l
ug in v
a
lue in associated
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sve
n
Verdo
o
lae
g
e
i
sl_pw_t
e
mpl
.
c: extract out
is
l
_pw_
*
_
e
xploit_equalities_and_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolaeg
e
a
dd
t
est case for
i
s
l
_pw_qpolynomial_intersect_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-01
Sven Verdoolaege
isl_polynomial
.
c: fix typo in commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
