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_mat_unimodular_complete: add memory management annotations
2017-03-16
Tobias Grosser
le
t
i
s
l_point_
f
ree retur
n
a NULL
p
ointer
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
T
o
bias Gros
s
er
isl_basic_set_is_b
o
unded: return isl_
b
ool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
To
b
ias Gros
s
er
isl
_
tab_cone_is_bo
u
nded: ret
u
r
n
isl
_
bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Gros
s
er
py
t
hon: remove r
e
du
n
dant
i
s
_string_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
T
ob
i
as G
r
oss
e
r
pyth
o
n: mark isl_as
t
_
b
u
ild_*_from_*
a
s __is
l
_ove
r
loa
d
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
pyth
o
n: derive all classes from
'object'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias
Grosser
pyth
o
n: ens
u
re Py
t
hon 3 can de
r
ive m
e
t
h
o
d
res
o
lution
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosse
r
py
t
hon: use python 3
e
xcep
t
i
on syntax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
Tobias Grosser
Update imath to i
n
c
l
ude big-endian support for mpz_import
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
Tobias G
r
o
sser
add isl_un
i
on_flow_copy
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gro
s
ser
add isl_m
a
p
_
dim_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Grosser
python
interface: expose
construction of AST node from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosse
r
pyt
h
on inter
f
ac
e
: expose isl_ast_build and
isl_ast_expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
pytho
n
interface
:
automa
t
ically derive
method t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias Gross
e
r
python int
e
rfa
c
e: only export __str__ and __re
p
r__
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
y
thon interf
a
ce
:
suppor
t
'cha
r
*' and
'
const char
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interface: extrac
t
method
p
rint_method_ty
p
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bia
s
Gro
s
ser
pyt
h
on
i
nterface: a
d
d
e
x
porte
d
_
p
r
ef
i
x to MyASTCons
u
m
er
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s Grosser
python interface: extract method
print_method_types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Grosser
p
y
thon interfa
c
e: extract m
e
thod print_representation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Ad
d
new i
s
l_a
s
t_node_to_C_
s
tr function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ias Grosser
Add
new isl_ast_expr_
t
o_C_str function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
T
o
bias
Grosser
python inte
r
f
a
ce: rep
l
ace assert with
explicit a
b
ort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobi
a
s Gro
s
ser
python in
t
erfa
c
e: replac
e
a
s
sert wit
h
e
x
pli
c
it abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tobias G
r
osser
Expo
r
t isl_val arithmetic and
comparison methods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tob
i
as
Gro
s
ser
M
a
ke p
a
ss-by-r
e
ference
exp
l
icit by
u
sing pointers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
Tobias Gross
e
r
test_inputs/
b
risebarr
e
.
pip: use unix line e
n
dings
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Grosse
r
i
s
l
_
simple_hull: check fo
r
empty/si
n
gle
-
di
s
junct map
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias
Grosser
isl_a
s
t
_build_expr_from
_
basic_set: d
o
not use freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
Tobias Grosser
R
e
m
ove malloc
.
h
include from sioima
t
h file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
T
o
bias
G
ro
s
se
r
Fi
x
typo
i
n
i
sl_test
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Gr
o
sser
Update imath to 23b2
b
1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobias
G
r
oss
e
r
Exploit zeros
i
n isl_mat_product
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tobias G
r
o
sser
isl_seq_combi
n
e: optimize for c
o
mmon cas
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Grosser
F
i
x some typos
i
n com
m
ents
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tobi
a
s Grosser
Avoid uninitial
i
z
e
d memory warning in v
a
l
g
rind when
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
Mark the compute out feature
e
xperiment
a
l
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobia
s
Grosser
i
s
l_coalesc
e
.
c: is
l
_map_coalesce: i
m
prove
e
rror
h
andling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tobias Grosser
isl
_
union_m
a
p_alloc: R
e
name dim t
o
space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
T
obias
Grosse
r
isl_
u
nion_map_alloc: pl
u
g
m
emory
leak on
error p
a
th
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
T
obi
a
s
Grosser
Do not d
e
reference
a NULL po
i
nter
i
n
ta
b
_fo
r
_
l
ex
m
i
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Grosser
Fix
t
yp
o
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-09
Tobias
Grosser
A
dd
extern C to
v
al_gmp he
a
de
r
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
Tobias Grosser
isl_unio
n
_*_mul_isl_in
t
: pass add
r
es
s
of isl_int
to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
To
b
ias Grosser
Fix typ
o
in hea
d
e
r
guar
d
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Grosser
Make
s
ed expression in Makefile comp
a
tible wi
t
h
BSD
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
Tobias Gros
s
er
fix isl_u
n
i
o
n
_map_dete
c
t_equa
l
ities memo
r
y management
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
Tobias Grosse
r
Use an MIT lic
e
nsed mergesort as the s
o
rt
i
ng
a
lgo
r
i
t
hm
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Grosser
schedule
r
: allow to boun
d
the coeffic
i
ents in the cal
c
ulated
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias
G
rosser
isl
_
t
a
b_basi
c
_
set_non_triv
i
al_lexmin: do not add c
u
ts
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-01-30
Tobias
G
ross
e
r
A
dd isl_u
n
ion_m
a
p
_gist_
r
ange
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tob
i
as Grosser
add optio
n
t
o
b
ound the constant scheduling coefficients
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
T
o
bi
a
s Gr
o
sser
In
t
roduce new
I
S
L_
C
TX_(GET|SET)_IN
T
_DEF macro
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias
G
rosse
r
Fix typo in documentat
i
on
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
Add interface
to set sched
u
l
e
_
ma
x
imize_
b
and_depth
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
T
obias Grosser
Introduce option '
o
n_error'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Grosser
I
m
prove
m
essage when
ctx is fre
e
d, but still
refe
r
e
n
ced
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-02
Tobias Grosser
add isl_local_space_r
a
nge
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosser
Enable -Wall if comp
i
ling
w
i
th
clang
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosser
Upd
a
t
e a
x
_
c
ompiler
_
vendo
r
.
m
4
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
T
o
bias G
r
osser
Check t
h
e ctx argument o
f
the m
e
m
o
ry mac
r
os
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias
G
ross
e
r
F
ix typo
i
n comment
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobias Grosser
R
e
move
use of PATH_MAX
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobi
a
s G
r
osser
Fi
x
<strin
g
s
.
h> i
n
clu
d
es
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobi
a
s Gros
s
er
Remove recent
l
y
added un
u
sed
v
ariables
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
To
b
ias Gr
o
s
s
er
A
dd e
x
t
ern C de
c
lara
t
io
n
to schedule
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-01-08
Tobias
Gros
s
er
Add isl_un
i
on
_
(set/map)_detect_equalities
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-31
T
o
bias Gr
o
sser
A
d
d
GD
B
modu
l
e t
h
at defines an islpri
n
t command
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-17
Tob
i
as Grosser
Do no
t
hash the memory address of an
isl_name
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Grosser
Remove comma at the end of enu
m
eration
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree