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 0.12.1
2013-07-24
S
ven Verdoola
e
ge
isl 0
.
12
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
e
ge
doc/im
p
lementation
.
tex:
u
p
dat
e
to
alg
o
rithm2e
.
s
ty versi
o
n 4
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdool
a
ege
config
u
re
.
ac
:
link in llvm op
t
io
n
c
o
m
po
n
ent in extract_i
n
t
erf
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-21
Sven Verdoola
e
ge
isl_
a
s
t_build_ast_from_sc
h
edule: improve
h
andl
i
ng o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-08
S
v
en Verdoola
e
ge
isl_ast_b
u
ild_compute_gist_pw_a
f
f: handle
p
a
rametri
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdool
a
ege
isl_
v
ertic
e
s
.
c: isl_cell_alloc: acc
e
p
t
N
ULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oolae
g
e
isl
_
vertic
e
s
.
c: compute_cha
m
bers: accept NUL
L
pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolae
g
e
isl_vertices
.
c: add
_
cham
b
e
r
:
accept NULL pointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolae
g
e
isl_basic
_
set_com
p
ute_ver
t
ices:
a
c
cept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdo
o
laege
isl_ve
r
tices
.
c: v
e
rtices_f
r
om_l
i
s
t: accept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaeg
e
isl_tran
s
itive_closure
.
c: union_components: avoid zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
dool
a
ege
isl_tran
s
i
t
ive
_
cl
o
sure
.
c: path
_
alo
n
g_delta: acce
p
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdo
o
la
e
ge
isl_tarjan_graph_alloc
:
a
c
c
ept NULL
p
ointe
r
o
n zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaeg
e
isl_tab_basic_set_non
_
tri
v
ial_lexmin
:
accept NULL poi
n
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaege
isl_tab_pip
.
c: basic_
m
ap_partial_
l
ex
o
p
t
_symm: accept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
isl
_
ta
b
_pip
.
c: tab_for_lexmin:
a
ccept N
U
LL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_tab
.
c
: restore_basi
s
: accept
NULL
pointe
r
on zer
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_tab_push_basi
s
:
accept NUL
L
pointer on zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
V
e
r
d
oolaege
i
sl_tab_product:
a
c
cept NULL pointer
on zero-size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_tab_dup
:
acc
e
p
t NULL pointe
r
on ze
r
o-siz
e
allocati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaege
is
l
_tab_
a
l
l
o
c
: accept
N
ULL
p
ointer
on
z
e
r
o-size a
l
locati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
ola
e
ge
isl_space_re
v
er
s
e
:
accept
N
ULL pointer on zero-si
z
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
is
l
_schedule
.
c: const
r
uct_forest: with_merged_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
e
n
V
e
rdoolaege
isl_sch
e
du
l
e
.
c
:
construct_band_list: with
_
merged
_
divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoola
e
ge
isl_sch
e
dule
.
c
: construct_ba
n
d: with_me
r
ge
d
_divs: accept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoo
l
aege
is
l
_schedule
.
c: ext
r
act_
n
ode: a
c
cept NULL pointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven V
e
rdoolaege
isl_sched
u
le
.
c: grap
h
_alloc: accept NULL poi
n
ter
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
e
rdoolaege
i
s
l_qpoly
n
omi
a
l_morph_domain
:
a
c
c
ept NULL p
o
i
n
ter on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Ve
r
doolae
g
e
isl_qpolyno
m
ial_m
o
ve_d
i
ms: avoid zero-siz
e
a
l
loca
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verd
o
ola
e
g
e
is
l
_poly
n
o
m
ial
.
c: with_merged_divs:
a
ccept NULL
pointe
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdool
a
ege
i
sl_mat_sub_alloc6: accep
t
N
ULL pointer on zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verdoolaeg
e
isl_mat_ex
t
end: acce
p
t NULL pointer
on zero-size alloca
t
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaeg
e
is
l
_mat_all
o
c: ac
c
ept NULL
poi
n
ter o
n
zero-size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven
Verdoolaege
isl_map_subtract
.
c: n_n
o
n_redund
a
nt: a
v
oid zero-si
z
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oolaege
i
sl_basic_map_drop_red
u
nd
a
nt_div
s
: av
o
id
zero-si
z
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
d
o
olaeg
e
isl_bas
i
c_map
_
sort_constr
a
ints: avoid z
e
ro-size allo
c
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoo
l
aege
isl_map
.
c: basic_map_in
i
t: accept NULL pointer on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verd
o
olae
g
e
isl_
b
asic_s
e
t_o
p
t_lp_val_al
i
gned
:
accept
NULL point
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_lo
c
al_space_get_active
:
accept
N
UL
L
po
i
n
t
e
r
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en
V
e
r
dool
a
ege
isl_basic_
s
e
t_o
p
t
:
acc
e
pt N
U
LL pointer
o
n
zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdoolaege
is
l
_flow
.
c
: compute_flo
w
: acce
p
t
N
ULL pointer on
z
ero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_flow
.
c: sche
d
_in
f
o_all
o
c
:
accept NULL pointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
doolae
g
e
is
l
_
f
l
o
w
_alloc: accept N
U
LL pointer
o
n ze
r
o-size a
l
location
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
isl_
c
oalesc
e
.
c: coalesce_subset:
accept
N
U
L
L pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
is
l
_coalesce
.
c: coalesce
_
local_pair: accept NULL p
o
inter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
o
olaege
bernstein_coeff
i
cients_full_
r
ecu
r
sive: ac
c
ept NU
L
L
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_band_d
u
p: accep
t
NULL pointer
on zero-size a
l
loca
t
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_ast_gra
f
t
.
c: in
s
ert_pending_guard_nodes: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
isl_ast_
e
x
p
r_alloc_op: accept NULL pointer
o
n zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en
Verdoo
l
a
e
g
e
isl_aff_align_
d
i
vs: accept NULL
p
ointer on zer
o
-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaeg
e
i
s
l_aff_add: acce
p
t NULL pointe
r
on zero-size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en
V
erdoolaege
isl_pw_m
u
lti_
a
ff_product: fix typo that broke handlin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Ver
d
ool
a
ege
is
l
_ast
_
codegen
.
c
: generate
_
c
o
m
ponen
t
: handle
n
o
n-obviously
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
V
erdoolaege
i
s
l_ast_expr
_
from_aff
:
cl
e
ar den
o
mina
t
or before cal
l
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-02
Sven Verdoolaege
i
s
l_
q
polynomi
a
l_val_on_domain: plug
memor
y
leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-01
Sven Verdoolaege
i
s
l_basic_map_app
l
y_range: a
v
oid inval
i
d
accesses on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sven
Verdool
a
ege
i
s
l 0
.
12
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sven Verd
o
olaege
do
c
:
fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdoolaeg
e
t
r
y and avoid dependin
g
on m
p
z_gcdext inter
n
als
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
S
ven Ver
d
o
o
lae
g
e
i
sl_pri
n
t
er_
p
ri
n
t_map:
m
a
ke printing order o
f
disj
u
ncts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoo
l
a
e
g
e
isl_constraint_priva
t
e
.
h: per
f
orm pr
o
per includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolaege
M
a
k
e
file
.
am: add isl_val_priv
a
te
.
h to
libisl
.
la sources
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven V
e
rdoolaege
d
o
c: explain t
h
at isl_ints will
b
e remov
e
d
in fu
t
u
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolaege
remove *_scale_ve
c
functio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven
V
erdoolae
g
e
isl_
b
and_til
e
: use isl_u
n
i
on_pw_multi_
a
f
f_s
c
ale_multi
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
ve
n
V
e
rdoolaege
add isl_union_pw_multi_aff_scale_m
u
lti_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven
Verdoolaege
a
dd isl_pw_mult
i
_aff_scale_multi_
v
al
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 Verdoolaege
mer
g
e
shared isl
_
multi_*_align_params declara
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-16
Sven Ve
r
dool
a
ege
add isl_val_int_from_chun
k
s and isl_v
a
l_get_abs_num_chunks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
S
v
en Ve
r
doolaege
Merge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2013-06-14
Sven Verdoo
l
a
ege
is
l
_{in,}equ
a
lity_from_aff
:
skip construction of i
s
l_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
S
ven Ve
r
doolaege
isl_map_g
i
st
_
basic
_
map: re
m
ove alignme
n
t of contex
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sven Verdo
o
laege
i
sl_multi_
*
_gis
t
: ad
d
m
issing isl_
m
ulti_*_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
S
ven Verdoo
l
ae
g
e
isl_local_space
_
subst
i
t
u
te_e
q
ualities: i
m
prove err
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
Sven Verdoola
e
ge
isl_loca
l
_s
p
ac
e
_substitute_equalities: av
o
id
w
r
iting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sv
e
n Verdoolaege
Merge br
a
nch
'
m
aint'
commit
|
commitdiff
|
tree
2013-06-10
Sven Verdoo
l
a
e
ge
isl_coalesce
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sv
e
n Verd
o
olaege
isl_output
.
c: print_qp
o
lynomi
a
l
_c: improve
e
rr
o
r handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-06
Sven Ve
r
doolaeg
e
isl
_
map_align_divs: fix
error
handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaege
isl_hmap_map_basic_set_set: avoid
m
emory
leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaege
isl_union_map_allo
c
: avoi
d
d
o
uble
f
ree o
n
erro
r
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaege
isl_vertices
.
c
: compute_cham
b
ers: avoid invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sv
e
n Verdoo
l
aege
isl_basic_map_gist: avoi
d
invalid
acc
e
ss on error
p
ath
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven V
e
rdoolaege
isl_b
a
s
i
c_map_
a
lign_divs: avoid inv
a
l
i
d
a
ccess on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Ver
d
oo
l
aege
isl_basic_map
_
con
t
a
i
n
s
: avoid inval
i
d a
c
cess on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaege
isl_basic_set_opt: avoid invalid access on er
r
o
r path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
S
ve
n
Verdoolaege
i
s
l_tab_pip
.
c: context_gbr_
s
ave: avoid invalid a
c
cess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaege
isl_tab_pip
.
c: use_s
h
ifte
d
:
avoi
d
inv
a
lid acces
s
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
S
ven Ver
d
oo
l
aege
isl_
a
s
t
_c
o
de
g
en
.
c:
g
e
nerate_component: avoid in
v
alid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verd
o
ol
a
ege
isl
_
stream_r
e
ad_map: handle "im
p
l
ies
"
token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-03
Sven V
e
rdool
a
ege
re
m
o
ve reference to piplib from
.
g
i
tmodules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
S
ven
Ver
d
oolaege
isl
_
input
.
c
:
acc
e
pt_
d
iv: accept
f
loor
/
c
e
il o
f
rati
o
nal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
S
v
en Verdoolaege
isl_inpu
t
.
c:
extract ou
t
common
i
s
_start
_
o
f
_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolaege
i
sl
_
pw_*
_
fix
_
val: also plug in value in
associat
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolaege
isl_pw_templ
.
c
:
e
x
tra
c
t out isl_pw_*_exploit_equalit
i
es_and_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Ve
r
doolaege
add test case for isl_pw_qpol
y
nomial_
i
ntersect_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-01
Sv
e
n Verdoolaege
isl_p
o
lynomial
.
c: fix
typo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
i
s
l_ast_
c
odegen
.
c: c
o
ntru
c
t_s
h
ifted_execute
d
:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
isl_ast
_
code
g
en
.
c: eliminate
_
non_fixed
:
use
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next