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
Merge branch 'maint'
2017-03-16
Tobias Gros
s
er
let isl_point_free return a
N
U
L
L
p
o
inter
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Gro
s
ser
isl
_
basic_
s
et_is_bounded: ret
u
r
n
is
l
_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
isl_t
a
b_cone_is_bounded:
return isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias G
r
osser
p
ython:
remove redundant i
s
_
s
t
r
ing_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
T
o
bias G
r
o
s
ser
pyt
h
on: mark isl_ast_build_*_fro
m
_* as __isl_over
l
o
a
d
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
T
obias Grosser
python: deri
v
e
a
ll classes from 'ob
j
ect'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias
Grosser
python: ensure P
y
thon 3
can derive method resolu
t
i
o
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
T
o
b
i
as Grosser
python
:
us
e
python 3 exception syntax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
Tobias Gross
e
r
Update imath to in
c
lude big-endi
a
n support fo
r
mp
z
_im
p
ort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
Tobias Grosser
add isl_union_fl
o
w_c
o
py
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gr
o
s
ser
add
i
s
l
_map_dim_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
y
thon interface
:
expo
s
e c
o
ns
t
ruction
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 is
l
_ast_exp
r
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
rosser
py
t
hon
i
nterf
a
ce
:
a
utomatically d
e
r
iv
e
met
h
od type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
G
r
o
s
ser
p
ython inte
r
face: on
l
y export __str__
an
d
__repr__
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s
G
rosser
python interface: supp
o
rt
'char
*
'
and 'const char
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Grosser
python interface:
e
xtra
c
t method pr
i
nt_metho
d
_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
G
ross
e
r
python
i
n
t
e
rface: add expo
r
t
e
d_
p
refix
to MyA
S
TConsumer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obias
Grosser
p
y
thon in
t
erface: extract meth
o
d print_
m
ethod_types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias G
r
o
sser
python inte
r
face: extract method print
_
repre
s
enta
t
ion
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Add n
e
w isl_ast_node_to_C
_
str function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobi
a
s
Grosser
Add n
e
w isl_ast_expr_to_C_str funct
i
on
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ia
s
Grosser
p
ython inte
r
fa
c
e: repla
c
e as
s
ert with expli
c
it abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gros
s
er
p
y
tho
n
int
e
rface:
repla
c
e asser
t
with
explicit abor
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tobia
s
G
rosser
Exp
o
rt isl_val arithmetic and co
m
pa
r
i
son m
e
thods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobias Grosser
Make pa
s
s-by-reference explicit
by using point
e
rs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
T
o
b
i
a
s
Grosser
test_inputs/b
r
i
s
e
barre
.
pip: use un
i
x line
end
i
ngs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Grosser
isl_simple_hull: check for empty/single-disjunct
map
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
T
obia
s
Gross
e
r
isl_ast_bui
l
d_ex
p
r_from_basic_set: do no
t
use freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
T
obias Grosser
Re
m
ove malloc
.
h include from sioim
a
t
h
file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tobias Grosser
F
i
x
typo in isl_test
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Gross
e
r
Update imat
h
to
2
3b2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
To
b
ias
Gr
o
sser
Exploit zero
s
in i
s
l_mat_pr
o
duct
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tobi
a
s Gros
s
er
isl_seq_c
o
mbine:
o
p
timize for common
case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Grosser
F
ix some
typos in c
o
m
m
en
t
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tobias Grosser
Avoid uni
n
itialized memory warning in valgrind when
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
Ma
r
k the compute out feature e
x
peri
m
e
ntal
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
T
o
bi
a
s
Grosser
i
sl_coalesce
.
c: isl_map_coalesce: improv
e
error ha
n
dl
i
ng
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tob
i
a
s Grosser
is
l
_union_map_allo
c
: Rename dim to space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
Tobias Grosser
isl
_
un
i
o
n_map_
a
l
l
oc: p
l
ug memor
y
leak
on error pat
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Gro
s
ser
Do not dere
f
erence
a
NULL pointe
r
in tab_fo
r
_le
x
min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias
Gross
e
r
Fix ty
p
o
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-09
Tob
i
as
G
rosser
Add exter
n
C to val_gm
p
header
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
T
obias Grosser
isl_union_*_m
u
l_isl_int:
pass addr
e
ss of isl_int to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
Tobias
Grosser
F
ix
t
ypo in he
a
der guard
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
Tobia
s
Grosse
r
Make sed
e
x
p
ression i
n
Makefi
l
e compatible with BSD
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
Tobias
Grosser
fix isl_union_map
_
dete
c
t_equa
l
ities
m
em
o
ry
m
a
nagem
e
nt
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
Tobias Grosser
Us
e
an MI
T
lice
n
sed me
r
gesort as the sorting algori
t
hm
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
T
o
bias Grosser
schedul
e
r:
all
o
w
t
o
bound the
c
o
e
fficients in the
c
alculated
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Gro
s
ser
i
s
l_
t
a
b
_basic_set_no
n
_
t
rivial_lexm
i
n: do not add cut
s
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-01-30
Tobias
G
rosser
Ad
d
isl_union_m
a
p_
g
is
t
_range
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias
G
ros
s
e
r
add opti
o
n to bound the constant sche
d
uli
n
g
coefficients
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias
Gro
s
ser
Introd
u
c
e
new IS
L
_CTX_(GE
T
|SE
T
)_INT
_
DEF
macr
o
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
Fix typo in doc
u
mentation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
A
dd interface to
set sc
h
edule_maximize_band_depth
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Grosser
Introduce option
'
on_err
o
r'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Grosser
Improv
e
message when ctx i
s
freed, but still
r
eferenced
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-02
Tobias Grosser
add isl_local_space_rang
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosser
Enable -Wall if compiling
with clang
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Gros
s
e
r
Update ax_compiler_
v
e
n
dor
.
m
4
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobi
a
s Grosser
Check th
e
ct
x
argument of
t
he m
e
m
o
ry m
a
cros
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
To
b
ias Gross
e
r
Fix typo in commen
t
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobias
G
rosser
Remove
u
se of PATH_MAX
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tob
i
as Grosser
Fix <strings
.
h
>
inclu
d
es
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobias
G
rosser
Remove rec
e
ntly ad
d
ed unused va
r
i
a
bles
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobia
s
Grosser
Add
extern C declar
a
tio
n
to sc
h
ed
u
le
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-01-08
Tob
i
as
G
ros
s
er
Ad
d
isl_union_(set/map)
_
detec
t
_equalities
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-31
Tobia
s
G
ross
e
r
Add GDB module th
a
t defines an
i
slprin
t
comman
d
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-17
T
o
bia
s
Gross
e
r
D
o
not hash the me
m
ory address of an isl_name
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Grosser
Remove com
m
a a
t
t
he end o
f
enumeration
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree