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_basic_map_from_constraint_matrices: (simplify and) finalize result
2012-12-16
Sven Ve
r
d
o
olae
g
e
i
sl_bas
i
c
_
map_
f
rom_constraint_matrices:
(
s
implify and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-15
Sven Verdoolaege
isl_stream_read_map: allow a
n
onymous uncons
t
rained
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-07
Sven
V
e
r
d
oolaege
isl_map_inline_foreach_basic_map:
drop basi
c
maps that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-07
Sv
e
n
V
erdoolaege
isl_hash_dim: mak
e
result independent of en
d
ianness
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-07
S
ven
V
erdoolaege
isl_ba
s
ic
_
ma
p
_move_dim
s
: av
o
id invalid ac
c
ess on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-04
Sv
e
n
V
e
rdoolae
g
e
isl_basi
c
_set_
e
xpand_d
i
v
s
: avoid invalid
acces
s
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-04
Sven V
e
rdoolaege
add LICE
N
SE to t
h
e distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sve
n
Verdoolaege
i
sl
_
sche
d
ule
.
c: add_inter_co
n
straints
:
avoid inval
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
is
l
_schedul
e
.
c: ad
d
_int
r
a_co
n
str
a
in
t
s: avoid
i
nvalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
ven
Verdoolaege
isl_tab_basic_set_no
n
_
n
eg
_
lexmin:
handle NULL inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Ver
d
oolaege
isl 0
.
1
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdool
a
ege
isl_s
c
hedule
.
c
: add_i
n
ter_validity_constra
i
nts: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdo
o
laege
isl_tab_
b
asic_se
t
_non_trivial_l
e
xmin: handle NUL
L
i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verd
o
ola
e
ge
isl_tab
.
c: push_un
i
on: han
d
le
NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ve
r
doo
l
aege
is
l
_m
a
t_transpose
:
hand
l
e
NULL in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
v
e
n
Verdoolaege
i
s
l_ba
s
ic_map_foreach_
l
exopt
:
avoid
i
n
v
alid acc
e
ss
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
v
en Verdool
a
ege
i
sl_pw_*_on_shared_domain_in: av
o
i
d
double free
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
V
erd
o
olae
g
e
isl
_
o
u
t
put
.
c: prin
t
_
s
et_c
:
handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sv
e
n Verdoolaege
i
s
l_
b
asic_map_elimin
a
te
_
vars:
avoi
d
inva
l
id access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
ven Verdoolaege
isl_map_
s
implify
.
c:
remove_depen
d
ent_vars: handle NULL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdo
o
laeg
e
isl_tab_pip
.
c: sol_pop: a
v
o
i
d inv
a
lid access on err
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl
_
basic_map_del
t
as: fi
x
error hand
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaeg
e
isl_ast_codegen
.
c
:
gen
e
rate_
s
orted_do
m
ai
n
s: avoid invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolae
g
e
i
sl_test
.
c
:
tes
t
_ast:
avoid invalid access
o
n
e
rror
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ve
r
doola
e
ge
isl_para
m
et
e
r_alignmen
t
_reordering: fix error
h
andli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
i
s
l_basic_
m
ap_no
r
ma
l
ize: av
o
id in
v
ali
d
access on
e
rror
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
i
s
l_map
.
c: basic_set_maximal_diffe
r
ence
_
at:
fix error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
Verdoolaege
i
s
l_co
n
vex_hull
.
c: map_s
i
mp
l
e_
h
ull: avoid invalid acces
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ve
r
doolaege
isl_ast_c
o
d
e
g
en
.
c
:
com
p
ute_domains: avoid invalid acces
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdool
a
ege
isl_bas
i
c_map_is_e
m
pty:
avoid invalid access on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
Verdoolaege
isl_space_exte
n
d
:
avoid invalid a
c
c
e
ss on
error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolae
g
e
is
l
_ma
p
_subtract
.
c: basic_m
a
p_collec
t
_
diff: avoid inval
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoo
l
aege
isl_
b
a
s
i
c
_map_o
v
erlyin
g
_set:
a
v
oid invalid access
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
Verdo
o
lae
g
e
is
l
_map
.
c:
bas
i
c_map_space_
r
ese
t
:
h
a
ndle NUL
L
i
n
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_basic_set_sw
a
p_v
a
rs
:
handle
NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaeg
e
isl_
i
nput
.
c: co
n
struct
_
c
onstrai
n
ts: respe
c
t memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
ven Verdoo
l
ae
g
e
i
sl_ast
_
c
odegen
.
c:
create_no
d
e
:
avoid inval
i
d a
c
ce
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_ast_
c
odegen
.
c: for_inc
:
ha
n
dle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
ven
V
erdoolaege
isl_pw_aff
_
set_rational: avoid
i
nvalid access on erro
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sv
e
n V
e
rdoola
e
ge
isl_vec_du
p
: avoid i
n
valid accesses on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ve
r
doola
e
ge
is
l
_
m
ap
.
c: map_int
e
rse
c
t_internal: properly
p
l
ug m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
ven Verdoo
l
aege
update fo
r
change in the
c
on
s
tr
u
ctor of t
h
e cl
a
ng Driver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ve
r
do
o
l
a
ege
isl_vertic
e
s
.
c: ve
r
tices_f
r
om_list:
p
lug mem
o
ry leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven V
e
rdoolaege
isl_basi
c
_set_com
p
ute_vert
i
ces:
plug
m
emory leak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sve
n
Verdoolaege
isl_te
s
t
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl
_
test
.
c:
t
est_output:
avoid invalid acces
s
on
e
rr
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verd
o
olaege
isl_test
.
c: before_for: return earl
y
on
e
r
ror
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_test
.
c: test_sample: return early on e
r
r
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ve
r
doolaege
isl_tab_pip
.
c: find_in_pos: plug memory
l
eak on err
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdo
o
la
e
ge
isl_tab_p
i
p
.
c: add
_
para
m
etri
c
_cut: plug memory leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven
V
erdoolaege
isl_tab_pip
.
c:
s
ol_
p
ush_sol: pl
u
g memor
y
l
e
ak
on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
v
e
n
Verdoolae
g
e
isl_
s
pace
_
dup:
avoid invalid
a
ccesses o
n
error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sv
e
n Verdoolae
g
e
isl_schedule
.
c: add_*_con
s
traints: avoid inval
i
d
a
c
c
e
s
s
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaeg
e
is
l
_
r
e
ordering_extend_
s
pace: f
i
x error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_mult
i
_*
_
realign_domain: pl
u
g memory leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ve
r
doolaege
is
l
_m
a
p_subtr
a
ct
.
c: map_is_
s
ubset: fix error ha
n
dling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sv
e
n Verdoolaege
isl_map
.
c
:
update
_
dim
_
o
pt: return ear
l
y on e
r
ror
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sve
n
Verdoo
l
aege
isl_basic_
m
ap_underlying_
s
et
:
plug
m
emory leak
o
n error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ver
d
oolaege
isl_map
.
c: m
a
p
_i
n
t
e
r
s
ect_internal: plug memo
r
y leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ve
r
d
o
olaege
isl_ast
_
build_in
i
t_derived: ch
e
ck
b
u
ild->doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Ve
r
doolaege
isl_input
.
c
:
read_aff_domain:
r
emove spurious va
r
s_free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven
Verdool
a
ege
isl_input
.
c: read_ma
p
_tupl
e
: r
e
t
u
rn earl
y
on er
r
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdoolaeg
e
isl_in
p
u
t
.
c: accept
_
affine_list: plug memory leak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
S
v
en Verdoolae
g
e
isl_af
f
ine_hull
.
c: e
q
ua
l
ities_
i
n_underlying_se
t
: plug
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
S
v
en Verdoolaege
isl_tab_detect_equalities: pl
u
g memory leak on
e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sv
e
n V
e
rdoo
l
ae
g
e
isl_ast_codegen
.
c
:
afte
r
_each_f
o
r
: add missing
r
eturn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdool
a
ege
r
eintroduce
i
s
l_
b
asic_set_ad
d
symbol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verd
o
o
l
a
eg
e
add isl_union_map_unc
u
rry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven
V
e
r
doolae
g
e
configure
.
a
c: check if TargetInfo::CreateTa
r
getInfo
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-23
S
v
e
n Verdo
o
laege
interf
a
ce/extract_
i
nterface
.
cc: t
a
ke
T
arget
O
ptions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-22
Sven Verdoolaege
AST
pr
i
nting callb
a
cks: pass isl_ast_prin
t
_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-22
Sv
e
n Verd
o
ola
e
ge
doc: fi
x
t
yp
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-21
Sven
Verd
o
olaeg
e
add befo
r
e
_
each_for/after_each_f
o
r callbac
k
s
commit
|
commitdiff
|
tree
2012-11-21
S
v
en Verdoolaege
isl_ast_bu
i
ld
_
from_conte
x
t: allow unnam
e
d se
t
dimensi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verd
o
olaege
isl_basi
c
_map
_
gi
s
t:
d
rop irrelevant cons
t
r
ain
t
s
f
rom
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
ven Verdoolaege
isl_
m
ap_simplify
.
c: fix
typo in c
o
mme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verd
o
olaege
isl_a
s
t_build_elim
i
nate_divs: remove
u
n
known
divs before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
ven V
e
r
dool
a
ege
isl_aff
i
n
e
_hull
.
c: affine_hull_w
i
th_cone:
plug memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
v
en Verdoo
l
aege
change prototype
of
isl_factorizer_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
isl_tab_
s
a
m
ple: per
f
orm greedy search before performing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
v
en
V
e
r
doolaege
isl_tab
_
sa
m
ple: extract ou
t
c
o
mpute_min a
n
d
c
ompu
t
e_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoola
e
ge
isl_ta
b
_
s
ampl
e
: treat
e
m
ptiness of
t
abl
e
au as error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-16
Sv
e
n Verdoolaege
AST ge
n
e
r
a
tion: fix handlin
g
of separation classes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ver
d
oolaege
isl_printer_
p
rint_
{
basic_,}{set,map}:
d
on't sta
r
t new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_printe
r
_pr
i
nt_spa
c
e
:
support p
r
i
n
ti
n
g in "omega
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
rena
m
e
i
sl_basic_se
t
_add
t
o
isl_basic
_
set_add
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl
_
aff_n
o
r
malize: plug in divs w
i
th
u
ni
t
coeff
i
cie
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven
V
erdoo
l
aege
isl_
l
ocal_space_substitute_seq
:
take argument for t
h
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
ven Ve
r
doola
e
ge
isl_aff_floor:
normalize re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
v
en Verdoolaege
i
sl_a
f
f_ceil:
c
om
p
ute c
e
i
l
(
e
/m)
as flo
o
r
((e + m - 1)/m
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-12
Sve
n
Verdoolaege
is
l
_
a
ff_gist: add
m
issing isl_
v
ec_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
S
ven Verdoolaege
isl_union_set
_
co
m
pute_
s
c
hedule: double
c
heck
t
hat
we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
S
ve
n
Verd
o
o
laege
i
s
l_union_set_com
p
u
te_schedu
l
e:
ensur
e
ca
r
ry_dependences
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdool
a
ege
update for change in clang'
s
DiagnosticOptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
S
v
en Ver
d
ool
a
ege
isl_map_plain_is_disjoint
:
handle inputs wit
h
different
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Sven Verd
o
olaege
ad
d
README
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
A
n
dreas Klo
e
ckn
e
r
Introd
u
ce isl_int_fre
e
_str to r
e
move GMP depen
d
en
c
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
Sven
Verdoolaege
isl_u
n
ion_set_compute_schedule: handle re
s
ult wit
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
S
v
en V
e
rdoo
l
a
e
ge
isl_ast_codege
n
.
c: generate_domai
n
: postpo
n
e
single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
S
v
e
n
V
erdoolaege
isl_a
s
t_build
_
ast_f
r
o
m_
s
c
h
e
dule: make construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next