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_union_access_info_read_from_file
2017-06-12
S
v
en Verdo
o
lae
g
e
add
i
s
l_
u
nion_a
c
ces
s
_in
f
o_read_f
r
om
_
f
i
le
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdo
o
laege
isl_uni
o
n_access_
i
nf
o
_
f
ro
m
_sink: e
x
tract out isl_union_
a
cces
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven
Verdoolaege
isl_un
i
on_access_info_from_sink: extract out
i
sl_unio
n
_acces
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven
Verdoolaege
isl_p
r
inter_pri
n
t_union_access_info
:
do
n
ot pri
n
t empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
doolaege
isl_pr
i
nter_print_
u
nion_access
_
inf
o
: extrac
t
out
s
har
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Ve
r
doolaege
isl_printer_
p
r
int_union_acce
s
s_in
f
o: extract out
f
i
e
ld
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_flow
.
c: m
e
rge isl_uni
o
n_access_info
_
se
t
_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
S
ven V
e
rd
o
olaege
i
sl_union
_
access_info: tr
e
at access
relatio
n
s
i
n
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl
_
printer_prin
t
_union_flow: consi
s
tently pri
n
t
ful
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolae
g
e
i
s
l
_schedule_{read
,
constra
i
nts}
.
c
: extract out shared
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdoo
l
a
e
g
e
isl_sc
h
edule_read
.
c: extra
c
t
_
k
e
y: sto
r
e ke
y
strings
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoola
e
ge
Mer
g
e
b
ranch 'maint'
commit
|
commitdiff
|
tree
2017-06-08
S
v
en Ver
d
oola
e
ge
prop
e
rly add declarati
o
n of isl_mult
i
_union_pw_
a
ff_apply_pw_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-08
Sven V
e
r
doolaege
scheduler: exp
l
o
i
t
l
ineality
space in
d
iffer
e
nc
e
set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
e
r
d
o
o
laege
add isl_union_set_combi
n
ed_li
n
e
alit
y
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Verd
o
o
laege
privately ex
p
ort is
l
_set_combined_lineali
t
y_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolae
g
e
is
l
_basic
_
set_
l
i
n
eality
_
space
:
allow local variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
S
ven
V
erd
o
o
l
a
ege
add isl_basic_set_extrac
t
_equ
a
l
i
ties
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
ad
d
is
l
_multi
_
a
f
f_from_af
f
_
m
at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoola
e
ge
scheduler: drop constraints
t
h
a
t can only
be used fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
e
r
do
o
l
a
ege
i
sl_scheduler
.
c: col
l
ect_intra_valid
i
ty: dr
o
p
par
a
me
t
ers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven
Verdoolaege
is
l
_s
c
hedu
l
e
r
.
c: int
r
a_coefficients: separate cache
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl_schedul
e
r
.
c: count_map_constraints: coun
t
p
a
ramet
r
i
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
S
ve
n
Verdoolaege
isl_sch
e
duler
.
c: ex
t
ract out shared
f
orce
_
zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
e
rd
o
olaege
i
s
l_sched
u
ler
.
c:
e
xtract out shared update_co
u
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Ver
d
oolae
g
e
add isl_u
n
ion_
s
et_plain_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdo
o
laege
add isl_map_plai
n
_
gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
o
olae
g
e
a
dd isl_set_
p
lain_gis
t
_basic_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoola
e
ge
add
i
s
l_
b
asic_
s
et_{
l
o
w
er,up
p
e
r
}_boun
d
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Ve
r
doolaege
doc
:
isl_*
_
bound_*:
s
pecify header to i
n
clu
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
s
c
h
edu
l
er: try ca
r
rying on
l
y self-dependences in
t
he
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verdool
a
ege
isl_map_i
s
_dis
j
oint: handle in
p
ut with unali
g
ne
d
par
a
met
e
rs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
e
r
doolaege
u
p
d
ate imath for fix of bug intro
d
uced in
p
r
e
vious
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_sc
h
eduler
.
c: compute_carryi
n
g_sol:
e
xtract ou
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
isl
_
sc
h
edul
e
r
.
c
:
find_node_coalesci
n
g:
use h
a
lf
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaeg
e
add
i
s
l_val_div_ui
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c
:
c
o
m
p
ute_max_coef
f
icien
t
: ro
u
nd
u
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
a
d
d isl_
i
nt_cd
i
v
_q
_
u
i
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaeg
e
isl_test
_
int:
add more isl_int_cdiv_q te
s
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
imath
b
a
c
ken
d
: use
t
ailored isl_int_fdiv_q_ui
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ve
r
doo
l
aege
i
s
l_schedu
l
e
r
.
c: co
m
pute_
s
chedule_finish_b
a
nd: split
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
Verdoolaege
i
sl_scheduler
.
c: sp
l
i
t
_sc
a
led: do not
en
f
orce rela
t
ive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
doolaege
sched
u
ler: change order
o
f coefficien
t
s
i
n
(
I)LP problems
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdo
o
laege
i
s
l_schedul
e
r
.
c: extract out shared node_pa
r
_coef_
o
ffs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
S
ven V
e
r
d
oolae
g
e
isl
_
s
c
h
e
d
u
ler
.
c: e
x
tract out
share
d
node_cst_
c
oef
_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c
:
extract_var_coef: drop comment on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoo
l
aege
i
sl_sc
h
edule
r
.
c: a
d
d_
v
a
r_sum_constrain
t
:
drop com
m
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n Verdoolaege
isl_
s
ched_node:
drop cmap field
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoola
e
ge
i
s
l_schedule
r
.
c:
upd
a
te_schedule: drop
s
u
p
po
r
t for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
scheduler:
s
o
lve
f
or origi
n
a
l
schedule coef
f
i
cients
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdo
o
laege
ignore
computed sc
h
e
dul
e
of timing tes
t
case
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdo
o
l
a
ege
isl_sch
e
duler
.
c:
i
sl_sched_node: normalize non-
t
rivial
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
add
i
s
l
_
m
at_l
e
xnon
n
e
g_row
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
g
e
a
d
d isl_
m
at_reverse_gauss
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_m
a
t
_
row_
n
eg
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
isl_mat
.
c: extract
out shared check_r
o
w
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
isl_sc
h
eduler
.
c: isl_sched_nod
e
: only s
t
o
r
e r
o
ws that
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
sc
h
e
d
uler: reve
r
se order
o
f
s
chedule
coef
f
ic
i
ents
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
d
o
olaege
isl_scheduler
.
c: ex
t
ract out shared no
d
e
_
v
a
r_
c
oef_pos
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdool
a
ege
isl_dim_map_r
a
nge:
a
llow neg
a
tive st
r
ides
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
i
sl_sch
e
dule
r
.
c: construct_trivial
:
construct region
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
isl_tab_basic_set_n
o
n
_
tr
i
vi
a
l
_
l
e
xmin:
t
ake triviality
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolae
g
e
is
l
_
t
a
b
_pip
.
c: r
e
gion_is_t
r
ivial
:
return isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
isl_tab_basi
c
_set_n
o
n_trivial_lex
m
in: extra
c
t out fix_zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoo
l
aege
isl_tab_
p
ip
.
c
:
exten
d
isl_trivial
d
ocumentati
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
add
isl
_
vec
_
is_
z
ero
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoo
l
a
ege
scheduler:
s
o
lve Feau
t
ri
e
r
fallbac
k
as ILP
to avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Ve
r
doolaege
add
i
s
l_tab
_
le
x
min_cut_t
o
_in
t
eg
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
l
ae
g
e
isl_scheduler
.
c
:
c
om
p
ute_sch
e
dule_finish_b
a
nd: also
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sche
d
uler
.
c: co
u
n
t
_map_
c
onst
r
aints
:
d
r
op "carry
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
e
g
e
isl_sche
d
uler
.
c: compute_
c
ar
r
yin
g
_
s
o
l: re
m
ove duplicate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
d
oolaege
isl
_
s
c
hedu
l
er
.
c: c
a
r
ry_depend
e
nces: extract out co
m
pute_
c
a
r
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
isl_s
c
he
d
uler
.
c: carry_dep
e
ndences: dela
y
erroring
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolae
g
e
isl_schedul
e
r
.
c
: a
d
d_inter_co
n
straint
s
: return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: add_int
r
a
_constraints: r
e
t
u
rn isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
l
aege
isl_sc
h
eduler
.
c: inter_di
m
_map: handle
NULL
inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rd
o
ol
a
ege
isl
_
scheduler
.
c: int
r
a
_
d
i
m
_map: handle N
U
L
L
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoo
l
aege
add i
s
l_unio
n
_set_get_
b
asic_set_l
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdool
a
e
g
e
isl_*_list
_
co
n
cat: special cas
e
pre-allocated lis
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
a
d
d isl_
u
nion_{map,se
t
}_re
m
ov
e
_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
add isl_basic_set_list
_
coeff
i
cients
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add
i
sl_list_*_map_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl_list_templ
.
c: ext
r
act o
u
t shar
e
d is
l
_list_*_c
h
eck_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
isl
_
sched_
g
ra
p
h: add ident
i
fier to compressed nodes
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdool
a
e
g
e
add isl_basic_se
t
_vari
a
ble_
c
ompression_with_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
S
ven
V
e
r
do
o
laeg
e
i
sl_basic_set_
v
ariable_
c
o
mpr
e
ssion: rename "
d
im" va
r
iable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
r
doolaege
isl_sched
_
graph: igno
r
e parameters i
n
ide
n
tification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
S
ve
n
Verdo
o
laege
i
sl_schedule
r
.
c: node
_
has_
s
pac
e
: r
e
name "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdo
o
laege
is
l
_scheduler
.
c: graph_find_node: rename "dim" argume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ver
d
oo
l
aege
add
i
sl_
s
pac
e
_get_tuple_has
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
i
sl_space_get_{hash,domain_
h
ash}: only
h
ash
i
n
parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoola
e
ge
isl_has
h
_{space,spac
e
_
d
omain}: e
x
tract out shared parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
i
sl_
s
pace_
g
et_hash: rename "dim" argum
e
nt to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ve
r
d
oo
l
a
ege
t
e
s
t_inputs/c
o
d
egen/{atomic,separat
e
}
.
*
:
explicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
in
t
erface
:
make
l
angua
g
e b
i
n
d
ings depend on
all relevant
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
inter
f
a
ce/
M
akefile
.
am: drop test target
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-23
Sven Verdoolaege
isl_convex_hull
.
c
:
modulo_affi
n
e_hull:
fi
x
potential
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdoolaege
i
sl_sched
u
le_c
o
nstraints_c
o
mpu
t
e_s
c
hed
u
le:
do
not
merge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
ven
V
erdoo
l
aege
isl_union_map
.
c:
rename cond
_
un_op to un_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
o
l
aeg
e
isl_union
_
map
.
c: un_op: implement in ter
m
s of cond_un_op
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next