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: count_map_constraints: drop "carry" argument
2017-05-25
Sven Verdoolaege
is
l
_sc
h
edule
r
.
c
: count_m
a
p_
c
o
n
strain
t
s:
d
rop
"
carry
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
isl_s
c
hed
u
ler
.
c
:
c
o
m
p
ute_carrying
_
sol:
r
emove duplicate
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: ca
r
ry_depend
e
nces: extract out comput
e
_carr
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
i
s
l_schedu
l
er
.
c: carry
_
dependences: delay erroring
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoo
l
a
ege
isl_s
c
heduler
.
c
:
add_inter
_
c
o
nstraint
s
: r
e
turn isl
_
stat
commit
|
commitdiff
|
tree
2017-05-25
Sven
Ve
r
doolaege
isl
_
scheduler
.
c
:
a
dd_intra_co
n
s
trai
n
ts: retu
r
n isl_stat
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl
_
sc
h
eduler
.
c
: inter_
d
im_map: handle NULL
input
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
isl_sc
h
edule
r
.
c: intra_dim_map: handle NULL
i
n
put
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolae
g
e
add i
s
l_u
n
ion_set_g
e
t_basic_set_list
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_*_list_concat: specia
l
case pre-allocated list
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
a
d
d
i
s
l_u
n
ion_{map,set}_remove_divs
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
add isl_basic_set_list_coefficients
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
add isl_list_*_ma
p
_*
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl_list_temp
l
.
c
:
e
xtr
a
ct out shar
e
d
isl_list_*_ch
e
ck_index
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ver
d
oolaege
isl
_
sched_graph:
a
dd i
d
entifier to
c
om
p
ressed nodes
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
add isl_basi
c
_set_variable_com
p
re
s
sion
_
wi
t
h
_
i
d
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdool
a
e
g
e
isl_basic_s
e
t
_
v
ar
i
a
ble_
c
o
mpression: rename "dim" v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl
_
sch
e
d
_
g
raph: ignore
p
arameters in
identi
f
ic
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_schedu
l
er
.
c: node_has
_
s
p
ace: rename "di
m
" variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
is
l
_schedul
e
r
.
c: gra
p
h_fin
d
_node: rename "di
m
"
argument
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
ae
g
e
add i
s
l_space_get_t
u
ple_ha
s
h
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verd
o
ol
a
ege
isl
_
spac
e
_get_{hash,domain
_
hash}: only hash in param
e
t
e
r
s
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_hash_{sp
a
ce,sp
a
ce_domain}
:
extract
out shar
e
d parameter
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
do
o
laege
isl_space_get_hash: ren
a
me "dim"
a
r
g
umen
t
t
o
"
space"
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
doolaege
test_inputs/codege
n
/{ato
m
ic,separate}
.
*: explicitly
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Tob
i
as Grosser
c
p
p: add
u
ni
t
tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
int
e
rface: make languag
e
b
i
ndings d
e
p
end on
al
l
re
l
e
vant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
int
e
rface/
M
ak
e
file
.
am: drop t
e
st target
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verdoolaege
isl
_
sch
e
dule_con
s
traints
_
compute_schedule:
d
o not m
e
rge
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
S
ven Ve
r
doolaege
isl_un
i
o
n_map
.
c: rena
m
e cond_u
n
_op to un_op
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdo
o
l
a
ege
isl_unio
n
_map
.
c: un_op: implement in
t
er
m
s
of cond_un_op
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
S
v
en V
e
rdoolaege
isl_union_map
.
c
:
inplace:
im
p
lement in terms of cond_un
_
op
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
olaege
isl_union
_
ma
p
.
c: cond_un_
o
p:
un
i
fy ca
l
lbacks
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
g
e
isl_unio
n
_
m
ap
.
c: cond_un_o
p
: drop
n
ee
d
less
e
rro
r
label
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doolaege
isl_union_map
.
c
: cond_un_op
:
use is
l
_union
_
map_
g
et_space
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoo
l
aege
isl_u
n
io
n
_map
.
c
:
u
n
_
op
:
use
isl_union_map_
g
et
_
ctx
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doolaege
is
l
_union_map
.
c: inplace: use isl_union_map_g
e
t
_
ctx
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoolaege
isl_unio
n
_
m
ap
.
c:
cond_un_op: use isl_union_map_
g
et_ctx
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verd
o
olaege
isl_union_m
a
p_fa
c
tor_range:
u
se isl_map
_
is_product
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_
u
nion_map_factor_domain: us
e
isl_map
_
is_pr
o
d
uct
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
olaege
ad
d
isl_map_is_product
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_space
_
can_
z
ip: extract o
u
t i
s
l_space_is_produc
t
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n
Verdoolaege
i
s
l_space_can_zip: rename "dim" argume
n
t to "space"
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
oola
e
ge
isl_schedule
r
.
c: coun
t
_map_cons
t
raints: us
e
isl_
b
a
s
i
c_set_n_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verdoolaege
isl_scheduler
.
c: add_constrai
n
ts_dim_
m
ap:
u
se isl_bas
i
c
_
set_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdo
o
laege
isl_
s
ch
e
duler: e
x
tract out s
h
a
red add_co
n
s
t
rain
t
s_dim_map
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
i
s
l_sc
h
eduler
.
c: compute
_
weights:
u
s
e isl_basic_
m
ap_n_e
q
ua
l
ity
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
ge
ad
d
isl_
b
asic_se
t
_n_ine
q
u
ality
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolae
g
e
add
i
sl_
b
a
s
i
c_map_n
_
i
n
e
q
u
a
lity
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdoolaege
add
isl_basic_se
t
_
n_equa
l
ity
commit
|
commitdiff
|
tree
2017-05-17
S
v
e
n Verdo
o
lae
g
e
add i
s
l_basic_map_
n
_
equality
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
e
rdoolaege
is
l
_s
c
heduler
.
c
:
fix whitespace
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
V
e
rdoolaege
is
l
_scheduler
.
c: non_neg_lexmi
n
:
i
mprove docu
m
e
n
t
ation
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_sch
e
duler
.
c: c
l
arify tha
t
space of i
s
l_sc
h
ed_
n
ode
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Ver
d
oola
e
ge
isl_sch
e
du
l
er
.
c:
fix
d
o
cume
n
tation o
f
inter_dim_map
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
V
erdoolaege
include
/
isl/map
.
h: drop note ab
o
u
t
m
e
mory management
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdoolaege
i
s
l_ta
b
_pip
.
c:
fix typos in comm
e
n
t
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Ver
d
o
olaege
isl_sche
d
ul
e
r
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoo
l
aege
isl_map_sim
p
lif
y
.
c:
fix typos in comments
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
laege
isl_mor
p
h
.
c: fix t
y
pos in comments
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verd
o
olae
g
e
isl_flow
.
c:
f
ix typos in
c
om
m
ents
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
V
erdoo
l
aege
isl_coalesce
.
c: fix typo in
c
omment
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdoolaege
doc: fix typo in de
s
c
r
iption of schedule_s
p
lit_scaled
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
ege
isl_list_templ
.
c: fi
x
harmless ty
p
o in
c
od
e
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verdoolae
g
e
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2017-05-17
Tobi
a
s
G
r
o
sser
cpp: do not mark bool
e
an
(
isl
_
bool) con
s
t
ructo
r
as expli
c
it
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Tobias G
r
osser
cpp: explicitl
y
manage isl_bool retur
n
values
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-16
Sve
n
Verdo
o
laege
isl_sched
u
ler
.
c: add_inter_vali
d
ity_cons
t
ra
i
nts: av
o
id
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-11
Tobias Gr
o
sser
isl_v
a
l
_
is_one
s
hould retur
n
isl_bool_fa
l
se for nan
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-08
Sve
n
V
erdoolaege
inter
f
ace/pytho
n
.
cc: fix typo introduce
d
i
n
previous
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Tobias Gross
e
r
python: make string parsing
a
nd re
t
urning Py
t
hon 3
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Sven Verd
o
ola
e
ge
i
sl_
t
ab_ba
s
ic_
s
et
_
non_trivi
a
l_lexmi
n
:
o
nly
a
dd
z
eroing
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Sven Verdoolaege
isl_ta
b
_
b
asic_set_non
_
trivial_lexmin: reinitialize
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verd
o
olaege
interface/is
l
.
py
.
top: explic
i
tly cast
sel
f
.
ptr
of Con
t
ex
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sv
e
n Verdoolaeg
e
py
t
hon
interface: also print argument
t
ype
s
for *
_
copy
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sv
e
n Verdoolaege
in
t
erface:
generator::
g
enerator: extract out shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree