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
doc: move memory management section before values section
2013-07-05
Sven Verdoolaege
isl_transit
i
ve_closure
.
c: union_compo
n
ents: avoid zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
is
l
_t
r
ansitiv
e
_closure
.
c:
p
ath_along_
d
elta: accept
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Ver
d
oolaege
isl_tarjan_g
r
aph_alloc: ac
c
e
pt
N
UL
L
pointer on zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
isl_tab_
b
asic_set_
n
on_trivial_le
x
min: a
c
ce
p
t NULL pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoo
l
aege
isl_t
a
b_pip
.
c
:
b
a
s
i
c
_
map_partia
l
_lexopt_s
y
mm: a
c
c
e
pt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_tab_p
i
p
.
c: tab_for_lexmin: accept NULL po
i
n
t
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verd
o
olaege
isl
_
tab
.
c
: rest
o
re_ba
s
is: accept NU
L
L pointer on zer
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdoo
l
aege
i
sl
_
t
a
b
_push
_
basis: accept NULL
pointer on zero
-
s
ize
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoola
e
ge
isl_tab_prod
u
ct:
accept NULL po
i
nter on zer
o
-size a
l
locatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oolae
g
e
isl_tab
_
dup: accept NU
L
L pointer on zero-size allocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n
Verdoolaege
i
s
l
_
tab_alloc: acc
e
pt NULL pointer
o
n zero
-
size all
o
catio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
laege
i
s
l_space_
r
everse: a
c
c
ept NULL pointer on zero-size
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdoolaege
is
l
_schedule
.
c: c
o
nstruct
_
forest: with_m
e
rged_d
i
vs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoo
l
a
e
ge
is
l
_schedule
.
c
:
construct_ban
d
_list: with_merged
_
divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaege
isl
_
schedule
.
c: construct_band: with_
m
erged
_
divs:
accept
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
ool
a
ege
isl_
s
chedule
.
c:
e
x
t
ra
c
t_node: ac
c
ept NULL pointe
r
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdoolaege
isl_schedule
.
c: graph_alloc: accept NULL poi
n
ter on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaege
i
s
l
_qpolyn
o
mial_morph_do
m
ain: accept NULL
p
oi
n
t
e
r on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
o
o
l
aege
isl
_
qpolynomial_mo
v
e_
d
ims: avoid zero-siz
e
allocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
doolaege
isl
_
polynomial
.
c: with_merged_divs: accept NULL p
o
i
n
ter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
r
d
oolae
g
e
isl_mat_sub_alloc6: acc
e
pt NULL
p
o
inter
o
n
ze
r
o-size
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoo
l
aege
isl
_
mat_extend: accept NULL point
e
r on zero
-
siz
e
allocat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_mat_alloc: accept NULL pointer
o
n
zero-size allocatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_map_subtract
.
c
: n_non_redundant:
a
v
o
id zero-size
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
doolaege
isl_bas
i
c_map_drop_redunda
n
t_di
v
s
:
avo
i
d zero-s
i
z
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
is
l
_
bas
i
c_map_sort
_
constr
a
int
s
:
a
v
oid zero-size allocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n
Verdoolaege
isl_map
.
c: basic_ma
p
_init: a
c
cept NUL
L
p
o
inter on
zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
la
e
ge
isl_basic_
s
et_o
p
t
_l
p
_val_alig
n
ed:
accept NULL poi
n
ter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdoolaege
isl
_
loc
a
l_s
p
a
c
e_g
e
t_active: a
c
cept NULL pointe
r
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdoola
e
ge
isl_basi
c
_s
e
t_opt:
accept NUL
L
poi
n
ter
o
n ze
r
o-size
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
isl_flow
.
c: compu
t
e_flow: accept NUL
L
pointe
r
on zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaege
isl_
f
l
o
w
.
c:
sched_info_alloc: acc
e
p
t NULL pointer on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erd
o
olaege
i
s
l_flo
w
_alloc: accept NU
L
L po
i
nter on zero-si
z
e allocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
d
o
olaege
isl_coalesce
.
c:
c
oalesce_subse
t
: accep
t
N
U
LL
pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rdoolaege
isl_coales
c
e
.
c: co
a
l
e
sce_local_pair: acc
e
pt
N
ULL po
i
nter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
bernstein_c
o
efficients_full_recursive: accept NULL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_ban
d
_dup: accept N
U
LL poi
n
t
er on zer
o
-size alloc
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n
V
erdoolaege
i
s
l_ast_graft
.
c: insert_pen
d
ing
_
gu
a
rd_nodes:
a
void
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Ver
d
oolaege
isl_ast_expr_allo
c
_op
:
accept NULL point
e
r o
n
zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
laeg
e
isl_aff_align_di
v
s: ac
c
ept NULL pointer on zero-size
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoo
l
a
ege
i
sl_
a
ff_add: accept NULL pointer on zero-size
alloca
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
is
l
_pw_multi_aff_product:
f
ix typo that broke handling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaege
isl_
a
st_codegen
.
c: g
e
nerate_componen
t
: handle
non
-
obviously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verdoolaege
isl_ast
_
expr_fr
o
m_aff: clea
r
d
e
n
ominator be
f
or
e
call
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-02
Sven Verdool
a
ege
isl_
q
polynom
i
al_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 Ve
r
doolaeg
e
isl_basic_map_appl
y
_rang
e
: a
v
oid invalid accesses on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
S
ven Verdoolaege
remove possible use of piplib
completel
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
Sven V
e
rdoolaege
isl_
*
_eval
:
retur
n
an isl_val instead of an isl_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
S
v
en
Verdoola
e
ge
de
p
recate isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
Sven Ve
r
dool
a
e
g
e
h
i
de
isl_token inte
r
nals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
Sven Verdoolaege
hide undocumented *_solve_lp funct
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
Sve
n
Ve
r
do
o
l
a
eg
e
hide i
s
l
_bl
o
ck
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
Sv
e
n Verdoolaege
hide isl_vec in
t
ernals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
Sven Verdoolaege
poly
h
edron_sample
.
c:
a
void use of isl_vec
i
nterna
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
Sven Ve
r
doolae
g
e
hide isl
_
seq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
Sve
n
V
erdoolaege
drop i
s
l_in
t
_
obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
Sve
n
Verdoo
l
aege
isl_stream_
r
ead_obj: return
i
sl_
o
bj_va
l
instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
S
ven Verdoolaege
sc
h
eduler: also (optionally) bound coefficient
s
c
omputed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
Sven Verdoolaege
isl_sch
e
dule
.
c: se
t
u
p
_
l
p: e
x
trac
t
out count_bound_coefficien
.
.
.
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
S
ve
n
Ver
d
oolaeg
e
doc:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sve
n
V
e
rdoolaege
try a
n
d
avoid d
e
pendi
n
g on
mpz_gcdex
t
inter
n
als
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdo
o
laege
i
sl_
p
rinter_
p
rint_map
:
make printing order of disjun
c
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven Ver
d
ool
a
ege
isl_constr
a
int_p
r
ivate
.
h: perfo
r
m proper includes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolae
g
e
Makefile
.
am: add isl_val_p
r
iv
a
te
.
h to l
i
bisl
.
l
a s
o
urces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven
Verdoolaege
doc: explain that isl_ints wi
l
l be removed in fut
u
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven
V
erdoolae
g
e
r
e
move
*
_scale_vec
f
u
n
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolaeg
e
isl_band_t
i
l
e: u
s
e isl_un
i
on_pw_multi_aff_s
c
a
l
e_mu
l
ti_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven
Verdoolaege
add isl_union_pw_
m
ulti_aff_sc
a
le_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolaege
add isl_
p
w_multi_aff
_
s
cal
e
_m
u
lti_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
S
v
en Ver
d
o
o
laege
add
i
s
l
_
multi_*_s
c
ale_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
S
ven Verdoo
l
a
e
g
e
merge shared isl_multi_*_align_p
a
rams decl
a
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-16
Sven Verd
o
olaege
add is
l
_val_i
n
t_from_chunk
s
a
nd
i
sl
_
val_get_ab
s
_num_
c
hunks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-14
S
v
en Ver
d
oolae
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2013-06-14
Sven Verdoo
l
a
ege
isl_{in,}equalit
y
_from_a
f
f: skip co
n
struc
t
ion of
i
s
l_
b
asi
c
_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-14
S
v
en V
e
rdo
o
l
aege
i
sl_ma
p
_gist_
b
as
i
c_map: remove alig
n
ment
of c
o
n
t
e
xt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-14
Sven Verd
o
olaeg
e
isl
_
mul
t
i_*_gis
t
: add missing i
s
l_m
u
lti_*
_
cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-11
S
v
e
n
Verdoo
l
aege
isl
_
l
o
cal_space_substitute_eq
u
al
i
ti
e
s
:
improve e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-11
S
v
en Verdoolaege
isl_l
o
cal_space_substitute_equalities:
avoid writing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-10
Sven Verdool
a
e
ge
Merge branch
'mai
n
t
'
commit
|
commitdiff
|
tree
2013-06-10
S
v
en Ver
d
oo
l
ae
g
e
isl_coa
l
esce
.
c: fix
typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-10
Sven
V
e
r
d
o
olaege
is
l
_output
.
c: print_qpolyn
o
mial_c: improv
e
error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-06
Sven
Verdoolaege
isl_map_align_
d
ivs: fix e
r
ror handlin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaege
isl_hm
a
p
_ma
p
_basic_se
t
_set: avoid memory le
a
k on
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
S
ven Verdoolaege
isl_
u
nion_m
a
p_
a
llo
c
:
av
o
id double free
o
n
error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
S
v
en Ve
r
doo
l
aege
isl_vertices
.
c: comput
e
_chambers: a
v
oi
d
i
nvalid acce
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven
V
erdoolaege
isl_basic_map_gist: avoid invalid access o
n
e
rror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
S
v
en
Verdo
o
l
a
ege
i
s
l_ba
s
ic_map_align
_
div
s
:
avoid
invalid a
c
ce
s
s
o
n er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven
Verdoolae
g
e
isl_basi
c
_m
a
p
_contains:
avoid invalid access on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verd
o
o
laege
is
l
_basic_set_opt:
a
voi
d
inva
l
id access on
e
rror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-04
Sven
V
erdool
a
ege
isl_tab_p
i
p
.
c: c
o
n
text_g
b
r_save: a
v
oid invalid acces
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaege
isl_tab
_
pip
.
c
:
us
e
_shifted: avoid i
n
v
a
lid access on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-04
S
ven Verdoolaege
i
s
l
_
a
st_codegen
.
c:
generat
e
_com
p
o
nent: avoid inval
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaege
isl_stream_re
a
d
_map: ha
n
d
le "implies
"
token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-03
Sven Verdoolaege
remove refer
e
nce to piplib fr
o
m
.
git
m
odules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdool
a
e
ge
is
l
_in
p
ut
.
c: ac
c
ept_d
i
v:
a
cc
e
p
t f
l
oor/ceil of ratio
n
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
S
v
en Verdoo
l
a
e
ge
isl_input
.
c: extra
c
t out common i
s
_start_of_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
i
n
a
s
sociated
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
S
ven Verdo
o
laege
i
sl_pw_templ
.
c: extrac
t
out is
l
_pw_
*
_
e
xplo
i
t_equalities
_
an
d
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolaege
add test
cas
e
f
or
i
sl_pw_qp
o
lynomial_int
e
r
sect_
d
o
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next