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 Ve
r
doolaege
isl_ast_codegen
.
c
:
set
_
fo
r
_node_expre
s
sions:
improve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-18
Sven
V
e
rd
o
ola
e
ge
isl_uni
o
n_pw_multi_aff_f
r
om_
m
ulti_union_pw_aff: p
l
ug
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-03
Sven
V
erdoolaege
isl_
p
w_a
f
f_is_equal:
check
for NaNs in input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-02
Sven Verdoolaege
i
sl_
b
asic_m
a
p_
f
rom_aff: c
h
eck that input is not a NaN
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-25
Sven Verdoolaege
isl_printer_yaml_
s
tart_
s
eque
n
c
e
: ha
n
dle N
U
LL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven
Verdoolaege
isl_basic_map
_
is_univers
e
: take into account non-obvious
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven Verdo
o
laege
isl_se
t
_preimage:
p
l
ug memory l
e
ak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven Verdoolaege
isl_map
_
simp
l
ify
.
c: drop_unrelated_co
n
straints: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven Verdoola
e
ge
isl_
m
a
p
_simplify
.
c
:
drop_
u
nrelated_constraints: i
m
prove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-18
Sven Verdoolaeg
e
isl
_
b
asic_set_expan
d
_d
i
vs: av
o
id moving coefficients
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-18
Sven Verdoolaege
isl_t
e
st
.
c
:
g
e
n
e
ralize min/max tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-17
S
ven Verdool
a
ege
isl_basic
_
map_
p
reimag
e
_multi_aff: f
i
x
handling of i
n
te
g
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-08
Sven Verdoo
l
aege
isl_schedule_no
d
e_orde
r
_{before,after}: return o
r
i
g
ina
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-08
Sven
Verdoolaege
isl_schedule
_
n
od
e
_
orde
r
_before_or_after: postpone destructio
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-25
Sven Verdoolaeg
e
isl_ba
s
ic_map
_
r
ealign: perform
G
a
ussian
e
limination
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-14
Sve
n
Verdoola
e
ge
0
.
16
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-14
S
v
en Verdoo
l
a
e
ge
i
sl_map_simplify
.
c: coalesce_divs: fix overly
z
ealous
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-12
Sven Ve
r
doolaeg
e
isl 0
.
16
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-12
Sven V
e
rdoolae
g
e
upd
a
te AUTHORS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-11
Sven Verdool
a
ege
isl_m
a
p
_simplify
.
c: coalesce_di
v
s: simplify b
a
sed on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-11
S
v
en
Verdoolaege
isl_
m
a
p
_simp
l
i
f
y
.
c: div_find_co
a
l
esce: avoid losi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-11
Sven Verdoolaege
isl_map
_
simplify
.
c: fix
w
hitespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-11
S
ven Verdoo
l
aege
i
s
l_map_simplify
.
c: fix typo in
c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-07
Sv
e
n V
e
r
doolaege
isl_pr
i
n
ter_p
r
int_map: use space f
r
om out
e
r
map for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-07
Sven Verdoolaege
expose isl_qp
o
ly
n
omi
a
l
_
fo
l
d_get_
d
o
main
_
spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-07
Sven V
e
rdoolaege
isl_bas
i
c_map_reset_
s
pace:
also
cha
n
g
e
space if
i
d
ent
i
fie
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-06
Sv
e
n Ver
d
oolaege
isl_schedule_constraints_compute_sched
u
l
e
:
furt
h
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-06
S
v
en
V
erd
o
ola
e
ge
isl_s
c
h
e
d
ule_constraints_compute_schedule: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-06
Sven Verdool
a
ege
is
l
_sc
h
edu
l
e
_
constra
i
nts_comput
e
_
s
c
h
edule: min
o
r cle
a
n-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-06
Sven V
e
r
d
o
olaege
add
i
sl_schedule_con
s
traint
s
_get_d
o
ma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-06
Sven Verdoola
e
ge
i
s
l_scheduler
.
c: compute_split_schedu
l
e: splice nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-06
S
v
en Verdoo
l
aege
isl_schedu
l
er
.
c: compute_spl
i
t_sch
e
d
u
le: compute
second
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-06
S
ven Verdoolaege
i
sl_sch
e
duler
.
c
:
compute_sub_schedule: do
not
r
equire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-06
Sven Verdool
a
ege
a
d
d isl_sc
h
edule_no
d
e
_
sequence_
s
pl
i
c
e_child
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-06
Sven Verdool
a
ege
add is
l
_schedule_node
_
fil
t
er_intersect_filter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-06
Sve
n
Verdoolaege
isl_scheduler
.
c
: merge_edge:
stop passing
type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-06
Sve
n
Verdoolaeg
e
isl
_
scheduler
.
c: isl_sch
e
d_ed
g
e: use bit vec
t
or
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-06
Sven
Verd
o
olaege
isl_scheduler
.
c
:
extract_ed
g
e: extract out f
i
nd_{domai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-06
Sv
e
n V
e
rdoolaege
isl_
s
cheduler
.
c: extract_edge:
r
e
n
ame "dim" vari
a
ble
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-06
Sv
e
n V
e
rdoolaege
isl_scheduler
.
c
:
c
l
arify that
t
here may only be a s
i
n
g
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-06
Sven Verdo
o
laege
isl
_
scheduler
.
c: add
n
o
t
e
t
hat Fe
a
u
trie
r
produces integra
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-06
Sve
n
Verdoolaege
isl_scheduler
.
c: fix typos in com
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-04
Sve
n
Verdoolaege
ad
d
i
sl_sche
d
ule_node_order_before
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-04
Sv
e
n Verdoolaege
is
l
_
s
chedule_node_insert_{set,
s
equenc
e
}
:
simplif
y
ele
m
ents
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-04
Sven
V
erdoolaege
priva
t
e
ly e
x
port isl_schedule_node_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-04
S
v
en Verdoolaege
isl_schedule
_
node
_
pr
i
vate
.
h: directly include requi
r
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-04
S
ven Verdoo
l
aege
expose is
l
_ba
s
ic_map_drop_constrai
n
ts_not
_
involving_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-04
Sven Verd
o
olaege
isl
_
access_info_compute_flo
w
:
avoid NULL dereference
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-04
Sven Verdoolaege
isl
_
un
i
on_*_al
l
o
c
_sam
e
_size: avoid NULL pointer dereference
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-04
S
v
en Verd
o
olaege
i
s
l_flow
.
c
:
access_info_compute_flo
w
_core: plug memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-04
S
v
en Ver
d
oolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2016-01-04
Sv
e
n Verdoolaege
isl_printer_pr
i
nt_map:
s
eparate constraints
shared
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-04
Sve
n
Verdoolaege
add
i
sl_map_plain_gist_
b
asic_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-04
Sve
n
Verdoolaege
add isl_m
a
p_plain_uns
h
ift
e
d_simple
_
hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-02
Sven
V
er
d
oolaege
isl_
m
ulti_*_scale_
m
ult
i
_val:
p
lug memory leak on erro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-02
Sven Verdool
a
e
ge
isl_coales
c
e
.
c: add_sub_vars: pr
e
s
e
rve order of integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sven V
e
rd
o
olaege
ad
d
i
sl_
b
asic_map
_
c
o
nstraint_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sv
e
n V
e
rdoolaege
add
i
sl_
m
ap_drop_con
s
traint_involving_unknown_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdoo
l
a
e
ge
privately export i
s
l
_
map
_
divs_kno
w
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdo
o
l
ae
g
e
isl_p
r
inter_pr
i
nt_map: print s
t
ri
c
t inequal
i
ties when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdoolaege
isl
_
pri
n
ter_print_map: chain consecutive pairs of lowe
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sve
n
Ver
d
oolaege
isl_output
.
c: print_const
r
aints:
e
xtract out constraint_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sv
e
n
V
erdoolaege
i
s
l
_bas
i
c_map_sort_constraints: group c
o
n
straints with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sven Ve
r
doolaege
isl_printer
_
print_map
:
so
r
t constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sven V
e
rdoola
e
g
e
p
riva
t
e
l
y export is
l
_ba
s
ic_map_sort
_
c
o
n
s
t
r
ain
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdoolaege
isl_printer_print_map: d
o
not print lo
c
al variab
l
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sv
e
n Verdoolaege
isl_p
r
int
e
r_pri
n
t_map
:
p
r
int expl
i
cit representati
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sven V
e
rdoolaege
isl_o
u
tput
.
c: can_print_div_e
x
pr:
d
o
not
print div
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sven Ver
d
oolae
g
e
isl_output
.
c:
p
r
i
nt_
t
erm
:
ex
t
r
act ou
t
c
a
n_print_div_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sven Ver
d
oolaege
isl_
p
rinter_
p
rint_map: do not print di
v
c
onstraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
S
ven Verdoo
l
aege
isl_output
.
c:
p
r
i
n
t
_constra
i
nts: explicitly tr
a
ck
need
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sve
n
Verdoolaege
isl_outp
u
t
.
c: pri
n
t_n
a
me: add some
document
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdoolaege
i
s
l
_output
.
c
: print_affine
:
rename "
d
i
m" to
"space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdoo
l
aege
is
l
_out
p
ut
.
c:
p
r
int_constraint: rename "dim" to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sven Ve
r
doolaege
isl
_
o
u
tput
.
c: p
r
int
_
con
s
t
raints: rena
m
e "d
i
m" to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdo
o
laege
isl_output
.
c:
p
rin
t
_name: rename
"
dim" to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdoolaege
i
sl_
o
ut
p
ut
.
c: print_term: rename "dim"
t
o "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdoolae
g
e
i
s
l_map_dump:
d
o no
t
reorder and/or m
o
di
f
y d
i
sjuncts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sve
n
Verdoolaege
isl_printer_
p
ri
v
ate
.
h:
pr
o
tect again
s
t
m
ultiple inclusions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdoolaege
isl_basic
_
map_output
_
de
f
ining_eq
u
ality:
a
lso detect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sven Ve
r
do
o
laege
isl_basic_map
_
output_
d
efining_e
q
u
alit
y
: extract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sv
e
n Verdoolaege
is
l
_te
s
t: ad
d
extra
conversion t
e
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
S
ven Verdoo
l
aege
isl_test
.
c: gen
e
ral
i
z
e
m
a
p
conver
s
i
o
n test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-28
Sven Verdoolae
g
e
isl_pw_mul
t
i_aff_from_map: ch
e
ck obvious single-va
l
u
e
dness
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
S
v
en Verdoolae
g
e
i
s
l_pw_multi_aff_
f
r
om
_
map: fi
x
typ
e
of local vari
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verd
o
olaege
isl_aff
.
c: plain_pw_multi_aff
_
from_map: dro
p
c
on
s
t
r
ai
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verdoolaege
add is
l
_basic_ma
p
_
drop_constraint_in
v
o
lv
i
ng
_
unkn
o
wn_d
i
vs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
Sven
V
erdoolaege
is
l
_basi
c
_map_divs_
k
nown: extract ou
t
isl_basic_ma
p
_di
v
_is_k
n
o
w
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
Sve
n
Verdool
a
ege
is
l
_b
a
sic_map_
d
i
v
s_kno
w
n:
return i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
S
v
en
Verdoolaege
isl_local_sp
a
ce_divs_known:
return
i
sl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verdoolaege
i
s
l_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 Verdoolaege
isl_
a
ff
.
c: extract_isl_aff_from_basic_map:
e
xtract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verdoolaege
i
s
l
_
ast_
c
odegen
.
c: add_domain:
s
implify guard with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
S
ven V
e
rd
o
ol
a
ege
i
s
l_ast_codeg
e
n
.
c: gen
e
rate_domain: short-cut obviou
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
Sven Ve
r
doo
l
aege
isl
_
ast
_
codegen
.
c: add_
d
omai
n
:
sp
e
cialize after gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
Sve
n
Verdoola
e
ge
isl_a
s
t_codegen
.
c: g
e
nerate_domain:
e
xtract out
add_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
S
v
en Verdoolaege
isl_m
a
p_read_from_*: support lexicograp
h
ic comparison
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verd
o
olaege
isl_te
s
t
.
c
: general
i
ze par
s
ing
test
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
S
v
en Verdoolaege
i
s
l_i
n
put
.
c: construct_con
s
train
t
s: add some
docum
e
nt
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verdoolaege
is
l
_input
.
c: a
d
d_
c
onstraint
:
add some docum
e
ntat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next