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_stream_read_map: allow anonymous unconstrained dimensions
2012-12-15
Sv
e
n
Ver
d
o
o
l
a
ege
isl_stream_read_map: a
l
low anon
y
mous unc
o
n
s
t
r
a
i
n
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-07
Sven Ver
d
oolaege
is
l
_
map_inl
i
n
e_foreach_basic_map: drop b
a
s
i
c maps that
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-07
Sven Ve
r
doo
l
a
e
ge
isl
_
h
a
sh_dim: make result indepe
n
dent of endianness
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-07
Sven
Verdoolaege
isl_basic
_
map_move_d
i
ms: avoid
i
nva
l
id access on
error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-04
Sven Verdoolaege
isl_
b
asic
_
s
e
t
_e
x
pan
d
_divs:
avoid
i
nva
l
id access on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-04
Sven Ver
d
oolaege
a
dd LICENSE to the
dis
t
ribu
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
is
l
_
s
chedule
.
c: a
d
d
_inter_
c
onst
r
a
i
nt
s
: avoi
d
inval
i
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n
V
erdoo
l
aege
isl
_
sche
d
ule
.
c: add_intra_con
s
trai
n
ts: avoi
d
i
n
valid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ve
n
Verdoolae
g
e
isl_ta
b
_basic_set_non_neg_lexmin: ha
n
dle
NULL i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoola
e
g
e
i
sl 0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_sch
e
d
u
le
.
c: add_inter_validity_constrai
n
ts:
a
void
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
S
ve
n
Ve
r
dool
a
ege
i
s
l
_tab_ba
s
ic_set_non_trivial_lexmin: handl
e
NULL inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
S
ven Verdoolaege
isl_
t
ab
.
c: push_unio
n
:
h
andle NU
L
L input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
S
ven Verdoolaege
isl_m
a
t_
t
ranspose: han
d
le NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoola
e
g
e
isl_
b
asic_
m
ap
_
foreach_lexop
t
: avo
i
d inval
i
d access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_pw_*_on_shared_domain_in: avoid d
o
uble fr
e
e on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
S
v
en Verdoolaege
isl_outp
u
t
.
c: print
_
set_c: han
d
le NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoola
e
ge
isl_basi
c
_map_elimi
n
a
te_vars: avoid invalid a
c
c
e
ss
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_map_
s
implif
y
.
c: remove_dependent_
v
ars: handl
e
NULL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ver
d
oola
e
ge
isl_tab_pip
.
c: sol_
p
op:
a
void invalid access on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_b
a
sic_
m
ap_deltas: fix
e
rror ha
n
dl
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
V
e
rdool
a
ege
is
l
_
a
st_codegen
.
c: generate_sorted_domains: avoi
d
invali
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven
V
e
rdoolaege
isl
_
test
.
c
:
test_ast:
a
void invalid access
o
n error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ve
r
dool
a
ege
isl
_
para
m
e
t
e
r_
a
lignment_re
o
rdering: fix error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
S
ven Verdoolaege
isl_
b
asic_m
a
p_normalize
:
avoid in
v
alid access
o
n erro
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
S
v
e
n
Verd
o
o
l
aege
isl_map
.
c
: basic_set_ma
x
im
a
l_di
f
ference_at: fix
er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolae
g
e
isl_convex_h
u
ll
.
c: ma
p
_
s
i
m
ple_hu
l
l: a
v
oid invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
S
v
e
n Verdoolaege
isl_ast_
c
odeg
e
n
.
c:
c
o
mpute
_
d
o
mai
n
s:
avoi
d
i
n
valid
a
cces
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sv
e
n
Verdoolaege
isl_b
a
s
i
c_map_
i
s
_empty: avoi
d
inval
i
d acce
s
s on err
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoo
l
aege
isl_space
_
ex
t
end:
a
void in
v
alid access on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
S
v
en Verdoo
l
aege
isl_
m
ap_subtract
.
c: ba
s
ic_m
a
p_collect_diff: avoid invalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
S
v
en Ver
d
o
olaege
isl_
b
asic_
m
ap_o
v
erlying_s
e
t: avoid in
v
alid access o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verd
o
olaege
isl_map
.
c:
b
asic_map_space_res
e
t: handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
i
sl_
b
a
s
ic_set_swap
_
va
r
s: handle NUL
L
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_input
.
c:
construct_constraints: res
p
ect memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
Ve
r
d
oolaege
isl_as
t
_codeg
e
n
.
c: cr
e
ate_node:
a
void invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_
a
st_codegen
.
c
: for_i
n
c:
h
a
ndle NUL
L
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven V
e
rdoolaege
i
sl_p
w
_aff_set_rational: avoid
i
nvalid access on er
r
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaeg
e
isl_vec_dup:
avoid invalid
a
cc
e
s
ses on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_map
.
c: m
a
p
_
i
n
ters
e
ct_inter
n
al: properly plu
g
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
S
v
en Verdoolae
g
e
update
for
change in t
h
e constructor of
the clang Dr
i
ver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verd
o
olaege
isl_ve
r
tices
.
c: ver
t
i
c
es_from_list:
pl
u
g memo
r
y
leak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
S
ven Verdo
o
laege
isl
_
b
a
sic_set_com
p
u
t
e
_vertices: pl
u
g memory leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven
V
e
rdoolaege
i
s
l_te
s
t
.
c: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoo
l
a
e
ge
isl_tes
t
.
c: test_ou
t
put: avoi
d
inval
i
d access on er
r
or
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
i
s
l
_
test
.
c
: before_
f
or
:
r
e
turn ear
l
y
o
n erro
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaeg
e
i
s
l_test
.
c: test
_
sample:
r
e
turn
e
arly on
e
rror
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaeg
e
isl_tab
_
pip
.
c: find
_
i
n
_pos: plug mem
o
ry
l
ea
k
on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sv
e
n Verdo
o
laeg
e
is
l
_tab_
p
ip
.
c:
a
dd_pa
r
ametric_cut: plug memory lea
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
S
v
en Verdoolaege
isl_
t
ab_pip
.
c: sol_push_sol:
p
lug m
e
mory
l
eak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_space
_
du
p
: avoid inva
l
id
a
cc
e
sses on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaeg
e
isl_schedule
.
c: ad
d
_*_constraints: avoid i
n
valid
accesses
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
is
l
_reor
d
e
r
ing_extend_space: fix error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
i
sl_multi_*
_
realign_domain: plug memory leak
on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ve
r
doolaege
i
sl_ma
p
_subtract
.
c:
map_i
s
_subset:
f
i
x error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
S
v
e
n V
e
r
doolaege
isl_map
.
c: update_dim_opt
:
return early on
error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
S
v
en Verdool
a
ege
is
l
_
basic_map_underlyin
g
_
s
et: plug memory
l
e
ak on e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verd
o
olaege
i
s
l_map
.
c:
map_intersect_int
e
rnal: plug memory leak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolae
g
e
is
l
_
ast_build_init_derived:
check buil
d
->domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdoolaege
i
sl_i
n
put
.
c: read_af
f
_domain: remove spurious vars_fr
e
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
S
v
en
Ver
d
ool
a
e
g
e
isl_input
.
c: read_map_t
u
ple: ret
u
rn e
a
rly o
n
error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdool
a
eg
e
isl
_
input
.
c: a
c
cept_aff
i
n
e_lis
t
: pl
u
g memory
le
a
k on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdoolaeg
e
isl_affine_h
u
ll
.
c: equalities_in_underlying_set: plug
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sv
e
n V
e
rdoo
l
aege
isl_
t
a
b_detect_equalities: plug me
m
ory leak on er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdool
a
ege
isl_
a
st_cod
e
gen
.
c: after_each_fo
r
: add missing
r
eturn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdool
a
ege
reintroduce i
s
l_basic_se
t
_add symbol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sv
e
n Verdoolaege
a
dd isl_
u
nion_ma
p
_
uncurry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven
Verdo
o
lae
g
e
co
n
figure
.
ac: check if TargetI
n
fo
:
:Crea
t
e
TargetI
n
fo
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-23
S
v
e
n V
e
rdoolaege
i
nterface/
e
xtract_interface
.
cc: tak
e
Targ
e
tOptions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-22
Sv
e
n Verd
o
olaege
AST p
r
inting callbacks: pass isl_ast_print_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-22
Sve
n
Verdoolaege
do
c
:
f
ix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-21
S
v
en Ver
d
oolae
g
e
add be
f
ore_
e
ach_for/af
t
er_ea
c
h_for callbacks
commit
|
commitdiff
|
tree
2012-11-21
Sven Verd
o
ola
e
g
e
isl_ast_build
_
from_co
n
te
x
t: allow un
n
a
m
ed se
t
dimensio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
isl_basic_map_gist
:
d
rop irrelev
a
nt
con
s
t
r
a
i
nts from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
S
v
en
Verdoolaege
isl
_
ma
p
_simplify
.
c
: fix ty
p
o in commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
isl_ast_build
_
eliminate_divs: rem
o
v
e unkn
o
wn divs
b
efore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
is
l
_affi
n
e
_hull
.
c: affine_hull_with_
c
on
e
: pl
u
g memor
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
S
v
e
n Verdoo
l
aege
change
p
rototyp
e
of
isl_factorizer_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoo
l
a
e
ge
i
sl_tab_sam
p
le
:
perform g
r
eedy search before p
e
rforming
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
S
v
en Verdoola
e
ge
isl_ta
b
_sample: ex
t
ract out compute_min and comp
u
te_m
a
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven
V
erdool
a
e
ge
is
l
_
t
a
b
_sam
p
l
e
:
treat em
p
ti
n
ess
of tab
l
eau
a
s error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-16
S
ven V
e
rdoolaeg
e
AST g
e
neration:
f
ix
h
andlin
g
of separation classes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
Ve
r
doolaege
isl_printer_print_{basic_,}{se
t
,
m
ap}: don't
s
tart
n
ew
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_printer_print_s
p
ace: supp
o
rt
p
rinting in "omega
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
rename isl_basic_set_ad
d
to isl_basic_set
_
add_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
V
erdoolaege
isl_a
f
f_normalize: plug
i
n divs
w
ith unit coefficient
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n Verdoolaege
isl_local_space_sub
s
t
itu
t
e_
s
eq: t
a
ke argument f
o
r t
h
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n Verdool
a
e
g
e
isl_af
f
_flo
o
r: normal
i
z
e
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sve
n
Verdoolaege
i
sl_aff
_
c
eil: compute
c
eil(e/m) as
floor(
(
e
+ m
-
1)/m)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-12
S
v
en
V
erdoolaege
isl_aff_gi
s
t: add missing is
l
_v
e
c_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
Sven Verdo
o
lae
g
e
isl_union_set_com
p
ut
e
_schedul
e
: do
u
ble ch
e
c
k
that we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
Sven
Verdoolaege
i
s
l
_
union_set_comp
u
te
_
sche
d
u
le: ensure carr
y
_dependence
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verd
o
olaege
up
d
a
t
e for
c
hange
i
n
c
lan
g
's DiagnosticOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
Sven Verdoolaege
i
sl
_
map_pla
i
n_is_disjoint: handle inputs with different
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Sven Verdoolaege
add README
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
An
d
reas Kloeckne
r
I
n
tro
d
uc
e
isl_int_free_str to remove GM
P
dependency
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-10
Sv
e
n Verd
o
olaege
is
l
_
union_set_compu
t
e_schedule:
h
an
d
l
e
resu
l
t wi
t
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
Sve
n
V
e
rdoolaege
isl_ast
_
codegen
.
c: gene
r
ate_dom
a
in: postpo
n
e single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verdoola
e
ge
i
sl_ast_build_a
s
t
_
f
rom_schedule
:
m
a
ke construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
S
v
en Verdoola
e
ge
isl_a
s
t_build_a
s
t_f
r
om_
s
ched
u
le
:
use
"<" if
u
ppe
r
bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next