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_union_map_params: plug memory leak in case of empty input
2013-07-30
Sven Verdool
a
ege
isl_
u
nion_
m
a
p
_
p
arams: plug memory
leak in case of empt
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl 0
.
1
2
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erd
o
olaege
doc/im
p
lementation
.
tex: update t
o
algorithm2
e
.
sty
v
ers
i
on 4
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
c
o
n
f
igu
r
e
.
ac:
l
in
k
in llvm option compone
n
t
in ext
r
act
_
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-21
S
v
en
V
erdoolaege
isl
_
ast_build_ast_
f
rom_s
c
he
d
ule: improve handling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-08
Sven
V
erdool
a
e
ge
isl_ast_build_co
m
pu
t
e
_gist_pw_
a
ff: h
a
ndle para
m
etric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoo
l
a
ege
i
sl
_
vert
i
c
es
.
c: isl_cell_al
l
oc
:
a
ccept NULL
pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl
_
v
ertices
.
c:
compute_chambers: acce
p
t
NULL po
i
nter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoola
e
ge
isl_ve
r
tices
.
c:
a
d
d
_chamber: accept NULL
pointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
s
l_basic_set_compute_
v
ertices: accept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
laege
isl_vertices
.
c: ve
r
tices
_
f
r
om_list: accept NULL point
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en
Verdoolaege
isl_tr
a
nsi
t
i
v
e_closure
.
c: union_co
m
ponents: avoid
zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdool
a
ege
isl_transitive_closure
.
c: path_along_de
l
ta: accept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
e
r
doolaege
isl_tarja
n
_gra
p
h_alloc:
a
ccept N
U
LL p
o
inter on
z
ero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oolaege
isl_tab_ba
s
ic_se
t
_no
n
_tri
v
ial_lexmin: accep
t
NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolae
g
e
i
sl
_
tab_pip
.
c
:
basic_m
a
p_partial
_
lexopt_s
y
mm: accept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
i
s
l
_
tab
_
pip
.
c
:
tab_for_
l
e
x
m
in: acc
e
p
t NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
doolaeg
e
isl
_
ta
b
.
c: restore_
b
asis: accept NULL pointer on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaeg
e
isl_tab_push_basi
s
:
a
c
c
e
pt NULL p
o
i
nter
o
n ze
r
o
-
size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
doolaege
i
s
l_tab_product: a
c
cept NU
L
L pointer on ze
r
o
-
size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoola
e
ge
i
s
l_tab_dup
:
accept
N
ULL
p
oin
t
er on
ze
r
o-size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdool
a
ege
i
sl_tab_alloc
:
accept NULL
p
o
inter on ze
r
o
-
size
allo
c
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en V
e
r
doolaege
isl_spa
c
e_rev
e
rse: accept
NULL pointer on
zero
-
s
i
ze
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
isl_schedule
.
c: construct
_
for
e
st: with_mer
g
ed_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oolaege
isl_sche
d
ule
.
c: construct_band_li
s
t
: with_merged_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Ver
d
o
olaege
isl_schedule
.
c:
constr
u
c
t
_band: with_merged
_
divs: accept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
isl_s
c
h
edule
.
c: extract_node: ac
c
ept
NULL pointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoo
l
aeg
e
isl_schedule
.
c: gr
a
ph_alloc: ac
c
ept NULL po
i
nt
e
r
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_qpolynomi
a
l_morph_
d
omain:
a
c
c
e
pt NU
L
L p
o
inte
r
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_qpolynomial
_
move_
d
ims: avoid zero-si
z
e a
l
location
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
d
oolae
g
e
isl
_
polyn
o
mial
.
c: with_me
r
ged_divs: a
c
cept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_mat_sub_a
l
loc6: accept NULL p
o
in
t
er
o
n zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n
Ver
d
o
olaege
i
s
l_mat_extend: ac
c
e
pt NULL pointer on
z
ero-size
a
ll
o
catio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_mat_alloc: ac
c
ept NULL poin
t
er on zero-size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rdoolaege
isl_map_subtrac
t
.
c: n_non_redundant: av
o
id zero-si
z
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erd
o
olaege
isl_bas
i
c_map_drop_redun
d
ant_divs: avoid zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaege
isl_bas
i
c_
m
a
p_s
o
rt_constraints: a
v
o
id zer
o
-size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rdoolaeg
e
isl_map
.
c: b
a
si
c
_m
a
p_init:
accep
t
N
U
LL
pointer on
z
ero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
sl_basic_set_opt_l
p
_val_aligned: accept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
isl_
l
ocal_sp
a
c
e_get
_
a
ctive: accept NULL
p
o
i
n
t
er on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_basic_s
e
t_o
p
t
: accept N
U
LL poi
n
ter
o
n zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_
f
low
.
c: compute
_
flo
w
: acce
p
t NU
L
L pointe
r
on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verdoolaege
i
sl_flow
.
c
:
s
ched_info_
a
lloc: acce
p
t N
U
L
L
pointer
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaege
isl_flow
_
alloc:
a
cc
e
pt NULL
pointer
on ze
r
o-si
z
e
al
l
ocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_c
o
ales
c
e
.
c: coale
s
ce_subset
:
accept NULL
p
o
inte
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
e
n
V
erdoolaege
isl
_
coalesce
.
c:
c
o
a
lesce
_
loca
l
_pair
:
accept NULL
p
oin
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
bern
s
tein_coef
f
icients_f
u
ll_r
e
cursive: acce
p
t NULL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdoolaege
isl_band_
d
up:
a
c
cept NULL poin
t
e
r
on ze
r
o-si
z
e allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ve
n
V
e
r
d
oolaege
isl_ast_graft
.
c:
insert_pending
_
guar
d
_nodes: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_
a
s
t_expr_alloc_op: a
c
cep
t
NULL po
i
nter on
z
ero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
doolaege
i
sl_af
f
_align_divs: acce
p
t NULL pointer on zero-
s
ize
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
V
erdo
o
laege
i
s
l_aff_add
:
accept NULL poi
n
te
r
on
z
ero
-
size allocat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en
Verdoolaege
isl
_
pw_multi_af
f
_product:
f
ix t
y
p
o
that
b
roke handling
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_
a
st_co
d
ege
n
.
c: gen
e
rate_c
o
mponent: han
d
l
e non
-
obvious
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
d
o
olaege
isl_ast_expr_from_aff: cle
a
r denominato
r
before calling
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-02
S
v
en Verdoolaege
isl_qpoly
n
omia
l
_
val_
o
n_do
m
ain:
plug mem
o
ry leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-01
Sven Verdoola
e
ge
isl_ba
s
i
c
_map_apply_range: a
v
o
id invalid accesses
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sven V
e
r
d
oolaege
isl 0
.
12
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
S
v
en
V
e
rdoolaege
doc
:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdoola
e
ge
try and
a
void depending
on mpz_gcd
e
xt in
t
ernals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdoolaeg
e
isl_printer_pri
n
t_m
a
p: make prin
t
ing
order of disjuncts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven
Verdoolaege
isl_constraint_priv
a
te
.
h
:
perform pr
o
per inclu
d
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven V
e
rdool
a
ege
Makefile
.
am: add isl_v
a
l_pr
i
vate
.
h to
libisl
.
l
a sources
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
ven Verdool
a
ege
doc: explain that i
s
l_
i
n
t
s will be
r
e
mo
v
ed in fu
t
ure
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
ven Verdoolaege
remove
*
_
scale_vec functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
ven V
e
rd
o
ola
e
ge
isl_b
a
nd_t
i
l
e
: u
s
e isl_union_pw_multi_aff_s
c
ale_mult
i
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoola
e
ge
add isl_union_pw_
m
ul
t
i_aff_scale_m
u
lti_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven
V
erdoo
l
aeg
e
add isl_pw_multi_aff_scale
_
multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verd
o
olaege
add isl_multi_*_sc
a
le_multi_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sv
e
n Ve
r
d
oolaege
merge sha
r
ed i
s
l_multi
_
*_alig
n
_params decla
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-16
Sven Ver
d
oolaege
add
i
s
l
_val_
i
n
t
_from_chu
n
ks and
i
sl_val_get
_
abs_num_chunks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
S
v
en Verdoolaeg
e
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2013-06-14
Sven Verdoolaege
isl_{in,}equa
l
ity_from_aff: skip cons
t
r
uction of i
s
l_
b
asic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sven Verdoolaege
isl_map_gi
s
t_basic
_
map: remove a
l
ignment of
c
ontext
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
S
v
e
n Ver
d
oola
e
ge
isl_multi_*_gist: a
d
d
missing i
s
l
_
multi_
*
_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
S
ven
V
er
d
oolaege
isl_l
o
cal_space_substitute_e
q
ua
l
ities: improve error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
Sven
V
erdoolaege
isl
_
local_spa
c
e_
s
ubstit
u
te_equali
t
ies:
a
void wri
t
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
S
ven Ve
r
d
oolaege
Merge branch '
m
ain
t
'
commit
|
commitdiff
|
tree
2013-06-10
Sve
n
Ve
r
doo
l
aege
isl_co
a
lesce
.
c: fix typo in
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sven Verdoolaege
isl
_
outpu
t
.
c: print_qpo
l
yno
m
ial_c:
i
mprove error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-06
Sven Verdoolaege
isl_map_align_
d
ivs:
f
ix err
o
r
han
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sv
e
n Verdoolaege
isl_hmap_map_basic_set
_
set: avoi
d
memory leak
o
n
e
rror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
S
v
en
V
erdo
o
laege
isl_union
_
map_all
o
c: avoid double
free
o
n error p
a
th
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
S
ven Verd
o
o
laege
isl_vertic
e
s
.
c:
compute_chambers: avoid invali
d
acc
e
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoo
l
aege
isl_basic_
m
a
p
_gis
t
: a
v
o
id
inva
l
id acces
s
on
e
rror path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
S
ven Verdool
a
ege
isl
_
basic_map_align_divs: avoid
invalid acces
s
on e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
S
ven Verd
o
olaege
isl_basic_map
_
c
o
ntains: avoid invalid
a
ccess on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaege
isl_basic_set_
o
pt: avoid i
n
valid access on
error p
a
th
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verd
o
ola
e
g
e
isl_tab
_
pip
.
c: context_gbr_save
:
avoid inva
l
id access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
S
ven
Verdoola
e
ge
isl_tab_pip
.
c: use_shifted: avoid invalid access on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdool
a
ege
isl_
a
st
_
co
d
egen
.
c: gene
r
at
e
_component: a
v
oid in
v
al
i
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolae
g
e
isl_stream_read_map
:
hand
l
e "
i
mp
l
ies" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-03
Sv
e
n Verdoo
l
aege
rem
o
ve reference to piplib
from
.
gitmo
d
ules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdo
o
l
a
ege
isl_input
.
c: accept_div: a
c
cept floor
/
ceil of rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Ver
d
oo
l
a
e
ge
isl_i
n
put
.
c
: extra
c
t
o
ut com
m
on is
_
start_of_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven
V
erdoolaege
isl_pw_*_f
i
x_val:
also plug
in value in
a
ssociated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sv
e
n Verdoola
e
ge
isl
_
pw_templ
.
c: extract out isl_pw_*_exploit_equal
i
tie
s
_and_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolaege
add test ca
s
e for isl_pw_qpol
y
n
omia
l
_intersec
t
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-01
Sven Ve
r
doolaege
isl_p
o
lynomial
.
c: fix ty
p
o in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ver
d
o
olaege
i
sl_ast_c
o
degen
.
c:
co
n
truct_shifted
_
e
xecuted
:
us
e
isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next