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
introduce isl_bool and isl_stat return types
2015-05-22
Sven Verdo
o
laege
introduce isl_bo
o
l and isl
_
stat retur
n
types
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-22
Sven Ve
r
d
ool
a
ege
isl/hash
.
h:
i
n
c
lu
d
e
isl/ctx
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-22
S
v
e
n
Verdoola
e
ge
remov
e
i
nclude of
isl/hash
.
h from isl/ctx
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-22
Sven Verdoolaege
di
r
ectly
i
nclude is
l
/stdint
.
h i
n
h
eader
s
that use uint32_t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven
V
erdoola
e
ge
hide int
e
r
nal isl_map
fun
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sv
e
n
V
erdoolaeg
e
hide internal
i
sl
_
set functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sve
n
Verdoolaege
hide internal isl_bas
i
c
_
map fun
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
S
v
en Verdool
a
e
ge
hide in
t
ern
a
l isl_basic_set
functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verd
o
olaege
r
e
mov
e
undocumented
isl_
b
asic_s
e
t_f
r
om_basic
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
S
v
en Verdool
a
eg
e
isl_
b
as
i
c_m
a
p_deltas:
a
void use of
u
n
d
ocumented isl_basic_se
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdoolaege
isl_basic_map_d
e
ltas: ren
a
m
e
"dim" va
r
iables t
o
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
S
v
en Verdoolaege
isl_basic_ma
p
_
d
omain:
avoid use o
f
undocumented isl_basic_se
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sv
e
n Ve
r
d
o
olaege
isl_basi
c
_map_d
o
m
ain: rename
"
di
m
" var
i
a
b
le to
"
space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdoolaege
isl_ba
s
ic
_
map_re
v
e
r
se: inlin
e
isl_b
a
sic
_
s
et_swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven
V
e
r
doolaege
isl_basic_map_reverse:
rename
"
d
im" variable to
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdool
a
ege
isl_v
e
rtices
.
c
:
use isl_t
a
b_pe
e
k_b
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdoolaeg
e
drop unused and
undocu
m
e
nted isl_{set,ma
p
}_extend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Ve
r
do
o
l
aege
drop unused and undocumented isl_se
t
_
from_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
S
ven Verdoo
l
aege
drop
*
_lik
e
functi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Ve
r
doolaege
i
sl_affine_hull
.
c: use
t
_affine_
h
ull: avoid u
s
e of i
s
l
_
b
asic_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verd
o
o
l
aege
isl_
f
low
.
c: compute_va
l
_ba
s
ed_dependences: avoid use
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sve
n
Ve
r
doolae
g
e
isl_
i
lp
.
c:
u
nit_box_b
a
se_poi
n
ts
:
avoid use of i
s
l_basic_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdool
a
ege
i
s
l_map_
s
ubtract
.
c: map_subtra
c
t: avoid use o
f
isl_map_empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
S
v
en
Verdool
a
ege
isl_map_su
b
tract
.
c
:
basic
_
m
a
p_s
u
btrac
t
: avoi
d
isl_ma
p
_empty_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sve
n
Ve
r
doolaege
isl_input
.
c
: basic_map_read:
a
void use of isl_ba
s
i
c
_map_e
m
pt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
isl_convex
_
hull
.
c: avoid us
e
of isl_
b
asi
c
_map_empty_like_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sv
e
n Verdoola
e
ge
isl_map_affine_hull: av
o
id use of isl_basic_map_e
m
p
t
y
_like_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven
Ve
r
do
o
l
aege
isl_map_sample: avoid use of isl_basic_map_em
p
ty_like_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
isl_ba
s
ic_map_sample: explic
i
tly mark in
p
ut as e
m
p
t
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven
V
erdoolae
g
e
doc
:
document isl_ma
p
_
p
l
a
in_is
_
universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
doc: document isl_basic
_
se
t
_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sv
e
n Verdoolaege
isl
_
map_sub
t
ract
.
c: map_is_sin
g
leton_subset:
fix t
y
p
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
isl_map_su
b
t
r
act
.
c: map_is_singl
e
ton_subs
e
t: print
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven
V
erdoolaege
isl_ast_build_node_from
_
schedule: improv
e
handling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sv
e
n Verdoolae
g
e
isl_ast_codegen
.
c: foreach
_
iteration: improve e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sve
n
Verdoola
e
ge
i
sl_ast_codegen
.
c
: fi
x
typo in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Ver
d
oolaege
i
sl_ast_code
g
en
.
c: a
f
ter_each_ma
r
k
:
fix documen
t
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolae
g
e
isl_qpoly
n
omial_plain_is_e
q
ual:
d
o n
o
t consider two
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven
V
e
rdoo
l
aege
isl_qpolynomial_fold_fold_on_
d
o
main
:
s
p
ecial case NaN
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verd
o
o
la
e
ge
add isl
_
q
polynomial_fold_is_nan
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Ve
r
doolaege
isl_union_map_invo
l
ves_dims: return -1 on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-12
S
v
en V
e
rdoolaege
Merge br
a
nch
'
maint'
commit
|
commitdiff
|
tree
2015-05-12
Sv
e
n Verdoolaege
i
s
l_schedule_cons
t
ra
i
nts_compute_schedule:
strongl
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-12
Sven Ve
r
dool
a
ege
is
l
_
scheduler
.
c: mov
e
sor
t
_stat
e
ments down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-12
S
v
e
n Ve
r
doo
l
ae
g
e
is
l
_
s
chedul
e
r
.
c: compute_schedule_wcc: keep
t
rack of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-12
Sven V
e
rdoolaege
isl_schedule_co
n
str
a
ints_compute_sch
e
dule: strongly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-12
Sv
e
n Verdoolaege
isl_schedul
e
r
.
c
:
move sort_statements down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-12
Sven
V
erdoolaege
isl_basic_ma
p
_pl
a
in_i
s
_equa
l
: imp
r
ove e
r
ror
h
a
ndling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-12
Sven Verdoolaege
isl
_
test
.
c
:
test_bound:
a
dd
m
issing re
t
urn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-07
Sven
Verdoolaeg
e
isl_set_split_dims
:
avoid NULL point
e
r
dereference
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-05
Sven Verdoolaege
renam
e
is
l
_basic_map_add to is
l
_basic
_
map_ad
d
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-05
Sven Verdo
o
l
a
ege
e
xplicitly mark is
l
_
bas
i
c_set_add as deprecated
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-05
S
ven Verdoolaege
drop
*
_fast_*
f
unctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-05
Sve
n
Verdoolaege
drop isl_
d
i
m
backward compat
i
b
ility
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-05
Sven
Verdoolaege
co
d
egen
.
c: dir
e
ctly
i
nclud
e
required headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-05
Sve
n
Verdo
o
l
aege
isl_te
s
t
.
c: direct
l
y include required header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-05
Sven Verdoola
e
g
e
isl_set_list
.
c: di
r
e
c
tly inclu
d
e r
e
quir
e
d he
a
der
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-05
Sve
n
V
erdoo
l
aege
i
s
l
_sche
d
u
l
er
.
c: directly include required header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-05
Sven Verdo
o
l
aege
isl_obj
.
c: directly incl
u
de
r
equired heade
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-05
Sven V
e
r
doolae
g
e
isl
_
map_list
.
c: dir
e
ctly in
c
lude required hea
d
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-05
Sven Ve
r
d
o
o
laege
isl_
m
ap
.
c:
dir
e
c
t
ly
i
nclude
r
equired header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-05
S
ve
n
V
e
r
doo
l
aege
isl_input
.
c: d
i
rect
l
y i
n
clude
required header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-05
Sven Verdo
o
laeg
e
i
s
l
_flow
.
c
:
dire
c
t
l
y
i
ncl
u
de
r
equ
i
red he
a
ders
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-05
Sve
n
V
e
rd
o
ol
a
e
g
e
isl_ast_codegen
.
c: directly
incl
u
de
r
equired heade
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-05
S
ven Verdool
a
ege
i
sl_
a
st_
b
u
i
ld_expr
.
c: directl
y
include required heade
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-05
Sven Verdoolaege
isl_ast_buil
d
.
c:
d
i
rectly include required headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-05
S
ven Verdoolae
g
e
i
sl_basic_map_redu
c
e_c
o
efficients:
call ga
u
ss when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
S
ven
Verdoolaege
i
sl_test: be
mor
e
verbos
e
on all tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verd
o
o
l
a
ege
Merge branch 'ma
i
nt
'
commit
|
commitdiff
|
tree
2015-05-02
Sve
n
Ver
d
oolaeg
e
isl_qpolynomi
a
l
_fo
l
d_fold_on_dom
a
in:
d
o not consider
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
S
ven V
e
r
d
o
olaege
isl_qpolynomial_fold_fo
l
d_on_domain
:
elimi
n
ate
obv
i
ously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sve
n
Verdoolaege
isl_flow
.
c:
i
sl_compute_flow_sched
u
le_dat
a
_clear: handle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaege
isl
_
coalesce
.
c: contains: improve
e
rror h
a
ndling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verd
o
olaege
i
s
l_c
o
alesc
e
.
c: check_facets: improve error handl
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Ver
d
o
o
lae
g
e
isl_coalesce
.
c: set_up_substitutions: plug
m
emory leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sv
e
n
V
erdoo
l
ae
g
e
isl_coalesce
.
c
:
check_c
o
alesce_into_eq: a
v
o
id double
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verd
o
o
l
a
ege
is
l
_ta
b
_compute_reduced_b
a
sis: only print error message
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
S
ven Verdoolaege
isl_tab
_
pip
.
c
: sol_{map,pma}_add_emp
t
y: drop spurious
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaege
isl_tab
_
pip
.
c: context_gbr_restore: abort o
n
failure
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Ver
d
oolaege
i
sl_ta
b
_pip
.
c: gbr
_
get_sample: do not t
r
y to restore
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
S
ven
Ver
d
oolaeg
e
isl_coalesce
.
c
:
contains: improve error h
a
ndling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaege
i
s
l_co
a
l
e
s
ce
.
c: c
h
eck_facet
s
: improve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sve
n
Verdo
o
la
e
ge
isl
_
transitive
_
closure
.
c: construct_
c
omponen
t
: improve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven
V
er
d
oolaege
i
s
l
_
transit
i
ve_closure
.
c: isl_set_overlaps
:
handle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaege
isl
_
transitive_clo
s
ure
.
c: cons
t
ruct_e
x
tended_pa
t
h:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoo
l
aege
isl_trans
i
tive_closure
.
c: add_delta_constr
a
i
nts: a
v
oid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
S
v
e
n Verdoolae
g
e
isl_t
r
a
nsitive_closure
.
c: se
t
_
path_leng
t
h:
a
void N
U
LL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sv
e
n Ver
d
oolaege
is
l
_s
p
ac
e
_add_di
m
s: avoid NU
L
L
pointer derefe
r
ence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
S
v
en Verdoo
l
aege
isl_ma
p
_simplify
.
c: remove
_
shift
e
d_co
n
straints: handle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaeg
e
is
l
_basic_
m
a
p
_plain_cmp: handl
e
NULL arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-21
Sven Verdoolaege
include/i
s
l/union_
m
ap
.
h: a
d
d missing inclu
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-21
Sv
e
n
Verdoolae
g
e
isl_map
_
subtract: speci
a
l case obviously
equal inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-09
Sven Ver
d
oolae
g
e
i
sl 0
.
14
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-09
S
v
en Verdo
o
laege
AUT
H
ORS:
add Michae
l
Kruse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-09
Sven Verdoo
l
aeg
e
doc: explain somew
h
at counter
i
ntuitive e
f
fect of proximity
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-01
Sven Verdo
o
laege
add doc/Cod
i
ngSty
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-27
Sven Verdoolae
g
e
add isl_schedule_con
s
traints_
g
et_
c
o
n
d
i
t
i
onal_validity
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-27
Sven Verdoolaege
add
i
sl_schedul
e
_constraints_get_coincidence
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-27
Sve
n
Ve
r
doo
l
ae
g
e
add isl_
s
chedule
_
c
ons
t
raints_
g
et_
v
alidity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-27
S
v
e
n Verdoolae
g
e
test inter-b
a
nd
h
a
n
d
ling of conditional validity
c
onstra
i
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
