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
add isl_union_pw_multi_aff_from_union_pw_aff
2015-01-23
S
v
en Verd
o
ol
a
ege
add isl_u
n
ion_pw
_
multi
_
aff_fr
o
m_union_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
ven Verdoolaege
ad
d
isl
_
union_pw_mult
i
_
aff_get_union_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoola
e
g
e
add isl_u
n
ion_pw_aff_mo
d
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en Verdoolaege
a
d
d i
s
l_union_pw_aff_af
f
_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en Verdoolaege
add isl_union_pw_
a
f
f
_val_o
n
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n Verdoolaeg
e
add
i
sl_unio
n
_
p
w_aff_floor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
ven Verdoolaege
add
i
sl
_
union_pw_aff_l
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
ve
n
Verdo
o
laege
add isl_union
_
pw
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
erdoo
l
ae
g
e
isl_output
.
c: print_pw_aff_isl: extract o
u
t prin
t
_pw_aff_body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
ven Verdoolaege
i
sl_union
_
templ
.
c: allow mul
t
iple inc
l
u
sion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add isl_union_map_do
m
ain_
m
ap_union_pw_multi_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en Verdoolaege
add isl_
u
n
ion_pw_multi
_
af
f
_pullbac
k
_union_pw
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven
Ve
r
doolae
g
e
add isl_union_pw_multi_aff
_
from_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
e
r
doolae
g
e
add is
l
_uni
o
n_pw_*_s
e
t_dim_n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoola
e
ge
add is
l
_union_pw_
*
_
d
rop_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n Ver
d
oolaeg
e
add isl_union_pw_*_n_pw_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoola
e
ge
add isl_union
_
pw_*_reset_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaeg
e
add isl_pw_*
_
res
e
t_u
s
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verd
o
o
l
aege
add i
s
l
_
pw_multi_
a
ff_ran
g
e_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoo
l
a
e
g
e
a
d
d isl_pw_aff_pos_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
V
e
rdool
a
ege
is
l
_pw_aff_nonneg_s
e
t: merge
imp
l
ementation with pw_a
f
f_zero_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
ven Ve
r
doolaege
gen
e
ra
l
ize
i
sl_unio
n
_pw_
q
polynomial_n
e
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Grosse
r
F
ix som
e
typos in co
m
ment
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
S
ven Verdoolaege
add isl_
m
ulti_*_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaeg
e
add isl_m
u
lti_*_mod_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sv
e
n
V
e
r
doola
e
ge
add
isl_multi_val_read_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
S
ven V
e
rdoolaege
isl_input
.
c
:
r
e
ad_tuple: separate t
u
pl
e
p
a
rsi
n
g
f
rom
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
S
v
e
n
Verdoolaege
generaliz
e
isl_multi
_
aff_sub
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
Sven v
a
n Haa
s
treg
t
do
c
: cla
r
if
y
list capacity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
Sve
n
Verdoo
l
aege
isl_map_
c
o
a
l
esce: harmo
n
iz
e
intege
r
d
i
visions
that
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
Sven Ver
d
oo
l
a
e
g
e
a
dd isl_tab_sh
i
ft_v
a
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
S
v
en Verdo
o
laeg
e
add
i
s
l_basi
c
_map_shi
f
t
_
d
i
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoo
l
aeg
e
isl
_
map_coalesce:
co
a
lesce within affine hull fir
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdool
a
ege
privatel
y
export
is
l
_basic_ma
p
_
g
et_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven
V
erd
o
olaege
isl_map_
c
oalesce:
t
ry
a
nd coalesce basic maps w
i
th
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven
Verdo
o
la
e
ge
isl_co
a
lesc
e
.
c: is_ad
j
_eq_extension: all
o
w basi
c
maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Ver
d
oola
e
g
e
isl_co
a
l
e
s
ce
.
c: fu
s
e: al
l
o
w b
a
sic maps
t
o have diffe
r
en
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
ven Verdoolaege
isl
_
m
ap_coalesce:
r
emove hidden
factors from
c
onstr
a
int
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n
V
e
r
doolaege
add
i
sl_basic_m
a
p
_r
e
duce_coeff
i
c
ien
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en Verdool
a
ege
isl_map_
c
oa
l
esce
:
ha
n
d
le d
i
v
s
that have been simplified
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
p
riva
t
ely export isl_aff_substi
t
ute_
e
qualities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
ven Verdool
a
e
g
e
add isl_local_spac
e
_wrap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
add isl_tab_insert_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en Verdoolaege
isl_map
_
c
o
a
lesc
e
: check for sub
s
ets with smal
l
e
r
n
u
m
b
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven
Verdool
a
ege
add isl_
b
asi
c
_m
a
p_pla
i
n
_
aff
i
ne_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
v
e
n
Ve
r
d
oolaege
isl_coales
c
e
.
c:
can_wrap_in
_
facet: only
wr
a
p facet
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdool
a
ege
isl_coalesce
.
c: can
_
wrap
_
in
_
facet: ext
r
act o
u
t a
d
d_wraps_aro
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolae
g
e
i
sl
_
coalesce
.
c:
check_
a
dj_
e
q: allow
cut cons
t
raints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
isl_co
a
lesce
.
c
:
check_ad
j
_eq: drop redundant te
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven Ver
d
oolaege
isl_coale
s
ce
.
c
:
wra
p
_
i
n_facets: check f
o
r
numb
e
r of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolae
g
e
i
s
l_coalesce
.
c:
wrap_in_facets
:
only
wrap around other
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
S
v
en Verd
o
olaege
i
s
l_map_coalesce:
o
nly wrap
c
onstr
a
ints that are not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
S
v
en Ve
r
doolaege
i
s
l
_
coa
l
esc
e
.
c: add_
w
raps: extract
o
ut common ad
d
_
w
rap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
S
ven Verd
o
olae
g
e
isl_coalesce
.
c: fuse: copy vali
d
half of
equality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl_coa
l
esce
.
c: fuse: extr
a
c
t
o
u
t
a
dd_valid_cons
t
raints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verd
o
o
laege
add e
x
tra isl_set_coalesce
t
est case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sv
e
n
Verd
o
o
laege
isl_
t
est: gene
r
alize
c
o
a
lesce test
s
with un
b
ound
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
S
v
en
V
erdoolae
g
e
isl_coal
e
sce
.
c: contains: always ret
u
r
n
e
qualities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl_
c
oalesc
e
_info: add equali
t
y and inequality types
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sve
n
Verdoolaege
isl
_
c
oales
c
e
.
c: co
n
tains: pas
s
isl_coa
l
esce_info instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven
V
erd
o
olaeg
e
isl_c
o
alesce
.
c
:
wraps_update_max: pas
s
isl_coa
l
esce_info
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Ve
r
doolaege
isl_co
a
l
esce
.
c: add_wraps
:
pass isl_coalesc
e
_info i
n
stead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verd
o
ol
a
e
g
e
i
sl_map_coales
c
e: keep trac
k
of information on
b
as
i
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl_c
o
alesce
.
c: extract ou
t
up
d
ate_ba
s
i
c_map
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl_coalesce
.
c: coalesced_s
u
bset: separate check from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
S
ven Verdoolaege
isl
_
coalesce
.
c
:
coalesce: keep
t
r
ack
o
f how a p
a
ir
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
S
v
en Ve
r
doo
l
aege
isl
_
c
oalesce
.
c
:
is_
a
dj_e
q
_extensi
o
n:
always p
u
t ex
t
ension
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sv
e
n
V
e
rdoolaege
isl_co
a
lesce
.
c: fuse
:
always put
fused basic m
a
p in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verd
o
o
l
aege
isl_coal
e
sc
e
.
c: wrap_in_facet
s
: si
m
p
l
ify c
o
mp
u
tat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven
V
e
rdoola
e
ge
i
s
l_coa
l
e
sc
e
.
c:
c
h
eck_eq_adj_eq:
allow mu
l
tiple
e
q
ualities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolae
g
e
isl_test
.
c
: fix
wh
i
tesp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven
V
erdoolae
g
e
add isl_basic
_
m
a
p_detect_i
n
equalit
y
_pair
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sv
e
n
Verdoolaege
Merge br
a
nch 'm
a
int'
commit
|
commitdiff
|
tree
2015-01-01
S
ven
V
erdoolaege
isl_convex_hull
.
c: comput
e
_facet:
a
void
double free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
V
e
rdoolaege
i
sl_coa
l
esce
.
c:
coalesce_subse
t
:
properly indicate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
doo
l
a
ege
isl_coale
s
ce
.
c: set_from_upda
t
ed
_
bmap: update underlying set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_c
o
a
lesce
.
c
: check_fac
e
ts:
u
pda
t
e justific
a
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
V
e
rdoolaege
isl_coalesce
.
c: check_f
a
cets: m
a
rk tableau rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdo
o
laege
add isl_tab_
m
ark_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Ver
d
o
o
laege
isl_coalesce
.
c: fix t
y
pos in com
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdo
o
laeg
e
isl
_
c
o
a
lesce
.
c: can_w
r
ap_in_f
a
cet: u
p
dat
e
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolae
g
e
isl_coa
l
esce
.
c
:
c
heck
_
w
r
ap: up
d
ate comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolae
g
e
isl_tab_rela
x
:
ret
u
rn i
n
t instea
d
of isl_tab *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Ver
d
oolae
g
e
isl_tab_relax: avoid NULL pointer derefere
n
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n V
e
rdoolaege
isl_tab_ad
d
_eq
:
p
ropagat
e
errors
of dro
p
_row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verd
o
olaege
isl_tab
.
c
:
perform_undo
_
var
:
propagate erro
r
s
of
d
rop_ro
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven V
e
rdo
o
lae
g
e
isl_
t
ab_min_
a
t_most_
n
eg_one
:
be co
n
sisten
t
about returning
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoola
e
g
e
Merg
e
branch 'mai
n
t'
commit
|
commitdiff
|
tree
2014-12-25
S
ven Ver
d
oola
e
ge
isl_ast_build_ast_from_s
c
hedule:
r
e
mo
v
e redu
n
dant const
r
aints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdo
o
laege
add isl_union
_
{set,m
a
p}_remove_red
u
ndanci
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
i
s
l_
a
st_build_expr
.
c: isl_
a
s
t_
e
xpr_add_
t
erm:
allow
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
d
o
olaege
isl_as
t
_codegen
.
c: add_im
p
li
e
d_guar
d
s:
c
ombine degenerate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
ven V
e
rdoola
e
ge
i
sl_ast_buil
d
_e
x
pr
.
c
:
i
sl_ast_e
x
pr_add_term: store
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_ast_build_e
x
pr
.
c: tr
y
_e
x
tract_mod: d
e
c
l
a
re vari
a
bles
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdool
a
ege
AST generator: select unroll low
e
r
bound
i
n
t
roducing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sve
n
Verdo
o
l
a
ege
isl_ast_
c
odegen
.
c: move up at_o
f
fset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoolaege
isl_ast_c
o
degen
.
c: extract out is_better_lower_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-19
Sven Verdool
a
ege
isl_printer_flush
:
actually cl
e
ar bu
f
fer when cal
l
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdo
o
la
e
ge
isl
_
map_gist: try
an
d
exploit implic
i
t constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
ven Verdoolaege
isl_test
.
c:
test_gist: conside
r
test
i
nputs
as
s
ets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next