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
split off isl_schedule_constraints code from scheduler code
2016-09-04
Sven Ver
d
oolaege
s
p
lit off isl_sched
u
le_constraints
c
ode from sch
e
duler
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
i
sl
_
schedul
e
r
.
c: co
m
pute
_
max_
r
ow: use isl_s
c
hedule
_
co
n
strai
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven
Verdoolaege
isl_sc
h
eduler
.
c: extract out shared isl_s
c
hedule_constraints_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
isl_scheduler
.
c:
graph_
i
nit:
u
se
i
sl_schedul
e
_constra
i
nts
_
get
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
S
ven Ver
d
o
o
laege
isl_
s
cheduler
.
c:
e
xtract out shared isl_s
c
hedule_c
o
nstraints_get
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sve
n
Verdoolaege
isl_scheduler
.
c
:
extr
a
ct out i
s
l_schedu
l
e_constra
i
nts_
n
_basi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
S
v
en V
e
rdoo
l
aege
isl_
s
cheduler
.
c:
compute_m
a
x_r
o
w:
r
e
t
urn isl_s
t
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoola
e
ge
i
sl_
s
cheduler
.
c
:
isl_
s
chedule_constra
i
nts_n_map: dr
o
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ve
r
do
o
laege
isl_schedul
e
r
.
c
:
graph_init:
use
i
s
l_
s
ched
u
le_
c
onstraints_ge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
S
ven
Ver
d
ool
a
ege
ad
d
isl_
s
che
d
u
le_constraint
s
_get_
c
ontext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
doc: clarify th
a
t isl
_
codegen c
a
n also (primaril
y
)
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
doc: clari
f
y tha
t
o
n
l
y polyto
p
e/polyhedron
i
nputs may
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven
V
erdoolaeg
e
isl_map
_
fr
o
m_pw_
m
ulti_aff: preser
v
e
r
ationa
l
flag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdool
a
ege
add is
l
_{set,ma
p
}_is_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolae
g
e
add isl_basic_map_from_multi_aff2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verd
o
olaege
isl_basic_map_ra
n
ge_product: pr
e
serve rat
i
onal fla
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
isl_coalesce
.
c: fuse: mark re
s
ult a
s
rat
i
ona
l
befo
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven
Verdoolaeg
e
config
u
r
e
.
a
c: fi
x
de
s
cription of SETL
A
NGDEFAU
L
T
S_TAKE
S
_
5_A
R
G
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sv
e
n Verdoolaege
configur
e
.
a
c
: i
m
prove det
e
ction of
5
-
a
rgument setLang
D
efaults
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoola
e
ge
interface/ex
t
ract_inte
r
face
.
c
c: check for presence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-08-31
Mic
h
a
e
l
Kruse
ma
k
e isl_sp
a
c
e_
h
as_equal_tup
l
e
s public
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-08-31
Mic
h
ael Kruse
isl_space
.
c:
i
s
l_spa
c
e_has_equal_tupl
e
s: re
t
urn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-08-31
M
i
chael Krus
e
doc:
a
d
d desc
r
iption
o
f
isl_space_i
s
_
equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-08-12
Sven V
e
r
d
oo
l
a
e
g
e
isl_m
a
p
_
coa
l
esce:
only tighten non-redundant constraint
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-22
S
v
en
V
e
r
do
o
la
e
ge
Merge branch 'maint'
commit
|
commitdiff
|
tree
2016-07-22
Sven Verdoolaege
isl_basic_map_offs
e
t: hand
l
e NUL
L
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-22
Sven V
e
rdoolaege
isl_b
a
sic_map
_
o
f
f
set: rename "dim" variable to "s
p
ace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-21
Sven Verdool
a
e
g
e
interface/
e
xtract_inte
r
face
.
cc: add mis
s
ing in
c
lude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven
Verd
o
ola
e
ge
d
oc: minor cl
a
rif
i
cati
o
n
of anc
h
o
r
ed
s
ubtrees
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven
V
erdoolaege
isl_tab_pip
.
c: fix typos in co
m
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven
V
e
r
d
oolaege
isl_set_min_val:
fix h
a
ndling o
f
inp
u
t
with empty
basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdo
o
laege
isl_*_partial_lex{min,m
a
x}
_
pw_multi_aff: remove exist
e
ntials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
S
v
en Verdoolaege
isl_*_
p
artial
_
lex{min,max}_pw
_
mult
i
_aff: fix handli
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sve
n
Verdoolaege
add i
s
l_basic_set_first_unknow
n
_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
S
ven V
e
rdoolaege
i
s
l_tab_
p
ip
.
c: isl_context_
o
p
.
add_div: general
i
z
e to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ve
r
doolae
g
e
i
s
l_tab_
a
d
d_
d
iv: extract o
u
t isl_tab_
i
nsert_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
i
sl_tab_add_div:
c
heck
size of integer division description
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
S
v
e
n Verd
o
olaege
i
s
l
_basic_map
_
a
d
d
_d
i
v: generalize to isl_basic_map_insert_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verd
o
olaege
isl_basic_map_add_
d
iv: explicitly zer
o
out coefficient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sve
n
Verdoolaege
e
xtract out
s
hared isl_basic_map_add_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaeg
e
i
s
l
_
t
ab: keep track of location of in
s
e
r
t
ed in
t
eger
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ve
r
doolaeg
e
isl
_
tab
.
c: perfo
r
m
_undo: extract out drop
_
bm
a
p_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
S
ven
V
erdoolaege
privately export isl_basic_ma
p
_
d
rop_
d
iv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rdoolaege
i
sl
_
basic_
m
a
p_drop_div: add
m
emory
m
anagem
e
nt annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sv
e
n
Verdoo
l
aege
isl_t
a
b_pip
.
c
:
isl_context
_
o
p
.
free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven
V
erdoolaege
is
l
_tab_pip
.
c: isl_co
n
text_o
p
.
add_div: return
i
s
l
_
bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sve
n
Verdoola
e
ge
isl_tab_pi
p
.
c: co
n
te
x
t_tab_a
d
d_
d
iv: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
S
ven Verdoolaege
isl_tab_pip
.
c: add_div: a
d
d memory management
annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
S
ve
n
Verdool
a
ege
is
l
_
t
ab_pip
.
c: isl_co
n
text_op
.
add_div: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-18
Sv
e
n Verdoolae
g
e
isl_tab_pip
.
c
:
context_tab_add_div
:
add
m
emo
r
y ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-18
S
ven Ve
r
doolaege
isl_ta
b
_pip
.
c: set_from_a
f
fin
e
_m
a
t
rix: improve error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
S
v
en Verdoolaege
i
s
l
_map_coalesce: add che
c
k
that basi
c
m
a
p
and
table
a
u
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
i
sl_tab_detect_implicit_equalities: d
o
n
o
t
a
dd extra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
S
ven Ve
r
do
o
laege
isl_tab
.
c: cut_to_hyper
p
lane: improve error
m
e
ssage
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven V
e
r
doolaege
isl_ta
b
.
c
: c
u
t_to_hyperplane: return
isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Ve
r
doolaege
i
sl_t
a
b
.
c:
cl
o
se_row: impro
v
e
error message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
S
v
e
n
V
erdoolaege
isl_tab
.
c:
c
lose_
r
ow: i
m
p
rov
e
error
m
ess
a
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven
V
e
r
doolaege
isl
_
tab
.
c: close_row: ret
u
rn isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
ad
d
isl_map_
d
i
m
_min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sv
e
n Verdoolaege
expor
t
isl_
p
w_qpolyno
m
ial_e
v
al
and
isl_u
n
i
on_pw_q
p
ol
y
n
o
mial_eval
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
S
v
e
n Verdool
a
e
g
e
export
i
s
l_
p
w_qpolyno
m
ial_do
m
ain
and i
s
l_un
i
on_pw_qpolyn
o
m
ia
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Ver
d
oolaege
ex
p
ort isl_
b
asi
c
_se
t
_sample_point
a
n
d isl_set_s
a
mple
_
poin
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
To
b
i
as
Grosse
r
python interface:
exp
o
s
e
c
ons
t
ruction o
f
AST node fr
o
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Gros
s
er
python interfa
c
e
:
e
xpose
i
s
l_ast_build a
n
d isl_ast
_
expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
a
s Gr
o
sse
r
python interf
a
ce: autom
a
tically derive method t
y
pe
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
T
obias Grosser
pyt
h
o
n
interface: on
l
y ex
p
ort __str__ and __repr_
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven V
e
rd
o
olaege
python int
e
rface: add typ
e
check to __str__ methods
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
S
v
en Verdo
o
laege
pytho
n
inte
r
face: isl_
c
l
a
ss::print_method:
e
x
t
r
a
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven
Verdoolaege
python i
n
t
erface: isl_class::print_method: up
d
ate documentatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven
V
e
r
dool
a
ege
de
c
l
a
r
e more isl_*_to_str fun
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python
interface
:
s
upport
'char *' and 'c
o
nst char
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sve
n
Verdoola
e
ge
python in
t
erface: isl_clas
s
::print_method: ex
t
r
a
ct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s Grosser
pyt
h
on interface: extract method print_method_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Grosser
python interface: add exported
_
prefix to MyASTC
o
nsumer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Grosser
python inter
f
a
ce: extract method pri
n
t_method_type
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Grosser
python i
n
te
r
f
ace: extract method pri
n
t_
r
epr
e
sentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolaege
isl_pw_a
f
f_read_from_str: handle 0D dom
a
ins
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sve
n
Verdool
a
ege
ex
p
ose isl_as
t
_
n
ode_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven
Verd
o
olaege
dump isl
_
ast_expr and
isl_ast_n
o
de objects in block
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoola
e
ge
isl_
s
che
d
ule
.
c
:
extract out generic *
_
to_str
a
nd *_d
u
mp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
i
s
l
_pr
i
nte
r
_p
r
int_
a
st_node: incl
u
de iterator
o
f for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl_printe
r
_print_ast_node
:
p
ri
n
t isl_ast_node as
Y
AML
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaeg
e
isl_
p
r
i
nter_print_ast_e
x
pr:
s
uppor
t
an isl format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
v
en
Ve
r
dool
a
ege
isl_pr
i
nter_print_ast_exp
r
: extract o
u
t
print
_
ast_exp
r
_c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sv
e
n
V
erdoolaege
i
s
l_ast
.
c:
i
sl_printer_
p
rint
_
ast_expr: drop nee
d
less
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ve
r
do
o
laege
isl_ast
.
c: remove mor
e
remna
n
t
s of
c
o
d
e
r
emov
e
d before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
v
en Verdoolaege
int
e
rface: u
p
date to CompilerInvocatio
n
::setLangDefau
l
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sv
e
n
V
er
d
oolaege
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2016-06-28
S
v
en Verdoolaege
isl_printer_pr
i
n
t_ast_n
o
de: fix printin
g
of mark node
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doolaege
isl_map_is_e
q
ual: firs
t
che
c
k if inputs are obvi
o
usly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_*
_
l
e
x
o
p
t
: use
a
ctual domain of input as ini
t
ial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
o
l
aege
add
i
sl
_
basic_set_lex
m
in_compute_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoolaege
isl_map_lexopt
*
: comput
e
optimu
m
over approximate domain
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
i
s
l_basic_ma
p
_
lexopt*: po
s
tpon
e
extraction of domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_*_le
x
opt*: replace "max" ar
g
ume
n
t by "flags"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
ola
e
ge
isl_t
a
b_basic_map_
p
a
rti
a
l_
l
exopt*: c
l
ean
u
p error handl
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdo
o
laege
m
e
rge isl_
b
a
sic_*_partia
l
_lex* implementations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_ba
s
ic_map_l
e
xopt*: preinitialize domain in
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
ege
merge isl_tab_basic_map_partial_lexopt* implementations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doolaege
rename bas
i
c
_map_partial_lexop
t
*_
p
ma t
o
basic_m
a
p
_
part
i
al_le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next