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
extract out shared isl_constraint_check_range
2018-08-28
Tobias
G
rosser
is
l
_uni
o
n_map_involve
s
_dims: use isl_bool_no
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
o
b
i
a
s G
r
o
s
se
r
isl_un
i
on_map
.
c
:map_ex
c
lud
e
s:
use isl_bool_
n
ot
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
o
bias Gross
e
r
isl_union_map_is_strict_subset: use isl
_
bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
scheduler
.
c:gra
p
h_has
_
edg
e
: use isl_b
o
ol_
n
ot
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobi
a
s Grosser
i
sl_map_is_strict_subset: use isl_bo
o
l_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
To
b
ias Gr
o
s
s
er
isl_basic_map_is_strict_su
b
s
et: use
i
s
l_boo
l
_
n
ot
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
basi
c
_map_follows: use isl
_
bool_n
o
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
To
b
i
as Grosse
r
isl_set_is_eq
u
al: use isl_bool for local variable
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
To
b
ia
s
Grosser
shared_o
u
ter:
use isl_boo
l
_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
domain_follows_at_
d
epth: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
b
as
i
c_map_is_empty_a
d
d: use
e
num
v
ariab
l
e instead of
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobia
s
Grosser
is_sub
s
e
t_entry: use
i
sl_bool_false instead
of integer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
To
b
ias
G
rosser
isl_ar
g
: use named con
s
tant to identify arguments
witho
u
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-23
T
obia
s
Grosse
r
s
e
t -std
=
gnu99 for
imath-32 in CFLAGS not CPPFLAGS
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobias Gro
s
se
r
interface:
exp
o
r
t
isl_val_pow
2
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobias
G
rosser
introdu
c
e isl_val_
p
ow2
as an
alternative name for isl_val_2exp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-06
Tobias Grosser
doc: drop dupl
i
cate l
i
st
i
n
g of is
l
_val_2exp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-12
T
o
b
i
a
s Grosser
coalesce_afte
r
_alig
n
in
g
_
divs: use i
s
l_bool inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2018-06-12
Tobias G
r
os
s
er
Use isl_stat
a
s
r
e
tu
r
n value fo
r
isl_
v
al_get_num_is
l
_in
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-06
Tobi
a
s
Grosse
r
isl_cell_foreach
_
s
implex: use is
l
_stat instead o
f
int
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tob
i
as Gros
s
er
isl_ast_graft
_
free: return
i
s
l_ast_graft * instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobi
a
s Grosser
isl_r
e
ordering_free: return i
s
l_reordering
* in
s
tead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_ast
.
c: use
i
sl_bool enum
instead
o
f p
l
a
i
n inte
g
ers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gro
s
ser
isl_schedule_band
.
c: us
e
isl_a
s
t
_
loop_typ
e
enum in
s
tead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
T
ob
i
as G
r
osser
isl_
p
o
lynomial
.
c: use isl_stat
e
nu
m
i
nstead of
pl
a
in
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gros
s
er
is
l
_const
r
aint
.
c: use
isl_
s
ta
t
enum inste
a
d of
plain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gross
e
r
is
l
_bound
.
c: use isl_stat
e
num
i
nstead of plain intege
r
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobi
a
s Grosser
isl_
a
ff
.
c: use
i
s
l_stat
e
num inste
a
d of pl
a
in
integer
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
G
rosser
isl_tab
.
c
: use isl_stat en
u
m
instead o
f
p
l
ain integer
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
scheduler
.
c: use
isl_bool enum instead of plain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
coalesce
.
c: use isl_bool
e
n
ums instea
d
of plain
i
n
tegers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias G
r
osser
Add, do
c
ument and te
s
t 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, do
c
ument and t
e
st isl_uni
o
n_map_get_map_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Grosser
Expose, docu
m
e
n
t and test isl_ma
p
_get_basic_
m
ap_
l
ist
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Gross
e
r
A
dd test coverage
for isl_[union_]se
t
_get_basic_set_li
s
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobias Gross
e
r
Add isl_*_drop_unused_param
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobias
G
r
osser
isl_bas
i
c_map_align_params:
e
xtra
c
t out isl_
b
asi
c
_map_ch
e
ck_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-09-08
Tob
i
as
G
r
osser
p
y
t
hon: remove redund
a
nt i
s
_string_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-16
Tobias Grosser
cpp: a
d
d m
i
ss
i
ng license to unit te
s
ts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-14
Tobias G
r
osser
Documen
t
the
isl interface design guidelines with
respect
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Gr
o
sser
c
p
p
/py
t
hon: export func
t
i
ons to co
n
s
t
ruct sets from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
cpp/python
:
export d
o
cumented functions
to constru
c
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
To
b
ias Grosser
Complete isl_af
f
t
o s
e
t
i
nterface
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
Tobias Gr
o
sse
r
D
o
cument:
comparis
o
ns betwee
n
isl_val
and
N
aN a
l
ways
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
Tobias Gro
s
s
e
r
A
dapt
cosch
e
duled_source to handle error conditio
n
s
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
T
o
bias Gros
s
er
Handle error c
o
nditio
n
s returned by level_before in
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
To
b
i
as G
r
o
sser
cpp/python:
export ar
i
thme
t
ic
o
perations on isl
_
pw
_
aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
To
b
ia
s
Grosser
cpp/py
t
hon: expor
t
arit
h
metic
operations o
n
i
s
l_aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
Tob
i
as Grosser
c
pp/p
y
thon:
e
x
p
ort is
l
_sc
h
e
dule_constraints
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
Tobias Grosser
cpp
:
add
unit tests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
T
obias Grosse
r
cpp: do not
m
a
rk
b
oolea
n
(i
s
l_boo
l
)
co
n
structor as explicit
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobias
G
r
osser
cpp: explici
t
ly m
a
nage
i
s
l
_
bool retu
r
n val
u
es
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
Tobias
G
rosser
isl_v
a
l_is_one sh
o
uld
r
et
u
rn
i
sl_bool_false
f
or nan
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
Tobias Gro
s
ser
python: m
a
ke strin
g
p
ars
i
ng
a
nd r
e
tur
n
ing
P
ython 3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
c
p
p
:
suppo
r
t
methods a
n
d constructors
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
To
b
i
a
s Gr
o
s
s
er
c
p
p: g
e
nerate
C
+
+
wrapper cl
a
sse
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias G
r
osser
ge
n
erat
o
r: a
d
d missing newline afte
r
print
i
n
g
the die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
o
bia
s
Grosser
python: d
r
op spurious space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
Tobias Grosser
le
t
is
l
_point_free return a NU
L
L point
e
r
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Gros
s
er
isl_basic_set_is_bounded: return i
s
l_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
T
o
bias
G
rosse
r
isl
_
t
a
b_cone_is_boun
d
ed: return isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
pyth
o
n: remo
v
e redundant is_string_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
T
obias
G
rosser
python: mark
i
sl_ast_bui
l
d_*_from_* as __isl_overload
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
python:
d
erive all c
l
asses from '
o
bje
c
t'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
pytho
n
: ensure P
y
thon 3 can deriv
e
method
resolut
i
on
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
p
y
thon: use python
3 exceptio
n
synt
a
x
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
To
b
ias G
r
osser
Upd
a
te i
m
ath to incl
u
de big-endian
support for mp
z
_import
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
T
obias Grosser
add isl_union_flow_c
o
py
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Grosser
add is
l
_map_dim_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python
i
nte
r
face: e
x
pose construction
o
f AS
T
n
o
de from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
ob
i
as Grosser
pytho
n
i
nterface: expose i
s
l_ast_buil
d
and isl_ast_expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
rosser
python interface: automatic
a
lly
d
e
r
ive
method
t
ype
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
py
t
hon interface:
only export __str__ an
d
_
_
repr__
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
py
t
h
o
n i
n
terface: support
'
c
h
ar *' and 'c
o
nst char
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
b
ias Grosser
python inter
f
ace
:
ext
r
act m
e
thod
p
r
int_me
t
hod_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Gr
o
sser
pytho
n
interf
a
ce:
add exported_ prefix to MyASTConsume
r
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interface: ex
t
rac
t
method print_method_types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Gro
s
ser
python inte
r
face: extract met
h
od
prin
t
_representation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tob
i
as Grosser
Ad
d
n
ew isl_
a
st_no
d
e_to_C_
s
tr
f
unct
i
o
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ias Gro
s
s
e
r
Add new isl_ast_exp
r
_to_C_str
function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
py
t
h
o
n
interface:
r
e
p
lace as
s
er
t
with explicit
a
bort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
To
b
i
a
s
G
rosser
py
t
h
o
n interface: repl
a
ce as
s
e
r
t with ex
p
l
i
cit
abo
r
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tobias Grosser
Export
isl_val arithmetic and comparison methods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tob
i
as Grosser
Make
pass-by-refer
e
n
ce explic
i
t by using p
o
inters
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
Tobias Grosser
test_inp
u
t
s
/
brisebarre
.
p
i
p: use
u
nix line endings
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Gr
o
sser
isl
_
simple_hull:
check for empty
/
si
n
gle-disjunc
t
m
a
p
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Grosser
isl
_
ast_build_expr_from_bas
i
c
_set: do not
use freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
Tobias Gros
s
er
R
emove malloc
.
h include
from sioimath
fi
l
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
To
b
i
as G
r
os
s
er
Fix typo in is
l
_test
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobi
a
s Grosser
Updat
e
imath to 23b2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobias
Gross
e
r
Exploit z
e
ros in isl_mat_pro
d
uct
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tobias Grosser
isl_seq_comb
i
n
e
:
o
p
ti
m
ize for common c
a
se
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
T
o
b
ias Grosse
r
Fix some typos in comm
e
n
ts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tobias Gr
o
sser
Avoid un
i
n
i
t
ial
i
zed
m
emory
w
arning in
valgrind when
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
To
b
ias
G
rosse
r
Mar
k
the compute o
u
t
featur
e
experimental
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobia
s
Grosser
isl_coal
e
sce
.
c: is
l
_map
_
c
oalesce: improv
e
e
r
ror
h
a
ndling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
T
obia
s
Grosser
isl_union_m
a
p
_alloc
:
R
e
name dim
t
o
spac
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
Tobias Gross
e
r
isl_uni
o
n_
m
ap_
a
lloc: plug memo
r
y le
a
k on er
r
or path
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias G
r
o
s
ser
Do not der
e
feren
c
e a NULL pointer in tab_for_lexmin
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobi
a
s
Grosser
F
ix typo
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
next