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_poly_is_nan: use isl_bool_ok
2018-09-10
Tob
i
as Gr
o
sse
r
isl_poly_is_nan: u
s
e
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
T
o
bias Grosser
isl_poly_is_ze
r
o: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
isl_poly_is_cst: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
i
sl_sp
a
ce_
r
ang
e
_is_w
r
apping: use isl_
b
ool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
To
b
ias Gross
e
r
isl_s
p
ace_domain_
i
s
_
wrappi
n
g: us
e
i
s
l_b
o
ol_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
To
b
i
a
s Gros
s
e
r
i
s
l
_space_has_dim_name: us
e
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Gros
s
er
i
s
l
_space_has_tuple_
n
a
m
e: use isl_b
o
ol_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
isl_space_is_wrapping: use i
s
l_bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
i
sl_sp
a
c
e_has_dim_
i
d
: use
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
T
obi
a
s Grosser
isl_space_h
a
s
_
tuple_id: use isl_bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-06
Tob
i
as Grosser
i
s
l_val_plai
n
_i
s
_equal: retu
r
n
i
s
l
_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gros
s
e
r
isl_
v
al_ne: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
Grosser
i
s
l_val_abs_eq:
use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
i
s
l_val_
e
q: use
isl_bool_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
To
b
i
a
s
Gros
s
er
isl_v
a
l_le: use
i
sl_boo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as
G
r
osser
isl_val_g
t
:
u
se is
l
_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
a
s G
r
oss
e
r
i
s
l_
v
al_lt: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s Grosser
isl_val_is_nonpos:
u
se
i
sl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_
v
al_is_nonneg: us
e
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_is_ne
g
: use isl_bo
o
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gr
o
sser
isl_
v
al_is_pos: use
isl_boo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl
_
val_is_
n
egone:
u
se isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
obias
Grosser
is
l
_val_is_one: use
isl
_
b
o
ol_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
To
b
i
a
s Grosser
isl_val_is_zero: us
e
is
l
_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gross
e
r
i
sl
_
val_is_ne
g
inf
t
y: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bi
a
s Gr
o
s
s
er
isl_v
a
l_is_infty: u
s
e
i
sl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias Grosser
is
l
_val_
i
s_nan:
use isl_bo
o
l_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias 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
obias Gross
e
r
isl_val_is_in
t
:
u
se isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gros
s
er
isl_val_i
s
_divisible_by:
u
se
i
sl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Gros
s
e
r
int
r
oduce is
l
_b
o
o
l_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
obias Gros
s
er
doc: isl_bool_not is d
e
fin
e
d
i
n
isl/c
t
x
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias Gros
s
e
r
test isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
Tobias G
r
osser
isl_space_can_uncu
r
ry: implement with isl_space_range_
i
s
_wra
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Grosser
isl_space_can_curry: implem
e
nt with isl_space_doma
i
n_is_wrapping
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Gross
e
r
i
s
l_space_is_wra
p
ping: add missing comment
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl_un
i
on_map_involves
_
dims: use i
s
l_bo
o
l
_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
as
Gros
s
er
isl_union_map
.
c:
m
ap_excludes: u
s
e
is
l
_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobi
a
s Gr
o
sser
isl_union_map_
i
s_strict_
s
ubset:
u
se isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias G
r
osser
sche
d
uler
.
c:graph_has_edge: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
i
s
l
_map_is_strict_subs
e
t: use isl_bool
_
not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
o
b
ias Grosser
i
s
l
_bas
i
c_map_is_str
i
ct_
s
ubset: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobi
a
s Grosser
basic_map_foll
o
ws: use i
s
l_bo
o
l_no
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
T
obias
G
rosser
isl_set_is_equ
a
l
: use
i
sl_b
o
ol
f
or local variable
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
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
domain_follows_at_depth: us
e
isl_bo
o
l_
n
o
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
T
o
b
ias
G
r
o
ss
e
r
basic_
m
a
p
_is_empty_
a
dd: use
e
num var
i
able instead of
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
To
b
i
as Grosser
is_sub
s
et_entry: use isl
_
bool_
f
alse
i
nst
e
ad o
f
i
n
teger
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gr
o
sser
isl_arg: use
name
d
constant to identify arguments
w
ithout
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-23
T
o
bias Grosser
set -s
t
d=gnu
9
9 for imath-
3
2 in
C
FLA
G
S not CPPFL
A
GS
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobias Gr
o
sser
interface
:
expor
t
isl_v
a
l_po
w
2
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobia
s
Grosser
introd
u
ce isl_val_pow2 as an
a
l
ternative name
for
i
s
l_val_2exp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-06
Tobia
s
Grosser
doc
:
d
rop dupli
c
ate listing of
i
s
l
_val_2exp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-12
Tobi
a
s G
r
osse
r
coal
e
sce_after_alignin
g
_di
v
s: use i
s
l_bool i
n
s
tea
d
.
.
.
commit
|
commitdiff
|
tree
2018-06-12
Tobias Gross
e
r
Use isl
_
s
tat as retu
r
n
val
u
e for isl_va
l
_get_num_isl_int
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-06
Tobias Grosser
isl_
c
ell_
f
oreach
_
simple
x
: us
e
isl_stat instead of int
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tob
i
as Grosser
isl_ast_graft_free: retu
r
n isl_ast_
g
r
aft * inste
a
d
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_reo
r
d
ering_
f
ree
:
return
i
sl_reord
e
ring
*
instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias G
r
osser
isl_ast
.
c: use isl
_
bool enu
m
instead of pl
a
i
n integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobi
a
s Gross
e
r
isl_sc
h
edule_
b
and
.
c: use isl_a
s
t_l
o
op_type enum instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_polynomi
a
l
.
c: us
e
i
s
l_st
a
t enu
m
inste
a
d of plain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
G
r
o
sser
is
l
_cons
t
raint
.
c: use i
s
l_
s
tat
e
nu
m
i
nst
e
a
d
of plain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
i
sl_b
o
und
.
c: use is
l
_stat enum inst
e
ad o
f
plain i
n
t
e
g
e
rs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
G
rosser
isl_aff
.
c: us
e
i
sl
_
stat
e
num
instead
of p
l
a
in integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
To
b
ias Grosser
isl_tab
.
c: use isl_stat enum
i
nstead of plain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
scheduler
.
c: u
s
e isl_boo
l
e
n
um in
s
t
e
a
d of p
l
ain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias G
r
osser
coale
s
ce
.
c: use
i
sl_bo
o
l
enums instead of
p
l
ain intege
r
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Gr
o
sser
Ad
d
,
document
a
nd test isl_uni
o
n_set_
g
e
t
_set_
l
ist
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Grosser
Add, doc
u
m
e
nt a
n
d test isl_union_map_g
e
t_map_li
s
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobi
a
s Grosser
Exp
o
se, docum
e
nt and test i
s
l
_map_
g
et_basic_ma
p
_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Grosser
Ad
d
test co
v
er
a
ge for isl_[
u
nion_
]
s
et_get
_
basic_s
e
t_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobias
G
r
osser
Add
i
s
l
_
*_drop_unused_par
a
ms
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobias Grosser
i
sl_basic
_
map_
a
lign_pa
r
ams: extract out isl_b
a
si
c
_map_
c
heck
_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-09-08
Tobias Grosse
r
python: remove redundant
is_st
r
i
n
g_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-16
Tobias Grosser
cpp: ad
d
mi
s
sin
g
lic
e
nse to u
n
i
t
t
e
st
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-14
Tobias Grosser
D
ocu
m
ent the isl interface desig
n
g
u
id
e
l
i
nes
wi
t
h res
p
ect
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
To
b
ias Grosser
c
p
p/p
y
thon:
e
xpo
r
t f
u
n
c
t
i
on
s
t
o construct sets from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobi
a
s Grosse
r
cpp/python: export documented funct
i
ons to const
r
u
c
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
Complete
i
sl_af
f
to se
t
int
e
rface
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
Tobias Grosser
Docum
e
nt
:
compari
s
ons b
e
tween isl_val and
N
aN
always
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
Tobias Grosser
A
dapt coscheduled_source to
ha
n
dle error conditions
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
Tobi
a
s
Grosser
Handle
erro
r
conditi
o
ns returned
by level
_
be
f
ore in
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobias
Gro
s
ser
cpp/python: e
x
p
o
rt ar
i
t
h
metic operations on isl_pw_
a
ff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tob
i
as Gr
o
sser
cpp/pytho
n
: export arithm
e
tic operations
o
n
isl_aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
Tobi
a
s Grosser
cpp/p
y
thon
:
export isl_schedule_constraint
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
T
o
bi
a
s Gr
o
ss
e
r
c
p
p: add un
i
t t
e
sts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tob
i
a
s G
r
osser
c
p
p: do not ma
r
k bool
e
an(isl_bool) constructo
r
as
explici
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Gros
s
er
c
pp: explicit
l
y manage isl_b
o
ol
r
etur
n
va
l
u
e
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
T
o
bias Grosser
i
sl_val_
i
s_on
e
should retu
r
n
isl_bool_false fo
r
nan
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
Tobias Grosser
pytho
n
: ma
k
e
str
i
ng parsing and returning Pyth
o
n
3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tob
i
as Grosser
cpp: s
u
pport me
t
hods
and
co
n
s
t
ruct
o
rs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobi
a
s Gros
s
er
c
pp: generate C++ wrapper classes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Gro
s
ser
generator: a
d
d missing ne
w
line
after pr
i
nting the die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
To
b
ias
Grosser
py
t
hon: drop spurious
s
p
ace
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
Tobias Grosser
l
et is
l
_point_free retur
n
a NUL
L
pointer
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
T
o
bias
Gro
s
se
r
isl_ba
s
ic_set
_
is_b
o
unde
d
:
return
isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
T
obias Grosser
is
l
_tab_cone_is_bounded
:
r
e
turn isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
python: remove
r
edund
a
nt is_str
i
ng_ty
p
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
T
o
b
i
as Gros
s
er
python: mark isl_ast_build_*_from_* as __isl_ov
e
rlo
a
d
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
python: deriv
e
all classes f
r
om
'
objec
t
'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
next