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_test_cpp17-generic.cc: work around std::optional::value issue in older macOS
2018-10-07
T
o
bias
G
rosse
r
isl_ta
b
_add_eq: retur
n
isl_stat
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
Tobias Gr
o
sser
i
s
l_tab_rollback: return isl
_
stat
commit
|
commitdiff
|
tree
2018-10-07
Tob
i
as Grosser
isl_
t
ab_need_undo: use isl_b
o
ol_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
T
obias Grosser
i
s
l
_
range
.
c:
h
as_sign: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
Tobi
a
s Grosse
r
ok
_
to_merge_coincident
:
use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
Tobias G
r
osser
isl_*_pw_p
l
ain_is_e
q
ual: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
T
obias Grosser
i
s
l
_*_pw_is_zero: use isl_boo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
Tobias Grosser
i
sl_local
.
c: isl_local_div_
i
s_marke
d
_un
k
nown: us
e
i
sl_bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
Tobias Grosser
isl_local_space_is
_
div_equality: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
Tobias Grosser
isl_pol
y
_is_equal:
use is
l
_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
To
b
i
as Grosser
isl
_
mat_has_linearly_indep
e
nden
t
_rows: use
i
sl_
b
ool
_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tob
i
as Grosser
isl_convex_hull
.
c:
use
t
_is_
b
ound
:
u
s
e isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
T
o
bias
Grosser
isl
_
transitive
_
closure
.
c: incrementa
l
_
o
n_entir
e
_domain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
T
obias Grosser
i
s
l
_
ta
b
.
c: parallel_constraints:
u
s
e is
l
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tob
i
as Grosser
isl_tab
.
c: context_tab_insert_
d
iv: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias Grosser
is
l
_
vertices
.
c
:
is_i
n
dependent: use isl_
b
ool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tob
i
as Grosser
isl_
p
o
i
nt_is_void: use isl
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tob
i
a
s
Gro
s
s
er
isl_flow
.
c: coschedule
d
_
n
ode: use isl_bo
o
l_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias
G
rosser
is
l
_output
.
c
: next_is
_
opposite: use is
l
_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobi
a
s
Grosser
isl_vec_i
s
_e
q
u
a
l: use
isl
_
b
ool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias Grosser
isl_
v
e
c
_is_zero: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobias Grosser
isl_co
n
straint
_
is_equalit
y
: use isl_bo
o
l_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobia
s
Gr
o
ss
e
r
isl_constra
i
nt_is_upper_bound: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
T
obias
Grosser
isl_constraint_is_lower_b
o
und: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tob
i
as Gr
o
sser
isl_ast_buil
d
.
c: is
l
_a
s
t_build_need_schedule_map: use
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
To
b
ias Gros
s
er
i
sl_as
t
_nod
e
_if_has_el
s
e:
use i
s
l_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobias Grosser
i
sl_ast_node_for_is_degenerate: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobias G
r
osser
isl_ast_expr_is_equal: use isl_boo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tob
i
as
G
r
o
sse
r
isl_ast_codegen
.
c: any_
s
c
hedule
d
_after: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-19
T
o
bia
s
Grosser
isl_sch
e
dule_
n
ode_has_previous_
s
ibli
n
g: use isl_
b
ool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-19
Tobias
Grosser
isl_s
c
hed
u
le_node_has_par
e
nt: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobia
s
Grosser
isl_s
c
hedule_tree_is_subtree_anchored: use isl_b
o
ol_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobias Grosser
isl_s
c
hedule_n
o
de_has_child
r
en: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
T
o
bias G
r
osser
is
l
_sche
d
ule_tree_pl
a
in_is_equal: u
s
e isl_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobias
G
rosse
r
isl_sched
u
le
_
b
a
nd
_
get_p
e
rm
u
table: use i
s
l_boo
l
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobias Gro
s
ser
is
l
_sc
h
edule_tree
.
c: domain_less: use
i
sl_
b
ool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobias Gro
s
ser
isl_schedule_
n
ode_has_next_sibling: use
i
sl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tob
i
as Grosser
isl_sche
d
ule_band_me
m
ber_get
_
coin
c
i
dent: use i
s
l_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobias G
r
osser
isl_boo
l
_n
o
t: avoid implici
t
enum
conversion warning
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-11
Tobias Grosser
i
s
l
_aff_plain
_
is_zero: use isl
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-11
To
b
ia
s
Gross
e
r
i
sl_a
f
f_plain_is
_
cst: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-11
Tobias
G
rosser
isl_pol
y
_is_one: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-11
To
b
ias Gross
e
r
isl_space_is
_
map: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias
Grosser
is
l
_aff_plain_is_nan:
use isl_bo
o
l_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
To
b
ias Gros
s
er
isl_
p
oly_is_negone:
u
se isl_bool
_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias
G
ross
e
r
isl_poly_
i
s_negin
f
ty: use
isl_
b
oo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Gross
e
r
isl_poly_is_infty
:
us
e
i
s
l_boo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
isl_poly_is_na
n
: use isl_boo
l
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
T
obias Grosser
isl_poly_is_
z
ero: u
s
e is
l
_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
isl_poly_is_cst
:
u
se i
s
l
_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias G
r
osser
isl
_
space
_
range_is_wrapping:
u
se isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
isl_space_domai
n
_is_wrapping: use isl_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobia
s
Grosser
isl_space_has_dim_na
m
e
:
u
se isl_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobia
s
Grosser
isl_space_has_tuple_name
:
u
s
e isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
isl
_
s
pa
c
e
_is_wr
a
pping: use is
l
_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Gro
s
ser
isl_spac
e
_has
_
di
m
_id: use
i
s
l
_
b
ool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
To
b
ias
Grosser
isl_s
p
ace_has_tuple_id
:
us
e
is
l
_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-06
Tobias Gro
s
ser
is
l
_val_pla
i
n_is_equ
a
l: re
t
u
r
n isl_
b
o
o
l
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_ne: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gr
o
sser
is
l
_
v
al_
a
b
s
_eq: us
e
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gro
s
ser
isl_val_
e
q
:
u
se isl_
b
ool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_le: use i
s
l_b
o
ol
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias Gros
s
e
r
isl_val_gt
:
use isl
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
Gros
s
er
i
s
l_val_lt: use isl_bo
o
l_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_i
s
_nonpos: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
To
b
i
as Grosser
isl_val_is_nonneg: use isl_
b
ool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
is
l
_val
_
i
s
_neg: 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_pos: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
G
ro
s
ser
isl_val_is_n
e
gone: use isl_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias Grosser
isl_val_is
_
one:
u
se
i
s
l
_
boo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias Gros
s
er
isl_val_is_z
e
ro: use isl_b
o
o
l_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_is_neginfty: use isl_boo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_v
a
l
_is_infty:
u
se i
s
l_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_
i
s_n
a
n
:
use
i
s
l_bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
Gr
o
sser
i
sl
_
v
a
l_is_rat: use
i
sl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias Grosser
isl_val_is_int: u
s
e
isl_b
o
o
l_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias Grosser
isl_val_
i
s_divisible
_
b
y
: us
e
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
obi
a
s Gross
e
r
intr
o
duce isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
doc:
i
sl_bool_no
t
i
s defin
e
d
i
n i
s
l/ctx
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosse
r
test isl_
b
ool_n
o
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Gro
s
ser
isl_space_can_uncurry: implement with isl_space_range
_
is_wra
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
Tobia
s
Grosser
is
l
_
s
pac
e
_
can_curry: implement
w
ith
isl_space_domain_is_wrappi
n
g
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
T
o
bias Gros
s
e
r
i
sl_
s
pa
c
e_is_wrapping
:
a
d
d
missing comme
n
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobia
s
Gro
s
s
e
r
isl_
u
nion_map_i
n
volves_
d
ims
:
use isl
_
bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobi
a
s Grosser
isl_union_map
.
c:map_excludes:
use isl_
b
o
ol_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobia
s
Gro
s
se
r
i
s
l_union_map_
i
s
_
stric
t
_subset: use
is
l
_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
To
b
ias Gr
o
sser
schedu
l
e
r
.
c:graph_
h
a
s
_e
d
ge:
u
se isl_
b
oo
l
_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobi
a
s
G
rosse
r
i
s
l
_
m
ap_is_stric
t
_
sub
s
et: use
isl_bool_
n
ot
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
To
b
ias Grosser
isl
_
b
a
s
ic_map_is
_
strict_subset: use isl_bool
_
no
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
basic_map_fol
l
ows: u
s
e isl_boo
l
_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobi
a
s Gross
e
r
isl
_
set_is_eq
u
al: u
s
e isl_bool fo
r
loc
a
l
vari
a
ble
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gross
e
r
s
h
ared_ou
t
er: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
To
b
ias Grosser
d
o
main_follows_at_dep
t
h: us
e
isl_boo
l
_no
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias
Gross
e
r
basic_ma
p
_is_empty_a
d
d
:
use e
n
um
variable i
n
ste
a
d of
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tob
i
a
s
Gros
s
er
i
s_su
b
set_e
n
try: use
i
sl_bool_fal
s
e instea
d
of integer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias
G
rosser
isl_arg: use named
c
o
ns
t
ant to identi
f
y argume
n
t
s wi
t
hou
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-23
Tobias
G
rosser
se
t
-std=g
n
u99 for
im
a
th-32 in CFLAGS not CP
P
FLAGS
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobias
Grosser
int
e
rface: e
x
p
ort
i
sl_val_pow2
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobias Grosser
intr
o
duce isl_v
a
l
_
p
o
w
2
as an al
t
ernative
nam
e
for isl_val
_
2exp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-06
Tobias Grosser
doc: drop duplicate li
s
ting of isl_v
a
l_2exp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
next