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_scheduler.c: extract out shared node_var_coef_pos
2017-05-25
Sv
e
n Verdoolaeg
e
isl_scheduler
.
c:
e
xtract o
u
t shared node_v
a
r_co
e
f_pos
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
V
erdo
o
la
e
ge
isl
_
d
i
m_map_range:
a
llow nega
t
ive strides
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sc
h
e
d
ul
e
r
.
c: construct_trivial
:
construct region
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
isl_tab_basic_set_non
_
t
rivial_lexmin:
t
a
k
e tri
v
iality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oola
e
ge
isl_ta
b
_
p
ip
.
c: region
_
is_
t
rivial: return isl
_
bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolae
g
e
isl_tab_ba
s
ic_set_non_trivi
a
l_lexmin: ex
t
ra
c
t o
u
t fix_zero
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_tab_p
i
p
.
c: extend
i
s
l_trivial documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add is
l
_
vec_is_zero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
o
olae
g
e
scheduler: solve
Feautrier fallback as I
L
P to
a
vo
i
d
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n Verdoolaege
add isl_t
a
b_lexmin_cut_t
o
_integer
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
dool
a
ege
i
s
l_schedul
e
r
.
c: compute_sche
d
ule_finish_band: also
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolae
g
e
isl_schedule
r
.
c: count_map
_
co
n
straints: dro
p
"
c
ar
r
y
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdo
o
la
e
g
e
isl_
s
cheduler
.
c:
c
ompute_carrying_sol: remove duplicat
e
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
is
l
_sched
u
ler
.
c:
carry
_
depe
n
d
ences: ex
t
ract out compute_
c
arr
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
i
s
l_sche
d
ul
e
r
.
c:
c
ar
r
y
_
d
e
p
e
n
dences: delay erroring
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
is
l
_scheduler
.
c: add_inter_constraints:
r
eturn is
l
_stat
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_s
c
heduler
.
c: add
_
i
n
tra_constr
a
ints: re
t
ur
n
isl_stat
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaeg
e
isl_scheduler
.
c:
i
n
ter_dim
_
map: handle NULL in
p
u
t
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdool
a
e
ge
i
s
l_sch
e
dule
r
.
c: i
n
t
r
a_dim_map: ha
n
dl
e
NULL i
n
put
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
a
dd isl_union_set_get
_
basic_set_list
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_*_list_concat: special c
a
se pre-all
o
cated list
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
add isl
_
union_{map,set}_r
e
move
_
divs
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
ad
d
isl_ba
s
i
c_set_list
_
coeff
i
cients
commit
|
commitdiff
|
tree
2017-05-25
S
ve
n
Verdoo
l
aege
add
isl_
l
i
s
t_*_map_*
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_list_templ
.
c: ext
r
act out
shared isl_list_*_c
h
eck_index
commit
|
commitdiff
|
tree
2017-05-25
S
ven
V
e
rdoola
e
ge
is
l
_s
c
hed_graph: ad
d
ident
i
f
i
e
r
to co
m
p
r
essed nodes
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en
Verdoolaege
add isl_basic
_
set
_
var
i
able_compression_with
_
id
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
isl_ba
s
i
c_set_variable_compressi
o
n: rename
"
dim" variable
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
is
l
_
sched_graph
:
i
gnore parameters in identification
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
dool
a
ege
is
l
_
scheduler
.
c: node
_
has_space: re
n
ame
"dim" variable
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
isl_scheduler
.
c
:
g
ra
p
h
_find_no
d
e
: rename
"
d
i
m" argu
m
en
t
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
a
d
d i
s
l_space_get_tuple_hash
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ver
d
oolaege
isl_
s
pace_get
_
{h
a
sh,dom
a
in
_
h
a
sh}: onl
y
hash in paramete
r
s
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaeg
e
isl_hash
_
{space,space_d
o
main}: extr
a
ct out sh
a
red p
a
ra
m
eter
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_space_get_hash: rename
"
dim"
argument
to "space"
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Ver
d
ool
a
eg
e
test_inputs/co
d
egen/{atomic,separate}
.
*: explici
t
ly
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Tobia
s
G
r
o
sser
cpp: ad
d
un
i
t tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
erdoolaege
interface: make language bindin
g
s depend on all relevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en
V
erdoolaege
i
n
t
erface/Makef
i
l
e
.
am:
d
rop test ta
r
get
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdoola
e
ge
i
sl_sched
u
le_const
r
ai
n
ts_com
p
ut
e
_sc
h
e
d
u
le: d
o
n
o
t merge
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
S
ve
n
Ve
r
d
o
ol
a
ege
isl_union_map
.
c: ren
a
me c
o
nd_un_op to u
n
_op
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
g
e
isl_union_map
.
c
:
un_op: imp
l
ement in terms of
c
ond_un_op
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoolae
g
e
isl_union_map
.
c: inpl
a
ce: i
m
plement in
t
er
m
s of cond_u
n
_o
p
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoo
l
aege
isl_union_map
.
c: cond_un_op: unify callb
a
cks
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdoolaege
isl_union_map
.
c: cond_un_op
:
drop ne
e
dless
e
rror label
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
i
sl_uni
o
n_map
.
c:
c
o
n
d_un_op: u
s
e isl_unio
n
_m
a
p_
g
et_s
p
a
c
e
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verdoolaege
isl_union_m
a
p
.
c
: un_
o
p: use
isl_union_map_get_ctx
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_uni
o
n_map
.
c: inplace:
use isl_
u
n
i
on_map_get_ctx
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_uni
o
n_m
a
p
.
c
: cond_un_op: use isl_union_map_
g
et_ctx
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Ver
d
oolaege
isl_union_ma
p
_factor_r
a
nge: u
s
e isl_
m
ap_is_product
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdoola
e
ge
isl_union_ma
p
_fac
t
o
r_d
o
m
a
in: us
e
is
l
_ma
p
_is_
p
r
o
du
c
t
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
ege
add isl_map_is_produc
t
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_space_
c
an_zip: ex
t
ract o
u
t isl_space
_
is_product
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
l
aege
isl_space_c
a
n_z
i
p: rename
"
d
i
m
" argum
e
nt
t
o "space"
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
r
d
o
o
l
aege
i
s
l_sche
d
uler
.
c: count_map_constraints: use isl_basic_set_n_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verdoolaege
isl_scheduler
.
c:
a
dd_
c
onst
r
aints_dim
_
map
:
use isl_b
a
s
i
c
_
set_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdoolaege
i
sl_s
c
heduler: extract o
u
t s
h
ared
a
d
d_
c
onstraints
_
d
im_map
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaeg
e
isl
_
s
c
he
d
uler
.
c:
c
ompu
t
e_weights: u
s
e
isl
_
basic_map_n_equali
t
y
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdool
a
ege
add i
s
l_
b
a
s
i
c_set_n_inequa
l
ity
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
add
isl_basic_map_n_inequa
l
ity
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doolaege
add isl_
b
asic
_
s
et_
n
_equality
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
ge
add isl_basic_map
_
n_equa
l
ity
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Ve
r
doolaege
isl
_
scheduler
.
c:
fix w
h
i
t
espace
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Ver
d
oolaege
isl_sch
e
du
l
er
.
c: non_neg_lexmin
:
im
p
rove document
a
ti
o
n
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_sch
e
duler
.
c
: clarify that space of isl_sch
e
d
_node
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
ola
e
g
e
is
l
_sched
u
ler
.
c: fix docum
e
ntation
of inter
_
dim_map
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdoo
l
aege
include/isl/
m
ap
.
h: dro
p
note abo
u
t memory managem
e
nt
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rd
o
olaege
i
s
l_tab
_
pip
.
c: fix
t
ypos
i
n comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl
_
sched
u
ler
.
c: fix typo in comm
e
nt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoola
e
ge
i
sl_map_simplify
.
c: fix
t
ypos in c
o
mme
n
ts
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
i
s
l_mor
p
h
.
c: fix
typos in co
m
ments
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doolaege
i
sl_
f
low
.
c: f
i
x typos in co
m
ments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoolae
g
e
is
l
_
coalesce
.
c
:
fix
t
ypo
in
c
omment
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdoo
l
aege
d
o
c: fix
t
ypo in description of schedu
l
e_spl
i
t_scaled
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erd
o
olaege
isl_lis
t
_templ
.
c
:
fix harmless t
y
po in code
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
olaege
Merge branch
'maint'
commit
|
commitdiff
|
tree
2017-05-17
Tobias Grosser
c
p
p: do not mark boole
a
n(isl_bool
)
constructor as exp
l
ic
i
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Tob
i
as Grosser
cpp: exp
l
icitly manage isl_b
o
ol retur
n
v
a
lue
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-16
S
v
en V
e
r
doolaege
isl
_
scheduler
.
c: add_int
e
r_va
l
idi
t
y_constraints: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-11
Tobias Grosser
isl_val_i
s
_
one should
ret
u
r
n
i
sl_b
o
ol_false for
nan
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-08
Sven Verdoolaege
i
nt
e
rface/pyt
h
o
n
.
c
c
: fix typo in
t
r
oduced
i
n pre
v
ious
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Tob
i
as Gro
s
ser
python
:
make string pars
i
ng a
n
d returning
P
ython 3
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Sv
e
n
Verdoolaege
isl
_
tab_b
a
s
i
c_
s
et_non_trivial_lexmin:
o
nly add zeroing
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
S
v
en Verdoolaege
isl_tab_basic_set_non
_
trivial_lexmin
:
reinitiali
z
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven V
e
rdoolaege
i
n
t
er
f
ace/isl
.
p
y
.
top: explicitly cast self
.
ptr o
f
Context
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdool
a
ege
p
ython interface:
a
lso print
argument types f
o
r *_copy
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoo
l
aege
interface:
g
e
n
erato
r
::gene
r
ator:
e
xtract
o
ut
sha
r
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree