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_pw_multi_aff_check_range
2018-08-28
T
o
bias Grosser
isl_union_map_in
v
olves_dims: use isl_bool_no
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
o
bias Grosser
is
l
_union_map
.
c:map_excludes: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
a
s
G
ro
s
se
r
isl_union_map_is_stri
c
t_subset: use is
l
_bool_
n
ot
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
To
b
ias Gr
o
sser
schedu
l
er
.
c:graph_has
_
edge
:
use isl_bo
o
l_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gros
s
er
i
s
l_map
_
is
_
stric
t
_subset
:
u
s
e is
l
_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gross
e
r
i
s
l_b
a
s
ic_m
a
p_is_
s
t
rict_subset: us
e
isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
basi
c
_ma
p
_
f
o
l
lows
:
u
se i
s
l_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobia
s
Grosse
r
isl_set_is_equa
l
: use isl_boo
l
fo
r
local v
a
riable
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias
G
ros
s
er
s
h
ared_outer
:
u
s
e isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias G
r
osser
domai
n
_
fo
l
lo
w
s_at_
d
epth: use
isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobi
a
s Grosser
ba
s
ic_map_is_em
p
ty_add: use enum variable in
s
tead o
f
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias
G
rosser
is_subset_entry: use i
s
l_b
o
ol_
f
alse instead of
i
nteger
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosse
r
isl_arg: use n
a
med con
s
tant t
o
ident
i
fy argume
n
ts without
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-23
Tobias Grosser
set -
s
td=gnu99 for i
m
ath-32 in
CFLA
G
S no
t
C
PPFLAGS
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tob
i
as Grosser
interfac
e
:
export
i
s
l
_
v
al_pow2
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobias Grosser
i
n
troduc
e
i
sl_va
l
_pow2 as an
a
lterna
t
ive
nam
e
f
or isl_val_2exp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-06
Tobias Grosser
doc
:
drop duplicate listing
of
i
sl_val_2
e
x
p
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-12
Tobias Grosser
c
oalesce_
a
fter_aligning_di
v
s: use
i
sl_bool instead
.
.
.
commit
|
commitdiff
|
tree
2018-06-12
Tobias G
r
osser
Use isl_stat as return value for isl_val_get_num_isl_int
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-06
Tobias Gros
s
er
isl_cell_fo
r
each_si
m
plex:
u
se is
l
_stat instead of int
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobi
a
s
G
ro
s
ser
isl_ast_graf
t
_free:
r
e
t
u
r
n
i
sl_
a
st_gra
f
t
* inst
e
ad
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gr
o
sser
isl_reorde
r
i
n
g_f
r
ee: return isl_
r
eordering
*
instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_ast
.
c
:
use isl_bool enum instead o
f
plain int
e
gers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
To
b
ias Gross
e
r
isl_
s
ched
u
l
e
_band
.
c: use isl_ast_loop_
t
ype enum instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_polynomial
.
c: use isl_stat
e
num instead o
f
pl
a
in
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tob
i
a
s
Grosser
is
l
_c
o
nstrain
t
.
c:
u
se i
s
l
_stat e
n
um ins
t
ead of
plai
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gros
s
er
i
s
l
_bound
.
c: u
s
e isl_stat enum instead o
f
pla
i
n
intege
r
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
T
obias Grosser
isl_aff
.
c: use
isl_stat enum instead of plain
i
nte
g
e
r
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
T
obias
G
rosser
isl_tab
.
c: use isl_sta
t
enum
instead
of p
l
ain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
scheduler
.
c: u
s
e isl_bool enum inste
a
d
of plai
n
i
n
tegers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
T
o
bias
G
r
o
s
s
er
coalesce
.
c: use
i
s
l
_
b
o
ol enums instead of plain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tob
i
as Grosser
Add, document and
test isl_unio
n
_set_
g
et_set_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Grosser
Ad
d
, document
a
nd tes
t
isl_union_map_get_map_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Grosser
E
x
pose, document and te
s
t isl_map_
g
et_basic_map_
l
is
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
To
b
ias Grosser
A
d
d
t
e
st coverage f
o
r isl_[unio
n
_]set_get_b
a
sic_set_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobias Gro
s
ser
Add isl_*_
d
r
o
p_unused_params
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobias Grosser
isl_bas
i
c
_map_align_params: extract out
isl_basic_map_c
h
eck_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-09-08
T
o
b
ias G
r
osser
py
t
hon: r
e
move redundan
t
is_string_typ
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-16
Tobi
a
s Gr
o
s
s
er
c
p
p: add missing license to unit
t
ests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-14
Tobias Grosser
Document the isl
inter
f
ac
e
design guidelines
w
ith r
e
spect
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
cpp/pyt
h
on: export
fun
c
tions
to constru
c
t
s
ets from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
To
b
i
a
s
Grosse
r
cp
p
/python:
e
xport do
c
ume
n
ted fu
n
ctions to constru
c
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias
Gr
o
sser
Compl
e
te isl_aff
t
o set
i
nterface
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
Tobias Grosser
Document: compa
r
i
s
ons b
e
tween isl_
v
al and
N
a
N
a
lways
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
Tobias Gr
o
sser
Ada
p
t cos
c
hedule
d
_so
u
rce to handle
error conditions
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
Tobias Grosser
H
andle error conditions returned by level_before
i
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobias
G
rosser
cpp/pyth
o
n:
e
x
port a
r
ithme
t
ic operations on isl_pw_aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tob
i
a
s Grosser
cp
p
/python: export arith
m
etic
o
perations
o
n
isl_aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
T
o
bi
a
s Grosser
cp
p
/py
t
h
o
n
: exp
o
rt isl
_
schedule_con
s
traint
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
T
ob
i
a
s Gros
s
er
cpp: add unit
t
ests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobias G
r
osser
cpp: do no
t
ma
r
k boole
a
n
(isl_bo
o
l)
constructor as
explicit
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobi
a
s Grosser
cpp: explicitly man
a
g
e
isl_bool return values
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
Tobias Grosser
isl_val_is_one should
return isl_
b
ool_fa
l
se for nan
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
To
b
ias
Grosser
py
t
hon: make string p
a
r
s
i
n
g an
d
returning Python 3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias
Grosser
c
pp:
su
p
po
r
t meth
o
ds and
c
onstructor
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tob
i
as Grosser
cp
p
:
g
ener
a
te C++ wrapper clas
s
e
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Gros
s
er
generator
:
add miss
i
ng newline afte
r
pr
i
nting the die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
pytho
n
: d
r
op spur
i
o
us
s
pace
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
T
o
bias Grosser
let
isl_point_free return
a
NULL pointer
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
isl_bas
i
c_set_
i
s
_
bounded: return i
s
l_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
i
s
l
_tab_c
o
n
e
_
is_bounded: return is
l
_
bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobi
a
s Grosser
python
:
remov
e
r
edu
n
dant is_string_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tobias Grosser
p
ython: ma
r
k isl_ast_build_*_fro
m
_* as __isl_overload
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
pyth
o
n: de
r
ive all classe
s
from
'object'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias
G
rosser
pyt
h
on: ensure P
y
thon 3 can deri
v
e met
h
od r
e
solution
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias
Gr
o
sser
python: use python 3 excep
t
ion syntax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
Tobias Grosser
Upda
t
e
imath to include
b
ig-endi
a
n supp
o
rt for mpz_impor
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
Tobi
a
s Grosser
a
dd isl_
u
nion_flow_copy
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Grosser
add is
l
_map_dim_
m
in
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias
Gross
e
r
python interf
a
ce
:
expose
constr
u
ction of AST no
d
e from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python
interface: e
x
p
o
se isl_a
s
t_build and isl_
a
st_expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obi
a
s Grosse
r
p
ython inter
f
ace:
a
utomatically
d
erive method
t
ype
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
osser
python int
e
rface: only export
_
_
str__
a
n
d __repr__
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Grosser
python interface: support
'
ch
a
r
*'
a
nd 'const
c
h
ar
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
osser
p
ython
i
nte
r
fa
c
e:
e
xtra
c
t method print_met
h
od_ty
p
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Grosse
r
p
y
thon interfac
e
: add e
x
ported
_
prefix to
MyAS
T
C
o
nsumer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obias Grosser
p
y
thon
in
t
erface: e
x
t
ract
m
et
h
od pr
i
nt_method
_
types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
rosser
python interfac
e
: extract method
p
ri
n
t_representation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Add new i
s
l_ast
_
node_t
o
_
C_
s
tr funct
i
o
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
A
dd new isl_a
s
t_expr_to_C_str fun
c
t
i
on
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
py
t
hon interface: r
e
plac
e
as
s
ert with e
x
pl
i
cit ab
o
rt
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tob
i
as Grosser
p
y
tho
n
int
e
rface: replace assert w
i
th explicit abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tobi
a
s
Gr
o
sser
Expo
r
t isl_val
a
ri
t
hmetic and comparison methods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tob
i
a
s
G
ro
s
s
er
Make pass-by-r
e
ference e
x
pli
c
i
t
by using
p
ointer
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
T
o
bias Grosser
test_inputs
/
b
r
isebarre
.
pip: use unix line
endin
g
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Grosser
i
s
l_simple_hull:
c
he
c
k for empty/single-disjunct map
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
T
obias Grosser
isl_ast_build_e
x
pr_fr
o
m_bas
i
c_set: do not use freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
Tobi
a
s Gro
s
ser
R
e
mo
v
e malloc
.
h
i
n
cl
u
de from
sioimath file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tobia
s
Grosser
Fix typo in
isl_tes
t
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Gro
s
ser
Update imath to 23b2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobias Grosser
Exploit zeros in isl_m
a
t_product
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
T
obias Grosser
isl_seq_c
o
mbine:
o
pt
i
mize for common case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Grosser
Fix some typ
o
s
in comments
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tobias
Gross
e
r
Avoid uninitialize
d
m
e
mor
y
w
arning in valgrind wh
e
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
T
o
bias Gr
o
s
ser
Ma
r
k th
e
comp
u
te out
fea
t
ure ex
p
eri
m
ental
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
isl_coalesce
.
c: i
s
l
_
map_coalesce: impro
v
e error handlin
g
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
T
obias Grosser
i
sl_union_ma
p
_alloc: Rena
m
e
dim to spac
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
Tobi
a
s
G
rosser
isl_uni
o
n
_map_al
l
oc: plug memor
y
lea
k
on error path
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
T
obias Grosse
r
D
o
not derefe
r
en
c
e a NULL pointer in tab_for_lexmin
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Gross
e
r
Fix t
y
po
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
next