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_pip.c: propagate_equalities: remove undo tracking when done
2016-06-27
Sven Verdoola
e
ge
isl_tab_pip
.
c: propagate_eq
u
aliti
e
s:
r
emov
e
u
ndo tracking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oola
e
ge
add
i
s
l_tab_
n
e
ed_undo a
n
d isl_tab_clea
r
_undo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoolaeg
e
is
l
_tab_basic_map_p
a
r
t
ial_lexopt
:
limit
scope of symmetr
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n
Verdoolaege
isl_test
.
c: g
e
neralize isl_map_lexmin tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdoolaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
ae
g
e
doc: make reason for isolate
option resulting in anch
o
red
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
S
v
e
n
Verdoolaege
isl_ta
b
_pip
.
c
:
parallel
_
con
s
traints: r
e
mo
v
e stale line
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
S
v
e
n Verdoolaege
isl_tab
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdo
o
lae
g
e
i
sl_*_par
t
ial_lex{min,max}_pw_
m
ul
t
i_aff: handl
e
existe
n
tiall
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven V
e
r
doolaege
isl_tab_
p
ip
.
c:
sol_pma_add: extract out set
_
from_
a
ffine_
m
a
t
rix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
add isl_basic_set_div_is_known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Verdoolaeg
e
add
i
s
l
_basic_set_
s
wap_d
i
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
add isl_mat
_
scale
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoola
e
ge
isl_pip
:
allo
w
existentially quant
i
fied vari
a
ble
s
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Verdoola
e
ge
pip
.
c: set_plug_in_
p
a
r
ameters: a
d
d
m
emory managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
p
i
p
.
c
;
plug_in_p
a
rameters: ad
d
me
m
o
ry m
a
nageme
n
t annotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Ve
r
doolaege
pip
.
c
: opt_a
t
: add mem
o
ry management an
n
o
t
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven V
e
rdoolaege
p
ip
.
c
:
opt_at:
avoid
a
cce
s
sin
g
ctx field
d
irectly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n
V
e
rdoola
e
ge
add i
s
l
_
basi
c
_map_div_is_marke
d
_unknow
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sve
n
Verdoolaege
isl
_
map
.
c: div
_
is_unk
n
o
wn:
retur
n
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Tob
i
as G
r
o
ss
e
r
Add new i
s
l_a
s
t_n
o
de_to_
C
_str
f
unction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Add new is
l
_ast_expr_to_C_str function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosse
r
python inte
r
face: replace asse
r
t wit
h
ex
p
licit
a
bort
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
T
obias Gro
s
se
r
p
yt
h
on i
n
terface: replace assert with explicit
a
b
o
r
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
S
v
en Verdo
o
laege
d
o
c: clarify that
i
sl_pr
i
nter_get_str can only be
u
sed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-14
Sven
V
e
rdoolaege
doc: cle
a
n up e
x
tra
f
i
les generat
e
d by biblatex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
S
v
e
n V
e
rdoolaege
i
sl_schedule_node
_
band
_
split: preserve
isolat
e
opti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven
Verd
o
o
l
aege
add p
r
ivate
isl_sche
d
ule
_
band_re
p
lace_ast_build_option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoola
e
ge
u
s
e isl_sched
u
le_node_band_get
_
ast_isol
a
te_opt
i
on to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Ve
r
dool
a
ege
ad
d
isl_sch
e
dule_b
a
nd_g
e
t_ast_isolate_option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sv
e
n Verdoolaege
isl_b
a
sic_map_remove_redundancies: sort constra
i
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Ve
r
doolaege
i
sl_c
o
alesce
.
c: fuse: s
i
mpl
i
fy fus
e
d result
immediate
l
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
S
ven
V
erdoolaege
isl_c
o
a
lesce
.
c: fuse: call isl_basic_map
_
f
i
nali
z
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
is
l
_map_coalesce: chec
k
f
or prot
r
usions on adjacen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
doo
l
aege
i
s
l_map_coalesce: allow protrusions ou
t
of equality
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
V
erdoolaege
i
s
l_coal
e
s
c
e
.
c: wrap_in_fa
c
e
t
s
:
extract
out try_wrap_in
_
facets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ver
d
o
o
l
aege
isl_coalesce
.
c: can_
w
rap_in_set
:
extr
a
ct out
t
yp
e
_of
_
relaxed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n Verdoolaege
isl_coalesce
.
c
:
wr
a
p_in_
f
acets
:
extract out wrap_in_facet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ver
d
ool
a
ege
isl_coale
s
ce
.
c
: can_wra
p
_in
_
set: m
i
n
or si
m
p
lification
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
v
en
Verdoolaege
isl_coalesce
.
c: wrap_in_
f
ace
t
s
:
do no
t
pass in list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
v
e
n Ver
d
oolaege
isl
_
map_coale
s
ce: t
i
ghten constraints o
f
pote
n
tia
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaeg
e
is
l
_m
a
p
_
co
a
l
e
sce: allow general coal
e
scing with expand
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
doolaege
isl_
c
oalesc
e
.
c: coalesce_
w
ith_
e
x
pa
n
ded_d
i
v
s: store
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdool
a
ege
is
l
_
coalesce
.
c
:
coalesce_local_p
a
ir: a
l
low reu
s
e of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdoolaege
isl_coal
e
sce
.
c
:
coale
s
ce_local_pair: extract
out set_in
e
q
_st
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verd
o
olaege
is
l
_
c
oalesc
e
.
c: coalesce_local_
p
air: extract out set_
e
q_sta
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verd
o
olaege
isl_coalesce
.
c: coalesce_lo
c
al_p
a
ir: extract out cl
e
a
r
_status
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sve
n
Verdoo
l
ae
g
e
isl
_
coalesce
.
c:
co
a
lesce_lo
c
al_pair: ext
r
act out i
n
i
t
_status
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
rdoola
e
ge
i
sl_co
a
l
esce
.
c: generalize check_coalesc
e
_su
b
se
t
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
d
o
o
laege
add isl_options_{get,set}_pip_symmetr
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sven Ver
d
oolaege
add
i
sl_
b
asic_ma
p
_expand_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sven Verdoolaege
i
sl_map
.
c: fix typos in com
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sven Ver
d
o
o
laege
isl
_
output
.
c: fix typo in com
m
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
S
v
e
n Verdoolaege
isl_tab
.
h:
f
ix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-03
Sv
e
n
V
e
r
d
oo
l
aege
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2016-06-03
Sven Verdoolaege
isl_basic_s
e
t_expan
d
_divs:
o
n
l
y add div constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sv
e
n V
e
rd
o
o
laege
is
l
_coal
e
sce
.
c: a
d
d_sub_var
s
:
explic
i
tly mark ad
d
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
isl_coa
l
esce
.
c:
add_sub_vars
:
move
"correct"
i
nteger
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven V
e
rdoolaeg
e
isl_
c
oalesce
.
c
: wr
a
p_in_fa
c
ets:
avoid invalid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en Ver
d
oolaege
is
l
_pri
n
ter_
p
r
i
nt_m
a
p: print div co
n
straints again
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sve
n
Verdo
o
laege
isl_printe
r
_print_map: fix printing of
a
ffine expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolae
g
e
isl_output
.
c: print_di
s
juncts: a
v
oid invalid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven
V
erdoo
l
aege
isl_outpu
t
.
c: print_disjunct: han
d
le NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
S
ven
V
erdoolaege
isl_vec_alloc: pl
u
g m
e
mory leak on
e
rror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en
V
erdool
a
eg
e
isl_blk
.
c
: e
x
tend: plug memory leak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sv
e
n Verdoolaege
AST generation: special cas
e
pure outer
d
isjunctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolae
g
e
add is
l
_{se
t
,map}_
d
r
o
p_constr
a
ints_not_involving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sv
e
n Ver
d
o
ol
a
ege
add
i
s
l
_{s
e
t,map}_p
l
ain_unshifted_
s
imple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
ve
n
V
e
r
doola
e
ge
AST g
e
n
eration: always print braces around bo
d
y of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
v
en Verdoolaege
isl_tab_pip
.
c: find
_
sol
u
tions: extract o
u
t rese
t
_any_to_un
k
nown
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
is
l
_map
_
*_simple_hull: keep res
u
lts in a cache
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
v
e
n V
e
rdoolaege
im
p
lement isl_set_free in terms of isl_map_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
i
m
plem
e
nt isl_set
_
co
w
i
n ter
m
s o
f
isl_m
a
p_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
i
mplement isl_
s
et_alloc_space i
n
t
erms of
isl_ma
p
_alloc_spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdo
o
laeg
e
is
l
_
map_alloc_space
:
ren
a
m
e
"
dim"
a
rgument t
o
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
v
e
n
Verdoolae
g
e
isl_se
t
_al
l
o
c
_
space
:
rename
"
d
i
m" argument
t
o "spac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
is
l
_
p
w_multi_aff_from_map: avoi
d
comput
i
ng all equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolae
g
e
i
s
l
_pw_multi_aff_from_m
a
p: extrac
t
o
u
t pw_multi_a
f
f_f
r
om_map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
T
o
bias G
r
osser
Export i
s
l_
v
al a
r
ithm
e
tic and comparison
m
ethods
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_ma
p
_sim
p
lify
.
c: int_be
t
w
e
en_
b
ounds
:
cre
a
te tableau
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven V
e
rdool
a
ege
i
s
l_map
_
simplif
y
.
c: int_between_bounds: special cas
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven V
e
rdoolaege
isl_map_simplify
.
c: int_between_bounds: exploit the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verd
o
ola
e
ge
isl_basi
c
_map
_
drop_r
e
dund
a
nt_divs: handl
e
mo
r
e ca
s
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
S
v
en Verdoolaege
isl_map_simplify
.
c: d
r
op
_
mo
r
e_
r
edundant_divs: test
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
S
v
en
V
er
d
o
o
laege
isl_map_simplify
.
c:
drop_more_redundant_
d
ivs: col
l
ect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ver
d
o
olaege
isl_
m
ap_simplify
.
c: drop_more_redundant_divs:
n
o
ne
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verd
o
olaege
isl_
t
est
.
c: test_div: extr
a
ct out test_
e
limination
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ver
d
oolaege
isl_
m
ap_simplify
.
c:
c
o
ns
t
r
u
c
t_test_i
n
eq: use is
l
_basic
_
map_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sve
n
V
e
rdoolaege
is
l
_map_simp
l
ify
.
c: c
o
nstruc
t
_test_ineq: u
s
e isl_ba
s
i
c_m
a
p_o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_map_s
i
mplify
.
c: drop_more_redun
d
an
t
_di
v
s
:
avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sv
e
n Verdoolae
g
e
isl_map_simplify
.
c: drop
_
mor
e
_
r
edu
n
dant
_
div
s
: u
s
e
isl_basi
c
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_map_
s
implif
y
.
c
:
drop_more_red
u
ndan
t
_divs:
u
se
isl_b
a
sic_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sv
e
n Verdoolaege
isl_basic_map_drop_redundant_divs_ineq: s
i
m
pl
i
fy logic
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
is
l
_
basic_map_drop_
r
edun
d
ant_d
i
vs_ineq: extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ver
d
oolaege
Merge branch
'maint' into H
E
AD
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoola
e
ge
isl_map_simp
l
ify
.
c: drop_more_r
e
dun
d
ant_divs: im
p
r
ove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ve
r
doolaeg
e
i
s
l_scheduler
.
c
: fix
typo
in
comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven
V
erdoolaege
isl
_
map_simplify
.
c: fix typo
in commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_c
o
n
v
e
x_hull
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ver
d
oolaege
i
sl_affine_hull
.
c
:
fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
