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_ast_codegen.c: set_for_node_expressions: improve error handling
2016-03-18
Sven Verdoolae
g
e
i
sl
_
ast_codegen
.
c:
se
t
_for
_
nod
e
_expre
s
sions: improve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-18
Sven Verd
o
o
l
aege
i
s
l_union_p
w
_
m
ulti_a
f
f_f
r
om_multi_union
_
pw_aff: plug
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-03
Sven Verdoolaege
isl_pw_aff_
i
s_equal
:
check for NaNs
i
n
i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-02
Sven Verdoola
e
ge
isl_basic_map_from_aff: chec
k
that in
p
u
t
i
s
not a
Na
N
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-25
Sven Ver
d
oolaege
isl_pr
i
n
t
e
r_ya
m
l_start_seq
u
ence: handle NULL in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-22
Sven Verdo
o
laege
is
l
_basic_map_is_uni
v
erse: take
i
nto a
c
count no
n
-obvious
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-22
Sven Verdoolae
g
e
isl_set_prei
m
age: plu
g
memory leak
on er
r
or pa
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-22
Sven Ve
r
doolaege
isl_
m
ap_simp
l
ify
.
c: drop_un
r
elated_constraints:
avo
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-22
Sv
e
n
Verdoola
e
ge
isl_map_simplify
.
c
:
d
r
o
p_unrel
a
te
d
_constraints: improve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-18
Sven Verdool
a
ege
isl_basic_
s
et_e
x
pand_di
v
s: avoid moving c
o
effic
i
e
n
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-18
Sven
V
erdoo
l
aege
isl_test
.
c:
g
eneralize min/max te
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-17
Sv
e
n
Verdoolaeg
e
is
l
_basi
c
_map
_
preimage_mul
t
i_a
f
f: fix hand
l
ing of
i
ntege
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-08
Sven
V
erdo
o
laege
i
s
l
_schedule_node
_
order_{
b
e
f
o
r
e,after}
:
return origi
n
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-08
Sven Verdoola
e
g
e
isl
_
schedul
e
_node_o
r
d
er_befor
e
_or_a
f
ter: postpone de
s
tructio
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-25
S
v
en Verdoolaeg
e
isl_basic_map_realign: perform Gaussian
eli
m
ination
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-14
Sven Ve
r
doolaeg
e
0
.
16
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-14
Sven Verdoo
l
aeg
e
is
l
_ma
p
_simplify
.
c
:
coal
e
s
ce_divs: fix o
v
erly zealous
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-12
Sven Verdool
a
e
g
e
isl 0
.
16
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-12
S
ven Verdool
a
ege
update
A
U
THORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-11
Sven Ve
r
doolaege
isl_map_si
m
plify
.
c: c
o
alesce_
d
ivs:
s
implify based on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-11
S
v
en Verdoolaege
i
s
l_map
_
si
m
plify
.
c
:
d
iv_fin
d
_coalesc
e
: avoi
d
losing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-11
Sven V
e
rdo
o
laege
isl_map_simplify
.
c
:
fix whitespac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-11
Sven Verd
o
o
l
a
ege
isl_map_simplify
.
c
: fix typo in co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-07
Sven Verdo
o
l
a
ege
isl_printe
r
_print
_
map: u
s
e space
f
r
o
m
outer map fo
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-07
Sven V
e
rd
o
olaege
expose isl_qpolynomial_fold
_
get
_
domai
n
_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-07
S
ven
V
e
rdoolae
g
e
isl_b
a
sic
_
map_re
s
et_space: a
l
so ch
a
nge spac
e
i
f identifiers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-06
Sven Verdoolaege
isl_schedule_co
n
strai
n
ts_compute_s
c
hedule: furt
h
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-06
Sven Verdoolaege
is
l
_s
c
h
edule_const
r
aints_compute_s
c
hedule
:
e
x
tract
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-06
Sven Verdoolaege
i
sl_
s
ch
e
dule_con
s
tr
a
ints_comput
e
_sche
d
ule: m
i
nor clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-06
Sven Ver
d
oolaege
add isl_sch
e
dule_constraints
_
get_d
o
mai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-06
Sven Ver
d
oola
e
ge
i
sl_sched
u
ler
.
c: compute_split_schedule:
s
pl
i
ce ne
s
ted
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-06
Sven Verdoolaege
isl_sched
u
ler
.
c: co
m
pute_split
_
schedule
:
compute
s
econd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-06
Sven Ver
d
ool
a
ege
i
s
l_s
c
he
d
uler
.
c: compute_sub_schedule
:
do
not require
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-06
Sven
V
e
r
doolaege
a
dd isl
_
schedule_node_s
e
quenc
e
_splice
_
child
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-06
Sven Verdoolaege
add isl_schedule_node_filter_i
n
terse
c
t_fil
t
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-06
Sven
Verdoolaege
i
s
l_schedul
e
r
.
c
:
merge_
e
dge: stop
passing
ty
p
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-06
Sven V
e
rdoo
l
ae
g
e
is
l
_
s
cheduler
.
c:
i
s
l_sched_edge: use
bit vector to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-06
Sven Verdool
a
ege
isl
_
sche
d
uler
.
c
:
ext
r
ac
t
_
edge: extra
c
t out find_{
d
omain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-06
Sven Verdoolaege
isl
_
sc
h
eduler
.
c: extr
a
ct_edg
e
:
rename "di
m
"
var
i
able
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-06
S
v
en Ve
r
doolaege
i
s
l_
s
chedu
l
er
.
c: clarify that there may
onl
y
be a sin
g
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-06
Sven
V
erdoolaege
isl_sche
d
uler
.
c: add note t
h
at Feautrier prod
u
ces integral
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-06
Sven Verdool
a
e
g
e
isl_sch
e
duler
.
c:
f
i
x
typos i
n
c
o
mments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-04
Sven Ver
d
oola
e
ge
add isl_sche
d
ul
e
_n
o
de
_
order_before
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-04
Sv
e
n Verdoolaege
is
l
_schedu
l
e_node_ins
e
rt
_
{
set,
s
equence
}
: simplify el
e
ments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-04
Sven Verdoolaege
priv
a
tely export isl_schedule_node_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-04
Sven Ve
r
do
o
lae
g
e
isl_schedu
l
e_node_pr
i
vate
.
h: dir
e
ctl
y
inclu
d
e required
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-04
Sv
e
n Verdoolaeg
e
expose i
s
l
_basic
_
ma
p
_drop_constraints_no
t
_involvi
n
g_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-04
Sven
V
erd
o
olaege
isl_access
_
info_compute_
f
lo
w
: av
o
id NULL d
e
reference
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-04
Sven Verdoolaege
isl_union_
*
_all
o
c_
s
ame_si
z
e: avoid NULL pointer d
e
referenc
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-04
Sven V
e
r
d
ool
a
ege
i
sl_flo
w
.
c: access_info_compute_flow_core: plug memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-04
Sve
n
Verdoo
l
aege
Merge bra
n
ch
'maint'
commit
|
commitdiff
|
tree
2016-01-04
Sven
Verdo
o
laege
i
sl_printer_print_map: separate
c
o
n
s
t
raints sha
r
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-04
S
ven Verdoo
l
aege
add is
l
_map_plai
n
_gist_basic_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-04
Sven V
e
rdoolaege
add isl_map_p
l
ain_unshifted
_
simpl
e
_hul
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-02
S
ven Verdo
o
laege
isl_m
u
lti_
*
_
s
cale_multi_val
:
plug
m
emory leak on
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-02
S
ven Verdoo
l
aege
isl_coal
e
s
c
e
.
c: a
d
d_sub_vars: prese
r
ve order o
f
i
n
teger
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdoola
e
ge
ad
d
isl_basic_map_
c
onstr
a
int_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
S
ven Verdoolaeg
e
add
isl_map_drop_constraint_inv
o
l
ving_unknown_div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdoolaege
priva
t
ely export isl_map_divs_known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
S
ven Verdoolaege
i
s
l_prin
t
er
_
print_ma
p
: print
strict inequalities when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
S
ven
V
e
rd
o
olaege
isl_prin
t
er
_
print_map: chain c
o
nsecutive pai
r
s o
f
lower
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sven Ver
d
ool
a
ege
isl_outpu
t
.
c:
p
rint_
c
on
s
t
r
aints:
e
xtract out constr
a
i
n
t
_
op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sven Ve
r
doolaege
isl
_
basic_map_so
r
t_constraints
:
group constrai
n
ts with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sv
e
n Verdoolaege
isl_printer_print_map: sort constra
i
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sve
n
Verdoolaeg
e
privately
e
xport isl_basi
c
_map_sor
t
_constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdoolaege
isl_printer_pr
i
nt_map
:
do n
o
t print
local variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sve
n
Ver
d
o
o
l
a
e
g
e
isl_printer_print_map: print explicit representations
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
S
ven Verdoolaege
isl
_
outp
u
t
.
c
:
can_print_div_expr: do
n
o
t
p
rin
t
div
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sven V
e
rdoolaege
isl_out
p
u
t
.
c: print_term
:
e
xtra
c
t ou
t
can_p
r
i
n
t_div_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdoola
e
ge
isl_printer_print_
m
ap: do no
t
print
div
constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sven V
e
rdoo
l
aege
isl_output
.
c: prin
t
_const
r
a
i
n
t
s: exp
l
icit
l
y track
need
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdool
a
ege
is
l
_output
.
c: print_name: add
s
ome
d
ocu
m
ent
a
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdoolaege
is
l
_output
.
c
:
prin
t
_affine: rename "dim" to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdoolaege
isl_output
.
c: print_constraint
:
renam
e
"dim" to "s
p
ace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sven
Verdoolaege
isl_output
.
c: print_co
n
strai
n
ts: rename "
d
im" to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
S
ve
n
Verdo
o
laege
isl_
o
u
t
put
.
c: print_name:
r
ename "dim"
to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sven
Ver
d
oolaege
isl_out
p
ut
.
c
: pr
i
nt_term: renam
e
"dim" to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdoolaege
isl_map_dum
p
:
d
o not reor
d
er and/or modify disjunct
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdoola
e
g
e
isl_pri
n
ter_private
.
h
:
protect
against m
u
ltip
l
e inclusions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdo
o
laege
i
sl_basic
_
map_output_
d
efining_equality: also
det
e
ct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
S
ven Verdoolaeg
e
i
sl_bas
i
c_map_out
p
ut_defini
n
g_equality: extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sve
n
V
e
rdoolaeg
e
i
sl
_
test
:
add extra con
v
ersion test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdoola
e
ge
i
s
l
_
t
est
.
c: g
e
nerali
z
e ma
p
conversion test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdoolaeg
e
i
s
l_pw
_
m
ulti_aff_from_
m
a
p
: check obvious single-valuedne
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sve
n
V
erdo
o
laege
isl_pw_mu
l
ti_aff_fr
o
m
_
map: fi
x
type of local variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sven Ve
r
doolaege
i
s
l_aff
.
c
:
p
l
ain_pw_mul
t
i_aff_from_m
a
p: drop constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sv
e
n Verdoolaege
ad
d
isl_basic_map
_
drop_constrai
n
t_invo
l
ving_unknown_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verdo
o
laege
is
l
_basic_map_div
s
_known:
e
x
tract out isl_basic_map_div_i
s
_known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sve
n
Ver
d
ool
a
ege
is
l
_
basic_map_d
i
vs
_
known: ret
u
rn is
l
_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sv
e
n
Ver
d
oo
l
aege
i
s
l_local_space_divs_known: return isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verdoolaege
isl_aff
.
c: extract_isl_multi_aff_from_basic_map: do
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verd
o
olaege
is
l
_aff
.
c: extrac
t
_is
l
_aff_fr
o
m_basi
c
_map:
extract
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sven V
e
r
doolaege
isl_a
s
t
_
c
o
degen
.
c:
a
dd_domain:
s
implify guard with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verdoolaege
isl_ast_cod
e
gen
.
c: generate_domai
n
: sh
o
rt-cut obvious
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sv
e
n Ver
d
oola
e
ge
isl_ast_co
d
e
g
en
.
c: add_domain
:
s
pecia
l
ize after gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verd
o
olaege
isl_ast_codegen
.
c: gene
r
ate_d
o
main: extract out
a
d
d
_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verdoolae
g
e
i
s
l_m
a
p_read_fr
o
m_*:
s
up
p
ort l
e
xicogra
p
hic c
o
mparison
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verdoolaege
is
l
_test
.
c: gen
e
r
a
l
ize
p
arsing
t
e
sts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sven V
e
r
doolaege
isl_input
.
c: co
n
struct_cons
t
r
a
ints: add
s
ome docu
m
entation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sv
e
n V
e
r
d
oolaege
is
l
_i
n
p
ut
.
c
:
ad
d
_constraint: add some docum
e
ntati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next