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
cpp: explicitly manage isl_bool return values
2017-05-17
To
b
ias Grosser
c
p
p: explicit
l
y manage is
l
_bo
o
l
r
eturn value
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
Tobias Gro
s
ser
python: make
s
tring pars
i
ng and
r
etu
r
ni
n
g
P
y
thon 3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
cpp:
sup
p
o
r
t
methods and constr
u
ctors
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Gr
o
sse
r
cpp: g
e
nerate C+
+
wrapper clas
s
es
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosse
r
gene
r
a
t
o
r
: add missing newline after
p
rint
i
ng
the die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
o
bia
s
Grosser
pytho
n
:
d
rop
s
p
urious
s
pace
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
T
obias Grosse
r
let isl_point_free
r
eturn a NULL poin
t
er
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
isl_b
a
sic_set_is_bounded: return isl_bo
o
l
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
T
o
bias Gro
s
ser
isl_tab_cone_is_bounded: return i
s
l_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
T
o
bia
s
Gros
s
er
python: re
m
ove re
d
undant
i
s_string_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tobias Gros
s
er
p
y
thon: mark isl_ast_bui
l
d_*_
f
rom_* a
s
_
_
i
sl_overloa
d
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias
G
rosser
pyt
h
on: de
r
i
ve all classes from '
o
bject'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias G
r
osser
pyt
h
on: ensure Python 3 can d
e
rive method res
o
lution
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
python: use python 3 except
i
on sy
n
tax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
Tobia
s
G
rosser
Upda
t
e
imath to include big-endian support
for mpz_import
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
Tobias Grosser
a
d
d isl_union_flo
w
_copy
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Gro
s
s
er
a
d
d isl_map_dim_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obias G
r
os
s
e
r
python interface: e
x
po
s
e
co
n
struction of AST nod
e
from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Grosser
python interfac
e
:
expose isl_ast_bu
i
ld
an
d
isl_a
s
t
_
expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Grosser
p
y
thon i
n
terf
a
ce: automa
t
i
cally derive method type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Grosser
p
ython interface: only
export __s
t
r
__ and __repr__
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
b
i
as Gros
s
e
r
python interface: sup
p
ort 'ch
a
r
*' and 'cons
t
char
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
python interface: ext
r
a
c
t method
p
rint_met
h
od_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s Grosser
python interfac
e
:
add exported_ pref
i
x to MyASTConsumer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Grosser
p
y
thon
i
nte
r
fac
e
:
extr
a
c
t met
h
od pri
n
t_method_types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s
Grosser
python i
n
terf
a
ce: extract me
t
hod
print
_
r
e
presentatio
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Add new isl_ast_node_to_C_st
r
f
u
nc
t
ion
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
A
d
d new isl_ast_e
x
pr_to_C_str function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobi
a
s
G
rosser
p
y
tho
n
interfa
c
e
:
r
eplace
a
ssert wit
h
explicit abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gr
o
s
ser
python interf
a
ce: repla
c
e assert w
i
th explicit
abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
T
o
b
ias
Grosser
Export isl_val a
r
ithmetic and compari
s
o
n
methods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobias Grosser
Make pass-by-r
e
fer
e
nce explicit by using pointer
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
Tob
i
a
s Gro
s
s
e
r
test_in
p
uts/
b
risebarre
.
pi
p
: use unix lin
e
endings
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Gr
o
sser
isl_simple_hull: check for em
p
ty/
s
in
g
le-d
i
sjunct m
a
p
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
T
o
b
i
as Grosser
i
sl_ast
_
buil
d
_expr_from
_
basic_set
:
d
o
not use
freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
T
o
bias Grosser
Remove mall
o
c
.
h include from
s
ioim
a
th file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tobias
G
ross
e
r
Fix typo in isl_test
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Gro
s
ser
Updat
e
i
math
to 23b2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobias
G
rosser
Exploit zeros in isl_ma
t
_product
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
To
b
ia
s
G
r
os
s
er
isl_seq_c
o
mbine: optimize for common
c
ase
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Gr
o
sser
Fix some typos in comments
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
T
obi
a
s Grosser
Avoid uni
n
itialized
m
emory warning in
v
a
lgrind w
h
e
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tob
i
as Grosser
Mark
the co
m
pute
o
ut
f
eature expe
r
imental
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
T
ob
i
as Grosser
i
sl_coa
l
esce
.
c:
isl
_
ma
p
_coal
e
sce: improve err
o
r handling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tobias Gross
e
r
isl_unio
n
_map_alloc: Rename dim
to
s
p
ace
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
To
b
ias Grosser
isl_union
_
map_allo
c
: plug
memo
r
y leak on error
p
ath
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias
Grosser
Do not derefe
r
ence a NULL pointer in tab_for_l
e
xmin
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Grosser
Fix t
y
po
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-09
Tobias Grosser
Add ex
t
ern C to val_gmp header
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
Tobias Grosser
isl_union_
*
_
m
ul_
i
sl_int: pass address of isl_int to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
T
obias Grosser
F
i
x typo
i
n head
e
r
guard
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Grosser
Make s
e
d expression
i
n
M
a
kefile c
o
mpatible with B
S
D
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
T
o
bias G
r
osser
f
i
x is
l
_union_map
_
detect_equali
t
ies mem
o
ry management
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
Tobias Grosser
Use an
M
I
T licensed mergesor
t
a
s
the sorting alg
o
rit
h
m
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Gro
s
ser
scheduler:
a
llow
t
o bo
u
n
d
the c
o
effi
c
ients in the calculat
e
d
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
T
o
bias Grosser
isl_tab_basic_set
_
n
on
_
tri
v
ial_
l
exmin: do not add cuts
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-01-30
T
obia
s
Grosser
Add is
l
_union_ma
p
_gist_ra
n
g
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
T
o
bias Grosser
add
o
ption
t
o bound the
c
on
s
tan
t
scheduling co
e
fficie
n
ts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
T
obias Grosser
Intro
d
u
c
e
n
ew ISL_CTX_(GET|SET)_INT_DEF macro
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosse
r
Fix ty
p
o
i
n
documentation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
Add
i
n
t
erface to
s
et s
c
hedul
e
_maximize_ba
n
d
_
depth
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Gr
o
sser
I
n
troduce option 'on_e
r
ror'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Grosser
Im
p
rove message when ctx is f
r
ee
d
,
but stil
l
referenced
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-02
Tobias Grosser
add isl_local_s
p
ace_ran
g
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias
Grosser
Enable -Wall if
compiling wi
t
h
clang
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tob
i
a
s
Grosser
Update ax_compile
r
_
v
endor
.
m
4
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
T
o
bias Gros
s
er
Ch
e
ck the ctx a
r
g
ument o
f
the m
e
mo
r
y macros
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tob
i
as
Grosser
Fix typo in c
o
mment
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tob
i
as Grosser
Re
m
ove us
e
of PA
T
H
_MAX
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobias Gr
o
ss
e
r
F
ix <s
t
rings
.
h> includes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Grosser
Remove recently add
e
d unused vari
a
bl
e
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
T
o
bias Gr
o
ss
e
r
Add e
x
tern C decl
a
ration to sc
h
edule
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-01-08
Tob
i
as Gross
e
r
Add isl_
u
nion_(set/map)_detect_equalities
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-31
T
ob
i
as Gr
o
sser
Add GDB modul
e
t
hat d
e
f
i
ne
s
an islprint comm
a
nd
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-17
Tobias
G
rosser
D
o
n
ot hash the memor
y
ad
d
res
s
of a
n
isl_name
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-07-11
Tobia
s
G
r
osser
Remove com
m
a
at t
h
e
e
nd of enumerat
i
on
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree