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_basic_set_is_bounded: return isl_bool
2017-01-06
Tobias
Grosser
i
s
l_basic_set_is
_
bounded: return isl
_
b
o
o
l
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
isl_tab_c
o
ne_is_bound
e
d
: retur
n
isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
p
y
thon: remove redundant is_string_typ
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tobias
Gross
e
r
p
ython: m
a
rk isl_
a
st_bu
i
ld_*_from_*
a
s __is
l
_overload
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
T
obias
G
ro
s
ser
python: der
i
ve all cl
a
sses
from '
o
bj
e
ct'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias
Gr
o
sser
python:
ens
u
r
e
Python 3 c
a
n derive m
e
thod resol
u
t
ion
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias
G
r
osser
py
t
h
o
n: use py
t
hon 3 exception s
y
ntax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
To
b
i
a
s
Grosser
Updat
e
i
m
ath
t
o incl
u
de big-endian su
p
port for mpz_import
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
Tobias Gros
s
er
add isl_union_flow_cop
y
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
a
s
Grosser
add isl_m
a
p
_d
i
m_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
pyth
o
n in
t
erfac
e
: ex
p
ose constru
c
tion of A
S
T
no
d
e
from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
ython interface: expose i
s
l_ast
_
b
u
i
l
d
and
i
sl_ast_ex
p
r
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
os
s
er
pyt
h
on interface: autom
a
ticall
y
deri
v
e method t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Grosser
python interface: onl
y
ex
p
ort __str__
and
_
_repr_
_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interface:
suppor
t
'char *' and '
c
onst
char
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
ros
s
er
python inter
f
a
c
e: e
x
trac
t
method pri
n
t_met
h
o
d_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
To
b
i
as Grosser
pytho
n
i
nterf
a
c
e: add
e
xported_ prefix to MyASTCon
s
umer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gr
o
sser
python
i
n
t
e
rface: extract
met
h
od print_
m
ethod_
t
ypes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obias
G
rosser
py
t
hon int
e
rf
a
ce:
e
xtract m
e
t
ho
d
pri
n
t_representat
i
o
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Add
new isl_ast_n
o
de_to_C_str
f
u
n
ction
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gr
o
sser
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
b
ias Grosser
python interfa
c
e:
r
epla
c
e assert
wit
h
explicit ab
o
r
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ias Grosser
pyt
h
on inte
r
fa
c
e: re
p
lace
a
sser
t
with e
x
plicit abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tobias Grosser
Export isl_val
a
rithmetic
and c
o
mparison methods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobias Grosser
Mak
e
pas
s
-by-reference
e
x
plicit b
y
using poi
n
ters
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
Tobias Grosser
test_inputs/bri
s
e
barre
.
p
ip: use unix line endings
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
To
b
ias Grosser
isl_simple_hull: check
f
or
empty/
s
i
n
gl
e
-
disjunct
m
ap
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Gros
s
er
isl_ast_
b
uild_expr_fro
m
_ba
s
ic_
s
et: d
o
no
t
use freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
Tobias Grosse
r
Remove malloc
.
h include from si
o
imath file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tobias Gro
s
se
r
Fix typo in isl_test
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Grosser
Update imath to 23
b
2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobias
Grosser
Exploit
zeros in isl_mat_
p
roduct
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tobias Grosser
isl_se
q
_combi
n
e:
o
ptimize for commo
n
case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
T
o
bias Gr
o
sser
Fix
some typ
o
s in comments
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tobias
G
rosser
A
v
oid uninitialized memory warning in valgrind w
h
en
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Gro
s
ser
Mark the
c
omp
u
te out
fe
a
t
u
re experimental
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias
G
rosser
isl_coalesce
.
c: isl_map_coalesc
e
: impr
o
v
e error ha
n
dling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tobias Grosser
isl_union_map_all
o
c: Rena
m
e dim to space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
Tobias G
r
osser
is
l
_u
n
i
o
n
_map_alloc: plug memo
r
y leak
o
n erro
r
path
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
To
b
i
as Gr
o
sser
Do
not dereference a NULL poi
n
ter in tab_for_le
x
m
i
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Grosser
Fix typo
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-09
Tobias Grosser
A
dd exte
r
n C t
o
val_gmp header
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
Tob
i
a
s Gr
o
sser
isl_uni
o
n_*_mul_is
l
_int: pass ad
d
res
s
o
f isl_int to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
Tobias Grosse
r
Fi
x
typo in he
a
d
er g
u
ard
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
Tobias
G
r
o
s
s
e
r
Mak
e
sed expression i
n
Makefile comp
a
tible wi
t
h BSD
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
Tobia
s
Grosse
r
f
i
x
isl_union_map_detect
_
equal
i
ties
m
e
m
ory mana
g
ement
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
Tob
i
a
s Grosse
r
U
s
e
an MIT lic
e
nsed mergesort
a
s t
h
e
sorting a
l
go
r
ithm
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Grosser
schedu
l
er:
a
llow to bound the coeffic
i
ents
i
n the calculated
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
To
b
ias Gro
s
se
r
isl_
t
ab_basic_
s
e
t
_
n
on_trivial_lexmin: do not add
c
uts
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-01-30
T
obias Grosse
r
A
dd isl_union_map_
g
ist_
r
ange
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias
G
rosser
a
d
d option to bound
the constant scheduling coef
f
icients
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
Introdu
c
e
n
e
w ISL_CTX_
(
G
E
T|SET)
_
INT_DEF macro
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
T
obias Grosser
Fi
x
typo in document
a
t
ion
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
To
b
ia
s
G
ros
s
e
r
A
dd interface to set s
c
hedule
_
maximiz
e
_band_dep
t
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Gros
s
er
Intr
o
duce option 'on_error'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
To
b
ias Grosser
Improve
m
essa
g
e w
h
en ctx is f
r
eed
,
b
ut st
i
ll re
f
erenced
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-02
T
obia
s
Grosser
add i
s
l_local_space_range
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
T
o
bias Gr
o
sser
Enable -Wall if compiling with
c
lang
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Gros
s
er
U
pdate
ax
_
compiler_
v
endor
.
m4
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Gros
s
e
r
C
h
eck the ctx argumen
t
of
t
he mem
o
ry macros
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobia
s
G
r
osser
Fix typ
o
in comment
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobias Gro
s
se
r
Remove us
e
o
f
P
A
T
H
_MAX
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
T
obias Grosser
F
i
x <string
s
.
h> includes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Grosser
Remove
rec
e
ntly added
u
nused va
r
iables
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Grosser
A
d
d
extern C declaration to schedule
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-01-08
Tobias G
r
o
s
se
r
Ad
d
isl_unio
n
_(
s
et/map)_d
e
tect_e
q
ual
i
tie
s
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-31
Tobias Grosser
Add GDB mod
u
le that defines an islpri
n
t
c
ommand
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-17
Tobias
Grosser
Do not hash the memo
r
y
address
o
f an isl_name
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Grosser
R
e
move comma at
the end
o
f
enumerat
i
on
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree