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_vec_is_zero
2017-05-25
Sven Ve
r
doolaeg
e
add isl_vec_
i
s_z
e
ro
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
a
e
g
e
sc
h
e
d
uler: solv
e
Feautrier
fallback as ILP to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
a
dd isl
_
tab_lexmin_cut_
t
o_i
n
teger
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
i
s
l
_schedu
l
er
.
c: c
o
mp
u
te_s
c
h
e
dule_finish
_
ban
d
:
also
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
rdoolaege
isl_scheduler
.
c: count
_
map_constra
i
nts: drop "c
a
rry
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verd
o
ol
a
eg
e
i
sl_scheduler
.
c: c
o
mpute_carryi
n
g_
s
ol:
r
emove duplicate
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdo
o
l
a
ege
isl_scheduler
.
c:
carry_dependences: extr
a
ct
out co
m
pute_carr
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
isl_sc
h
eduler
.
c: carry_depen
d
ences
:
delay e
r
roring
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Ve
r
do
o
laege
i
s
l_scheduler
.
c: add_inter_constra
i
nts: return
i
s
l_
s
tat
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sch
e
duler
.
c: ad
d
_intra_const
r
aints:
retur
n
isl_stat
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
is
l
_
s
c
h
eduler
.
c: i
n
ter_di
m
_
m
a
p
:
ha
n
dle NULL in
p
u
t
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
i
s
l_schedu
l
er
.
c: intra_dim_map: handle N
U
L
L
i
n
put
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ver
d
ool
a
e
g
e
add isl_uni
o
n_
s
et_get_basic_set_list
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
i
sl_*_l
i
s
t_concat: special case pre-
a
lloc
a
ted list
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
a
d
d
i
sl_union_{map,set}_remove_d
i
v
s
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
ad
d
i
s
l_basic_set_lis
t
_coeffi
c
ie
n
t
s
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
ad
d
isl_list_*_map_*
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoola
e
ge
isl_li
s
t
_
templ
.
c
:
extract out shared isl_l
i
st_
*
_
c
heck_
i
ndex
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
is
l
_sch
e
d_grap
h
: add identifier to compressed
n
odes
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_basic_set_variable_c
o
m
p
ression_with_id
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_bas
i
c_set_variable_compress
i
o
n
:
r
e
n
ame
"dim" v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
i
sl_sc
h
ed_graph
:
ignore para
m
e
t
e
r
s in identific
a
tion
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doo
l
aege
isl_schedule
r
.
c: node_has_spa
c
e
: r
e
name "di
m
" variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
isl_
s
chedul
e
r
.
c: graph_fi
n
d_nod
e
: rename "dim"
argument
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Ver
d
oolaege
add
isl_spa
c
e_get
_
tuple_hash
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_sp
a
ce
_
get_{hash,domain_hash}: only hash in param
e
te
r
s
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoo
l
a
ege
is
l
_hash
_
{space
,
space_domain}: e
x
tr
a
ct out shared param
e
ter
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
Verdoola
e
ge
i
s
l_space_get_h
a
sh:
ren
a
me "dim
"
arg
u
ment to
"
space"
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaeg
e
te
s
t_input
s
/codeg
e
n/{atomic,se
p
a
r
ate}
.
*: ex
p
licitly
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Tobias Grosser
cp
p
: add unit tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
interface
:
make
language
b
indings
d
e
pend on
a
ll relevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
i
n
terface/Makefile
.
am: drop test target
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verdool
a
eg
e
is
l
_sc
h
edu
l
e_co
n
str
a
ints_com
p
ute_schedu
l
e:
d
o
not merge
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaeg
e
isl_union_map
.
c: rename co
n
d_un_op to un_op
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
is
l
_union_map
.
c: un_op: imple
m
ent in terms
of con
d
_un_op
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
er
d
oola
e
ge
isl_union_map
.
c
: inplace: imple
m
e
nt in terms of
c
ond_un_o
p
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
ge
i
sl_
u
ni
o
n_
m
ap
.
c: c
o
nd
_
un
_
op:
unify callbacks
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoolaeg
e
isl_u
n
ion_m
a
p
.
c
: co
n
d_un_op:
d
r
op n
e
edless error lab
e
l
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
ol
a
ege
isl_union_map
.
c: cond_
u
n_op:
use isl_union
_
map
_
ge
t
_space
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
i
sl_union_map
.
c: un_op: use isl_union_
m
ap_ge
t
_ct
x
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
e
r
d
oolae
g
e
isl_
u
nion_map
.
c: inplace: use isl_u
n
ion_map_
g
et_
c
t
x
commit
|
commitdiff
|
tree
2017-05-17
S
ve
n
Verdoolaege
isl_union_map
.
c
:
cond_un_op: use isl_union_
m
a
p
_get_ctx
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoolaege
isl_u
n
ion_map_facto
r
_ran
g
e
:
u
s
e
isl_map_
i
s_product
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdoolaege
isl
_
u
n
ion_map_f
a
ctor_doma
i
n:
u
se
isl_map_is_product
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
e
rd
o
olaege
add isl_map_is
_
product
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdoolaege
i
sl_space_can_zip
:
ex
t
ract out isl_space_is_
p
roduct
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdoolaege
i
s
l
_
space
_
can
_
z
i
p
:
rename
"dim" arg
u
ment to "space
"
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
la
e
g
e
isl_sc
h
ed
u
l
er
.
c: count_map_constraints: use isl_basic_set_n_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
ge
is
l
_scheduler
.
c: a
d
d_co
n
straints_dim
_
map: use
i
sl_
b
asic_set_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
o
laege
isl_sc
h
e
dul
e
r:
ext
r
act ou
t
shared add_c
o
n
s
traints_d
i
m_
m
ap
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
i
sl_scheduler
.
c:
c
ompute_
w
eights: use isl_basic_map_n_eq
u
ali
t
y
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
ege
a
d
d
i
sl_bas
i
c_s
e
t_n_ine
q
ualit
y
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
ool
a
ege
add isl_bas
i
c
_map_n_inequality
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdoolaege
add
i
sl_
b
asic
_
set_n
_
equality
commit
|
commitdiff
|
tree
2017-05-17
S
v
e
n
Ver
d
oo
l
aege
add isl
_
basic_map_n_equ
a
lity
commit
|
commitdiff
|
tree
2017-05-17
S
v
en V
e
r
doolaege
isl
_
schedul
e
r
.
c: fi
x
whi
t
espac
e
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rd
o
olaege
isl_sche
d
uler
.
c: non_n
e
g_lexmin: imp
r
ove documentati
o
n
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
do
o
laege
i
s
l_scheduler
.
c: clarify
that space of i
s
l_sc
h
ed_node
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_scheduler
.
c: fix
doc
u
m
entation of inter
_
dim_map
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoolaege
i
nclude/isl/map
.
h: drop
n
o
te about memory
m
anag
e
ment
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdoolae
g
e
isl_
t
a
b
_pip
.
c:
fix
typos in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_scheduler
.
c: f
i
x typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
oolaege
isl_
m
ap_s
i
m
pl
i
fy
.
c: fix t
y
pos in commen
t
s
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolae
g
e
isl_mo
r
ph
.
c
: fix ty
p
os i
n
comme
n
t
s
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
is
l
_flow
.
c:
f
ix typos
i
n
comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
S
ve
n
Verdoolaege
isl_c
o
ale
s
ce
.
c
: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
doc: fix typ
o
in d
e
scri
p
tion of
s
chedule_split_scaled
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdo
o
l
aege
i
sl_list_te
m
pl
.
c: fi
x
harmless typo
i
n
code
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
ege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2017-05-17
Tobi
a
s Grosser
cpp: do not
m
a
rk boolean(isl
_
bool)
c
onstructor a
s
explicit
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Grosser
c
pp: explicitly manag
e
isl_bo
o
l
retur
n
values
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-16
Sven Verdoolaege
isl_scheduler
.
c: add_in
t
er
_
v
alidity_cons
t
raints: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-11
T
o
b
i
as Grosser
isl
_
v
al_is
_
one sho
u
ld return
isl_bool_fal
s
e
for nan
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-08
Sv
e
n Verdool
a
ege
interface/python
.
cc: fix typo
i
n
t
roduced in
previo
u
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Tobias Gros
s
e
r
pyt
h
on: make str
i
ng parsi
n
g and returning
Pyth
o
n
3
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
S
v
en
V
erdoolaege
isl_t
a
b_basic_
s
et_non_trivial
_
lexmin: o
n
ly add zeroing
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Sven Verd
o
olaege
isl_tab_ba
s
ic_set_non
_
trivial_lexmin: r
e
initialize
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Ver
d
oolaege
interface/isl
.
py
.
t
o
p: explicitly cast self
.
ptr of Contex
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Ve
r
doolaege
python interface: a
l
so print
a
r
gu
m
e
n
t
types
for *_
c
opy
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven
V
erdoolaege
int
e
rface: generator::g
e
nerator: extract out shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree