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
doc: add description of isl_space_is_equal
2016-08-31
Michae
l
K
r
use
doc: add description of is
l
_
s
pace_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-08-12
Sv
e
n Verdoolae
g
e
isl_map_coa
l
esce: only tighten non-r
e
d
undant
constrai
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-22
Sven Verdoola
e
g
e
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2016-07-22
Sven
V
e
r
doolaege
i
s
l_basic_map_offset: handle NUL
L
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-22
Sven Verdoolaege
i
sl_bas
i
c_map_off
s
et: ren
a
m
e
"
d
im" variable to "
s
pace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-21
Sve
n
V
e
rdoolaeg
e
i
n
terface/extract_interfa
c
e
.
cc: add miss
i
n
g
include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
doc: minor clarificat
i
on
of anchore
d
s
ubtrees
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
is
l
_tab_
p
ip
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ver
d
oolaege
isl_set_min_va
l
: fix handling of
i
np
u
t
w
ith
e
mp
t
y
b
as
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sv
e
n
Verd
o
olaege
isl_*_partial
_
lex{min,max}_
p
w_mul
t
i_aff: re
m
ove ex
i
sten
t
ials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sv
e
n Verdool
a
ege
i
s
l
_*_
p
artial_
l
ex{
m
in,max}_pw_multi_aff:
f
i
x
h
andling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sv
e
n Verdo
o
laege
add isl_b
a
sic_set_first_unkno
w
n_di
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolae
g
e
is
l
_tab
_
p
i
p
.
c:
i
sl_co
n
text_
o
p
.
add_div: ge
n
e
r
aliz
e
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rdool
a
ege
isl_tab_add_div: extract out isl_
t
ab_insert_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdool
a
ege
isl_tab_ad
d
_div: check size o
f
integer divisi
o
n description
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
isl_b
a
sic_ma
p
_add
_
div: generalize to isl_basic_map_insert_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
isl_basic_map
_
add_d
i
v: explic
i
tly zero o
u
t
c
oefficient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ve
r
do
o
la
e
ge
e
x
tract
o
ut share
d
isl_basic_map_add_d
i
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ve
r
doolaege
isl_tab
:
kee
p
track of location
of i
n
serted inte
g
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
isl_tab
.
c: perf
o
rm_
u
ndo:
extr
a
ct out drop_bmap_di
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaeg
e
p
r
ivately export is
l
_
b
asi
c
_
m
ap_drop_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
S
v
e
n
Verdoolaege
isl_basic_map_drop_div: add
m
emory ma
n
agement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rdoolae
g
e
i
s
l_tab_pip
.
c
:
isl_context_op
.
free: return N
U
LL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
S
ven Verdoola
e
ge
isl_tab_pip
.
c: isl_co
n
t
ext_op
.
add_di
v
:
r
et
u
rn isl
_
bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ve
r
doolaege
isl_tab_pip
.
c
: context_tab_add
_
d
i
v: retu
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
isl_tab_pip
.
c
: a
d
d
_div: add
me
m
ory
m
a
nagement annotatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
isl_tab_p
i
p
.
c: isl_context_op
.
add_div: ad
d
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-18
Sven Verdoolaege
isl_tab_pip
.
c
:
c
o
nte
x
t_tab_ad
d
_div: a
d
d memory
m
a
n
ag
e
men
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-18
Sven Verdoolaege
isl_tab_p
i
p
.
c: set_fr
o
m_af
f
ine_matrix: impro
v
e
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sv
e
n Ver
d
oolaege
isl_map_coale
s
ce:
add check that basic map and tableau
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
S
v
en Verdoolaege
is
l
_ta
b
_
d
etect_implicit_equalities
:
d
o not
a
dd ext
r
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaeg
e
isl_tab
.
c
:
cut_to_hyper
p
lane: improve
e
r
ror mes
s
age
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Ver
d
oolaege
isl_ta
b
.
c
:
cut_to_hyperplane: return
isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sv
e
n Verdoolaege
i
s
l_
t
ab
.
c: close_row:
i
mpr
o
ve error me
s
s
a
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoo
l
a
e
ge
isl_tab
.
c: close_row: improve error
m
essage
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
is
l
_
tab
.
c: close_row:
r
etu
r
n i
s
l_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Gro
s
ser
add isl_map_dim_min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
S
v
en Ve
r
d
o
olaege
export isl_pw_qpolyn
o
mia
l
_
e
va
l
and
i
sl_unio
n
_p
w
_qpolynomial_eval
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdool
a
e
g
e
export isl
_
pw_qpolynomial
_
dom
a
in and isl_union_pw_qpolynomia
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sv
e
n Ve
r
doolaege
e
xport isl
_
basic_s
e
t_s
a
mple_point and
i
sl_set_sa
m
ple_point
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
T
o
b
i
as Grosser
py
t
hon interface: ex
p
ose
constructio
n
of AST n
o
de from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
T
obias Gro
s
ser
pyt
h
on interface: expose isl
_
ast_build an
d
isl_ast_ex
p
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python
i
nterf
a
ce: au
t
omat
i
cal
l
y derive
meth
o
d typ
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python
interface: only export __str__ and _
_
repr_
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
S
ven Verdoolaege
p
y
tho
n
interface: add type
c
h
eck to __str__ methods
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
S
v
en Ver
d
oolaege
p
ython interface: isl_
c
la
s
s::print_method: extract
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoola
e
ge
p
ython int
e
rface: isl_class::prin
t
_me
t
hod: update document
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdo
o
laege
de
c
lare
more isl_*_to_str fu
n
cti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
ython inte
r
face: support '
c
har *' and
'
c
o
nst char
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
S
ven Verdoolaege
python interfa
c
e: isl_class
:
:pri
n
t_method
:
extract
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Grosser
python interfac
e
:
e
x
trac
t
method print
_
method_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Grosser
python i
n
terfac
e
: a
d
d export
e
d_ pr
e
fix to
M
yASTConsumer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
T
o
b
i
as Grosser
p
y
thon
interface: extract meth
o
d
print_met
h
od_ty
p
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s
G
rosser
pyth
o
n interfa
c
e: extract method print_representation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
S
v
e
n
V
erdoolaege
i
s
l_pw_aff_read_from_str: han
d
le 0D domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven V
e
rdo
o
laege
expose is
l
_ast_
n
ode_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
ven Verdoolaege
d
u
mp
isl_ast_exp
r
and isl_as
t
_node obj
e
cts in block
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verd
o
olaege
isl_sched
u
le
.
c
:
extract out gene
r
ic *_t
o
_str
a
n
d
*_dump
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoola
e
ge
isl_print
e
r_
p
rint_ast_node: include
i
terato
r
o
f for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
v
en Verd
o
olaege
isl_printer_print
_
a
s
t_n
o
de:
p
r
i
nt
i
sl_as
t
_
node as YAML
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaeg
e
i
s
l_printer_print_as
t
_expr: su
p
port an i
s
l f
o
r
mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sv
e
n Verdoo
l
aege
isl_printer
_
print_ast_expr
:
ext
r
act out prin
t
_ast_expr_c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven V
e
r
d
oolaeg
e
is
l
_ast
.
c: is
l
_p
r
inter_print_as
t
_expr: drop needless
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoo
l
aege
i
s
l
_ast
.
c: remove
m
o
re remnants of
c
ode rem
o
ved befo
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
v
en V
e
rdoolaege
interface: update to
C
o
m
pilerInvocati
o
n::setLan
g
Defaults
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ver
d
oolaege
Merg
e
branch
'
maint
'
commit
|
commitdiff
|
tree
2016-06-28
Sv
e
n Ver
d
oolaege
is
l
_printe
r
_pri
n
t_a
s
t
_
no
d
e: fix
printi
n
g of mark nodes
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en V
e
rdoolaege
isl_map_is_equa
l
:
f
irst c
h
eck
i
f inputs are obviously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaege
i
s
l_*_lexopt: u
s
e act
u
al domain of
input as ini
t
ial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
V
e
rdoolaege
ad
d
is
l
_basic_
s
et_
l
exm
i
n_
c
ompute_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdoolaege
isl_map_lexopt*
:
c
ompute opt
i
mum over
a
ppr
o
xima
t
e
domains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdoo
l
aege
isl_
b
a
sic_map_lexopt*
:
postpone extraction
o
f domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoolaege
isl_*_lexo
p
t*: rep
l
ace "max"
a
r
gument by "flags"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoolaege
isl_tab_bas
i
c_map_parti
a
l_lexopt*: clean up error handlin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoolaege
m
e
rge isl_basic_*
_
part
i
al_lex
*
im
p
lementations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en V
e
rdoolae
g
e
isl
_
basic_m
a
p_le
x
o
p
t
*
:
p
r
e
i
nitialize domain in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doola
e
ge
merge isl_tab_b
a
s
i
c_ma
p
_partial_
l
e
xopt* implementations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
rename basic_map_partial_lexopt*_pma to
b
asic
_
map
_
partial_le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
e
n
Verdoolaege
rename basic_map_partial_lexopt*_map to basic_m
a
p_
p
art
i
al_le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoola
e
g
e
rename basic_map_partial_lexopt_base to basic_map_partial_le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaeg
e
a
dd int
e
rmedi
a
te i
s
l
_
tab_basic_map_partial_lex
o
pt_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
er
d
oolaeg
e
isl_basic_map_
c
ompat
i
ble_domai
n
: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Ver
d
oolaege
isl_space_match: retu
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoolae
g
e
isl_space_matc
h
: rename "
d
im" arguments
to "spa
c
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_space
.
c
:
match: rename "dim" arguments to "space
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdool
a
ege
isl_b
a
sic_map_compatible_
d
oma
i
n: add me
m
ory man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
la
e
ge
isl_basic_*_partial_lex*
:
ad
d
memor
y
manage
m
ent annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Ver
d
o
olae
g
e
i
s
l_tab_bas
i
c_map_pa
r
tial_l
e
x
o
p
t: a
d
d m
e
mory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_ta
b
_pip
.
c: isl_
c
on
t
ext_gb
r
_alloc:
a
dd me
m
o
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdoolaege
isl_
t
ab_pi
p
.
c: isl
_
context_alloc:
ad
d
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdoo
l
aege
isl
_
tab_pip
.
c: propaga
t
e
_
e
q
ualities: rem
o
ve undo tr
a
c
king
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
e
n Verd
o
olaege
add isl_tab_ne
e
d_undo and
i
s
l_
t
ab_clear
_
u
n
do
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
i
s
l_
t
ab_basi
c
_
m
ap
_
partial_lex
o
p
t
: li
m
it scope of
s
ymmetry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl
_
test
.
c: generalize isl_map_le
x
min
tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoolaege
d
oc
:
fi
x
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdo
o
laege
doc: make reason for is
o
late
o
ption r
e
sulting in anch
o
red
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven
Verdool
a
ege
isl_tab_pi
p
.
c: parallel_const
r
aints: remove stale line
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven
V
erd
o
olaege
isl_ta
b
.
c: fi
x
t
y
p
o
in co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdool
a
ege
isl_*_par
t
i
al_lex{min
,
max}_pw_multi_aff:
h
andle existentiall
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Verdoolae
g
e
isl_tab
_
p
i
p
.
c: so
l
_pma
_
add: extract
o
u
t
set_from_affine
_
m
a
t
r
ix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next