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_schedule_node_get_shared_ancestor
2015-01-23
Sven V
e
r
d
oolaege
add
i
sl_union_map
_
from_un
i
on_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
Verd
o
olaege
add isl_union_pw_a
f
f_zero_
u
nion_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoola
e
ge
add is
l
_union_pw_multi_
a
f
f_fr
o
m_uni
o
n_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdool
a
ege
add isl_unio
n
_pw_multi_aff_get_union_pw_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoola
e
ge
add isl_union_pw_aff_mod_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en Verd
o
olaege
a
d
d
isl_union
_
p
w_aff_aff_on_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add isl_uni
o
n_p
w
_aff_val_on_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
erdool
a
ege
a
dd isl_union_pw_aff_floor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
erdoolaege
ad
d
isl_union_p
w
_aff_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
ven Verdoola
e
ge
add is
l
_union_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
Verdo
o
l
a
ege
isl_output
.
c: p
r
i
n
t_pw_aff_isl: extract out print_pw_aff_body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
ven Verd
o
ol
a
ege
isl_un
i
o
n
_
templ
.
c: allo
w
m
ultiple inclus
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven
Verdoolaege
add is
l
_
u
nion_map
_
domain
_
m
a
p
_unio
n
_pw_mult
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven
Ver
d
oolaege
ad
d
isl_union_
p
w_multi_af
f
_pullback
_
un
i
on_pw_mult
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en
Verdool
a
ege
add isl
_
u
nion_pw_multi_aff_from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
erdoolae
g
e
add isl_uni
o
n_
p
w
_
*
_set_dim
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n Ver
d
oolaeg
e
a
d
d isl_union_pw_
*
_drop_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
Verdool
a
eg
e
add
i
s
l
_union_pw_*_n_pw_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoo
l
aege
add isl_un
i
on_pw_*_reset_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
a
d
d isl_pw_*
_
reset_use
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaeg
e
add isl_pw
_
mult
i
_af
f
_range
_
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoo
l
aege
add i
s
l_pw_aff_pos_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdool
a
ege
isl_pw_aff_nonneg_set:
mer
g
e implemen
t
ation with pw_aff_ze
r
o
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdool
a
ege
gen
e
ralize
isl_union
_
pw_qpo
l
y
n
omial_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven
V
erd
o
olaege
add is
l
_
m
u
l
ti_*_n
e
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven Ver
d
ool
a
ege
add i
s
l_multi
_
*_mo
d
_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaege
add isl
_
mu
l
ti_
v
al
_
read_
f
rom_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
S
ven Ve
r
d
o
o
l
aege
isl_input
.
c: read_tuple: separate tuple parsing
from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sve
n
Verdoo
l
aege
gen
e
ralize isl_m
u
lti_aff_sub
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
Sven V
e
rdoo
l
aege
isl_
m
ap_co
a
lesce: harmonize integer di
v
is
i
ons
t
hat
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
S
v
en Ve
r
d
oolaege
add isl_tab_shift_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
Sven V
e
rdoolaege
add is
l
_ba
s
ic
_
map_sh
i
ft_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en Verd
o
olaege
isl_m
a
p
_c
o
alesce: coale
s
c
e with
i
n affine hull f
i
rs
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdo
o
laege
privately expo
r
t is
l
_basic_
m
ap_
g
et_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
ven Verdoo
l
aege
i
s
l_
m
ap_coa
l
esce: tr
y
and coalesce basic maps with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
i
sl_coales
c
e
.
c: is_adj_eq_extensi
o
n: al
l
ow basic maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en Verd
o
olaege
isl_coalesce
.
c
: fuse: al
l
o
w
b
a
sic maps to have different
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sve
n
V
erdoolaege
isl_map_coa
l
esce: remove hidden factors from constra
i
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven V
e
rdo
o
la
e
ge
add isl
_
b
asic_map_reduce_coef
f
ici
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sve
n
Verdoo
l
aege
isl_map_coal
e
sce: ha
n
dle divs tha
t
have
been simplif
i
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
privately ex
p
or
t
isl_aff_su
b
stitute_equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sve
n
Verdoolaege
a
d
d
i
sl
_
lo
c
al
_
space
_
w
r
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Ve
r
doolaege
add isl_tab_ins
e
rt_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en Verdool
a
ege
isl_map_coalesce:
c
h
e
ck
f
or su
b
sets wit
h
smaller number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaeg
e
add i
s
l
_basic_map_plain_
a
f
f
i
n
e_hul
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
i
sl_coalesce
.
c: c
a
n_wrap_i
n
_fac
e
t: on
l
y
w
r
ap facet
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdo
o
laege
isl
_
c
o
alesce
.
c: can_wr
a
p_i
n
_f
a
cet: ex
t
ract o
u
t add_w
r
aps_aro
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verd
o
o
laege
isl_coalesce
.
c: chec
k
_adj_eq: allow cut constrai
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
isl_coalesc
e
.
c: check_adj_eq: drop redund
a
nt test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
S
ven Verdoolaege
isl_coale
s
ce
.
c: wrap_in_
f
acets: che
c
k for num
b
er of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
S
v
e
n
Ver
d
o
olaege
isl_c
o
alesce
.
c
:
wrap_in_
f
acet
s
:
only wrap around
ot
h
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolae
g
e
isl_map_c
o
alesce: only wr
a
p constr
a
ints that ar
e
not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolaege
isl
_
coalesc
e
.
c:
add_wr
a
ps: ex
t
ract
out common add_wrap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verd
o
o
l
aege
isl_coalesce
.
c:
fuse: copy valid half of equality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven V
e
rdo
o
laege
isl_coalesce
.
c: f
u
s
e: ext
r
act out ad
d
_valid_constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven
V
e
r
d
oolaege
add extra isl_set_coalesce tes
t
case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdool
a
ege
is
l
_test: generali
z
e coales
c
e
tests with unbounded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaeg
e
isl_
c
oalesce
.
c
:
contains: al
w
ays return equalitie
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
S
ven
V
erdo
o
laeg
e
isl_c
o
alesce_inf
o
: add equality and inequa
l
ity types
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven
Verdool
a
ege
i
s
l
_coalesce
.
c:
c
ontains: pass
i
sl
_
coalesce_info inst
e
ad
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
i
s
l_coalesce
.
c: wrap
s
_update_max: p
a
ss isl
_
coa
l
esce_info
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdool
a
ege
is
l
_coales
c
e
.
c: add_w
r
aps:
p
ass isl_coalesce_info
inste
a
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl
_
map_coalesce:
keep t
r
a
ck
o
f
in
f
ormation on basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven
Verdoolaege
i
s
l
_coalesce
.
c: extract ou
t
u
p
d
a
te_basi
c
_maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
S
v
en Verdoola
e
ge
isl_coalesce
.
c: coale
s
ced
_
subset: separate check from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sve
n
V
erdo
o
laege
i
s
l_coalesce
.
c: coa
l
esce: keep track of how a pair
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven
Verd
o
olaege
is
l
_coalesce
.
c: is_adj_
e
q_e
x
tension:
a
lway
s
put extensi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolaege
i
s
l_coal
e
s
c
e
.
c: fuse: alw
a
ys put fused basic m
a
p in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven V
e
rd
o
o
la
e
ge
isl_coalesce
.
c: wrap_in_facets: simpl
i
fy c
o
mp
u
t
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolaege
isl_coale
s
c
e
.
c: check_eq_adj_eq:
a
llow
multiple equali
t
ies
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sv
e
n Ver
d
o
o
laege
isl_test
.
c:
fix
whi
t
esp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Ve
r
dool
a
ege
a
dd isl_bas
i
c_map_detect_inequality_pair
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoola
e
ge
Merge branch '
m
aint
'
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolaege
isl_convex
_
hu
l
l
.
c: comp
u
te
_
facet: avoid double free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verd
o
olaege
isl_coalesce
.
c
:
coalesce_subset: properly indicate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Verdoolaege
is
l
_
coalesce
.
c
:
set_fr
o
m_upda
t
e
d
_bmap: update unde
r
lying set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en
V
erd
o
ola
e
ge
i
sl_coal
e
s
c
e
.
c
:
check_
f
a
cets:
up
d
a
te justi
f
ication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdoolaege
isl_coalesce
.
c: check_facets: m
a
r
k tab
l
eau rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Verd
o
ola
e
ge
a
d
d
i
s
l_tab_mark_rat
i
onal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoo
l
aege
isl_coalesc
e
.
c
: f
i
x
typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Verdoo
l
aeg
e
i
sl_coal
e
sce
.
c
: c
a
n_wrap_
i
n_
f
acet: updat
e
com
m
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdool
a
ege
isl_co
a
l
es
c
e
.
c: ch
e
c
k_wr
a
p: update comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Verdoo
l
aege
isl_tab_relax: return int instead of isl_ta
b
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_tab_relax: a
v
o
i
d NULL p
o
i
n
ter
d
e
referenc
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
V
e
r
doolaeg
e
isl_tab_
a
dd_eq: propagat
e
errors of d
r
o
p
_row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
v
e
n Verdoolaege
isl_tab
.
c:
p
e
r
form_undo_var: pro
p
agate
e
rrors of drop_
r
ow
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
Verdoolaeg
e
is
l
_
t
a
b
_
min_at_mo
s
t
_neg_one: be consistent about returning
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdo
o
laege
Merge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_ast_
b
uild_ast_f
r
om_sc
h
edu
l
e: remove re
d
u
n
d
a
nt cons
t
raints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolae
g
e
add
i
sl_
u
n
io
n
_{set,m
a
p}_remove_
r
edunda
n
cies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verd
o
olaege
isl_ast_build_expr
.
c
: i
s
l
_
a
st_expr
_
add_term: allow
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_as
t
_codegen
.
c: add_i
m
plied
_
gu
a
rds:
co
m
bine
d
egenerate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
ven Ve
r
doolaege
isl_ast_build_expr
.
c: isl_
a
st
_
ex
p
r
_
add_
t
er
m
:
s
tore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdool
a
ege
isl_ast_build_expr
.
c: try_extra
c
t_mod: decla
r
e
variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Ve
r
doolaege
A
ST generator: sele
c
t unro
l
l lo
w
e
r
bo
u
n
d introducing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdo
o
laege
isl_ast_codegen
.
c:
mov
e
up
a
t
_
o
f
fset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoolaege
isl_ast_codegen
.
c: ext
r
act out is_better_lower_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-19
Sv
e
n Verd
o
o
l
aege
isl_printer_flush
:
actu
a
lly clear
b
uffer when called
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sv
e
n
Verdoolaege
i
sl_map_gist: try a
n
d exp
l
oit i
m
p
l
icit constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verd
o
olaege
isl_test
.
c
: test_gist: consid
e
r test i
n
puts as sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next