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
Sven Verdoolae
g
e
add isl_
u
n
ion
_
access_info_read_from_file
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdoola
e
ge
is
l
_uni
o
n_a
c
cess_info_from_s
i
nk
:
ex
t
ra
c
t out i
s
l_union_acces
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verd
o
olaege
isl_u
n
ion_access
_
info_from_
s
i
n
k: extract out
i
sl
_
union_acc
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
isl_printe
r
_
print_union_access_info: do not print
e
mp
t
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_pr
i
nter_pr
i
nt
_
uni
o
n
_access_info: extract out shared
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erdoolaege
isl_
p
rinter_print_union_access_info: extract
out field
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
isl_fl
o
w
.
c: me
r
g
e
isl_union_access_inf
o
_set_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdo
o
l
a
ege
i
sl_union_acce
s
s_info: tr
e
at
a
c
cess relations in
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verd
o
olaege
isl_p
r
inter_print_union_f
l
ow: consist
e
ntly print full
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n
V
erdoolaege
i
s
l_schedule_{r
e
ad,constraints}
.
c
:
ex
t
ract o
u
t s
h
ared
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolae
g
e
is
l
_sched
u
l
e
_read
.
c: extract_key
:
store
k
ey
s
t
r
ings
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
er
d
o
o
lae
g
e
M
erge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2017-06-08
Sven Verd
o
o
laege
pro
p
e
r
ly add declaration of isl_m
u
lti_uni
o
n_
p
w_
a
f
f_apply_
p
w_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-08
Sv
e
n Verdoolaege
sche
d
uler:
exploit lineal
i
ty spa
c
e in
differen
c
e set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add isl_union_set_combi
n
e
d_lineality_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven
Verdoo
l
aege
privately export isl
_
set_combin
e
d_lineality_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl_b
a
sic_set_lineality_s
p
ac
e
: allow l
o
cal
variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven
Verdoolaege
add isl_basic_set_ex
t
ract
_
equaliti
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolae
g
e
add isl_multi
_
aff_
f
rom_aff_mat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdo
o
lae
g
e
sc
h
e
d
ul
e
r:
d
rop
c
onstrain
t
s that can onl
y
be u
s
ed for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl_sche
d
uler
.
c: collect_intr
a
_validit
y
: drop parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
r
d
oolaege
isl_sched
u
le
r
.
c: intr
a
_coefficie
n
ts:
separa
t
e c
a
ch
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven
Verdoolae
g
e
isl
_
scheduler
.
c: count_map_
c
onstraints: count para
m
etric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
S
v
e
n Verdoola
e
ge
isl_sche
d
uler
.
c
:
extract out
s
hared force_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolae
g
e
isl_schedu
l
e
r
.
c
:
ex
t
ract out shared update
_
count
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
e
rdoolaege
a
dd isl_union_set_plain_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en V
e
rdoolaege
a
d
d
isl_map_plain_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
ad
d
isl_set_p
l
a
i
n_gist_basic_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdo
o
laege
add isl_basic_se
t
_
{lower,upper}_bound_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Verdoo
l
aeg
e
doc: i
s
l_*
_
boun
d
_*:
s
pec
i
fy header t
o
include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
S
ve
n
Verdo
o
laege
scheduler:
try
carrying only self
-
dependences in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Ve
r
doolaeg
e
isl_map_is_disjoint: han
d
l
e
input with unaligned parame
t
e
r
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdoolaege
update imath
f
or fix
o
f bug intro
d
uced in previous
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl
_
sc
h
eduler
.
c: co
m
put
e
_c
a
rryi
n
g
_sol: extract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
is
l
_sched
u
ler
.
c: find_
n
ode_coalescing
:
u
s
e half of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdo
o
laeg
e
add isl_v
a
l_div_ui
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
isl_scheduler
.
c
:
com
p
ute_m
a
x_coefficient: round up
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
d
o
ol
a
eg
e
add isl_int_c
d
i
v
_q_ui
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
isl
_
tes
t
_int: add mo
r
e isl_int_cdiv_
q
t
ests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdo
o
l
a
eg
e
imath bac
k
end:
use
ta
i
lored isl_int_fdi
v
_q_ui
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl_scheduler
.
c: compute_sche
d
u
l
e
_finish
_
band: spl
i
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdool
a
ege
isl_scheduler
.
c: split
_
scaled: do not enf
o
rc
e
relative
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdool
a
e
ge
scheduler:
c
h
a
n
g
e order
of coefficients in (I)LP problems
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
isl_schedul
e
r
.
c: extr
a
ct out shared node_par_
c
oef_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
isl_scheduler
.
c
:
ext
r
a
ct out shared
n
ode
_
cst_coe
f
_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
dool
a
ege
i
s
l_sc
h
eduler
.
c
: extract_var_coef: drop comment on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaeg
e
isl_scheduler
.
c: add_va
r
_sum_const
r
a
i
nt: drop comment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
isl_sched_n
o
de: drop
cma
p
fiel
d
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: update_schedule: drop support f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
Verdoolaege
s
c
heduler: solv
e
for o
r
iginal schedule coefficients
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
igno
r
e computed schedul
e
of timing test case
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
isl_
s
ch
e
duler
.
c
:
i
sl_sched_node: normal
i
ze non-trivial
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
add
i
sl
_
m
at_lexn
o
nneg_r
o
ws
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
add
i
sl
_
m
a
t_reverse_ga
u
s
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verd
o
olaege
add
isl_mat_row_neg
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoola
e
ge
isl_mat
.
c: ex
t
ract ou
t
s
hare
d
check_row
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_scheduler
.
c: is
l
_sched_node:
only
stor
e
rows that
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdo
o
laeg
e
s
c
heduler:
r
e
v
e
r
se order of schedule coefficients
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: extr
a
c
t out shar
e
d
n
ode_var_co
e
f_pos
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
r
doolaege
is
l
_dim_m
a
p_rang
e
:
all
o
w
negati
v
e strides
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
Verdoo
l
aege
isl_scheduler
.
c: c
o
nstruc
t
_
trivia
l
:
c
onstruct region
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l
_tab_basi
c
_s
e
t_non_trivial
_
lexmin: take
t
riviality
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
S
ven
Verdoolaege
is
l
_tab_pip
.
c: region_is_
t
r
i
vial: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
isl_tab_ba
s
ic_set_non_trivia
l
_lexmin: extrac
t
out
fi
x
_zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
isl
_
t
a
b_pi
p
.
c: extend
i
sl_trivia
l
d
ocumentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_vec_is_zero
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
sched
u
ler: so
l
ve Feautrier
f
a
l
lback as ILP to avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
add
i
sl_tab_lex
m
in_
c
ut_to_i
n
t
e
ger
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
d
o
o
la
e
g
e
isl_sc
h
eduler
.
c: compute_schedul
e
_
f
inish_b
a
n
d
: also
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c
: count_
m
ap_const
r
aints:
drop "car
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
i
sl_sch
e
duler
.
c
:
c
o
m
pute_carry
i
ng_s
o
l
:
r
emove du
p
licate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
isl_sche
d
uler
.
c
:
carry_depende
n
ces: extract
o
ut comput
e
_carr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl_schedu
l
er
.
c: carry_depen
d
ence
s
: del
a
y error
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
isl_scheduler
.
c
:
add_inter_constraints
:
ret
u
r
n
isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c:
ad
d
_int
r
a_constraints: retur
n
isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
isl_schedul
e
r
.
c: inte
r
_dim
_
map: handle
N
ULL
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
i
s
l
_schedu
l
er
.
c
:
intr
a
_dim
_
map: ha
n
dle
NULL inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
add isl_
u
nion_set_get_bas
i
c_s
e
t
_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
V
erdoola
e
ge
isl_*_list
_
concat: spec
i
al case
pre-all
o
cated l
i
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n V
e
rdo
o
laege
add isl_
u
nion_{ma
p
,
s
et}_remove_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdool
a
e
g
e
a
dd isl
_
b
a
sic_set_li
s
t
_
c
oeffi
c
ients
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
a
dd isl_list_*_map_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_list_templ
.
c: ext
r
act out shared
i
sl_list_*_check
_
index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
isl_sched_
g
raph: add
identi
f
ier to c
o
mpress
e
d
nodes
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
add isl_basic_set_variab
l
e_
c
ompression_w
i
th_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdool
a
ege
isl_bas
i
c_set
_
variable
_
compression: rename
"
di
m
" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolae
g
e
isl_
s
c
h
ed_
g
raph: igno
r
e parameters in identification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
isl_
s
c
h
e
d
uler
.
c: n
o
de_has
_
space: rename "d
i
m
" varia
b
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
i
s
l
_
scheduler
.
c: g
r
aph_f
i
n
d_node:
rena
m
e
"d
i
m
"
argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
add
i
sl_space_get_tuple_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_space_get_{hash
,
dom
a
in
_
hash}: only hash in parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doo
l
aege
isl_has
h
_{
s
pace,space_domain}: extract out sha
r
ed parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_space_g
e
t
_
hash: rename "
d
im" argument to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Ver
d
oolaege
test_in
p
uts/codegen
/
{ato
m
ic,sep
a
rate}
.
*: explicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
interface: make la
n
g
u
age bindings depend o
n
all relevant
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdoolaege
in
t
erface/Makefil
e
.
am: drop test targe
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-23
Sven Verdo
o
laege
isl
_
con
v
ex
_
h
u
ll
.
c:
m
odul
o
_affine
_
hull:
fix p
o
tential
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
laege
is
l
_s
c
hedule_constrain
t
s_compute_sche
d
u
l
e: do not m
e
rge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verdoolaege
isl
_
uni
o
n_map
.
c
:
ren
a
me cond_
u
n_op to un_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
is
l
_union_ma
p
.
c: un_
o
p: imple
m
ent in terms of cond_un_op
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next