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.14.1
2015-04-09
S
v
en Verd
o
olaege
isl 0
.
1
4
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-09
S
v
en Verdoolaege
AUT
H
ORS: add Mi
c
h
a
e
l Kruse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-27
Sven Verdoo
l
aege
isl
_
schedule
_
constraints_com
p
ute_schedule: handle conditiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-26
Sve
n
V
erdoolaege
isl_schedul
e
r
.
c: is_condition_false: allow ed
g
e->tagged_cond
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-25
S
ven Verdoolaege
isl_
s
chedul
e
r
.
c: move up some functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-25
S
v
en
Ve
r
d
o
olaege
isl_
s
cheduler
.
c: update_edge:
improve error
han
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-11
Mi
c
hael
K
ru
s
e
isl_
t
ab_ex
t
end
_
va
r
s: fix buf
f
er
ove
r
flow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-21
Sven Verdoola
e
ge
i
s
l
_
local_space_subst
i
tute_seq: honor argument for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verdool
a
ege
isl
_
map_s
i
mplify
.
c: handle over
f
low in r
o
und_up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verdoolaege
i
s
l_map_simplify
.
c
: remove_duplicate_divs
:
improve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven
Verdoola
e
g
e
isl_ast_cod
e
g
e
n
.
c: pw_aff_const
a
nt_is_nega
t
ive
:
improve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verdoo
l
aege
is
l
_id
.
c: isl
_
id_has_name_a
n
d_u
s
er
:
h
a
ndl
e
m
i
ssin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verdool
a
ege
i
sl_basic_ma
p
_gi
s
t:
f
ix typo in code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verd
o
o
l
aege
isl_aff
.
c: pw_multi_aff_from_map_stride:
fix typo in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven
Verdo
o
laege
isl
_
outp
u
t
.
c:
p
rint_
p
w_multi_aff_body_wrap: properly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sve
n
Verd
o
o
l
aege
isl_o
u
tput
.
c: print_
u
nion_p
w
_qpolynomia
l
_f
o
ld_
i
sl:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sv
e
n Verdoolaege
i
sl_outpu
t
.
c: prin
t
_u
n
ion_pw_qpoly
n
o
mial
_
isl:
properly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven V
e
r
doolaeg
e
isl
_
output
.
c
: isl
_
u
n
ion
_
map_print_
i
sl: properly keep
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sv
e
n Verdoolaege
isl_basic_set
_
d
rop_
c
onstrain
t
:
add missing isl_basic_set_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
S
ven Verdoolaege
i
s
l_ast_expr_is_equ
a
l: pr
o
perly han
d
l
e
expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Ver
d
o
o
l
aeg
e
i
s
l_
c
o
nvex_hu
l
l
.
c
: compute_facet: avoid double free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
ve
n
Verdoolaege
i
s
l_ast_c
o
degen
.
c: a
d
d_implied_guards: combine de
g
enerate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-19
S
v
en Ver
d
oolae
g
e
isl
_
printer_
f
l
u
sh:
actually clear buf
f
e
r wh
e
n called
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaege
isl_basic
_
m
a
p
_gist: avoid
mod
i
f
y
ing input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-25
Sven Verdoolaege
isl
0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaege
u
p
d
ate AUTHORS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven van Haastreg
t
do
c
: fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven Ver
d
oolaege
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2014-10-13
S
v
en
V
er
d
o
o
laege
isl_map_conve
x
_hull: detect e
q
u
alities before checking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdo
o
laege
isl_schedul
e
_cons
t
ra
i
nts_c
o
mpute_schedul
e
: allow partial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven V
e
rdoolaege
a
dd isl_
m
ap_n_
b
asic_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verd
o
olaeg
e
split sch
e
duler code from sch
e
dule object
code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verd
o
o
l
a
e
ge
m
ake isl_aff
_
private
.
h
mor
e
se
l
f
-contained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
ola
e
g
e
doc: fi
x
t
y
p
os
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
olaege
docum
e
nt isl_set
_
is_singleton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verdoolaege
doc:
u
p
dat
e
isl_*_list do
c
umentat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoo
l
aege
doc: cl
e
an
up i
s
l
_
va
l
d
o
cu
m
e
n
tati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdool
a
ege
isl_schedule
_
constrai
n
ts_compute_s
c
hedule:
c
omp
r
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n Verdoolaege
isl_sched
_
n
ode: rename "dim"
f
i
eld
t
o "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verdoolaege
add isl_morp
h
_get_var_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
add i
s
l_morph_
g
et_dom_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n V
e
r
d
oolae
g
e
a
dd
i
s
l
_
morph_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
e
r
doolaege
privately expor
t
isl_aff_allo
c
_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
olaege
ad
d
isl_
m
a
t_i
s
_sca
l
ed_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
S
v
e
n
Verdoolaege
add isl_
m
at_get_row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
S
ven Verdoolaege
isl_
b
a
sic_{set,ma
p
}_has_def
i
ni
n
g_equality: allow passing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
v
a
n Haast
r
egt
add ast_a
l
ways_print_block option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-28
Sven Verdool
a
e
g
e
doc
u
m
e
n
t is
l
_spac
e
_tuple
_
match as i
s
l_
s
pace_tuple_
i
s
_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
Sven Verdoola
e
ge
is
l
_map_plain_is_disjoint:
ch
e
ck t
u
p
l
e
spaces befor
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
Sven Verdo
o
laege
isl
_
space_tuple_match: also ignore pa
r
a
m
eters i
n
nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven
V
erdoolaege
isl_space_tu
p
le_
m
at
c
h: r
e
name "dim" variables
t
o "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
i
s
l_test:
t
ake options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_union_*_add_*: perf
o
r
m chec
k
for "z
e
ro" part
unconditionall
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdo
o
laege
isl_union_*_add_
*
: avoid du
p
licate checks
in
callers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Ver
d
o
olaege
isl
_
union_map_i
s
_
s
ingle_valued: look at
d
omain s
p
a
ces
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
ven Ver
d
oolaege
i
s
l_
u
nion_map_is_single_valued: extract
o
ut single_map_is
_
s
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
i
sl_union_map_is_sing
l
e_valued: add a
c
ouple of e
x
tr
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
ven Verdoolaege
isl_basic_map_output_defi
n
ing_equa
l
ity:
a
c
cept divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven
V
e
rdoolae
g
e
extract
out shared isl_basi
c
_map_
o
utput_
d
efin
i
ng_eq
u
ality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven
Verdo
o
laege
AST generator:
drop red
u
ndant lowe
r
b
ounds on strided
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ve
r
doolaege
Merge bran
c
h
'
m
aint'
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Ver
d
oolaeg
e
is
l
_pw_*
_
gist
:
sp
e
cial c
a
se conte
x
t
e
q
ual to single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_pw_*_gist: specia
l
case
u
niverse context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven
Verdoolaege
isl
_
tes
t
: ge
n
eralize isl_pw
_
qpolyn
o
mial_gis
t
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sv
e
n
Verdoolaege
isl
_
map_simplif
y
.
c: drop spurious s
e
micolon
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
S
v
en Verdoolaege
isl
_
map
_
gist: return un
i
verse on gist with empty set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
S
v
en Ve
r
doola
e
ge
isl_
i
nput
.
c: basic_map_read: check type of
r
esult r
e
turned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verd
o
olaege
isl_b
a
s
ic
_
map_
g
ist: re
m
ove redundant div
co
n
stra
i
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaeg
e
isl_bas
i
c_
m
ap
_
gist: r
e
m
ove obvi
o
usl
y
redundant reduce
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoo
l
a
ege
isl_basi
c
_m
a
p_gist: avoid (temporarily) adding
contex
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
is
l
_
m
a
p_s
u
btract: c
h
eck if
i
nputs are disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
doc/Submit
t
ing
P
atches: mention that each mail shoul
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Jo
h
annes Doerfer
t
Add an AS
T
e
x
press
i
on represe
n
ting th
e
&
-operator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Johannes
D
oerfert
A
d
d
AST expression
builder functions for com
p
arisons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
doc
:
fix document
a
tion of isl_basic_set
_
{in,}equa
l
ities_matrix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdo
o
l
a
e
g
e
Merge br
a
n
ch
'maint
'
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoo
l
aege
isl
_
convex_hull
.
c
:
c
onvex_hull_pair: add missing return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-04
S
v
en V
e
rdo
o
laeg
e
i
s
l
_map
_
{do
m
ain,range}_product: r
e
move possible obvious
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
S
ven Ve
r
doo
l
aege
isl_map
.
c: ma
p
_prod
u
ct: rename "di
m
_product" a
r
g
ument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven V
e
rdoolaege
a
dd
isl_map_remove_obvious_duplicates
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven
Verdoola
e
ge
i
s
l_map_normali
z
e: e
x
tra
c
t out so
r
t_and_remo
v
e_duplicates
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven
V
erdoolaege
i
sl_map_normaliz
e
: r
e
mo
v
e empty parts be
f
ore sorting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven V
e
r
doola
e
ge
i
s
l
_
basic_map_
s
ort_c
o
nst
r
aints: use isl_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdo
o
laege
isl_
b
a
s
ic_
m
a
p
_sort_cons
t
raints: skip sorting if const
r
ain
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sv
e
n Verdoolaege
isl_basic
_
map_a
l
ign_divs
:
on
l
y
e
x
tend dst w
h
en needed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verd
o
olaege
clean u
p
is
l
_basic_map_
a
l
ign_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sv
e
n V
e
rdoo
l
aeg
e
isl_map_simplify
.
c: r
e
m
ove_re
d
und
a
nt_divs: u
p
date outdated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdool
a
ege
isl_reorderin
g
_dum
p
: also dump target spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sve
n
Verd
o
olaege
update for change in TargetOptions refcounting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
up
d
ate for r
e
moval of l
l
vm/
A
DT/Ow
n
ingPtr
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
S
v
en Ver
d
o
o
laege
interface
/
extrac
t
_inter
f
ace
.
c
c
: avoid use o
f
SourceMa
n
ager
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-30
Sven Verd
o
ola
e
ge
updat
e
for rem
o
val
o
f DefaultImageName Dri
v
er c
o
nstruct
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-29
Sv
e
n
V
erdoolaege
i
sl_printer_p
r
int_pw_aff
:
use isl_ast_build_exp
r
_fr
o
m_pw_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-29
S
ven
V
erdoolaeg
e
add faber
t
e
st case
f
rom C
L
ooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-29
Sven Ver
d
oola
e
g
e
AST
g
e
n
erato
r
: exploit all informati
o
n
w
h
ile looking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
S
v
en Verdoolaege
isl
_
a
s
t_co
d
e
gen
.
c: gener
a
te
_
domai
n
:
i
ntersect with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
Sv
e
n
Verdoo
l
aege
A
ST generator: exp
l
oit
im
p
lied guard to s
i
m
plify inner
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verd
o
olaege
drop isl
_
ast_build_set_enforced
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdoolaege
a
dd a n
e
w AS
T
g
e
nerator
t
e
s
t c
a
se
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
Sve
n
V
e
rdoo
l
aege
AST g
e
nerator: i
m
prove h
a
ndl
i
ng of pending constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next