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
cpp/python: export functions to construct sets from isl_pw_aff
2017-08-04
T
o
bias Grosser
c
p
p/py
t
hon
:
export
f
unc
t
io
n
s to
c
onstr
u
c
t
sets from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
T
o
bias Grosser
c
p
p/python: export do
c
umented funct
i
ons to const
r
uct
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
T
o
bias G
r
o
s
ser
Complet
e
isl_aff to s
e
t interfac
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
Tobias Grosser
Document: com
p
a
r
iso
n
s between isl_val and
N
a
N
always
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
Tobias Grosser
Adap
t
cos
c
heduled_source to
h
andle
error conditions
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
T
obias Grosser
Handl
e
e
rror conditions re
t
urned by level_b
e
fore in
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobia
s
Grosser
cpp/pytho
n
: ex
p
ort arithmeti
c
operatio
n
s on isl
_
pw_aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
T
obi
a
s Grosse
r
cpp/python: export a
r
ithme
t
ic oper
a
ti
o
ns on isl_a
f
f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
Tobias Grosser
cpp/python: e
x
port isl_
s
chedule_constrai
n
ts
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
Tob
i
as
G
rosser
cpp: do not mark
b
oolean(i
s
l_bool) construc
t
or
as explicit
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Grosser
cpp:
explicit
l
y m
a
nage i
s
l_bool r
e
turn values
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
Tob
i
as
G
r
oss
e
r
isl_val_is_one shoul
d
return
isl_b
o
ol_false for nan
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
Tobias Grosser
python
:
make s
t
ring
parsing and returning Python 3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias G
r
osser
c
p
p
:
support me
t
h
o
ds and c
o
ns
t
ru
c
tors
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
obias Grosser
cpp: gener
a
te C+
+
w
rapp
e
r classes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosse
r
generat
o
r: add mis
s
ing
n
ew
l
ine after prin
t
in
g
th
e
die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tob
i
as
G
rosser
p
y
thon: drop spurio
u
s space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
T
ob
i
as
Grosser
let i
s
l_point_free return a NUL
L
pointe
r
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobi
a
s Gross
e
r
isl_basic
_
set_is_bou
n
ded:
re
t
urn
i
sl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
T
obias Gross
e
r
i
sl_t
a
b_cone_is_bounded:
r
eturn
i
s
l_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
T
obias G
r
o
s
ser
python: remove r
e
dundan
t
is_str
i
ng_t
y
pe
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tobias G
r
osser
python: mar
k
isl_ast_build
_
*
_
f
rom_* as __
i
sl_overload
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
pytho
n
: derive a
l
l
classes
from 'object'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias
G
rosser
py
t
h
on:
ensure Python 3 can derive me
t
h
o
d
reso
l
ution
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
T
o
b
ias Grosser
pytho
n
: use p
y
t
h
on 3 e
x
ception syntax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
Tobias Grosser
U
pdate i
m
a
th
to include big-endian suppor
t
for m
p
z_
i
mp
o
rt
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
T
ob
i
a
s Grosser
ad
d
isl
_
u
ni
o
n
_flow_
c
opy
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
add isl_map_dim_mi
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
y
thon interfa
c
e: e
x
pose c
o
nstructio
n
of
AST
node from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Grosser
python interface: expose isl_ast
_
build and isl_ast_expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interface: automatically
derive method type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
python
i
nterfa
c
e
:
only exp
o
r
t __str__ a
n
d __r
e
pr_
_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
ro
s
ser
py
t
hon interface: s
u
pport
'
cha
r
*' a
n
d '
c
onst char
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
y
thon i
n
terfa
c
e: extract m
e
thod print_method_
t
ype
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
rosse
r
python inte
r
face: add expo
r
ted_ pr
e
fix to MyA
S
T
Con
s
um
e
r
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bia
s
Gro
s
ser
pyt
h
on inte
r
face: ex
t
ract
m
ethod prin
t
_
method
_
t
ypes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Grosser
python
i
nt
e
rface: extr
a
ct method print_representation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gros
s
er
Ad
d
n
e
w i
s
l
_ast_node_to_C_str function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias G
r
oss
e
r
Add new isl_ast_expr_to_C_st
r
f
un
c
tion
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
T
o
bias Grosser
pyth
o
n interfac
e
: replace
a
ssert with explic
i
t
ab
o
rt
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gro
s
s
er
python i
n
terface
:
replace assert
with explicit abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tobias Gross
e
r
Exp
o
rt isl_val ar
i
thm
e
tic and comparison methods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobi
a
s Grosser
Make pass-by-reference explicit by usi
n
g pointers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
T
o
bia
s
Grosse
r
t
e
s
t
_
i
n
put
s
/brisebarre
.
pip: use un
i
x
l
ine endings
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias
G
rosser
isl_simple_hu
l
l: check f
o
r empty/single-disjunc
t
map
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Grosser
isl_ast_bui
l
d_expr
_
fro
m
_bas
i
c_set: do no
t
u
s
e freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
T
o
bias Grosser
R
emove malloc
.
h include from si
o
i
m
ath file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
T
o
bias G
r
osser
Fix typo in isl_test
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobias
Gr
o
sse
r
Update
i
math to 23b2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
T
obias Grosser
Expl
o
i
t
zeros in i
s
l_
m
at_
p
ro
d
uc
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tobi
a
s Grosser
isl
_
seq_co
m
bine: optimize for c
o
m
mon case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
T
o
bias Grosser
Fi
x
some typos in
c
o
m
m
e
n
t
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tobias Grosser
A
void unini
t
ialized memory wa
r
nin
g
i
n
valgrind wh
e
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
Mark the compute out f
e
ature
experimental
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobi
a
s Gr
o
s
ser
isl_c
o
ale
s
ce
.
c:
i
sl_map_c
o
ale
s
ce: improve e
r
ror
h
a
ndli
n
g
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
To
b
i
a
s
Gr
o
sser
i
sl_union_map_alloc: Rename di
m
to space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
Tobia
s
Grosser
isl_unio
n
_map_alloc:
plug memory leak
on e
r
ror path
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobi
a
s G
r
o
s
ser
Do no
t
der
e
ference
a
NULL pointe
r
in tab
_
f
or_lexmin
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias
Gros
s
er
Fix
typ
o
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-09
To
b
i
a
s Grosser
Add
extern C to val_gmp header
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
Tobias
Grosser
isl_union_*_mul_isl_int: pass ad
d
ress of isl_i
n
t to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
Tobias Grosse
r
F
ix typo in header guard
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Grosser
Make sed expression in Mak
e
file co
m
patible wit
h
BSD
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
To
b
ias Grosser
fix is
l
_union_
m
ap_d
e
tect_equaliti
e
s memory manag
e
ment
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
Tobi
a
s Gro
s
s
e
r
Use an MIT licensed m
e
rgesort as
the sorting alg
o
rithm
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
To
b
ias Grosser
scheduler:
al
l
o
w
t
o bound the
coef
f
ic
i
ent
s
i
n
t
he calc
u
lated
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias
Grosse
r
isl_
t
ab_b
a
si
c
_set_non_trivial_
l
exmin: d
o
not a
d
d cuts
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-01-30
Tobias Grosser
Add isl_union_map_gist_ra
n
g
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Gro
s
ser
add
opt
i
on
to bound
t
h
e c
o
ns
t
ant schedul
i
ng coeffic
i
ents
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
T
o
bias
Grosser
Introduc
e
n
e
w ISL_CTX_(GET|SET)_IN
T
_DEF macro
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
T
o
bias Grosser
Fix typo
in documentat
i
on
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Gr
o
sser
Add interface to set sche
d
ule_m
a
ximize
_
band_dep
t
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Gross
e
r
I
n
troduce optio
n
'
o
n_err
o
r'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobias
Grosser
Improve messag
e
when ctx is
freed
,
but still referenced
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-02
Tobias Grosser
add isl_lo
c
al_space
_
range
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobia
s
Gros
s
er
Enable -W
a
ll if compili
n
g
with clang
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
T
obias Gro
s
ser
Update ax_com
p
iler_vendo
r
.
m4
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobi
a
s
G
rosse
r
Che
c
k th
e
ctx a
r
gument of the memor
y
m
acr
o
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobia
s
Grosser
Fix typo in comment
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
T
o
bias
G
rosser
Remo
v
e use o
f
PATH_
M
AX
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tob
i
as Grosser
F
ix <string
s
.
h>
include
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tob
i
a
s
Grosser
Remo
v
e recently adde
d
unused variables
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Grosser
Add e
x
tern C declarati
o
n to
s
c
h
edule
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-01-08
Tobias Gro
s
ser
Add isl_unio
n
_(se
t
/map
)
_
d
etect_equal
i
t
i
e
s
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-31
Tobias Grosser
Add
G
DB module
t
hat define
s
an
i
s
l
print command
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-17
T
obias Gross
e
r
Do not ha
s
h the memory
addres
s
of an isl_na
m
e
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Grosser
Remove comm
a
at the end of en
u
meratio
n
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree