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
add isl_schedule application
2016-09-04
Sven Verdoolaege
ad
d
isl_
s
c
he
d
ule app
l
i
cati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ve
r
d
oolaeg
e
add isl_s
c
hedul
e
_constraints_read_f
r
om_
f
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ve
r
doolaege
declare
isl_s
t
ream
_
read_union_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
add isl_printer_print_schedule_
c
onstraints a
n
d isl_schedule_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven
V
erdoolaeg
e
i
sl_sc
h
edule_constrai
n
ts_dump:
use YAML facilities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven
Verdoolaeg
e
isl_schedule_constr
a
ints_on_d
o
mai
n
: extract out isl_schedule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
isl_sc
h
edule_constrai
n
ts_on_domain
:
extract out isl_
s
c
h
edule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sv
e
n V
e
rdoolaege
isl_
s
ched
u
le_constrain
t
s
.
c: extra
c
t
out
shared isl_schedule_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
S
v
e
n Verdoo
l
aege
split
o
f
f isl_sche
d
ule_constraints cod
e
from scheduler
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sve
n
Verdoolaege
i
s
l_scheduler
.
c: compute_max_row: use isl_schedule_co
n
st
r
ain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
isl_sche
d
u
ler
.
c
: ex
t
r
act
o
u
t
shared isl_s
c
hedul
e
_constrai
n
ts_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ve
r
d
o
o
laege
i
s
l_scheduler
.
c: graph_init
:
u
se isl
_
sche
d
ule_constraints_get
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven
Verd
o
ol
a
ege
isl_schedul
e
r
.
c:
ex
t
ract o
u
t
s
h
ared isl_schedule_constraints_get
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
isl_scheduler
.
c: ext
r
act
o
ut isl_schedule_constraints_n_basi
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven V
e
rdoolaege
isl
_
scheduler
.
c: compute_max_row: return is
l
_
stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
S
v
en Ve
r
d
oo
l
a
e
ge
isl_s
c
heduler
.
c: isl_sch
e
dule_co
n
straints_n_map: drop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
S
v
en Verdoolae
g
e
isl
_
scheduler
.
c: gr
a
ph
_
init: use isl_sc
h
edule_constraints_ge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ve
r
doolaeg
e
a
dd isl_schedul
e
_c
o
nstraints_ge
t
_conte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
doc: clarify th
a
t is
l
_codegen c
a
n also (primarily)
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven V
e
rdo
o
laege
d
o
c
:
clarify th
a
t only
p
olytope/polyhedron inputs may
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
i
s
l_map_from_pw_multi_
a
ff: preserve rati
o
nal fla
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sv
e
n Verdoolaege
a
d
d isl_{set,
m
ap}_is_rat
i
onal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sve
n
Verdoolaege
add
i
sl_basi
c
_ma
p
_from_mul
t
i_
a
ff2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ver
d
oolaege
isl_
b
asic_m
a
p_range
_
product: preserve
ra
t
ional flag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
isl_coa
l
e
sce
.
c
:
fuse: mar
k
resu
l
t as rational be
f
ore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
co
n
figure
.
ac: fix description
of S
E
T
LANGDEFAU
L
TS_TAKES_5_ARG
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
c
o
nfigure
.
ac: impr
o
v
e
detection o
f
5-argum
e
nt setLangDef
a
ults
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
S
v
en
V
e
r
d
o
olaege
inte
r
face/
e
x
tract_interfa
c
e
.
cc: check for
pr
e
sence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-08-31
Michael Kruse
m
a
ke isl_sp
a
ce_has_e
q
u
a
l_tu
p
les public
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-08-31
Michael Kruse
isl
_
s
p
ace
.
c: is
l
_space_has_equal
_
tuples:
return isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-08-31
Micha
e
l
Krus
e
doc: add
descripti
o
n of isl_
s
pac
e
_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-08-12
Sven V
e
rdoo
l
aege
is
l
_map_
c
oalesce: only tighte
n
non-redundant
c
onst
r
a
i
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-22
Sven Verdo
o
l
aege
Me
r
ge
b
ra
n
ch
'maint'
commit
|
commitdiff
|
tree
2016-07-22
S
ven
V
erdoolaege
isl_b
a
sic_map_o
f
f
s
e
t: handl
e
NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-22
S
v
e
n Verdoolaege
i
sl
_
basic_map_offset
:
rename "
d
i
m" var
i
able t
o
"space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-21
S
ven Verdo
o
laege
i
n
t
e
r
f
ac
e
/extract_interfac
e
.
cc
:
ad
d
missing
include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
v
e
n Ver
d
oolaege
doc
:
mi
n
or
clarification of anchor
e
d
subtr
e
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ve
r
doolae
g
e
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 Ver
d
o
o
laege
isl_set_min_val: fi
x
handlin
g
of inpu
t
with
empt
y
basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rdoolaege
isl_*
_
par
t
ial_lex{min,max}_pw_multi_
a
f
f
: remo
v
e existentia
l
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rdoolaeg
e
isl_*_partial_lex{mi
n
,max}_pw_
m
ulti_aff: fix handling
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
v
e
n
Verdoolaeg
e
add isl
_
basic_set_first_unknown_d
i
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ver
d
o
olae
g
e
i
sl_tab_pip
.
c
:
isl_context_op
.
add_d
i
v: ge
n
e
ralize
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sv
e
n Verdoolaege
i
sl
_
tab_add_div
:
e
x
tr
a
ct out isl_tab_inser
t
_
d
i
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdool
a
ege
isl
_
tab_add_div: che
c
k
size of integer divisio
n
descript
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven
Verd
o
olaege
isl_basic_map_add_div:
g
e
n
eralize
to isl_basic_ma
p
_insert_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
i
sl_ba
s
i
c_m
a
p_add_div: e
x
plicitly z
e
ro out coefficient
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sve
n
Verdool
a
ege
extract out shared isl_basic_m
a
p
_add_
d
iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sv
e
n Ver
d
o
o
laeg
e
isl_tab: keep track of lo
c
ation of inserted integ
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sv
e
n Verdoolaege
isl_tab
.
c
: perform_undo: e
x
tract out
d
rop_b
m
a
p
_
d
iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven
Verdoolaege
privat
e
ly ex
p
o
r
t isl_b
a
si
c
_map_
d
rop_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
ven Verdoolaege
isl_basic_map_drop_div: add memory management annota
t
io
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ve
r
doolaege
isl_tab
_
pip
.
c
:
isl_context_
o
p
.
free:
r
eturn NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sv
e
n V
e
rd
o
ola
e
ge
is
l
_tab_pip
.
c: isl_context_op
.
add_div:
ret
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven
Verd
o
olaege
isl_tab_pi
p
.
c: contex
t
_
t
a
b_a
d
d_div: return isl_boo
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoo
l
a
e
ge
isl_tab_pi
p
.
c: add_div: a
d
d memory man
a
gement annotatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven
V
er
d
oolaege
i
sl_tab_pip
.
c: is
l
_context_op
.
add_div: add mem
o
ry manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-18
S
v
en Verdoolaege
isl_tab_p
i
p
.
c
:
co
n
text_tab
_
a
dd_div: add mem
o
r
y
manage
m
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-18
Sv
e
n
V
erdoolaege
i
sl_tab_pip
.
c: set_from_affine_ma
t
ri
x
: impr
o
v
e error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolae
g
e
i
s
l_map_co
a
lesce: add check tha
t
basic
m
ap and ta
b
lea
u
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
S
ven Ve
r
doolaege
isl_t
a
b_
d
et
e
c
t_implicit_equalities: do not add extra
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sve
n
V
e
rdoo
l
aege
isl_tab
.
c: cut_
t
o_hyperplane
:
improv
e
e
rror m
e
s
s
age
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoo
l
aeg
e
is
l
_t
a
b
.
c: cut_
t
o_hyp
e
rp
l
ane
:
re
t
urn
isl_sta
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoola
e
ge
isl_tab
.
c: close_row: improve error m
e
ssage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaeg
e
isl_tab
.
c: close_row
:
im
p
rove error message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
S
ven Verdoolaeg
e
isl_t
a
b
.
c: close_ro
w
:
r
e
turn i
s
l
_
sta
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias
Grosser
add isl_
m
ap_d
i
m_
m
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
v
en V
e
rdoolae
g
e
exp
o
r
t
isl_pw_qpol
y
nomial_eval and isl_union_pw_qpolynomial_eval
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolaege
export isl_pw_qpo
l
ynomial_dom
a
in and
i
sl_union_pw_qpoly
n
omia
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven
V
erdoolaeg
e
export
i
s
l_basic_s
e
t_sample_point and
isl_set_sample_point
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interfac
e
: expose c
o
nstruction of AST node from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python inter
f
ace: expose
isl_ast_build
an
d
isl_ast_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Gro
s
ser
python i
n
terface: auto
m
a
tically derive
metho
d
type
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
y
thon inter
f
ace:
o
n
l
y
export
_
_str__ and __repr__
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
ven
V
erdo
o
laege
p
ython interface:
add t
y
pe check
t
o _
_
str__ methods
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
v
e
n Verdoolaege
python
interface
:
isl_
c
lass::print_meth
o
d
:
extra
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sve
n
Verdoolaege
python inter
f
ace: i
s
l
_class::pr
i
nt_method: upda
t
e
doc
u
ment
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sv
e
n
Verdo
o
l
a
ege
declare mo
r
e isl_
*
_to_str f
u
nctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
python interface: supp
o
rt 'char *' and
'
const cha
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolaege
pyth
o
n interface: isl_class::print_method:
e
x
tract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
pyth
o
n interface: extract m
e
thod
p
rint_method_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bia
s
Grosser
pyt
h
on interface: add expo
r
ted_
prefix
t
o
MyASTConsumer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias Gross
e
r
python
interfac
e
: extract
method print_metho
d
_types
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gro
s
ser
pyt
h
on interface: extract me
t
hod
print
_
rep
r
e
s
e
n
t
a
tio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
v
en Ve
r
do
o
laege
isl
_
pw_aff_read_from_str: h
a
ndle 0D domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolae
g
e
ex
p
ose isl_
a
s
t
_node_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven
Ve
r
doolae
g
e
dump isl_ast_e
x
pr a
n
d i
s
l_ast_node
objects in block
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl_sche
d
ule
.
c: extra
c
t
out generic *_to_
s
tr
a
n
d
*
_du
m
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ver
d
oo
l
aege
isl_pr
i
nter_p
r
int_ast_node: include
i
terator of for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl_printer_print_ast_node: print is
l
_ast_node as
YAML
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven
V
erdoo
l
aege
isl_printer
_
print
_
a
s
t_expr
:
support an isl forma
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
is
l
_print
e
r
_print
_
a
s
t_expr: e
x
tract out
p
rint
_
ast_expr_c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl_ast
.
c: isl_pr
i
nter_pri
n
t_
a
st_
e
xpr: dr
o
p needless
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
S
v
en Verd
o
olaege
isl_ast
.
c: remove m
o
re r
e
mnants of
c
ode removed before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdool
a
ege
interface: updat
e
t
o
CompilerInvoc
a
tion::setL
a
ngDefaults
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
Merge
branch 'maint
'
commit
|
commitdiff
|
tree
2016-06-28
S
ven Verdo
o
laege
isl_printer
_
print_ast
_
no
d
e:
fix printing of mark nod
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdo
o
laege
isl_map_is_e
q
ua
l
: fir
s
t
c
heck if inputs are
o
bviously
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_*_lex
o
pt: use actual domain
o
f
i
nput as initial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
ege
add
i
sl_basic_set
_
lexmin_
c
ompute_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next