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 missing annotations to isl_basic_map_align_divs
2017-05-25
Sven Verd
o
olaege
a
d
d isl_vec_is_z
e
ro
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
s
cheduler: solve Feautrier f
a
l
l
b
a
ck as
I
L
P to av
o
id
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_
t
ab_lexmin_cut_to_intege
r
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
i
sl_sch
e
d
u
l
e
r
.
c: compute_schedule_finish_ban
d
: also
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
Verdo
o
laege
isl_scheduler
.
c
: count_map_constraints: drop "carry
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_scheduler
.
c: compute_carryin
g
_
s
o
l:
r
emove
d
u
p
licate
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_s
c
heduler
.
c:
c
arry_dependence
s
: extrac
t
out com
p
ute
_
carr
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
Ve
r
doolaege
isl_sc
h
eduler
.
c: carry_de
p
e
n
d
ences:
delay erro
r
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oo
l
ae
g
e
isl_scheduler
.
c
: add_inter_cons
t
raints: r
e
t
u
rn isl_stat
commit
|
commitdiff
|
tree
2017-05-25
Sven
Ver
d
oolaege
isl
_
sched
u
ler
.
c
:
add_intra
_
co
n
st
r
aints:
r
e
t
u
rn isl_stat
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolae
g
e
isl_sch
e
duler
.
c: inter_
d
im_map:
h
a
n
dle
N
U
LL i
n
put
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sc
h
eduler
.
c: intra_dim_ma
p
: handle NULL inpu
t
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
a
d
d isl_unio
n
_set_get_basic_set_list
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
e
g
e
i
sl_*_list
_
concat
:
special case pre-allocated l
i
st
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
add
isl_union_{m
a
p,
s
et
}
_
r
e
move
_
divs
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
a
d
d
i
sl_basic_set_list_c
o
efficients
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
a
dd isl_list_*_map_
*
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
d
oolaege
isl_list_templ
.
c
: ex
t
ract
o
u
t shared
i
sl_
l
ist_*_che
c
k_index
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
i
sl_sched_gra
p
h: add identifier to c
o
mpre
s
sed
n
odes
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdoolaege
add
i
sl_basic_se
t
_variable_compression
_
with_id
commit
|
commitdiff
|
tree
2017-05-25
Sven
Ve
r
doolaege
isl_b
a
sic_
s
et_var
i
able_
c
ompression
:
r
e
na
m
e
"
dim" variable
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdo
o
laege
isl_sc
h
ed_gra
p
h: ignore
p
arameter
s
in identificati
o
n
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erd
o
olaege
isl_scheduler
.
c: node_has_space:
r
e
n
ame "dim" va
r
iable
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaeg
e
isl_
s
chedule
r
.
c: graph_find_nod
e
:
rename "dim" argume
n
t
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
ven
Verd
o
ol
a
ege
add isl_space_get_tuple_hash
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
is
l
_s
p
a
c
e_get
_
{h
a
sh,domain_hash}: only hash i
n
parameters
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verd
o
olaege
is
l
_hash
_
{space
,
space_domain}: e
x
tract out
s
hared para
m
et
e
r
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_space_get
_
hash: rename "dim" argument
t
o "sp
a
ce"
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
test
_
inpu
t
s/codegen/{atomic,sep
a
r
a
t
e}
.
*: explici
t
ly
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Tobias
G
rosser
cpp
:
ad
d
uni
t
tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
o
l
aege
interface:
m
ake
lan
g
ua
g
e
b
indings
depend on all
r
eleva
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
V
e
r
doolaege
i
n
terface/M
a
kefile
.
am: drop test tar
g
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-23
Sven V
e
rdool
a
ege
isl_convex
_
hull
.
c: modulo_af
f
ine_hull: f
i
x pote
n
tial
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verdoo
l
a
ege
isl
_
sc
h
edu
l
e_constraints_compute_sch
e
du
l
e: do
n
ot merge
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Ver
d
oolaege
i
sl_union_ma
p
.
c: ren
a
me
c
ond_un_
o
p to un_op
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoo
l
aege
i
s
l_
u
n
io
n
_map
.
c: un_op: im
p
lement in terms of c
o
nd_
u
n
_
op
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven
Ve
r
doolae
g
e
is
l
_
union
_
m
ap
.
c: in
p
lace: implement in
t
erms o
f
cond
_
un_op
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
o
olaege
isl_union_map
.
c: con
d
_
u
n_
o
p: u
n
ify callbacks
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdool
a
e
g
e
isl_union_map
.
c: c
o
nd_un_
o
p:
drop needless error
l
abel
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdoolaege
isl_uni
o
n_m
a
p
.
c:
cond_un_op: use isl_union_map_get_space
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdoolaege
i
s
l_union_m
a
p
.
c: u
n
_op: use
isl_union_map_g
e
t_ctx
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_
u
nion_map
.
c: inp
l
a
c
e: use isl_union_
m
ap_get_ctx
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdool
a
ege
isl
_
union_map
.
c: cond_un_
o
p: use
isl_union_m
a
p_get_ct
x
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
er
d
oolaege
isl_union_map_factor
_
range: use
isl_map_is_prod
u
ct
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoolaege
isl_union
_
map_factor_domain: use isl_map_
i
s_product
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
ool
a
ege
add isl_map_is_product
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doolaeg
e
isl_spac
e
_can_zip: ext
r
act out isl
_
space_i
s
_p
r
oduct
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoola
e
ge
isl_spac
e
_can_zip: rename "dim" argument to
"
s
p
a
ce"
commit
|
commitdiff
|
tree
2017-05-17
S
v
e
n V
e
rdoolaege
isl_scheduler
.
c: count_map_cons
t
raints: us
e
isl_basic_set_n
_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_
s
cheduler
.
c: add_c
o
nstraints_dim_
m
ap: use
i
sl_basic_set_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verdoolaege
isl
_
s
c
hed
u
ler: extract
o
ut s
h
ared add_constrai
n
ts_
d
i
m
_
map
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verdoolaege
isl_sc
h
eduler
.
c
:
compute
_
weig
h
ts: use isl_basic_map_n_equal
i
ty
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
add isl_bas
i
c
_
set_
n
_ine
q
u
ality
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolae
g
e
add isl_
b
asic_m
a
p
_n_inequality
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
oolae
g
e
a
dd isl
_
basic_s
e
t_n_
e
qua
l
ity
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
add isl_ba
s
i
c
_map_n_equality
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
d
o
olaege
isl_scheduler
.
c: fix wh
i
t
espace
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
ge
isl_scheduler
.
c:
non
_
n
eg
_
le
x
min: impr
o
ve documentati
o
n
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdoolaege
isl_schedule
r
.
c: clarify
t
hat space of isl_sched_
n
ode
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoolaege
isl
_
scheduler
.
c: fix
documentation o
f
inter_d
i
m_map
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n
Verdoolaege
inclu
d
e/isl
/
m
a
p
.
h: d
r
op no
t
e about memory
m
anagem
e
n
t
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
laege
i
sl_t
a
b_pip
.
c:
f
i
x typ
o
s in
comme
n
ts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
ege
is
l
_s
c
heduler
.
c: fix
t
y
po in
com
m
ent
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verdoolaeg
e
isl_map_si
m
plify
.
c: f
i
x typ
o
s
in comments
commit
|
commitdiff
|
tree
2017-05-17
S
ven Ve
r
d
oolaege
isl_morph
.
c: fix typos in comme
n
ts
commit
|
commitdiff
|
tree
2017-05-17
S
v
e
n
Verdoolaege
isl
_
flow
.
c
:
fix typos in comme
n
ts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n
V
erdool
a
e
g
e
isl_coalesce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
ege
d
o
c: fix typo i
n
d
e
scription of sche
d
u
l
e_spl
i
t
_
scaled
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n
Verdoolaege
isl
_
list_templ
.
c: fi
x
harmles
s
t
ypo in cod
e
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2017-05-17
Tobias Gr
o
s
s
er
cpp: do not mark
boolean(isl_
b
ool
)
const
r
uctor as explicit
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Grosser
cpp: explicitly m
a
nage isl_bool r
e
tu
r
n values
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-16
Sven Verdoolaege
isl_schedul
e
r
.
c: add_inter_va
l
idity_constraints:
a
void
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-11
T
o
b
ias Gros
s
er
isl_val_is_one should
return isl_b
o
ol_false for nan
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-08
S
ven Verdoola
e
g
e
interface/
p
ython
.
cc: f
i
x typo in
t
roduced in previ
o
us
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Tobias Grosser
p
y
thon:
make string
p
a
r
s
i
ng and returning Python
3
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Sven Verdoolaege
isl_tab_basic_
s
et_non_tr
i
vial_lexmin:
o
n
ly
add zero
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Sven
Verdoolaege
isl_
t
ab_basic_se
t
_non_trivial_lexmin: re
i
n
itialize
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sv
e
n Verdoolaege
interface/i
s
l
.
py
.
top: e
x
plicitly cast self
.
p
t
r of Conte
x
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sve
n
Verdoola
e
ge
p
ython
i
nter
f
ace: also print a
r
gument ty
p
es for
*
_copy
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Ve
r
doolaege
interface: gen
e
rator:
:
generato
r
: extract out share
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree