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
.gitignore: add piplib
2018-04-23
Tobias Grosser
Add i
s
l_*_drop_un
u
sed
_
params
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobias Grosser
isl_basic_map
_
align_params: extract out isl_basic_
m
ap_c
h
eck_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-09-08
T
o
b
ias Grosser
pyt
h
on: remo
v
e
r
edundant is_
s
tring_ty
p
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-16
Tobias
G
rosser
cpp: add missing license to unit t
e
sts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-14
Tobi
a
s
G
rosse
r
Document the isl interfa
c
e de
s
ign
guid
e
lines with
respect
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias G
r
osser
cpp/py
t
h
on
:
exp
o
rt func
t
io
n
s to constr
u
ct
s
ets from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
T
o
b
i
as Gross
e
r
cpp/py
t
hon: e
x
port
d
ocum
e
nt
e
d functions to c
o
nstruct
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
To
b
ias Gr
o
sse
r
Co
m
plete isl
_
aff to set in
t
erface
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
To
b
ias Grosser
Document
:
c
o
m
parisons betwee
n
isl_val and NaN always
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
Tobias Grosser
Adapt coscheduled_source
t
o handle error conditions
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
Tobias Grosser
Handle
e
rro
r
c
o
nditions r
e
tu
r
ne
d
by leve
l
_before in
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobias Grosser
cpp/pyth
o
n
:
export ari
t
hmeti
c
operations on isl_pw
_
aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobia
s
Gr
o
sser
cpp/python
:
expo
r
t ar
i
thmetic operations
on
i
sl_
a
f
f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
Tobi
a
s Grosser
cpp/pyth
o
n: export isl_schedule_
c
on
s
traints
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
T
obias
G
ros
s
e
r
cpp: add unit tests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Grosser
cpp: do not
m
a
r
k
bool
e
an(isl_bool) c
o
nst
r
u
c
tor
a
s explicit
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
T
obi
a
s
Grosser
cpp: ex
p
licitly
m
anage isl_bool return values
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
Tobias Gros
s
er
i
s
l_val_
i
s
_
o
n
e shou
l
d re
t
urn isl_bool_f
a
lse fo
r
nan
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
T
obias Grosser
python: make string parsing and returning Py
t
h
o
n
3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
o
b
i
a
s Grosser
cpp:
s
u
pport met
h
ods and const
r
ucto
r
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
cp
p
: ge
n
erate C++ wrapper c
l
asses
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosse
r
ge
n
era
t
or:
add missing newlin
e
a
f
te
r
printing the die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
To
b
ias Grosse
r
python: drop spuri
o
us spa
c
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
Tobias Grosser
let isl_point_fre
e
return a NULL pointer
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
T
ob
i
as Grosser
is
l
_bas
i
c_set_is_bounded: ret
u
rn isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobia
s
Gros
s
e
r
isl_tab_cone_is_bounded:
retur
n
isl_
b
o
o
l
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
T
o
b
ia
s
G
ros
s
e
r
python:
r
emove redundant is_str
i
ng_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tob
i
as
Grosser
python: mark isl_ast_b
u
ild_*_from_* as __
i
sl_ove
r
load
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosse
r
p
ython: derive all classes
f
rom
'object'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
T
obias Grosser
python: ensure Python 3 can derive meth
o
d r
e
solution
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Gross
e
r
python: use
p
yth
o
n 3 e
x
c
e
pti
o
n syntax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
T
o
b
ias Gr
o
s
s
er
U
pdate
im
a
th t
o
include big-endian
s
u
ppo
r
t f
o
r
mpz_impo
r
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
Tobia
s
Grosser
add isl_union_flow_
c
opy
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obias Gr
o
sser
add isl_map_di
m
_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as
G
ro
s
s
e
r
python interface: e
x
pose c
o
nstru
c
tio
n
of AST node fro
m
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s Grosser
pyth
o
n
interface: e
x
pose isl_ast
_
build and isl
_
a
s
t
_expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Grosser
python i
n
t
erface: automatically der
i
ve
method type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
y
thon interface: only exp
o
rt
__str__ a
n
d __repr__
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obias Gros
s
er
p
y
thon interface: support 'char *' and
'
c
o
n
st
char
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
ython in
t
erfa
c
e:
e
xtr
a
ct
m
e
t
h
od print_method_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
osser
p
yth
o
n interf
a
ce: add exported_ p
r
e
fix
to MyASTCon
s
umer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
p
ython
i
nterf
a
c
e: extract method print_meth
o
d
_
types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Grosser
py
t
h
on i
n
terface:
e
x
t
ract method print_represen
t
ation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Add new isl_as
t
_n
o
de_to_C
_
s
t
r
function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias
Gross
e
r
A
dd ne
w
isl_ast_expr_to_C_str fu
n
cti
o
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobia
s
G
rosser
p
yth
o
n in
t
erf
a
ce: r
e
p
lace
ass
e
rt with ex
p
li
c
i
t abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
pyth
o
n in
t
erfac
e
: replac
e
as
s
e
r
t
with e
x
plic
i
t
a
bort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tob
i
a
s Gross
e
r
Export
i
sl_
v
al ari
t
hmetic and
c
omparison
methods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobias Grosser
Make pass-by
-
refe
r
en
c
e
explicit b
y
using p
o
i
n
ters
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
Tobias Grosser
test_
i
nputs/brisebarre
.
pip
:
use unix line ending
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Grosse
r
isl_sim
p
le_hull: check for emp
t
y/single-disjunct map
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias
Grosser
is
l
_ast_build_ex
p
r_from_basic_set: do not use freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
T
o
bias Grosser
Remo
v
e mal
l
oc
.
h in
c
lu
d
e f
r
o
m
sioimath file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tob
i
as Grosser
Fix
t
ypo in isl_test
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobia
s
G
r
osser
Update imath to 23b2b1
f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobi
a
s
G
ro
s
ser
Exploit zer
o
s in isl
_
m
a
t_product
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tob
i
as Gr
o
ss
e
r
isl_seq_combine: o
p
ti
m
ize fo
r
co
m
mon case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Grosser
Fix some typos
in comments
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tobi
a
s Gross
e
r
Avoid
u
ninitialized memory war
n
in
g
in valg
r
ind
w
hen
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Gros
s
e
r
Mark the c
o
mpute out feature exp
e
rimenta
l
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
isl_coalesce
.
c
: isl_map
_
coa
l
esc
e
: impro
v
e error h
a
n
d
ling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tobias Gr
o
s
ser
isl_
u
nio
n
_map_alloc: Rename dim
t
o spa
c
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
Tobias Gross
e
r
isl_union_map_alloc: plug memory leak on e
r
ror
path
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
T
o
b
i
a
s
G
r
osser
Do not
d
e
r
eference a NULL pointer in
t
ab_
f
o
r
_lexmin
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
Tob
i
as
Grosser
A
dd e
x
tern C to val_gmp h
e
ader
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
Tobia
s
Gross
e
r
isl_uni
o
n_*_mul_isl_int: pass address of isl_in
t
to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
T
o
b
ias
Grosser
Fix typo in h
e
ade
r
guard
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Gro
s
s
e
r
M
a
ke sed expressio
n
in Makefi
l
e compatible with BSD
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
T
obias Grosser
f
ix i
s
l_union_map_detect_equalit
i
es memor
y
m
anage
m
ent
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
Tobias Grosser
Us
e
an MIT l
i
ce
n
sed mergesor
t
as th
e
sorting a
l
gor
i
t
hm
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Grosser
scheduler: allo
w
to bound
the co
e
fficie
n
ts in t
h
e calculated
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobia
s
Grosser
i
sl_tab_basic
_
set_non_trivial_le
x
min
:
d
o n
o
t
add cuts
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-01-30
To
b
ias Grosser
Add isl_union
_
map
_
g
ist
_
range
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
T
o
bias G
r
oss
e
r
add
option to boun
d
t
h
e
c
o
nstant s
c
heduli
n
g coef
f
i
c
ients
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
Introdu
c
e
n
ew IS
L
_CTX_(GET|SET)_IN
T
_
DEF
m
acro
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias G
r
oss
e
r
F
i
x typo in do
c
ument
a
tion
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
T
obias Gr
o
sser
Add i
n
terface to set s
c
hedule_
m
aximize_band
_
depth
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
T
o
bias Grosser
Intr
o
duce option
'
on_error
'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
T
o
bias G
r
oss
e
r
I
mprove
message w
h
en ctx is fr
e
ed, but st
i
l
l referenced
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-02
Tobia
s
Gr
o
ss
e
r
add isl_
l
ocal_space_r
a
nge
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
T
o
bias Gr
o
sse
r
Enable -Wal
l
i
f comp
i
l
ing with clang
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
T
obias 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 Grosser
Chec
k
the ctx argument
o
f
the mem
o
ry
m
acros
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobi
a
s
Grosser
Fix typo
in comment
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobias Gr
o
ss
e
r
Remove use of
PA
T
H_MA
X
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobi
a
s
G
rosser
Fix <
s
tr
i
ngs
.
h> includes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobia
s
Gro
s
s
er
Re
m
ove r
e
cen
t
ly a
d
ded
u
n
used var
i
able
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Gro
s
s
er
Ad
d
extern C declarat
i
on to schedule
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-01-08
To
b
i
as Grosser
Add
i
s
l_union_(set/map)_detect_equali
t
ies
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-31
To
b
i
as Gr
o
sser
Add GDB
module that de
f
ines an isl
p
rint comma
n
d
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-17
Tobias Gr
o
sser
D
o
n
o
t
hash
t
he memo
r
y add
r
e
ss of an is
l
_
n
ame
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Grosser
Remo
v
e comma a
t
the end
o
f
enu
m
erat
i
o
n
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree