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_schedule_depth
2015-01-23
Sven V
e
r
d
oolaege
a
d
d
i
sl_union_pw
_
multi_aff_fro
m
_union_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n
V
erdoolaege
add
i
sl_union_pw_multi_aff_get_uni
o
n
_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
ad
d
isl_union_
p
w_aff_mod_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
erd
o
ol
a
ege
a
d
d isl_union_pw_aff
_
aff_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en
V
erdoolaeg
e
add isl_union_
p
w_aff_val_on_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
v
e
n Verd
o
olaeg
e
a
dd is
l
_u
n
ion
_
p
w
_
aff_floor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
ven Verdoolaege
add
isl_
u
nion_pw_aff_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n
V
er
d
oolaege
a
dd isl_union_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
isl_output
.
c: print_pw_aff_isl:
e
xtract out print_pw_
a
ff_body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verd
o
olaege
isl_union_templ
.
c
:
allow multiple
inclusi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
v
e
n Verdoolaege
add i
s
l
_
u
nion_map_domai
n
_map_union_pw_mult
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en Ver
d
oola
e
ge
add isl_union_pw_multi_aff_pullback
_
union_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n Verdoolae
g
e
add isl_uni
o
n_pw_m
u
lti_aff_from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
a
dd isl_uni
o
n
_
pw_*_set_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Ver
d
oo
l
aege
add isl
_
unio
n
_pw_*_dro
p
_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven V
e
r
doolae
g
e
add
i
sl_union_pw_*_n_p
w
_
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en V
e
rdoolaege
add
i
sl_union_
p
w_*_reset_u
s
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
ven Verdoolaege
add isl_pw_*_reset
_
user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
a
d
d isl_pw_mult
i
_aff_ra
n
ge_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add
i
sl
_
pw
_
af
f
_po
s
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verd
o
ola
e
ge
i
sl_pw_aff_nonne
g
_set:
merge implemen
t
ation
w
ith pw_aff_
z
ero
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en
V
er
d
oolaege
g
e
neralize
i
s
l_union_pw_qp
o
lyn
o
mial_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven V
e
r
d
oolaege
add
isl_multi_*_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
S
v
en V
e
rdoolaeg
e
add i
s
l_multi_*_
m
od_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaege
add isl_mult
i
_val_read_from_s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sv
e
n Verdoo
l
aege
isl_input
.
c: read_tupl
e
: separa
t
e
tuple parsing
from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven
V
e
rdoolaege
generaliz
e
i
sl_multi_aff
_
su
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
Sven Verdoolaege
isl_map_coalesce:
h
armo
n
ize inte
g
er divi
s
ions that
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
Sven Verdoolaege
a
dd
i
sl_tab_shift_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
Sven Verdoolaege
add i
s
l_basic_map
_
s
hi
f
t_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven
V
erdool
a
eg
e
i
sl_map_coale
s
ce: c
o
alesce with
i
n
affine hull first
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en
V
erdoolaege
privately expo
r
t is
l
_
basic_
m
ap_get_ha
s
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
isl_map_coalesce: try and coales
c
e
basic maps with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en V
e
rdo
o
laege
isl
_
coalesce
.
c: is_adj_eq_extension:
a
l
l
ow basic maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en Verdo
o
laege
isl_coalesce
.
c
: fuse:
a
l
l
ow b
a
sic maps to h
a
ve di
f
f
e
rent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
v
e
n Ver
d
ool
a
ege
is
l
_map_c
o
alesce: r
e
move hidden fa
c
tors fr
o
m constraint
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven
V
erdoolaege
add isl_basi
c
_map_reduce_coef
f
icients
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en Verdo
o
laege
i
sl_m
a
p_
c
o
alesce: hand
l
e divs t
h
at have b
e
en si
m
plified
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
ven Verdoolaege
privatel
y
export isl_a
f
f_su
b
stitute_equaliti
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en Verdoolaege
ad
d
isl_local_space_wrap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaeg
e
add
isl_tab_insert
_
var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
ven
Verdool
a
ege
isl
_
map_co
a
lesce: check for s
u
bsets with s
m
a
l
le
r
number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdool
a
ege
add isl
_
basic
_
map_
p
lain_affine_h
u
ll
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
ven Verdoolaege
isl_coalesce
.
c: can_wrap_in_face
t
: only
w
rap fac
e
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdool
a
ege
isl_coal
e
s
c
e
.
c: can_wrap_in_
f
acet: extract
out add_wraps_aro
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoo
l
aege
i
s
l_coalesce
.
c
:
chec
k
_adj_eq: allo
w
cut constra
i
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven V
e
r
do
o
l
aege
i
sl_coalesce
.
c: check_
a
dj
_
eq: drop redundant test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven Ver
d
ool
a
ege
is
l
_coalesce
.
c: wrap_in_
f
acet
s
:
ch
e
c
k for number of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolaege
i
sl_c
o
a
lesce
.
c: wrap_in_f
a
ce
t
s: onl
y
wrap around other
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolaege
i
sl
_
m
ap_
c
oal
e
sce
:
only wrap constraints that ar
e
not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolae
g
e
isl_
c
oal
e
s
c
e
.
c: add
_
wraps: extract out com
m
o
n
add_wrap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
S
v
en
Verdoolaege
i
s
l
_
c
oalesc
e
.
c:
fuse:
copy va
l
i
d
half
o
f equalit
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
S
v
e
n Ve
r
d
o
o
laege
i
sl
_
coalesc
e
.
c:
fuse
:
e
x
tract out add_valid_cons
t
rai
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven
Verdoolaege
a
dd ext
r
a isl_set_coalesce test case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sv
e
n
Verdoolaege
isl_t
e
st: g
e
ne
r
alize coalesce t
e
s
t
s with
unbounded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl_coalesce
.
c:
c
o
n
tains: always return
e
quali
t
ies
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
S
ve
n
V
e
rdoolaege
isl_co
a
lesce_inf
o
: add
equal
i
ty and
inequality types
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
S
v
e
n
V
erdoolaege
isl_coale
s
ce
.
c: co
n
t
ains: pass isl_coales
c
e_info instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
i
s
l_coalesce
.
c:
w
raps_updat
e
_max: pass i
s
l_co
a
les
c
e
_info
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven
Verdoolaege
isl
_
co
a
lesce
.
c: add_wraps
:
pas
s
i
s
l_coal
e
sce_info instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven
Verdoo
l
a
e
ge
isl_map_
c
o
a
l
esce: keep track of information
o
n basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl_co
a
lesce
.
c: extract o
u
t
u
pdate_basic_maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl_coalesce
.
c: c
o
alesced_sub
s
et: s
e
pa
r
ate check from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
S
ven Ve
r
doola
e
ge
isl_coalesce
.
c: coalesce:
k
eep track of how a pair
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sve
n
Verdoola
e
ge
isl_coalesce
.
c: is_adj_eq_exte
n
sion: alwa
y
s
put extension
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
S
v
en Verdoolaege
isl_coalesce
.
c: f
u
se:
alw
a
ys p
u
t fused
b
asic map
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoo
l
aege
isl
_
coale
s
ce
.
c: wrap_in_
f
acets: s
i
m
plify computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Ver
d
oolaege
isl_coale
s
ce
.
c: check_eq
_
adj_
e
q: allow multiple equal
i
ti
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
S
v
e
n Verdoolaege
isl_test
.
c: fix whitespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven V
e
rdoo
l
aege
add
is
l
_b
a
s
i
c_map_
d
etect_i
n
equality_pairs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven
V
erdoolaege
Mer
g
e branch
'
maint'
commit
|
commitdiff
|
tree
2015-01-01
Sven Ve
r
dool
a
e
ge
isl_con
v
ex_
h
u
l
l
.
c: compute_fac
e
t: avoid double fr
e
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
ven Verdoolaege
isl_coalesce
.
c: co
a
l
esce_subset: p
r
operly in
d
i
c
ate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
ven Verdoolaege
isl_
c
o
alesce
.
c: set_from_updated_bmap:
upd
a
te u
n
derlying
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
i
sl_coalesce
.
c
: c
h
eck_facets: update just
i
fic
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Verdo
o
l
aeg
e
isl_coalesce
.
c:
check_facets: mark t
a
bl
e
a
u rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoola
e
ge
add is
l
_tab_m
a
rk_
r
a
tional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
doolaege
is
l
_co
a
lesce
.
c
: f
i
x t
y
pos in commen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n
V
erdoolae
g
e
is
l
_co
a
lesce
.
c
: can_wrap_i
n
_facet: updat
e
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoola
e
g
e
isl_
c
o
alesce
.
c: check_
w
rap
:
update comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_tab_relax: return int instead of i
s
l_tab
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
Verdo
o
laege
isl_tab_relax: avoid NULL po
i
n
t
er dereference
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
is
l
_tab_add_e
q
: propagate errors of drop_row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Verdoolaege
isl_ta
b
.
c
:
per
f
o
r
m
_
undo_var: propagate errors of drop_row
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl
_
tab_min_at
_
most
_
neg_
o
n
e: be consistent ab
o
ut ret
u
r
n
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdool
a
eg
e
Merg
e
branch
'
maint'
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdo
o
laege
isl_ast_build_ast_fro
m
_
s
chedul
e
:
remove redundant const
r
aints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Verdoolaege
a
d
d
i
sl_unio
n
_
{set,map}_remove_redundancies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaeg
e
isl_ast_
b
u
i
ld_expr
.
c: isl_ast_expr_add_
t
erm: allow
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verd
o
olaege
isl_
a
st_
c
od
e
gen
.
c
: add_implied_g
u
ards: combine d
e
gener
a
te
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Verdoolaege
i
s
l_
a
st_b
u
i
ld_expr
.
c: i
s
l_ast_expr_ad
d
_
t
erm: s
t
ore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Ve
r
doolae
g
e
isl_ast_buil
d
_expr
.
c: t
r
y_extrac
t
_mo
d
: de
c
lare variab
l
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Ver
d
oolaege
AST generator: select unroll low
e
r bound in
t
r
oducing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
S
v
en V
e
rdoo
l
ae
g
e
isl_as
t
_codegen
.
c:
move u
p
at_
o
ffs
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sve
n
Verdoo
l
a
e
ge
i
sl_a
s
t
_
codegen
.
c
: extract
o
ut
is_bet
t
e
r
_lowe
r
_
b
ound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-19
S
v
en Verd
o
olaege
isl_
p
rinte
r
_f
l
ush
:
ac
t
u
a
l
ly clear buffer when cal
l
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
v
en Verdoo
l
aege
isl_map_gi
s
t
:
try and
e
x
ploit implicit constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven V
e
rdoolaege
isl_test
.
c:
t
est_g
i
st: conside
r
t
e
s
t
inp
u
ts as sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
Ve
r
d
oolaege
a
dd
is
l
_map_unshifted_simpl
e
_hull_from_map_
l
ist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolae
g
e
add i
s
l_union_set_list_un
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next