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 Verdool
a
ege
isl 0
.
1
2
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoola
e
g
e
doc
/
implementa
t
ion
.
t
ex:
u
pdate t
o
algorithm2e
.
sty ve
r
si
o
n
4
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
configure
.
a
c: link
in ll
v
m
o
p
tion com
p
onent in ext
r
a
c
t
_inter
f
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-21
Sven Ve
r
doolaege
i
s
l_ast_bui
l
d_a
s
t_from_schedule: improve handling o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-08
S
v
en Verdoolaege
isl_ast_build_compute_gist_pw_aff: handle
p
arametri
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rdoolae
g
e
isl_vertic
e
s
.
c: i
s
l_cell_alloc: accept NULL poi
n
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_vertice
s
.
c: compute_chamb
e
r
s
:
a
ccep
t
NULL pointe
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
s
l_v
e
rtices
.
c: add_ch
a
m
b
er: accept NULL poi
n
ter o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaeg
e
isl_basic_se
t
_compute_v
e
rtices: accept
N
ULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Ve
r
doolaege
isl_vertices
.
c: vert
i
ces_from_list
:
accept
N
U
L
L poin
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Ver
d
o
o
la
e
ge
isl_transit
i
v
e
_closure
.
c: uni
o
n_c
o
m
p
onent
s
:
a
void zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdool
a
ege
isl_tr
a
nsitive_closur
e
.
c: path_al
o
ng_del
t
a: acc
e
pt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n
Verd
o
o
l
aege
i
s
l_tarjan_graph_alloc: accept NUL
L
pointer on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oolaege
isl_tab_basi
c
_set_non_tr
i
v
ia
l
_lexmin: accept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdool
a
ege
isl_
t
a
b_pip
.
c
:
basic_ma
p
_
p
a
rtial_
l
exopt_symm: accept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
is
l
_tab_pip
.
c
:
tab_for_
l
e
x
m
in: accept
NULL p
o
int
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoo
l
aeg
e
i
sl_tab
.
c: restor
e
_basi
s
: accept NULL po
i
nter on
z
ero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
isl_t
a
b
_p
u
sh_basis
:
accept NULL po
i
nt
e
r
o
n
z
e
r
o-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdoolaege
isl_tab_prod
u
ct: accept NULL
poi
n
t
er on
zero-si
z
e alloca
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
doolaege
isl_tab_d
u
p: accept NUL
L
pointe
r
on zero-size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdo
o
laege
isl_tab_alloc: accept NULL pointer on zero-size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rd
o
olaege
isl_s
p
ace_reverse
:
acc
e
p
t
NULL
pointer on zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdool
a
ege
i
sl
_
sch
e
dule
.
c: construct_f
o
r
e
st: with_m
e
rged_d
i
vs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaege
isl_schedule
.
c: construct_band_l
i
st: wi
t
h_me
r
ged_
d
iv
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdool
a
ege
isl_schedule
.
c: construct_ban
d
:
w
ith_merged_divs: acc
e
p
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
laege
isl_sche
d
ule
.
c: extract_
n
ode: accept
N
ULL
poi
n
te
r
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven
Verdoolaege
isl_schedul
e
.
c: graph_alloc
:
acc
e
pt NULL pointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaeg
e
isl_q
p
olyn
o
mial_mor
p
h_domai
n
: acc
e
pt NULL pointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
doolaege
i
sl_qpolynomial_
m
ove_dims: av
o
id z
e
ro-siz
e
allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oolaege
is
l
_pol
y
nomial
.
c: with_me
r
ged_divs:
accept NUL
L
poin
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdool
a
ege
isl_ma
t
_
s
u
b_alloc6: accept
NULL pointer on ze
r
o
-
size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoo
l
aege
i
sl
_
mat_ex
t
e
n
d: accept N
U
LL p
o
inter on
z
ero-size
allocati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_mat_a
l
l
o
c: accept NU
L
L pointer on zero-size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rdoo
l
a
e
ge
isl_map_subtract
.
c: n_non_redun
d
ant: avoid zer
o
-s
i
ze
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verd
o
olaege
i
sl_ba
s
ic_map_drop_redun
d
ant
_
divs: avoid
z
ero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rd
o
olaege
isl_
b
asi
c
_ma
p
_sort_constrai
n
ts: avoid zero-size
a
llocati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaeg
e
isl_ma
p
.
c: ba
s
ic
_
map_init: a
c
c
e
pt NULL p
o
inter on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoo
l
a
ege
i
s
l_basic_set_opt_lp_val_aligned:
accept
NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
sl_local_s
p
ace_get_active: accept NULL po
i
nter on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaege
isl_
b
asic_se
t
_opt: acce
p
t
N
ULL point
e
r on ze
r
o-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_f
l
ow
.
c: co
m
pute_flow: accept NULL poi
n
t
e
r on zer
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en
V
er
d
oola
e
ge
isl_flo
w
.
c: sche
d
_inf
o
_alloc: accept NULL poin
t
er on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
i
sl_flow_alloc
:
accept NU
L
L
po
i
nter on zero-size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_coal
e
s
c
e
.
c: c
o
alesce_subs
e
t
:
a
ccept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
olaege
i
s
l_coales
c
e
.
c: coales
c
e_loca
l
_
p
a
ir: a
c
cept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
dool
a
ege
bernst
e
in_coeffic
i
ents_full_
r
e
c
ursive: accep
t
NULL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdo
o
laege
isl
_
b
and_dup: ac
c
e
pt NU
L
L pointer on
z
e
r
o-size a
l
loca
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdool
a
eg
e
i
sl_ast_graft
.
c:
insert_pen
d
ing_g
u
ard_nod
e
s
: av
o
id
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
e
rdoolaege
isl_
a
s
t_expr_alloc_op: accep
t
NULL
point
e
r o
n
zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
doolaege
is
l
_aff_a
l
i
g
n_di
v
s
:
accept NULL pointer on zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven V
e
rdoola
e
ge
isl_aff_add:
accept
NUL
L
pointer on
z
e
ro-size a
l
location
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven
Ver
d
oolae
g
e
isl_pw_m
u
l
ti_aff_prod
u
ct:
fix typo tha
t
b
r
oke handli
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_a
s
t_cod
e
gen
.
c: generate_co
m
p
onent
:
handle
non-obvi
o
u
s
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
isl
_
ast_expr_from
_
aff: clear denomi
n
ator
b
efore cal
l
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-02
Sven Verdool
a
e
ge
isl
_
qpolyno
m
ial_
v
al_on_domai
n
: plug
m
em
o
ry
l
eak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-01
S
ven
V
erdoolaege
isl_
b
a
sic
_
map_apply_ran
g
e: avoid inva
l
id
accesse
s
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sv
e
n Verdoolaege
i
s
l
0
.
12
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sven Ver
d
o
olaege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdoolaege
t
r
y an
d
avoid
depending on mpz_gcdext
inte
r
nals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven
Ver
d
oolaege
isl_prin
t
er_pri
n
t_map: make printi
n
g
order of disjuncts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sve
n
Verdoolaege
i
s
l
_
cons
t
raint_private
.
h: perform
p
roper i
n
cludes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sve
n
V
erdoolaege
Make
f
ile
.
am: add
i
sl_val_p
r
ivate
.
h to
libisl
.
la sources
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
v
en
Verdoolaege
doc: expl
a
in tha
t
isl_ints will
b
e
rem
o
ved in future
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven
V
e
rdool
a
ege
remove *
_
s
cale_vec functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
v
en Verdoolaege
isl_band_tile: use isl_union_pw_multi_aff_s
c
ale_mul
t
i_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sve
n
Verdoolaege
ad
d
isl
_
unio
n
_pw_mult
i
_
a
ff_scale_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sv
e
n
Verd
o
olae
g
e
a
d
d
i
sl_
p
w_m
u
lti
_
aff_s
c
ale_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sve
n
Verdoolae
g
e
add i
s
l_mult
i
_*_
s
ca
l
e_multi_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolaege
merge shared isl_multi_*_align_params de
c
l
a
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-16
Sven Verd
o
olaege
add isl
_
v
al
_
int_from_c
h
unks and
isl_val_get_abs
_
n
u
m_ch
u
nk
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sven Verdo
o
laege
Merg
e
br
a
nch 'maint'
commit
|
commitdiff
|
tree
2013-06-14
S
v
en Verdoo
l
aege
isl
_
{
i
n,
}
equality
_
fro
m
_af
f
: skip constructio
n
of isl_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sven V
e
r
doola
e
ge
isl_map
_
gist_basic_ma
p
: remove alig
n
ment o
f
co
n
te
x
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sven Verdoolaege
isl_
m
ulti_
*
_gist: a
d
d
m
is
s
i
ng
i
sl_multi_*_c
o
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
Sven
Ver
d
oolae
g
e
isl_local_space_substitute_equ
a
lities
:
i
m
prove err
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
S
ven
Verdoolaege
isl_local_space
_
subs
t
it
u
te_equalit
i
es: a
v
oid writing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sven Verdoola
e
ge
Merge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2013-06-10
Sven Ver
d
ool
a
eg
e
is
l
_coalesce
.
c:
fix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sv
e
n Ver
d
o
o
laege
is
l
_ou
t
p
ut
.
c: print_qpolynomial_c: improve erro
r
handli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-06
Sven
Ver
d
o
o
laege
isl
_
map_align_di
v
s:
fix error ha
n
dling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoo
l
aege
isl_hma
p
_map_basic_set_set: avoid memo
r
y
l
eak on
e
rror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaege
isl_union_map_alloc:
a
vo
i
d double free
o
n error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sv
e
n
V
erdo
o
laege
isl_verti
c
es
.
c: compute_cham
b
ers: avo
i
d invalid acce
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Ver
d
oolaeg
e
isl_ba
s
i
c
_m
a
p
_
gis
t
: avoid invalid
a
ccess on er
r
or pat
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdo
o
l
ae
g
e
isl_basic_map_align_divs: avoid inv
a
l
i
d access on er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sve
n
Verdool
a
ege
isl_basic_map_c
o
ntains: avoid
invalid a
c
cess on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven
V
erdoola
e
ge
isl_b
a
s
i
c
_
set_
o
pt: avoid invalid access on
e
rror path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven
Verdoolaege
isl_ta
b
_pip
.
c:
context_gbr_save: avoid invalid ac
c
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sv
e
n V
e
r
d
oo
l
aege
i
s
l_tab_pi
p
.
c: use_shifted: avoid invalid acce
s
s
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaege
i
s
l
_
ast_co
d
egen
.
c: generate_compo
n
ent: avoid invalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Ve
r
dool
a
ege
isl_str
e
am_re
a
d_map
:
handle
"im
p
lies" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-03
Sven Verdoolae
g
e
remove reference to piplib
fro
m
.
gitmodules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven V
e
r
d
oolaege
isl_inp
u
t
.
c
: a
c
cept_div: accept f
l
oor/
c
eil of r
a
tional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolaege
isl_in
p
ut
.
c
: extract out comm
o
n
i
s_s
t
art_o
f
_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolae
g
e
i
sl_pw_*_f
i
x_val: also plug
in value in
associated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolaege
isl_pw_
t
empl
.
c: extract ou
t
isl_pw_*_exploit_eq
u
alities_and_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdool
a
ege
add test c
a
se for isl_pw
_
q
polynomial
_
inter
s
e
ct_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-01
S
v
e
n
V
erdo
o
l
a
e
ge
is
l
_polynomial
.
c: fix
ty
p
o in c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
V
erdoolaeg
e
is
l
_ast_codegen
.
c: contruct_shifted_e
x
e
cuted: use isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
dool
a
ege
isl_ast_cod
e
g
e
n
.
c
: e
l
iminate_no
n
_fix
e
d: u
s
e
i
sl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next