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
Tobias
G
r
o
sser
isl_tab_ad
d
_eq: return isl_stat
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
Tobias Gro
s
s
er
isl_tab
_
rollback:
r
eturn
i
sl_stat
commit
|
commitdiff
|
tree
2018-10-07
Tobias G
r
osser
isl_tab_ne
e
d_undo: use isl_b
o
o
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
Tob
i
as Gr
o
s
s
er
isl_rang
e
.
c: has_sign
:
u
se isl_boo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
Tobia
s
Gross
e
r
ok_to_
m
erge_
c
oi
n
cid
e
nt: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
Tobi
a
s Gros
s
er
isl_
*
_pw_plain_is
_
equal: use is
l
_boo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
Tobi
a
s Grosser
isl_*_pw_is_
z
e
ro:
use i
s
l
_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
T
o
bias Grosse
r
isl_
l
oc
a
l
.
c: is
l
_loc
a
l_div_is_marked_
u
nk
n
own: use isl_bo
o
l
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
Tobias Grosse
r
isl_local_space_is_div_equality: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
Tobia
s
Grosser
isl_poly_is_equal: use
i
sl
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias
Grosser
i
s
l_mat_has_linearly_independent_rows: use
isl
_
bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobi
a
s Grosser
i
s
l_convex
_
hull
.
c: us
e
t
_is_bou
n
d
:
use isl_bool
_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias
Grosser
isl_transitive_closure
.
c:
i
ncre
m
ent
a
l_on_entire_domain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tob
i
as Gr
o
sser
i
s
l
_
ta
b
.
c:
parallel_const
r
a
ints: u
s
e
i
sl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias G
r
osser
isl_tab
.
c: context_tab_
i
nsert_
d
iv: use isl_bool_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias
Gros
s
er
isl_v
e
r
t
i
c
es
.
c: is_independent: use i
s
l_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobia
s
Grosser
isl_po
i
nt_
i
s_void
:
use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias Gross
e
r
i
sl
_
flo
w
.
c: coschedul
e
d_node: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
To
b
ias G
r
osser
isl_output
.
c
: next_is
_
o
p
p
osite:
use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias Grosser
isl_vec_is_eq
u
al: use isl_bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
To
b
i
as Gros
s
er
isl_vec_is_z
e
r
o: us
e
isl
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobias Grosser
isl
_
co
n
st
r
aint_is_equality: use
is
l
_
bo
o
l_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
T
o
b
ias Grosser
isl_constraint_
i
s_upper_bound: use isl_bool
_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobias
G
rosser
isl_
c
onstraint_
i
s_lowe
r
_bound: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobias Grosser
i
s
l_ast_build
.
c: i
s
l
_ast_build
_
need
_
schedule_map: use
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobia
s
Gr
o
sser
isl_as
t
_node_if_has_else:
us
e
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobi
a
s Grosser
isl_ast_node_for_is_degene
r
a
te: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
To
b
ias Grosser
isl
_
a
st_expr_is
_
equal: use
i
sl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tob
i
as Grosser
isl_ast_codeg
e
n
.
c: any_sc
h
eduled_
a
fter:
u
s
e
isl
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-19
Tobias
G
rosser
isl_schedu
l
e_nod
e
_
h
as_previo
u
s_s
i
b
l
ing: use isl_bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-19
Tobias Grosser
isl_schedule_
n
ode_has_parent:
u
se isl_b
o
o
l_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobias
G
ro
s
s
e
r
isl_sche
d
ul
e
_tree_is_s
u
b
tree_ancho
r
ed: use isl_
b
ool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
T
o
b
ias Grosser
i
sl_sched
u
le_node_has
_
ch
i
l
dre
n
: us
e
i
s
l_bo
o
l_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobias Grosser
isl_schedule_tr
e
e_plain_is_equal: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobias G
r
osse
r
isl
_
schedule_ban
d
_get_permutable: use isl
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobias Grosser
isl_schedule_tre
e
.
c: domain
_
less:
u
se
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobias Grosser
i
sl_sched
u
l
e
_node_h
a
s_next
_
sibling: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobias
G
rosser
isl_schedule_
b
and_m
e
mber_get_coincident: use
i
s
l_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tob
i
as
G
rosser
isl_bool_not: avoid implicit e
n
um
conve
r
s
ion warni
n
g
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-11
Tobias Grosser
isl_aff_plain_
i
s_ze
r
o: use
i
s
l_bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-11
Tobias Grosser
i
s
l_a
f
f
_plain_is_cst:
use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-11
Tob
i
as Grosse
r
is
l
_poly_is_one: use isl_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-11
Tobias Gr
o
sser
isl_
s
p
a
ce_is_
m
ap
:
u
s
e
i
s
l
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobia
s
Grosser
i
s
l_a
f
f_
p
la
i
n
_
is_nan: use is
l
_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
isl_poly_i
s
_ne
g
one:
u
se isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
T
o
b
i
as Gross
e
r
isl_poly
_
i
s
_neg
i
nfty:
use
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
isl
_
poly_is_infty: use isl_bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Gros
s
e
r
i
sl_poly_is_nan: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tob
i
as
Grosser
isl
_
poly_is_
z
ero: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
T
o
bias G
r
osser
i
s
l_po
l
y_is_cst
:
u
s
e isl
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
T
obias Grosser
isl_space_ran
g
e_is_wrapping:
use isl_
b
oo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
isl_spa
c
e_dom
a
in_is_wrapping:
u
se isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
i
s
l_s
p
ace_has_dim_name: use i
s
l_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias
Grosser
isl_s
p
ace_has_t
u
ple_name:
use isl_b
o
ol
_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
isl_space_i
s
_
w
r
apping: use is
l
_bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
i
sl_space_has_dim_id: us
e
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
To
b
ias
G
rosser
isl_space_has_tuple_id: use isl_bool_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-06
Tobias Grosser
i
sl_val_plain_i
s
_equal: r
e
tur
n
isl_
b
ool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Grosser
is
l
_
val_ne: use is
l
_
b
ool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
Gross
e
r
i
s
l_val_abs_eq:
u
se isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
a
s
Gr
o
s
s
er
isl_val_eq: use is
l
_bo
o
l_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_le: u
s
e isl
_
bool
_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gros
s
er
i
s
l_val_gt:
u
se i
s
l
_b
o
ol_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
o
b
i
as
Grosser
i
sl_va
l
_
l
t:
use isl
_
b
ool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Grosser
isl_v
a
l_is_nonp
o
s:
u
se is
l
_boo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gross
e
r
isl_val
_
is_nonneg:
u
se
i
sl_boo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
Grosser
isl_val_is_neg: use isl_bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
G
r
osser
i
s
l
_val_is_pos: u
s
e is
l
_bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias Gr
o
s
s
er
i
s
l
_va
l
_is_ne
g
o
n
e
:
use is
l
_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gross
e
r
isl_val_
i
s_on
e
: us
e
isl_bo
o
l
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias G
r
o
sser
isl_va
l
_is_zero: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Grosser
i
s
l_val_i
s
_
neginfty: u
s
e isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
a
s Grosser
i
sl_val_is_infty: use isl
_
b
o
ol
_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
Grosser
isl
_
val_is_nan: u
s
e
i
sl_bool
_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias
G
rosser
isl_v
a
l_is_
r
at: use isl_bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
G
r
osse
r
isl_val_is_int: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
obia
s
Gros
s
er
isl_val_is_d
i
v
isible
_
by: u
s
e
i
s
l
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gro
s
ser
introduce isl_b
o
ol_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
doc: isl_bo
o
l_not is de
f
ined in isl/
c
tx
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as G
r
osser
test i
s
l_
b
oo
l
_
no
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Gros
s
e
r
isl_space_can_uncur
r
y:
imp
l
emen
t
with
i
sl_space
_
rang
e
_is_wra
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
Tobias
Grosser
isl_space_can_curry: im
p
l
e
m
ent w
i
th isl
_
spa
c
e_domain_is_wrapping
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
T
o
b
ias G
r
os
s
e
r
isl_spa
c
e_is_wrapping
:
add
missing
comment
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gro
s
ser
isl_union_m
a
p_
i
nvolves_
d
i
ms
:
use is
l
_
b
o
o
l
_
n
o
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
obias Grosser
isl_un
i
on_map
.
c:map_exclude
s
: us
e
isl_bool
_
not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl
_
uni
o
n
_ma
p
_is_s
t
r
i
c
t_s
u
bset: u
s
e isl_bo
o
l_n
o
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
as Grosser
sche
d
ul
e
r
.
c:gr
a
ph
_
has_edge:
use isl_bool_n
o
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gr
o
sser
isl
_
map_is_strict_subs
e
t: use
i
sl_boo
l
_no
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias G
r
o
s
s
er
is
l
_basic_map_is
_
strict_subset
:
use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosse
r
ba
s
ic_map_follows: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
T
o
bias Grosser
isl_
s
et_i
s
_equal: use isl_
b
ool for
local
vari
a
ble
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias
Gro
s
ser
sh
a
red_
o
uter: use isl_boo
l
_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
d
omain_follows
_
a
t_depth: u
s
e isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gross
e
r
basic_map
_
is_
e
mpty_add: use
e
n
um variabl
e
in
s
tead of
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tob
i
a
s
Grosser
is_sub
s
et_entry: use isl_bool_false ins
t
ead
of i
n
teger
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
isl_arg: use named
c
onstan
t
to identif
y
arguments
w
ithou
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-23
Tobias Gr
o
sser
set
-
s
td=
g
nu99 f
o
r
i
math-32 in CF
L
AGS
n
o
t CP
P
FLAGS
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobias Grosser
interface: exp
o
rt
isl_val_pow
2
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobias G
r
osser
introduce
isl_val_
p
o
w
2 as a
n
alte
r
nati
v
e name for isl
_
va
l
_
2
exp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-06
Tobias Grosser
do
c
: drop duplicate l
i
sting of isl_val_2
e
xp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
next