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_*_dim: return isl_size
2018-09-06
Tobias G
r
osser
isl_val_plain
_
is_equ
a
l: return isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gr
o
sser
isl_val_
n
e
:
use
i
sl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gros
s
er
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
Tobias Grosser
isl_val_eq: use isl_
b
ool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
i
s
l_val_
l
e: use
i
s
l_b
o
o
l
_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias G
r
osser
isl_val_gt:
use isl
_
b
o
o
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
G
r
osser
i
sl_va
l
_l
t
:
use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
G
ross
e
r
isl_val
_
is_nonp
o
s:
use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias Grosser
i
s
l
_val_is_nonneg:
u
se
isl
_
bool_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s Gros
s
e
r
isl_val_is_neg
:
us
e
isl_bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s Gross
e
r
isl_va
l
_
is_pos: 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_is_negone: use isl
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
i
s
l_val_
i
s
_
one
:
u
se isl_b
o
o
l_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gro
s
ser
isl
_
val_is_zero: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_is_neginfty: use
i
sl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
i
s
l_val_is_inft
y
: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosse
r
isl_val_i
s
_n
a
n:
u
se isl_bo
o
l_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias
Gro
s
ser
i
s
l_val_is_rat: use isl_
b
o
ol
_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
is
l
_
v
a
l
_is_in
t
:
us
e
i
sl_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias G
r
osser
isl_val_is_divisible_by: use isl
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
Gro
s
ser
introdu
c
e isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s Grosser
do
c
: isl_bo
o
l_not is define
d
in isl/ct
x
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
tes
t
i
s
l_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
To
b
ias Grosser
isl_space_can_unc
u
rry: implement wi
t
h
i
sl_space_range_is_wra
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Grosser
i
s
l
_s
p
a
c
e_
c
an_cur
r
y
:
i
mpleme
n
t with
isl_space_
d
omain_is_wrapping
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Gro
s
ser
isl_s
p
ace_
i
s_wrapp
i
ng: add missing comm
e
n
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
obias Grosser
isl_un
i
on_map_
i
nvolves_dims: use
isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosse
r
isl_u
n
ion_
m
ap
.
c:m
a
p_excl
u
de
s
: us
e
isl_b
o
ol
_
not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias
G
rosse
r
isl_u
n
ion_map_is
_
strict_s
u
bset: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosse
r
s
c
hedul
e
r
.
c:graph_has_edge: u
s
e
isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl_
m
a
p_is_strict_subset: use isl_boo
l
_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl_basi
c
_map_is_strict_subset:
use isl_bool
_
not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
as Grosser
bas
i
c_ma
p
_follows: use isl_boo
l
_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gr
o
sser
isl_set_i
s
_equal:
u
se i
s
l_bool f
o
r local va
r
i
a
bl
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
shared_outer: use
i
sl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tob
i
as Grosser
do
m
ain_follow
s
_at_dep
t
h: use isl_boo
l
_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
bas
i
c_ma
p
_is_empt
y
_add: use en
u
m v
a
riable instead of
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
T
o
bi
a
s Grosser
is_subse
t
_entry: us
e
isl_boo
l
_false
i
n
stead of inte
g
er
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
To
b
ia
s
G
rosser
i
s
l
_arg: use named constan
t
to identify
argume
n
ts with
o
u
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-23
T
o
bias Gr
o
sse
r
s
e
t -std=gnu99 fo
r
imat
h
-
32 in CF
L
AGS not CPPFL
A
GS
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobia
s
Gro
s
ser
interfa
c
e: export i
s
l_v
a
l_pow2
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
T
obias Gr
o
sser
i
n
troduce isl_val_pow2 as an al
t
ernative name for isl_val_2
e
xp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-06
Tobias Grosser
doc:
d
rop d
u
plicate
listing of isl_val_2e
x
p
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-12
T
o
bias Grosser
coalesce_after_aligning_divs: use isl_bool ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2018-06-12
T
obias
G
rosser
Use isl_
s
t
at as return value for is
l
_val_g
e
t_num_isl_int
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-06
Tobias
G
rosser
i
s
l
_
c
e
l
l
_
foreach_simple
x
: use is
l
_stat instead of in
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
is
l
_
a
st
_
g
raft_free: re
t
urn isl_as
t
_graft * instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
G
ro
s
ser
isl_reor
d
ering_free: retu
r
n
i
sl
_
reorderi
n
g *
inste
a
d
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl
_
ast
.
c
:
us
e
isl_bool enum in
s
tea
d
of plain
i
ntegers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
T
o
bias Grosser
isl_schedule_b
a
nd
.
c: use isl_ast_
l
oop_type e
n
um
instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_po
l
ynomial
.
c
:
use
i
sl_stat enum
i
n
stead of pl
a
in
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
T
obias
Gr
o
sser
i
s
l_co
n
straint
.
c: u
s
e isl_sta
t
enum inste
a
d of plain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
is
l
_b
o
und
.
c
: u
s
e isl_stat enum instead
of plain
i
n
tegers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobi
a
s
Grosser
is
l
_aff
.
c
: use
is
l
_st
a
t enum inste
a
d of
pl
a
i
n
inte
g
e
r
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
G
r
osser
i
s
l_tab
.
c: us
e
i
s
l_st
a
t
enum inste
a
d of
p
lain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gr
o
sser
scheduler
.
c: use isl
_
bool
enum
i
nstead
of plai
n
int
e
gers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
coalesce
.
c
:
us
e
is
l
_bool
e
n
ums
i
n
stead of
p
lain in
t
ege
r
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Grosser
Add, document and
test isl_union
_
set_get_set_
l
i
st
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Grosser
Add, document
and test isl_un
i
on_map
_
get_map
_
list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tob
i
as Grosser
Expose, d
o
cument and test isl
_
m
a
p_get_basic_map_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
T
o
bias Grosser
Add te
s
t coverage for i
s
l
_
[un
i
on_]se
t
_get_bas
i
c_s
e
t_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobias Grosser
Add isl
_
*
_drop_u
n
used_params
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobias G
r
o
s
ser
isl_ba
s
ic_ma
p
_alig
n
_params
:
extract out is
l
_basic_map_
c
heck_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-09-08
Tob
i
as Grosser
python:
remove
r
ed
u
ndant is_st
r
ing_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-16
Tobias Gross
e
r
cpp:
add
miss
i
n
g
license to
u
n
it
t
est
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-14
Tobias Gros
s
er
Docume
n
t the i
s
l
i
nte
r
f
ace d
e
sig
n
guid
e
l
ine
s
wi
t
h respect
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
T
o
bias G
r
osser
cp
p
/
p
y
thon:
ex
p
ort functio
n
s
to cons
t
ruct se
t
s from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias
Grosse
r
cpp/pyt
h
on: export documented functions to construct
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
C
o
m
pl
e
te isl_aff
t
o set in
t
erface
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
Tob
i
as Grosser
Doc
u
ment: comparis
o
ns betw
e
en isl_val and N
a
N
always
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
Tobias
G
rosser
Adapt coscheduled
_
source to
h
andle error
c
ondit
i
o
n
s
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
To
b
ias Gro
s
ser
Han
d
le error condi
t
i
o
ns returned by level_before i
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobias Grosser
cpp/python:
e
xport
a
r
i
t
hmetic ope
r
ations
o
n isl_pw_
a
f
f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobia
s
Grosser
cpp/python: e
x
port
a
ri
t
hmetic
o
perations on isl_
a
ff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
Tobias Grosser
cpp/python: ex
p
ort
isl_schedule_
c
on
s
traints
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
Tobi
a
s Gross
e
r
cpp: add u
n
it tests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
T
o
b
i
as Gros
s
e
r
cpp: do not mark boolean(isl_bool) constructor as
e
xplicit
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tob
i
as G
r
osser
cpp: ex
p
licitly ma
n
a
ge isl_bool
r
eturn values
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
T
o
bi
a
s Grosser
is
l
_val_is_o
n
e should retu
r
n isl_bool
_
false
f
or nan
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
T
o
bias Gros
s
er
python: make strin
g
parsin
g
and returni
n
g Python 3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias
G
rosser
cpp: suppor
t
methods
a
nd co
n
structors
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
cpp
:
generate C++ wrapper
c
lasses
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobia
s
Grosser
gene
r
at
o
r
:
add missing newlin
e
after printing the die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
To
b
ias Grosser
python: drop sp
u
rious s
p
ace
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
Tobias Grosser
let isl_point_free return
a NULL poi
n
ter
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
isl_basic_set
_
is_bounded
:
r
etu
r
n isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
To
b
ias Grosser
isl_
t
ab_cone_is_b
o
un
d
ed: return
i
sl_bo
o
l
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
T
o
bias Gro
s
ser
py
t
h
o
n:
re
m
ove redu
n
dant i
s
_str
i
ng_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tobias G
r
osser
python: mar
k
isl_as
t
_bu
i
ld_*
_
from_* as __isl
_
ov
e
rl
o
ad
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tob
i
as G
r
osser
py
t
hon:
d
erive
all
classes from 'object
'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
To
b
ias Gross
e
r
python:
ensure
Pyth
o
n 3 can
d
erive method r
e
s
o
l
ution
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
T
obias Gros
s
er
python: use python 3 excep
t
ion syntax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
Tobi
a
s Grosser
Upda
t
e imath
t
o inclu
d
e big-endian support for mp
z
_import
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
Tobi
a
s
Gross
e
r
add isl_
u
nio
n
_flow_copy
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias
Grosse
r
add
i
sl_map_dim_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bia
s
Gros
s
er
p
yt
h
on interface
:
expose constr
u
ctio
n
o
f
A
S
T node fr
o
m
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python i
n
terface: ex
p
ose isl_ast_bu
i
ld a
n
d is
l
_ast_expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosse
r
pytho
n
in
t
erface: auto
m
atical
l
y de
r
ive me
t
hod t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Gros
s
er
python interface
:
only e
x
p
o
r
t
__st
r
__ and __repr__
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Grosser
python interface: sup
p
ort 'char *' and 'const char
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
next