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
add missing annotations to isl_basic_map_align_divs
2017-05-25
Tobias Gros
s
er
cpp:
a
dd unit test
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Grosser
cpp: do not mark b
o
ol
e
an(isl_b
o
o
l
) co
n
s
tr
u
c
tor as
explic
i
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Gr
o
sse
r
cp
p
: explicitly
m
anage isl_bool r
e
turn value
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
Tob
i
as G
r
osse
r
isl_val_is_on
e
s
hould
r
e
turn is
l
_bool_f
a
lse
for nan
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
Tobia
s
G
r
o
sser
pyt
h
on
:
ma
k
e string parsi
n
g a
n
d returning Python 3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
To
b
i
as
Grosser
c
p
p:
s
uppo
r
t
meth
o
ds and co
n
structors
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
cp
p
: generate C++ wrapp
e
r classes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
generator: add missi
n
g newline aft
e
r print
i
ng the die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
To
b
ias Grosse
r
pytho
n
: drop spurious
s
pace
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
Tobias Grosser
le
t
i
s
l
_poi
n
t
_
free return a N
U
L
L pointer
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
isl_basic_set_i
s
_
b
ou
n
ded
:
return isl
_
bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Gro
s
s
er
i
s
l_
t
ab_cone_is_bounded:
re
t
ur
n
isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobi
a
s
Grosser
python: remove
redundant is_string_t
y
p
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tobias
Grosser
python
:
mark isl_ast_bu
i
ld_*_from_*
a
s
__isl_ov
e
rload
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
python: derive all classes from 'object'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
python: ensure
P
ython
3
c
a
n derive method resolu
t
i
on
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
T
o
b
ia
s
Grosser
python: use
p
y
t
hon 3 exc
e
pti
o
n
s
yntax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
T
obias Gros
s
er
Update i
m
ath to include big-e
n
dian
s
upport
f
or mpz_import
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
T
o
bi
a
s Gros
s
er
a
dd
i
s
l_
u
nion_
f
low_copy
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Grosser
add isl_map_d
i
m_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosse
r
p
ython interface: expose
c
onstructi
o
n o
f
A
S
T no
d
e from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gro
s
ser
p
y
thon interf
a
ce: e
x
p
ose i
s
l_ast_bui
l
d and isl_ast_expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gro
s
ser
python i
n
terf
a
ce: a
u
tomatic
a
l
ly derive method type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interface: o
n
ly export __str__
and __repr__
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obia
s
Gros
s
er
pyth
o
n interface: support 'ch
a
r
*' and 'const char
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obias Grosser
python int
e
rface: extr
a
ct met
h
od print_meth
o
d
_typ
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
o
s
ser
python
i
nter
f
ace:
a
d
d
exporte
d
_ prefix to
M
yAST
C
onsum
e
r
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s Grosser
python i
n
terface: extract method pri
n
t_method_types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interf
a
c
e:
e
x
t
ract method pri
n
t_representation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gross
e
r
Ad
d
new isl_ast_nod
e
_to_C_str
function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ias Grosser
Add new
isl_ast_expr_to_C_str function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
T
o
bias Gro
s
ser
python
interface: replace assert wit
h
explicit a
b
ort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
py
t
hon in
t
erfa
c
e
:
repl
a
c
e
a
s
ser
t
with explicit
a
bort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tobia
s
Gros
s
er
Exp
o
rt
i
sl_val arithmetic an
d
comparis
o
n m
e
thods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobias Grosser
Make pa
s
s-
b
y-referen
c
e expl
i
c
it by using poi
n
ters
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
Tobias Grosser
test_inputs/brisebarre
.
p
ip: use
un
i
x li
n
e endin
g
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Grosser
isl_simple_hull: check for empty/s
i
ngle-
d
isj
u
nct map
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
T
o
bias
G
rosser
i
s
l_ast_build_ex
p
r_from_basic
_
set: do not use f
r
eed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
T
o
bias
G
rosser
Remov
e
m
alloc
.
h include from sioimath file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tobias
Grosser
Fix typo in
isl_tes
t
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Grosser
Up
d
ate
imath t
o
23b2
b
1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobias
G
rosser
Exploi
t
zeros
i
n
isl_mat_pr
o
du
c
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
To
b
ias Gro
s
ser
i
s
l_seq
_
com
b
ine: optimize for common case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Grosser
Fi
x
some typos in c
o
mments
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tob
i
as Grosser
Avoid uninitializ
e
d memory warning in valgrind when
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobia
s
G
rosser
Mark the compute
o
ut fe
a
ture experimental
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
T
obias Grosse
r
isl_coal
e
sce
.
c: isl_ma
p
_
c
oalesce: i
m
pro
v
e
e
rror
h
andling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
T
o
b
ias Grosse
r
isl_unio
n
_map_alloc: Re
n
ame
d
im to space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
Tobi
a
s
Grosser
i
s
l_
u
n
i
on_map_al
l
oc: plu
g
memory
leak on error path
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tob
i
as Grosser
Do no
t
dereference a NULL p
o
inter in tab_for_le
x
m
in
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
G
ro
s
ser
Ad
d
extern C to val_gmp
h
e
a
d
er
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
T
o
b
i
a
s
G
r
osse
r
isl_unio
n
_*_mul_i
s
l_in
t
: pas
s
ad
d
r
ess of isl_int to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
To
b
ias G
r
o
s
ser
Fi
x
typo in heade
r
g
uar
d
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
Tobi
a
s Gro
s
ser
Make sed expression in Makefile co
m
patibl
e
w
i
th BSD
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
Tobias Grosser
f
ix isl_union_map_detect_equalities me
m
or
y
management
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
Tobias
G
rosser
U
s
e an MIT licensed mergesort as the
s
orti
n
g algorithm
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias
G
rosser
sch
e
du
l
er: allow to bound the coe
f
fi
c
ients in th
e
calculate
d
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Grosse
r
i
sl_tab_basic_set_
n
o
n
_
t
r
iv
i
al_lexmin: do not add cuts
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-01-30
Tobias Gross
e
r
Add isl_u
n
i
o
n
_map_gist_range
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
To
b
ias Gros
s
er
ad
d
option to bo
u
nd the
c
o
nstant s
c
hedulin
g
coeffi
c
ie
n
ts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
Intro
d
u
ce new ISL_CTX_(GET|SET)_I
N
T_DEF macro
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias
G
r
osse
r
Fix typo
i
n d
o
cument
a
t
i
on
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
To
b
ias Grosse
r
Add int
e
rfa
c
e t
o
set schedule_maximize_
b
and_depth
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobi
a
s
G
rosser
Introduce option 'on_error
'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
T
o
b
i
as Gr
o
s
ser
Improve message when
c
tx is free
d
, but still referenced
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-02
Tobias Grosser
ad
d
isl_local_space_range
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobia
s
Grosser
Enab
l
e -Wall
i
f
c
ompiling wi
t
h clan
g
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
To
b
ia
s
Grosser
Update ax_compi
l
er_vendor
.
m
4
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosser
Check th
e
c
tx argument of the memory macros
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobi
a
s Grosser
Fix
t
ypo
in comment
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobias Grosser
Remove use of PATH
_
MAX
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobias G
r
osser
Fix <strings
.
h> includes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
To
b
ias Grosser
Remove recently
added
unused v
a
riables
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Gross
e
r
Add extern C dec
l
aration to schedule
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-01-08
T
o
b
ias Grosser
Ad
d
isl_union_(se
t
/
m
ap
)
_detect_equalities
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-31
T
obias Gro
s
ser
Add GDB module
t
hat def
i
nes
a
n islprint
c
o
mmand
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-17
To
b
ia
s
Grosser
Do
n
ot
has
h
the memo
r
y
a
ddress of an isl_nam
e
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-07-11
To
b
i
a
s Grosser
R
e
m
o
ve com
m
a at th
e
e
nd of enumerat
i
o
n
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree