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
Sven
Verdoola
e
ge
i
sl 0
.
12
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
doc/i
m
plementation
.
t
e
x: update to al
g
or
i
thm2e
.
sty version 4
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
co
n
figure
.
a
c: link i
n
ll
v
m
o
ption component in ex
t
ract_interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-21
Sven V
e
rdoolaege
i
sl_ast_build_as
t
_from_sc
h
edule: improve handli
n
g of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-08
Sven Verdoolaege
isl_ast_bu
i
ld_c
o
mpute_gist_pw_aff: han
d
le param
e
t
r
ic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdoolaege
isl_vertices
.
c: isl_
c
ell_alloc: acce
p
t N
U
LL pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_
v
ertic
e
s
.
c: c
o
mput
e
_chamber
s
: accept NUL
L
pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en
Verd
o
olaege
isl_vertices
.
c: add_
c
h
a
mber: accept NU
L
L pointer on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oola
e
ge
isl_b
a
sic_set_comp
u
te_
v
ertices: accept N
U
LL
pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
i
sl_v
e
r
tices
.
c: vertices_from_list: accept
N
ULL po
i
nter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
e
rdoolaege
isl
_
transitive
_
c
l
osu
r
e
.
c:
u
ni
o
n_compone
n
t
s: avoid zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
o
o
la
e
ge
isl_transit
i
ve_closure
.
c:
p
ath_along_delta: ac
c
ept
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
v
e
n Verdoo
l
aege
isl_tarjan_graph_all
o
c: accept NUL
L
pointer
on zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rd
o
olaege
isl_tab
_
b
a
si
c
_set_non
_
tr
i
vial_lexmin: accept
NULL poin
t
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
laege
isl_tab_pip
.
c:
basic
_
map_p
a
rtial_lexopt_symm: a
c
cept
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
sl_tab_pip
.
c: t
a
b_for_lexmin:
accept NULL pointe
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
isl_tab
.
c: restore_basis: accept NULL pointer on zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en V
e
rdoo
l
a
e
g
e
isl_tab_push_basis: accep
t
N
U
L
L
point
e
r on z
e
ro
-
size
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
isl_tab_product: accept NULL pointer on z
e
ro-s
i
ze allo
c
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rdo
o
laege
isl
_
tab_dup
:
accept
NULL poi
n
ter on zero-size all
o
cation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
V
e
rdoolaeg
e
isl_tab_alloc: a
c
c
ept NULL p
o
i
n
ter on zero-
s
ize allocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
ve
n
Verdoolaege
i
s
l_space_reverse: ac
c
ept NULL
p
ointer
o
n zero-
s
ize
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
isl_schedu
l
e
.
c:
c
ons
t
ruct_forest: with_merged_div
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
l
aege
isl_schedule
.
c: construct_ban
d
_list: with_m
e
rged_div
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
olaege
isl_schedule
.
c: construct_band: with_merged_d
i
vs:
accept
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
V
e
rdoolaege
isl_sch
e
dul
e
.
c: extract_node: accept NULL pointer on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdool
a
e
ge
is
l
_schedule
.
c
:
graph_alloc: accept NUL
L
pointe
r
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
d
o
olaege
isl_
q
pol
y
nomial_mor
p
h_
d
omain: accept NUL
L
p
oin
t
e
r on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
v
e
n
V
e
rdoolaege
isl
_
qpolynomial_mo
v
e_dims:
avoid zero-size
a
l
locatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
isl_polyn
o
m
i
al
.
c
: with_me
r
ged_divs:
a
ccept
NU
L
L
p
o
inter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
V
e
rdoolaege
isl_
m
at_su
b
_alloc6: accept NULL point
e
r
on
z
ero-
s
ize
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoo
l
aege
is
l
_m
a
t_ext
e
nd
:
accept NULL pointe
r
o
n zero-size allo
c
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdool
a
ege
isl_mat_alloc: accept NULL
pointer on zero-size all
o
ca
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
isl_map_su
b
tract
.
c
:
n_n
o
n_redun
d
ant: av
o
id
z
ero
-
size
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaeg
e
isl_basic_map_dro
p
_redundant_divs
:
avoid zero-size
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoola
e
ge
isl_basic_map_sort_constraints
:
avoid zero-si
z
e all
o
ca
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_m
a
p
.
c: basic_m
a
p
_
init: accept NUL
L
pointer on z
e
ro
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdoola
e
ge
i
s
l_basic_set_opt_l
p
_val_ali
g
ned: ac
c
ept NULL pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_local_
s
p
ace_g
e
t_active:
accept NUL
L
pointer
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_basic_s
e
t_opt: accept NULL pointer on
z
ero-size
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
sl
_
flow
.
c
:
c
o
mpute_
f
low: acce
p
t NU
L
L pointer on zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaege
isl_flow
.
c: sched_inf
o
_
alloc: accept NULL
pointer on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaege
i
sl_
f
l
o
w_alloc: accept NULL
p
o
i
n
ter on
zero-
s
ize allocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdo
o
l
aege
i
sl
_
co
a
lesce
.
c: coalesc
e
_
s
u
bset: acce
p
t NULL
p
o
i
n
t
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
d
o
o
laege
i
s
l
_coalesce
.
c: coalesce_loc
a
l_pair: a
c
cept NULL
poi
n
ter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rdoolae
g
e
bernstein_coefficients_fu
l
l_recursive
:
a
c
cept N
U
LL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
v
e
n
Verdoolaege
i
s
l_b
a
nd_dup: acce
p
t
N
ULL
p
oi
n
ter o
n
zero-size allocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
er
d
oolaege
isl_ast_
g
raft
.
c:
i
nsert_pe
n
ding_guard_nodes: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en
V
erdoolaege
isl_
a
st_
e
xpr
_
all
o
c_op: acce
p
t NU
L
L
p
ointer on
z
ero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
i
s
l
_
aff_align_divs
:
accept NUL
L
pointer o
n
zero-size
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaeg
e
isl_aff_add: accept NULL pointer on zero-s
i
ze
al
l
ocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_pw_multi_aff_product: fix typo
that broke han
d
ling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
laege
isl_ast_codegen
.
c: generate_component: handle non
-
obviously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
isl_ast_expr_from
_
aff: clear
denominator before ca
l
li
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-02
Sven Ver
d
oolaege
isl_qpolynomial_val_
o
n_domain
:
p
l
ug
m
e
mory l
e
ak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-01
Sven Verdoolae
g
e
is
l
_basic_map_apply_range: avoid in
v
alid accesses on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
Sven Verdoolaege
isl 0
.
1
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
Sven Verd
o
o
laege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sve
n
Verdoolaege
try
and avoid dependi
n
g
on
mpz_gcdext
i
nternals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sve
n
Verdoolaege
isl_printer_print_map: make
p
r
i
n
ting
o
rder
o
f
d
i
sjuncts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
S
v
en Ve
r
doolaege
isl_cons
t
raint_
p
rivate
.
h:
p
e
r
form proper
i
ncludes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven
V
e
rdoolaege
Makefi
l
e
.
am:
a
dd i
s
l_
v
a
l
_private
.
h
t
o libisl
.
la sources
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolaege
d
oc: explain th
a
t i
s
l_ints will be
removed in future
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven V
e
rd
o
olaege
remo
v
e *_
s
cale_ve
c
functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolaege
isl_b
a
nd_t
i
le:
use isl_unio
n
_pw
_
mult
i
_aff_sca
l
e_mu
l
ti_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
S
ven Verd
o
olaege
add isl_
u
nion_p
w
_multi
_
aff_s
c
ale_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolaege
add isl_pw_multi_aff_scale
_
mul
t
i_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven Ver
d
o
ol
a
eg
e
add isl_multi_*_scale_mult
i
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolaege
m
er
g
e shared isl
_
multi_*
_
a
lign_params declaration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-16
Sven Ve
r
doolaeg
e
ad
d
isl_val_int_f
r
om_chunks and isl_val_get_abs_nu
m
_chun
k
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-14
Sv
e
n Verdoolaege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2013-06-14
Sv
e
n Verdoolaege
isl_{in,}e
q
uality
_
fr
o
m_aff: skip construction
of is
l
_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-14
Sven Ver
d
oolaege
isl_map_
g
i
s
t_ba
s
ic_map:
remov
e
alig
n
ment of c
o
ntext
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-14
S
ve
n
Verdoolaege
i
sl_multi_*_gist
:
a
d
d m
i
ssing isl_multi_*
_
c
o
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-11
Sv
e
n Ve
r
doolaege
i
s
l
_
local_space_substitute_e
q
ual
i
ties: improve erro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-11
S
v
en Ver
d
ool
a
ege
isl_local
_
sp
a
ce_su
b
stitute_equali
t
ies: avoid writ
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-10
Sven Verdoolaege
Merge br
a
nch
'
main
t
'
commit
|
commitdiff
|
tree
2013-06-10
Sven Ve
r
doolaeg
e
isl
_
c
oal
e
s
ce
.
c
: fix typo in c
o
mm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-10
Sve
n
Ve
r
doolaege
isl
_
o
u
t
put
.
c: pr
i
nt_qpol
y
n
o
m
ial_c:
i
mprove error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-06
S
v
en
Verdoolaege
i
s
l_ma
p
_a
l
i
g
n_di
v
s:
f
ix error han
d
ling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven
V
erdoolaege
isl_h
m
ap_map_basi
c
_set_set: avo
i
d
memory leak on
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
S
ven Verdo
o
laege
isl_un
i
on_map_alloc:
avoid do
u
b
l
e free o
n
e
r
ror pat
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sv
e
n Verdoolaege
isl_vertices
.
c: compute_chambers: avoid
i
n
valid acc
e
ss
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaege
is
l
_
bas
i
c
_map_gist: avoid inva
l
id
access o
n
error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaege
isl_ba
s
ic_ma
p
_
align_divs
:
avoid invalid acc
e
ss on e
r
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaege
isl_bas
i
c_map_con
t
ains: avoid invalid access on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
S
v
en Verdoola
e
ge
isl_bas
i
c_
s
et_
o
pt: avoid in
v
a
lid acce
s
s on er
r
or
path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-04
S
ven Verd
o
olaege
isl_tab_pip
.
c: contex
t
_gbr_sa
v
e:
a
v
oid invalid
a
c
c
e
ss
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaege
isl_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 Verdoolaege
isl_ast_codegen
.
c: generate_
c
om
p
onent
:
avoid i
n
v
a
lid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-04
Sven
V
e
r
doolaege
isl_stream_read_map: ha
n
dle "implies" to
k
e
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-03
Sve
n
Verdoo
l
aege
remove
refere
n
ce to piplib
fr
o
m
.
gitmodules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdool
a
ege
isl_input
.
c: accept_div: accept flo
o
r/ceil
of rat
i
o
na
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
S
v
e
n Verdoolaege
isl_input
.
c: e
x
tract out common is_start_of_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoola
e
ge
is
l
_pw
_
*_fix_val: also plug in value
i
n
ass
o
ciat
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolaege
is
l
_pw
_
temp
l
.
c: extract
o
ut is
l
_p
w
_*_exp
l
oit_equalitie
s
_and_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sven Ve
r
d
o
olaege
add
t
est case
f
or isl_pw_qpolynomi
a
l_in
t
e
rsect_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-01
Sven
V
erdoolaeg
e
isl_polynomial
.
c: fix typo in
c
omm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl_ast_codege
n
.
c: c
o
ntruct_shifted_executed:
use
i
s
l_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
rdoola
e
ge
isl_as
t
_codegen
.
c:
eli
m
i
nate_non
_
fixed: use
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next