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_tab_detect_redundant: check later constraints first
2016-04-01
Sven Verdool
a
ege
isl_tab_detec
t
_redundant:
ch
e
c
k later constraints first
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-01
S
ven Verdoolaege
isl_tab_
d
e
t
ect_redundan
t
: ext
r
act out select_marked
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-01
Sven Verdoolaege
i
s
l
_map_gist: special case subs
e
t context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-01
Sven Verdoolaege
isl_map_si
m
pl
i
fy
.
c: map_gist: extract out replace_
b
y
_
u
niverse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-01
Sven Verdoolae
g
e
d
o
c: add isl_o
p
tions_{get,set}_schedule_maximize_coincidenc
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-30
S
v
e
n Verdoolaeg
e
Me
r
ge bra
n
ch 'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-30
Sven Verdoolaeg
e
i
s
l_map_unshi
f
ted_
s
imple_hul
l
: take into a
c
count all
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-29
Sven Verdoolaege
dec
l
a
re more i
s
l_*_aff_to_st
r
function
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-29
Sven Ver
d
o
olaege
doc: rena
m
e
a
rgument of isl_multi_aff_t
o
_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sven
Verdoolaege
add isl_schedu
l
e_ex
p
and
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdoolae
g
e
a
d
d
i
sl_schedule_tree_set_pai
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdool
a
ege
isl_schedule_no
d
e_gist: drop
i
d
e
n
tity e
x
pansions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdoolae
g
e
isl
_
schedule_node_gist: extrac
t
out gi
s
t_l
e
ave_expansion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sv
e
n
Ve
r
doolaege
i
s
l
_
s
ch
e
dule_no
d
e
_
b
and
_
s
ink: handle expansions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdo
o
laege
isl_s
c
hedule_*_
{
g
et,peek}_
l
e
af: update
d
ocumentati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sven Ver
d
oolaege
add isl_schedule_con
s
traints_
a
pp
l
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdoolaege
a
dd
isl_schedule_
c
onstraints
_
get_pro
x
imity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdoolaege
isl_
s
ched
u
le
r
.
c: fix t
y
po
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdoo
l
ae
g
e
add isl_unio
n
_
m
ap_is_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdoolaege
add isl_m
a
p_is_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdo
o
laege
isl_b
a
s
ic_map_gist: si
m
plify s
t
ri
d
e
c
o
n
strain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-22
Sven V
e
rdoolaege
a
d
d isl_mat_row_gcd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-22
S
ven Ve
r
doolaeg
e
isl_test
.
c: test_gist: check internal consi
s
tency
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-22
Sv
e
n V
e
rdoolaege
isl_
m
ap_simplify
.
c: fix typ
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-22
Sven Ver
d
o
o
laege
isl_ast_bu
i
l
d
_expr_f
r
om_pw_aff: sort
pieces according
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoo
l
aege
isl_
a
st_build_expr
_
fr
o
m_pw_af
f
: move
c
omputation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoolae
g
e
i
sl
_
ast_build_expr_f
r
o
m_p
w
_aff: collect all pie
c
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-22
Sven
Ve
r
d
oolaege
i
s
l_ast_b
u
i
l
d_expr_from_p
w
_aff
:
extrac
t
out set_none
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoolaege
isl_ast_buil
d
_expr
.
c
: fix t
y
po in
c
omme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-21
Sven Verdo
o
laege
Merg
e
branch
'ma
i
nt'
commit
|
commitdiff
|
tree
2016-03-18
Sv
e
n Ve
r
doolae
g
e
isl_ast_codegen
.
c: set_for_no
d
e_exp
r
essions: improve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-18
Sven Ve
r
doolaege
i
s
l_uni
o
n_
p
w_multi_
a
ff_from_multi_union_pw_aff:
p
lug
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-18
Sven Verdoolaege
isl_pw_*_union_opt_cmp: av
o
id constructi
n
g a quadra
t
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-18
Sven Ve
r
doolaege
ex
t
ract out shared isl
_
pw
_
*_un
i
on_opt_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-18
Sven Verdo
o
laeg
e
ad
d
i
sl_
a
ff_{le,ge}_se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
S
v
en Verdoolae
g
e
isl_pw_*_c
o
a
l
esce: sort f
u
nction valu
e
expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Ve
r
d
o
olaege
isl_pw_*_normalize: extract out isl_pw_*_s
o
rt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
S
v
e
n
Verdoolaege
isl_pw_*_norm
a
lize
:
sort pieces base
d
on func
t
io
n
value
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoo
l
aege
isl_pw_*_normali
z
e
:
use
i
sl_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven
Verdoolaege
isl_
p
w_templ
.
c: fix ty
p
o in commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolaege
a
d
d i
s
l_mul
t
i_af
f
_
p
lain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sv
e
n Ver
d
oo
l
aege
p
r
i
vat
e
ly expor
t
isl_aff
_
plain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
S
v
e
n Verdoola
e
ge
ad
d
isl
_
qpo
l
ynomia
l
_fold_pl
a
in_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sv
e
n Verdoolaege
add isl_qpolyn
o
mial_plain_
c
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven
V
er
d
o
olae
g
e
i
s
l
_lo
c
al_space_cm
p
:
extract
out isl
_
l
o
c
a
l_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven
Ver
d
oolaege
is
l
_local_space_d
i
v_is_known: extra
c
t ou
t
isl_lo
c
al_
d
iv_is_kno
w
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolaege
isl_local_space_divs_known: r
e
use isl_local_
s
pace_div_i
s
_known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoola
e
ge
isl_
l
oca
l
_space_d
i
v
_is_known: ret
u
rn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verd
o
olaege
add AST generation test case test
_
i
nputs/codegen/correlati
o
n
.
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
S
ven Verdoolaege
isl_map_pa
r
tial_lexopt_aligned_pw_mul
t
i_a
f
f: do not
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoola
e
ge
isl_map_
l
exo
p
t_templ
.
c: basic
_
map_partia
l
_
l
exopt*:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
S
v
en Verdoolaege
isl_m
a
p
_lexopt_
t
empl
.
c: fix whitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
S
v
e
n
Ve
r
doolaeg
e
i
sl_ma
p
_is_disj
o
i
nt:
a
void computing ent
i
re intersection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
S
v
en
V
erdoolaege
isl_ma
p
_plain_is_di
s
j
oint: extra
c
t o
u
t isl_map
_
plain_is_disj
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolaege
is
l
_map_plain_is_disjoint: e
x
tr
a
ct out all_pairs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Ve
r
doolaege
isl_ma
p
_is_d
i
s
joint: check for
(
obviousl
y
) equ
a
l inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolaege
isl
_
multi_h
a
s
h
.
c: add
m
issing copyright s
t
atem
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolaege
isl_pw_hash
.
c: add
m
issing co
p
yrig
h
t sta
t
e
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-09
Sven Ver
d
oolaege
add isl_multi_aff_l
e
x_{l
t
,
g
t}
_
se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sv
e
n Verdoolaege
gen
e
raliz
e
isl_hmap_templ
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdoolaege
isl_s
c
hedule
r
.
c
: inter_coe
f
f
icients: use
i
s
l
_
map_to_bas
i
c_se
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdoolaege
isl_scheduler
.
c
:
intra_coeffi
c
ients:
u
se isl_map_t
o
_
b
a
s
ic_se
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
S
v
en Verdool
a
ege
i
s
l_
a
st_
e
xpr_substitute
_
ids: use is
l
_id_
t
o
_ast_expr_
t
r
y
_
g
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
S
v
en Verdoolaege
add is
l
_*_
t
o
_
*
_
t
ry_get
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sven
Ve
r
doolaege
add isl
_
val_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
S
v
e
n Verdoolaege
add isl_union_{set,map}_get_
h
ash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sven
Verdoolaege
add isl_multi_pw_aff_ge
t
_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdoolaege
ad
d
isl
_
pw_aff_g
e
t_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sven Ver
d
ool
a
ege
extra
c
t
out isl_
p
w_mac
r
o
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdoolaege
a
d
d
i
sl_aff_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sv
e
n Verdoolae
g
e
a
dd isl_local_space_
g
et_ha
s
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdoolaege
add isl_mat_g
e
t_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sv
e
n Verdoolaege
add i
s
l_vec_get_has
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
S
ven Verdoolaege
isl_ast_bui
l
d
_
has_s
t
ride
:
retu
r
n i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdoolaege
add isl_bool_not
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-03
Sven Verdoolaege
isl_pw_aff_is_equa
l
: che
c
k
for
Na
N
s in inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-02
Sven Verdoolaege
isl_basic_ma
p
_from_aff: check that inpu
t
is not a NaN
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-01
Sven V
e
rdoolaege
isl_pw
_
aff_cond: special case equal argum
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-01
Sv
e
n Verdoolaege
expo
r
t isl_{set,
m
ap}_uns
h
i
f
ted_si
m
p
l
e_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-28
Sven Ve
r
doolaege
ex
p
o
rt isl_set_
{
mi
n
,max}_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-28
Sven Verd
o
olaege
isl_basic_map
_
s
a
mp
l
e: cach
e
s
am
p
le
i
n input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-28
Sven Verdoola
e
ge
ext
r
act ou
t
shared isl_ma
t
_
f
inal_variable_co
m
p
ressi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-28
S
v
en Verdoolaeg
e
i
s
l
_mat_variable_co
m
pression: extract
out empty_compression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-28
Sven Verdoolaege
isl
_
mat_variable_compression: reuse
l
ocal variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-28
S
ven
Verdo
o
laege
isl_mat_variabl
e
_compre
s
sion: ch
e
c
k
the number
of equality
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-28
Sven Verdoolaege
isl_mat_vari
a
ble_compression: use isl_mat
_
get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-28
A
l
e
xandre Isoard
isl_output
.
c: als
o
pr
i
nt dimens
i
on name for dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-25
Sven Verd
o
ol
a
ege
i
s
l_prin
t
er_yaml_st
a
rt_
s
e
q
uence: handle
N
ULL i
n
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-25
Sv
e
n Verdoolaege
isl_ma
p
.
c: set_paramete
r
_preimage:
a
dd mem
o
r
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-25
Sven Verd
o
olaege
isl_map
.
c: set_paramete
r
_preimag
e
: avo
i
d lo
o
king
into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-25
Sven Ve
r
doolaege
i
s
l_
m
ap
.
c: set_parameter_preimage: av
o
id
looking int
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-25
Sven Verdoola
e
ge
i
sl_m
a
p
.
c: set_param
e
t
er_preimage: do
n
ot
d
r
o
p
is
l
_set_
r
e
set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-25
S
ven Verdoolaege
isl_map
.
c: set_paramet
e
r_pre
i
mage:
rename "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-25
S
v
en Verdoolaege
isl
_
basic_map_drop_redundant_divs: exploi
t
equ
a
lities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-22
S
v
en V
e
rdoolae
g
e
isl_ma
p
_simpl
i
fy
.
c: extra
c
t out isl
_
basic
_
map_ma
r
k_div_unk
n
o
wn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-22
Sven Ver
d
oolaeg
e
extract out
s
hared i
s
l_ba
s
ic_map_first_unkno
w
n
_
d
iv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-22
Sven Verdo
o
l
aege
move
integer divi
s
ion
s
anity che
c
k
t
o i
s
l_basic_
m
a
p
_
order_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-22
Sven Verdoolaege
isl_tab_ba
s
ic_map_par
t
ial_
l
e
x
opt: exp
l
oit partial so
l
u
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-22
Sven Verdo
o
laege
is
l
_transitive_closure
.
c: e
m
pty_p
a
th_
i
s_iden
t
ity: call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-22
Sven V
e
rdoola
e
ge
add isl
_
basic_{set
,
map
}
_pl
a
in_is_u
n
iverse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
