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_access_info.coscheduled: return isl_bool
2018-08-30
Tob
i
a
s
Grosser
isl_spa
c
e_
c
an_uncurry: impleme
n
t w
i
th isl_spa
c
e_r
a
nge_i
s
_wra
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Grosser
isl_space_can
_
curry:
i
mplem
e
nt with isl
_
space
_
doma
i
n_i
s
_
w
rapping
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
T
obi
a
s Gross
e
r
isl_
s
p
ace_i
s
_
w
rappin
g
: add mi
s
sin
g
commen
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
o
b
ias
Gross
e
r
isl_union
_
map_invo
l
v
es_dims: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
o
b
ias G
r
osser
is
l
_union_map
.
c:ma
p
_exc
l
ud
e
s:
u
se isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl_union_map_i
s
_strict_s
u
bset: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
To
b
ias Grosser
s
cheduler
.
c:gr
a
ph_ha
s
_edg
e
: use isl_b
o
ol_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl_map_i
s
_strict_
s
ubs
e
t: use i
s
l_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl
_
basic_map_i
s
_
st
r
i
c
t_subset:
use isl_bo
o
l_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias
G
rosser
b
a
sic_map_follows
:
use isl_bool
_
no
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobi
a
s
Grosser
isl_set_is
_
equal: use
isl
_
bool for
local var
i
a
ble
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gr
o
s
s
er
shar
e
d_outer: us
e
isl_
b
ool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobi
a
s Grosser
domain_f
o
llow
s
_at_depth: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
T
o
bias Grosser
b
a
sic_map_is_empt
y
_a
d
d: use enum variable instead of
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
To
b
ias
G
r
osser
is_
s
ubset_entry: use isl_bool
_
fa
l
s
e i
n
st
e
ad of integer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
i
sl_arg:
u
se
n
amed constant to identify
a
rguments
without
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-23
Tobias Grosser
set -
s
td=gnu99 for imath-32 in CFLAGS not CPPFLAGS
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
To
b
ias Gros
s
er
interface:
e
xpo
r
t
i
sl_val_pow
2
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
To
b
ias G
r
os
s
er
introduce isl_val_
p
ow
2
a
s
a
n alte
r
n
ati
v
e name for isl_val_
2
ex
p
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-06
T
obias Grosser
d
oc:
dro
p
d
u
plicate
l
isting of isl_val_
2
exp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-12
Tobias Grosser
coalesce_after_aligning_divs: use isl_bool
i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2018-06-12
Tobia
s
Grosser
U
s
e isl_stat
as return va
l
u
e f
o
r isl_val_get_num_
i
sl_int
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-06
Tobias Gr
o
s
s
er
isl
_
cell_forea
c
h_sim
p
lex: u
s
e
i
sl_stat instead o
f
int
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
T
o
bias Gross
e
r
isl_ast_graft_f
r
e
e:
r
eturn isl_a
s
t
_graf
t
* ins
t
ead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gr
o
sser
is
l
_reorde
r
ing
_
free: retu
r
n i
s
l
_
reordering * instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
G
rosser
isl_ast
.
c: use isl_bo
o
l
enum ins
t
ead of p
l
ain i
n
t
e
ge
r
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tob
i
as
G
rosser
i
sl_sche
d
ule_band
.
c: us
e
isl_ast_
l
oop_type enum
i
n
stead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
G
rosser
isl_polynomi
a
l
.
c: use isl_
s
tat enum instead of plain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
To
b
ias Grosser
isl_constrai
n
t
.
c
:
u
s
e
isl_st
a
t enum instead
o
f p
l
a
i
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_bound
.
c: use i
s
l
_stat enum instead of plai
n
integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
G
rosser
isl_af
f
.
c: use isl_st
a
t
e
num
i
nstead of plain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosse
r
isl_tab
.
c: use
i
s
l
_
stat enum instead of plain i
n
teg
e
rs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
sched
u
l
er
.
c
:
u
se i
s
l
_bool e
n
um inste
a
d of pl
a
in integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
G
rosser
coal
e
sce
.
c: use isl_
b
ool
e
nums
i
n
stead o
f
plain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
T
o
b
i
as Gross
e
r
Add, document and test is
l
_union_set_get_set_l
i
st
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias G
r
osser
Add, document a
n
d
t
est i
s
l_
u
nion_map_get_map_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobia
s
Grosser
Exp
o
se, document and test is
l
_map_ge
t
_b
a
sic
_
map_li
s
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias
Grosse
r
Add test c
o
ver
a
ge for is
l
_
[
uni
o
n_]
s
et_get_basic_set_li
s
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
To
b
i
a
s Gr
o
sser
Add is
l
_*_d
r
op_u
n
used_
p
ara
m
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobias
G
r
o
s
ser
isl_basic_map_al
i
gn_
p
aram
s
: extract out i
s
l_basi
c
_ma
p
_
check_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-09-08
Tobi
a
s
Grosser
python: rem
o
ve redundant is_string_typ
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-16
Tobias
G
ros
s
e
r
cpp: ad
d
m
i
ssing l
i
cense to unit
tests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-14
Tob
i
a
s
G
rosser
Document
t
he isl int
e
rfa
c
e
design guidel
i
nes with re
s
pect
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
T
ob
i
a
s
Grosser
cp
p
/python: exp
o
rt functions to
construct sets from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
To
b
ias
Grosse
r
cpp
/
pytho
n
: export documented func
t
io
n
s
to constr
u
ct
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
Compl
e
te isl_aff to set
interface
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
T
o
bi
a
s Grosser
Doc
u
ment: com
p
arisons
b
etwee
n
isl
_
v
a
l and NaN always
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
T
obias Grosser
A
d
ap
t
co
s
c
heduled_source
to ha
n
dle error
c
ondi
t
i
ons
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
To
b
ias Gro
s
s
e
r
Handl
e
e
r
ror conditi
o
ns retu
r
n
e
d
by level_before in
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobias
G
rosser
cpp/python: export arithmetic operations o
n
isl_
p
w
_
aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tob
i
as Gros
s
er
cpp/python: export ar
i
t
h
m
e
t
ic operations on isl_aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
Tobias Grosser
cpp/
p
yth
o
n: export isl_sched
u
le_co
n
s
t
r
a
i
nts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
Tobias G
r
o
s
ser
cpp: ad
d
unit te
s
ts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
To
b
i
a
s G
r
osser
cpp: d
o
not mark boole
a
n(
i
sl_bool)
cons
t
ructor
a
s expl
i
ci
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
T
o
bias Grosser
cpp: expli
c
itly ma
n
ag
e
isl_boo
l
return values
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
Tobias Grosser
isl
_
val_is_o
n
e sho
u
l
d re
t
urn
i
s
l_bo
o
l_false for nan
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
Tobias Grosser
python: make string parsin
g
and
r
eturni
n
g Python 3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tob
i
as
Gross
e
r
cpp: support met
h
o
ds
a
nd constructors
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobi
a
s G
r
osser
cpp: generate C++ wr
a
p
p
e
r
c
l
asses
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
generator: a
d
d missi
n
g
n
ewl
i
ne aft
e
r
p
rin
t
ing th
e
die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
o
bias Grosser
pyth
o
n: d
r
op sp
u
r
ious space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
Tobias Gro
s
s
e
r
let isl_poin
t
_free
r
e
t
ur
n
a NULL pointer
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
isl_basic_set_is_
b
ounde
d
: return isl
_
bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
T
o
bias Gr
o
sse
r
isl_
t
ab_cone_i
s
_bounded:
return is
l
_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
p
ython: remove redundant is_strin
g
_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tobias Grosser
p
yt
h
on: mark
isl_a
s
t_build_*_fr
o
m
_
* as __isl_overload
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
python: derive a
l
l classes from '
o
bject'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
T
o
bias
Grosser
python: en
s
u
r
e
Py
t
hon 3 can derive metho
d
resolution
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias G
r
osse
r
python: use python 3
e
xception syntax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
Tobi
a
s Grosser
Upd
a
te imath to include big-endia
n
sup
p
ort for mpz_import
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
Tob
i
as Grosser
a
dd isl_un
i
o
n
_fl
o
w
_
co
p
y
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gros
s
e
r
a
dd
isl_m
a
p_dim_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
python interface: expose
c
o
nstruction of AST node from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python
interface: expo
s
e isl_ast_
b
uil
d
and isl_ast_expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
y
th
o
n interface: a
u
tomatically d
e
ri
v
e meth
o
d type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
pyth
o
n interface:
onl
y
ex
p
ort __st
r
__ and _
_
repr__
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias Grosser
python
i
nterface: support
'
char
*
' and
'const char
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
py
t
hon int
e
rface: extract
m
ethod print_metho
d
_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Gros
s
er
pyt
h
on inter
f
ace: a
d
d expo
r
ted_ prefix to
M
yAS
T
Consumer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Gro
s
ser
pyth
o
n interface: extract me
t
hod
print_met
h
od_types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bi
a
s Gross
e
r
pytho
n
interface: ex
t
ract method
p
rint_rep
r
esentation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias
Gross
e
r
Add new isl_
a
st_node
_
to
_
C_str function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Add new i
s
l_ast_expr_to_C_st
r
function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gross
e
r
p
ython
interface: replace assert wi
t
h expli
c
it abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
T
obia
s
Grosse
r
p
y
thon interface: replace assert with expl
i
c
i
t
a
b
o
r
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tobias Grosser
Export isl_v
a
l arithmetic and compa
r
i
so
n
metho
d
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobias
Grosser
Make p
a
s
s
-by-re
f
erence explicit by using poin
t
ers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
T
o
bias Gro
s
ser
test_in
p
u
ts/br
i
seba
r
re
.
pip:
u
se un
i
x line
e
ndings
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias
Gross
e
r
isl_simp
l
e
_hull: ch
e
c
k for emp
t
y/single-disjunc
t
map
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Grosser
is
l
_ast_build_expr_from_bas
i
c_set
:
do no
t
use freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
Tobias Grosser
Rem
o
ve malloc
.
h i
n
clude from sioi
m
a
t
h
f
i
le
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tob
i
a
s
Grosser
F
ix typo
i
n isl_
t
est
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
T
o
bi
a
s
Grosser
Update
i
math
to 23b2
b
1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobi
a
s Grosser
E
xploit zeros in isl_mat_
p
roduct
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tobias Gr
o
sser
i
s
l_seq_combine: optimize for commo
n
case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobi
a
s
G
rosser
F
ix some typos in c
o
mm
e
nts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tobias Grosser
A
v
oid
u
ninitialized me
m
ory
w
a
rning in valgrind when
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
To
b
ias G
r
osser
Mark the compute
o
ut featur
e
experimental
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
T
o
bias Gros
s
er
isl_coalesce
.
c: isl_m
a
p_coalesc
e
:
i
mp
r
ov
e
error h
a
n
d
l
ing
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tobia
s
Grosser
isl_uni
o
n_map_
a
lloc: Rename dim t
o
space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
next