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_space_is_map: use isl_bool_ok
2018-09-11
Tobias Grosser
isl
_
space_is_map: use
i
s
l
_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
T
ob
i
a
s
Grosse
r
is
l
_aff_plain
_
i
s_nan
:
use isl_b
o
ol_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
T
obia
s
Grosser
isl_po
l
y_is
_
n
egone:
u
se isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobias
G
r
o
sser
isl_poly
_
i
s
_n
e
g
infty: us
e
isl_
b
ool_o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
isl_poly_is_infty: use isl
_
b
ool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobia
s
G
rosser
isl_poly_i
s
_nan:
u
se isl_bool_
o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tob
i
as Grosser
isl_poly
_
is_zero
:
use i
s
l_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobias G
r
osser
isl_poly_is
_
cst: use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
isl_space_range
_
is_wrapping: use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
i
sl_space_domain
_
i
s_wrapping:
u
se isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
isl
_
s
pace_has_dim_name
:
use isl_bo
o
l_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Gross
e
r
isl_sp
a
ce
_
has_tuple_name: use isl_
b
ool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobia
s
Grosse
r
is
l
_space_is_wrapping: u
s
e
isl_
b
ool_
o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
T
o
bias
Gros
s
er
isl_space_has_dim_id: use isl_bo
o
l_o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
is
l
_
s
pace_has_tuple_id: use isl_
b
ool_
o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-06
Tobias Grosser
isl_val_plain_is_equa
l
: return
isl
_
bool
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Gross
e
r
isl_val_ne: use isl
_
bo
o
l_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Grosser
isl_val_abs_eq: use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_va
l
_
eq: use isl_
b
ool
_
o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_le:
u
se isl
_
bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
Grosser
isl_val_
g
t: use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s Grosser
isl_val_lt: use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
To
b
i
as Grosse
r
isl_val_is_nonpos
:
use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Grosser
isl_val_i
s
_nonneg: use
i
sl
_
bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_is_n
e
g: use is
l
_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
T
obias Grosse
r
isl
_
val_is_
p
os: use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gr
o
s
ser
isl_val_is_neg
o
ne: use
isl_bool_
o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s Grosser
isl_val_is_one: use isl_
b
ool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_i
s
_zero: use isl
_
bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
Gr
o
sser
isl_val_is_neginfty: use isl_bo
o
l_o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
is
l
_
val_i
s
_in
f
ty: use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_v
a
l_is
_
n
a
n
: use is
l
_boo
l
_
o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias Grosser
isl_val_is
_
rat: use isl_bool_o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
T
ob
i
as Grosse
r
isl_val_is_int: use isl_boo
l
_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
Gro
s
se
r
isl_val_is
_
d
ivisible_by: u
s
e isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias Grosser
i
n
t
roduce isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias G
r
os
s
er
doc
:
isl_bo
o
l
_
not is d
e
f
i
ned in isl/ctx
.
h
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
T
obias
G
rosser
test isl_bool_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-30
Tob
i
a
s
G
r
osse
r
isl
_
space_can_uncurry
:
implement with isl_sp
a
ce_r
a
nge_is
_
wra
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-30
Tobias
Grosser
isl_space_ca
n
_
c
u
r
ry: imp
l
ement with isl_spa
c
e_
d
omain_
i
s_wrappin
g
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Grosser
isl_space_
i
s_wrapping
:
add
m
issing comment
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl_un
i
on_map_invol
v
es_dims: use
isl_
b
oo
l
_no
t
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gr
o
sser
isl_union_map
.
c:map_excludes: use
i
sl_bool_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gros
s
er
isl_
u
nion_map_is_s
t
rict_subs
e
t: use isl_b
o
ol_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
To
b
i
as Gro
s
ser
scheduler
.
c
:
graph
_
has_ed
g
e: use isl
_
boo
l
_
n
ot
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
Tobi
a
s
G
ro
s
ser
is
l
_map_is_strict_subset: us
e
isl_bool_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gros
s
e
r
isl
_
basic_map_is_strict_subs
e
t: use isl_bool
_
not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gro
s
ser
basic_map_follows: use isl_bool_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosse
r
isl_s
e
t_is_equal: use isl_bo
o
l for lo
c
al variable
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
Tob
i
as
G
rosser
s
h
ar
e
d_outer: use isl_bool_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
T
obias Grosser
do
m
ain_follows_at_
d
epth:
use isl_b
o
ol_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
Tobia
s
Grosser
basic_map
_
is_empty_
a
d
d
: use e
n
um va
r
iable in
s
tead of
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias G
r
o
s
ser
is_sub
s
et_ent
r
y: u
s
e isl_bool_false instead of integer
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
Tob
i
as Grosser
isl_arg: use named consta
n
t
to identif
y
a
r
gu
m
ents without
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-23
Tob
i
as Grosse
r
set
-
std=gnu99 for i
m
ath-32
i
n
CFLAGS not CPPFLAGS
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-07
Tob
i
a
s Grosser
interfac
e
: export isl
_
val_pow2
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-07
Tobia
s
Grosser
introduce
i
sl_val_pow2
as an alternative name for isl_val_2exp
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-06
To
b
ias
Gros
s
er
doc: drop duplicate listing of isl_v
a
l_2exp
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-06-12
Tobias Grosser
coal
e
sce_
a
fter_aligning_divs: use isl_
b
o
ol instead
.
.
.
commit
|
commitdiff
|
tree
2018-06-12
T
obias Gro
s
ser
Use isl_stat as retur
n
value for isl_
v
al_get_num_isl_int
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-06-06
To
b
i
as G
r
os
s
e
r
isl_cell_f
o
reach_sim
p
l
ex: use isl_sta
t
instead of int
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
T
obias G
r
osser
isl_ast_graft_free: re
t
urn is
l
_ast_g
r
a
f
t *
instead
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias G
r
osser
is
l
_
reor
d
e
r
ing_fr
e
e: return isl_reordering *
i
nste
a
d
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gross
e
r
isl_ast
.
c
: use isl_bool enum
instea
d
of
p
l
ain
i
nt
e
gers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gr
o
sser
isl_schedule_band
.
c: use isl_as
t
_lo
o
p_type enum instead
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tob
i
as Grosser
isl_polynom
i
al
.
c: u
s
e
i
sl_stat enum instead o
f
p
l
ai
n
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_constr
a
in
t
.
c
:
use is
l
_stat e
n
um
i
ns
t
ead of plain
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobi
a
s Gr
o
s
s
er
isl_b
o
und
.
c: use isl_stat e
n
um
i
nste
a
d of
plain integers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tob
i
as Grosse
r
i
sl_aff
.
c: use is
l
_s
t
at enum i
n
s
t
ead of plain integers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
T
obias Gro
s
ser
isl_tab
.
c: use isl_stat enum inst
e
ad of
p
lain integers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
To
b
ia
s
G
r
osser
sc
h
eduler
.
c
: u
s
e isl_bool enum ins
t
e
a
d of pla
i
n integers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobia
s
Gr
o
sser
coalesce
.
c: use isl_boo
l
enums instea
d
of
p
lain i
n
tege
r
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Gro
s
s
e
r
Add, document an
d
t
e
st isl_union_set_get_s
e
t_l
i
st
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
T
o
bia
s
Grosser
Add, document a
n
d
test
i
sl_union_
m
ap_get_map
_
list
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
Tobias
G
r
oss
e
r
Expose, docu
m
e
nt a
n
d test
isl
_
map_ge
t
_basic_ma
p
_list
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
Tobias
Gros
s
er
Add
test
c
overage for
i
sl_[union_]s
e
t_ge
t
_basic_set_list
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-04-23
To
b
ias Gro
s
s
e
r
Add isl_*_dr
o
p_unu
s
ed_param
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-04-23
Tobia
s
Grosser
isl_basi
c
_map_
a
lign_params: extract ou
t
i
sl_basi
c
_map_check_
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-09-08
T
o
b
ias Grosser
pyt
h
o
n
: r
e
move
redund
a
nt i
s
_
s
t
ring_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-16
Tobias
G
rosse
r
cpp: add
m
issing license to uni
t
t
e
sts
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-14
Tobias Gr
o
sser
Doc
u
ment the
i
sl in
t
er
f
ace
d
e
s
i
gn gui
d
elines with resp
e
ct
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
T
o
b
ia
s
Grosser
c
pp/p
y
thon: export functions to
c
onstruct
s
e
ts fr
o
m
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosse
r
cpp/pyth
o
n: export do
c
u
mented functions to construc
t
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
Tob
i
as Grosser
Complete isl_a
f
f to se
t
inter
f
ace
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-28
Tobia
s
Grosse
r
Document: comparisons between i
s
l_val and NaN always
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-26
Tobias Grosse
r
A
dapt cosch
e
du
l
ed_source to handle erro
r
conditions
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-25
Tobi
a
s Grosser
H
and
l
e
e
rror conditions ret
u
rned by level
_
bef
o
r
e
in
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-19
Tob
i
as Grosser
cp
p
/p
y
thon: export arit
h
m
e
tic operations on isl_pw_aff
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-19
Tobia
s
Grosser
cpp/
p
yth
o
n:
e
x
port a
r
ithmetic operations on isl_aff
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-14
Tobias Grosser
cpp/
p
ython:
export is
l
_sch
e
dule_constraints
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-25
To
b
ias Grosser
cp
p
:
add un
i
t
tes
t
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Grosser
cpp: do
not
mark boolean(
i
sl_bool
)
constructor as explicit
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-17
Tobias
G
rosser
cpp: explicitly manage
isl_bool return v
a
l
ues
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-11
Tobias Grosser
isl_val_i
s
_one should retu
r
n isl_
b
ool_false
f
or nan
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-05
Tobias Gr
o
sser
python: make string pars
i
ng and returning
Python
3
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobi
a
s Gross
e
r
cp
p
:
s
upport methods and constructors
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Gros
s
er
cpp: ge
n
erate
C
++ wrapper cla
s
ses
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosse
r
generator
:
a
d
d missing newline a
f
te
r
p
r
i
nting the
d
ie
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Gros
s
er
pytho
n
: d
r
o
p
spurious s
p
ace
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-03-16
Tobias Grosser
let
i
sl_poi
n
t_free ret
u
rn
a NU
L
L pointer
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
next