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
V
e
rdo
o
laege
split off isl_schedule_constraints
c
o
d
e
from sch
e
duler
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
S
v
en
V
erdoo
l
aege
is
l
_schedu
l
er
.
c
:
comp
u
t
e_max_r
o
w
: use isl_sche
d
u
le_const
r
ain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
isl_s
c
heduler
.
c
:
extract
o
ut sh
a
r
ed isl_schedu
l
e_constrain
t
s_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven V
e
r
d
oolaege
isl_
s
ch
e
duler
.
c: graph_in
i
t: use isl_sched
u
le_con
s
traint
s
_get
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ve
r
doo
l
aege
isl_scheduler
.
c: extract out shared isl_sche
d
ule_constr
a
int
s
_get
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdool
a
e
ge
isl_scheduler
.
c
: ext
r
ac
t
out isl_schedule_const
r
a
i
nts_n_basi
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolae
g
e
is
l
_sc
h
eduler
.
c
:
co
m
pute_max_row: retu
r
n isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaeg
e
isl_s
c
heduler
.
c: isl_schedule_cons
t
rai
n
t
s
_n_m
a
p: drop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven
V
erdoolaege
isl_scheduler
.
c: grap
h
_init: us
e
isl_schedule_constraints_ge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
add isl_s
c
h
e
du
l
e_c
o
n
straints
_
get_cont
e
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sv
e
n Verdo
o
l
aege
doc: clarify tha
t
i
s
l_c
o
de
g
en
can
a
lso (pri
m
arily
)
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven
Verdoolaeg
e
doc: clarify that
o
nly polytope/polyh
e
d
ron i
n
put
s
may
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
S
ven Verdoolaege
isl_map_from_
p
w
_
m
u
lti_aff
:
preserve ra
t
ional flag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolae
g
e
ad
d
isl_
{
set,map
}
_is
_
rati
o
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sv
e
n
Verdoola
e
ge
a
d
d isl_basic_map_fro
m
_mu
l
ti_aff2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
isl_basic
_
map_range_product: preserve
r
ational flag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ver
d
oolaege
isl_
c
oa
l
esce
.
c: f
u
s
e
: mark result as rational before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoo
l
aege
configure
.
ac: f
i
x description of SE
T
LANGDEFAULTS_TAKES
_
5_
A
RG
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
configure
.
ac: improve dete
c
tion of 5-
a
rgu
m
ent se
t
LangDefa
u
lts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven V
e
r
do
o
laege
interface/e
x
tract_interface
.
cc: c
h
e
ck for pres
e
nce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-08-31
Michael Kru
s
e
make isl_space_has_equal_tuples public
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-08-31
Michael Kruse
isl_space
.
c
:
i
sl_space
_
has_equal_
t
uples
:
return isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-08-31
Michael Kru
s
e
d
o
c: a
d
d
desc
r
iption of is
l
_space_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-08-12
Sven Verdoolaege
isl_map_coalesce:
only tighte
n
non-redundant co
n
s
t
r
aints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-22
Sven Ve
r
doolaege
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2016-07-22
Sven V
e
rdool
a
ege
isl_bas
i
c_m
a
p_offset: handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-22
Sven Verdoola
e
ge
isl_basic_map_offset
:
rename "dim" var
i
a
b
le to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-21
Sven
V
erdo
o
laege
interface/ext
r
act_int
e
rfa
c
e
.
cc
:
ad
d
missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
doc
:
minor
clarificat
i
on of anchored sub
t
rees
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
ven Verdoo
l
aege
isl_tab_p
i
p
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
i
s
l_
s
et_min_val: fix h
a
n
d
ling of i
n
p
u
t with e
m
pt
y
basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ver
d
o
o
laege
i
s
l
_
*
_
par
t
ial_lex{min,max}
_
pw_m
u
lti_aff: remove
e
xistentia
l
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdool
a
ege
isl_*_partial_lex
{
min,
m
ax}_pw_mu
l
ti_
a
ff: fix h
a
ndling
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ve
r
doolaege
add isl_basic_set_
f
irst_unkn
o
wn_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ver
d
oolaege
isl_ta
b
_
pip
.
c: isl_
c
ontext
_
op
.
add_div
:
g
e
n
e
ralize to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rdoolaeg
e
isl_
t
ab_add_div: e
x
t
r
act out isl_tab_i
n
sert_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sv
e
n Verdoolae
g
e
isl_tab_add_
d
iv: check s
i
ze of integer di
v
ision
descri
p
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rdoolaege
isl_basic_map_add
_
di
v
: generalize
to isl_bas
i
c
_
m
a
p
_insert_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoo
l
aeg
e
isl_ba
s
ic_
m
ap_add_
d
iv: ex
p
lici
t
l
y zero out coe
f
ficien
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ve
r
d
o
olaege
extr
a
ct out sh
a
red isl_basic_m
a
p_add_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdo
o
l
a
ege
isl_tab
:
kee
p
track of
location of in
s
er
t
ed i
n
teger
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sve
n
Verdoolaege
i
sl_tab
.
c: perform_undo
:
extract out
d
r
o
p_b
m
ap_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rd
o
ol
a
ege
privately
e
xport i
s
l_b
a
sic_map_drop
_
d
iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
ven Verdoolaege
isl_basic_map
_
drop_div: a
d
d memory man
a
geme
n
t annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verd
o
olaege
isl_tab_pip
.
c
:
i
s
l_context_op
.
free
:
r
e
tu
r
n
N
ULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoola
e
ge
isl_tab_pip
.
c
: i
s
l_cont
e
xt_op
.
ad
d
_div: re
t
ur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
v
en Ve
r
doolaege
isl_tab_pip
.
c: cont
e
xt_tab_ad
d
_div:
r
etu
r
n isl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
v
en
V
er
d
oolaege
isl_tab_pip
.
c: ad
d
_div:
add mem
o
ry man
a
ge
m
ent annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
isl_tab_pip
.
c
: isl_c
o
nt
e
xt_op
.
a
dd_div: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-18
Sven Verdoo
l
aeg
e
isl_
t
ab_pip
.
c
: context_tab_add_div: add
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-18
Sven V
e
rdoolae
g
e
i
s
l_tab
_
pip
.
c: se
t
_
f
rom_aff
i
ne_mat
r
ix: improve e
r
ro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven
V
erdoolaege
isl_map_coalesce: add
c
he
c
k t
h
at
basic
m
ap a
n
d tableau
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sv
e
n Ve
r
doola
e
ge
isl_tab
_
detect_implicit_equalities: do n
o
t add extra
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
S
ven Verdoolaege
isl_tab
.
c: cut_
t
o_hyperplane: improve err
o
r message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven V
e
r
doolaege
isl_tab
.
c: cut_
t
o_
h
ype
r
plane: return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
isl
_
ta
b
.
c: clo
s
e_row: impr
o
ve erro
r
messag
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verd
o
olaege
i
s
l_
t
ab
.
c: close_
r
ow:
i
m
pr
o
v
e
err
o
r message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
S
ven Ver
d
oolaege
isl_tab
.
c: c
l
ose_row
:
retur
n
isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
rosser
add
isl_map_d
i
m_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
v
en Verdoolaeg
e
ex
p
ort isl_pw_qpolynomial_eval
a
nd isl_union
_
pw_qp
o
lynomial_e
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven
Verdoo
l
a
ege
exp
o
rt isl_pw_qpolynomial_do
m
ain and isl_union_pw_qp
o
ly
n
omi
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolae
g
e
export isl_basic_set_samp
l
e_
p
oint a
n
d
isl_set_
s
amp
l
e_p
o
int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s Grosser
python
i
nt
e
rface: expose cons
t
ruction of A
S
T no
d
e from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gr
o
sser
python interface: expose
isl_ast_build and isl
_
ast_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
rosser
p
y
thon interface: a
u
tomatically derive
m
ethod type
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interface
:
o
nly export _
_
str__ and __repr
_
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
v
e
n
Verdoolaege
python interface: add ty
p
e check to __str__ methods
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
v
en Verdoolae
g
e
python in
t
erf
a
ce:
i
sl_cl
a
ss::prin
t
_method: extr
a
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sve
n
Verdoolaege
python interfac
e
:
i
s
l_
c
las
s
::pr
i
nt_me
t
hod: update docume
n
tation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sv
e
n
V
erdoola
e
ge
declare more isl_*
_
to_str
f
unct
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Grosser
pyt
h
on interface: support
'char *'
a
nd '
c
onst char
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Ver
d
oolaege
python interf
a
ce: is
l
_class::print_meth
o
d: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Grosser
python
interface: extr
a
ct me
t
hod print_m
e
thod_t
y
pe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosse
r
p
y
tho
n
i
n
terface: add
expo
r
ted_ prefix
t
o MyASTConsume
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Grosser
python interf
a
ce: extrac
t
method print_me
t
h
o
d_types
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
py
t
hon interf
a
ce: extra
c
t
m
ethod pri
n
t
_
representa
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven
V
e
rdoola
e
ge
is
l
_pw_aff_read_fr
o
m_str:
h
andle
0
D
d
omains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
S
v
en V
e
rdoo
l
aeg
e
e
x
p
o
se isl_ast
_
node_
t
o_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven
Ve
r
dool
a
ege
dump
i
sl_
a
st
_
e
xpr
a
n
d
isl_a
s
t_nod
e
objects in b
l
oc
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ver
d
o
o
laege
isl_sch
e
dule
.
c
:
extract out
g
eneric *_to_str an
d
*_dump
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl_printer_print_ast_node: i
n
cl
u
de iterator of
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sv
e
n Verdoolaege
isl_printer_prin
t
_ast_node
:
p
r
int i
s
l_ast_n
o
d
e as
YAM
L
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven V
e
rdoolaeg
e
isl
_
print
e
r_p
r
int
_
a
st_expr: support an
isl forma
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl_
p
rinter_pr
i
nt_ast
_
expr: extract out
pr
i
nt_ast_expr_c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven
Verdo
o
l
a
e
g
e
isl_ast
.
c:
is
l
_
printer_print_ast_
e
xpr: dr
o
p nee
d
less
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verd
o
o
laege
is
l
_
ast
.
c
:
r
e
mo
v
e
m
ore r
e
mnant
s
o
f
code r
e
moved befor
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verd
o
o
l
aege
i
nterface: update to
CompilerIn
v
ocation::setLangDefaul
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolae
g
e
Merg
e
branch '
m
aint'
commit
|
commitdiff
|
tree
2016-06-28
S
v
en V
e
rdoolaege
isl_pr
i
nter_prin
t
_ast
_
node: f
i
x printi
n
g of mar
k
nodes
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doolaege
isl_map_is_e
q
u
al:
first c
h
eck if inputs ar
e
obviously
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Ver
d
oolae
g
e
isl_*_lexo
p
t
:
u
se actual domain of input a
s
initial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oolaege
add isl_basi
c
_s
e
t_lexmin_comp
u
te_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
olaeg
e
isl_map
_
lexopt*: comput
e
opt
i
mum over approximate domai
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
V
e
rdoolaege
i
sl
_
b
as
i
c_map_lex
o
pt*: post
p
one extra
c
tion of dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdoolaege
isl_*_lexopt*:
rep
l
ace "max"
argument by "
f
l
a
g
s
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
dool
a
ege
isl_tab_
b
asic_map_partial
_
lex
o
pt*:
clean up error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
merge
i
s
l_b
a
si
c
_*_parti
a
l
_
lex* implementations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdoolaege
is
l
_ba
s
ic_map_
l
exopt*: preinit
i
ali
z
e do
m
ain
i
n the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laege
m
e
rge isl_tab
_
basic_map
_
parti
a
l_lexopt* implemen
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n
V
erdoolaege
rename basic_ma
p
_partial_lexopt*_pma t
o
b
a
si
c
_map_
p
artial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next