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/python: export isl_schedule_constraints
2017-07-14
To
b
ias Grosser
cpp/python: export isl_s
c
h
edule_constraints
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
To
b
ias Gross
e
r
cpp: add unit tests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
To
b
i
a
s Gross
e
r
c
pp:
d
o
not mark bool
e
an(isl_bool
)
c
o
n
s
tr
u
ctor as explicit
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
To
b
ias Gros
s
er
cpp
:
explicit
l
y manage i
s
l_
b
ool return
v
alues
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
T
obias Grosser
isl_val_is_one sh
o
uld re
t
u
rn
i
sl_boo
l
_f
a
l
s
e for
n
a
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
Tobia
s
Grosser
python: ma
k
e
s
tring par
s
i
ng and
return
i
ng Pytho
n
3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
o
bias Grosser
cp
p
: s
u
pport me
t
hods and
c
o
n
structo
r
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
o
bias Gr
o
sser
cpp: generate C++ wrapper classes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobi
a
s Gross
e
r
gene
r
ator: add missing newline after pri
n
ting the die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
p
y
t
hon: d
r
op spurious
s
pace
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
T
o
b
ias G
r
osser
let isl
_
point_fr
e
e
return a NU
L
L
p
ointer
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
To
b
i
a
s Gross
e
r
isl_
b
as
i
c
_set_is_b
o
unded: return isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tob
i
as
G
rosser
isl_ta
b
_cone_is_bounded: retur
n
i
s
l_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias
Grosser
python: remove r
e
dundant is_string_
t
ype
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
T
o
bias Grosser
python:
m
ar
k
i
s
l_ast_build_*_f
r
om_* as __isl_overload
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobi
a
s Grosser
pyth
o
n: derive
a
ll cla
s
ses
from 'object'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
To
b
ias Grosser
python:
e
nsure Python 3 can
de
r
ive method resolution
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
python: us
e
python 3
e
xcept
i
o
n
s
ynta
x
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
Tobias
Grosser
Update imath to includ
e
big
-
end
i
a
n
supp
o
rt for
m
pz_import
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
Tobi
a
s
Gross
e
r
add isl_
u
nion_flow_
c
o
p
y
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
osser
add
i
sl_map_dim_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Gros
s
er
p
y
t
h
on int
e
rfac
e
: expose constr
u
c
t
ion of AST nod
e
from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Grosser
python interf
a
ce:
ex
p
ose
isl_ast_bu
i
ld and
is
l
_ast_e
x
pr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Gro
s
s
er
py
t
hon in
t
e
rface: automatically derive met
h
od type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
T
obias G
r
o
ss
e
r
python interface: o
n
ly
exp
o
rt __str__ and __repr
_
_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python
i
n
t
e
rface: support 'char
*' and 'con
s
t
c
har
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
oss
e
r
python inte
r
face:
extrac
t
method print_method_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bia
s
Gros
s
e
r
python interface:
add
exported_ prefix
t
o MyASTConsumer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
python
i
nterface:
ext
r
ac
t
method print_me
t
hod_types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python
interface: extr
a
ct method pr
i
nt_r
e
presentation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias G
r
o
s
ser
Add new
isl_ast_node_to_C_str
f
unction
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobia
s
Grosser
Add new isl_ast_
e
xpr_to_
C
_s
t
r function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias
Gro
s
ser
python interface: r
e
place assert with explicit
abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gros
s
er
python interface:
r
e
p
lac
e
a
ss
e
rt wit
h
e
x
plici
t
abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tobias Grosser
Export isl_val arithmetic an
d
c
om
p
a
rison
m
e
t
hods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
To
b
ias Gross
e
r
Make pass-by-ref
e
rence exp
l
i
c
it
b
y usi
n
g pointers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
Tobi
a
s Gros
s
er
test_input
s
/brisebarre
.
pip: 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 empty/sing
l
e
-
disjunct
map
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Gro
s
ser
is
l
_ast_build_e
x
pr_from_basic_s
e
t: do
not use f
r
e
e
d
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
Tobia
s
Grosser
Rem
o
ve malloc
.
h
i
nclu
d
e fro
m
sioimath
file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tobia
s
G
rosser
Fix typo in isl_
t
est
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobias
Grosser
Upd
a
te im
a
th
to 23b2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobias Grosser
Exploit zeros in isl_m
a
t_produ
c
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tobias Gro
s
ser
isl_seq
_
combine: optimize fo
r
commo
n
case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobias
G
rosser
Fix some typos in
comments
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tobias
G
ros
s
er
A
v
o
i
d uniniti
a
lize
d
m
e
mory wa
r
n
ing in
valgrind wh
e
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
M
ark the com
p
ute out
f
eature exp
e
r
ime
n
tal
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias
Gr
o
sser
isl
_
coalesce
.
c: is
l
_map_coales
c
e
:
impro
v
e error handling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
To
b
ias Grosser
isl_un
i
on_map
_
a
lloc
:
Rename
dim to
s
pace
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
Tobias Gros
s
er
isl_union
_
map_alloc: plug m
e
mo
r
y leak o
n
error
p
ath
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Gros
s
er
Do
not de
r
efere
n
ce a NULL pointer in tab_for
_
l
e
xmin
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
To
b
ias Grosser
Fix
t
ypo
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-09
To
b
ia
s
Gr
o
sser
Add
e
x
tern C to val_gmp header
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
To
b
i
as
G
rosse
r
isl_union_*_mul_isl_int: pass
address of i
s
l
_
i
nt
to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
Tobias Gross
e
r
Fix typo in header gu
a
r
d
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Gro
s
ser
M
ak
e
s
e
d expression in
M
akefile co
m
p
atible
w
ith B
S
D
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
T
obias Gro
s
ser
fi
x
is
l
_union_m
a
p
_d
e
t
e
ct_equalities memory
m
anagement
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
Tobias
Gro
s
s
er
Use
an MIT licensed
m
e
rgesort
as the
s
orting algorithm
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Gro
s
ser
schedule
r
: allow to bound the coefficients in the c
a
l
culated
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Grosse
r
isl_tab_basic_set_non_trivial_lexmin:
d
o
not add cuts
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-01-30
Tobias Grosser
A
dd isl_union
_
map_gist_range
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobia
s
Grosser
add option to bo
u
nd
t
he constant sched
u
ling coe
f
f
i
cients
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias G
r
osse
r
I
n
troduce new ISL_
C
T
X
_
(
GET|
S
ET)_INT_D
E
F
m
acro
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias
Gr
o
sser
Fix t
y
po in do
c
umentation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Gro
s
se
r
Add interface
t
o s
e
t
s
c
h
e
dule
_
maximi
z
e_band_de
p
th
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
T
o
bias Grosser
I
n
tr
o
duc
e
o
ption 'on_error'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
T
o
bias Grosser
Improve messa
g
e whe
n
ctx is free
d
, but s
t
ill referen
c
ed
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-02
Tobias Gr
o
s
s
e
r
ad
d
isl_local_
s
pace_ran
g
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Gros
s
er
Enable
-
Wall if co
m
piling with
c
lang
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobi
a
s Grosser
Upda
t
e ax_c
o
m
pile
r
_vendor
.
m4
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias
Gr
o
sse
r
Check the ctx argument of the m
e
mory macros
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosse
r
Fix typo i
n
comment
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
T
o
bi
a
s Grosser
Remove u
s
e of
P
A
TH_
M
AX
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobias
G
r
osser
Fix <st
r
ings
.
h> includes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
To
b
i
as
G
rosser
R
e
mo
v
e r
e
c
e
ntly added unused
variables
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Grosser
Add
e
x
t
ern C de
c
laration to
schedu
l
e
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-01-08
Tobias Grosser
Add isl_union_(set/ma
p
)_detect_equaliti
e
s
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-31
To
b
ias Grosser
A
d
d GDB module tha
t
de
f
in
e
s an islprint
co
m
mand
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-17
Tobias Gross
e
r
Do not hash the memory address of an isl_name
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-07-11
T
obias
G
ross
e
r
Remove comm
a
at t
h
e end of
enumer
a
tion
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree