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/id.h: extract out isl/id_type.h
2018-04-23
Tobias Gros
s
er
A
d
d isl_*_dro
p
_unu
s
e
d
_
params
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobia
s
Grosser
isl_basic_ma
p
_
a
lign
_
params: extr
a
ct o
u
t isl_bas
i
c_map_chec
k
_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-09-08
Tobias
G
r
o
sser
python: re
m
ove
redundant is_string_
t
ype
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-16
Tobias G
r
osser
c
p
p: add missing
licens
e
to unit tests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-14
Tobias G
r
osser
Document th
e
isl interface desi
g
n guidel
i
nes
with respect
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
T
obias Grosser
c
p
p
/p
y
thon: export functions to c
o
n
s
truct sets from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias
G
rosser
cpp/python: export doc
u
mented funct
i
ons to construct
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
Comp
l
ete isl
_
af
f
to se
t
interface
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
Tobias Grosser
Document: co
m
p
arisons between isl_v
a
l and NaN
al
w
ays
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
Tobias Grosser
Adapt coscheduled_source to handle error conditions
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
Tobia
s
G
r
osser
Handle
error condition
s
re
t
urned by level_before in
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobi
a
s Grosser
cpp/python: export
ari
t
hme
t
ic opera
t
ions on isl_
p
w_
a
f
f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobias Grosser
cpp/py
t
hon: export ari
t
hmetic
o
pe
r
ati
o
ns on isl
_
aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
T
obias Grosser
c
pp/python:
expo
r
t is
l
_schedul
e
_co
n
straints
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
Tobias
Grosser
cpp: add unit tests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tob
i
as Grosser
cpp:
do not mark b
o
o
lean(isl_b
o
ol) constructor
a
s explic
i
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tob
i
as G
r
osser
cpp: e
x
plicitly manage isl_
b
oo
l
return values
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
T
o
bias Grosser
isl_
v
al_is_on
e
should ret
u
rn isl_bool
_
false
for
n
a
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
Tobias Grosser
p
yt
h
on:
m
ake s
t
r
ing parsing and r
e
turn
i
ng P
y
th
o
n 3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tob
i
as Gross
e
r
cp
p
: support methods and constructors
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
cpp
:
generate
C
++ w
r
apper c
l
ass
e
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
generator: a
d
d miss
i
ng
n
ewl
i
ne after
p
rinting
the die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tob
i
as Grosse
r
py
t
hon: drop spur
i
o
u
s
space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
Tobias Grosser
let isl_point
_
free
r
eturn a NULL pointer
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
isl_
b
asic_set_is_bounded: return isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias
Grosser
isl_tab_co
n
e_is_
b
ounded: return isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias
Grosser
p
y
t
hon: remove re
d
u
ndant is_stri
n
g_typ
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tobia
s
Grosser
python:
m
ark isl_ast_b
u
ild_*_
f
rom_* a
s
_
_
isl_over
l
oad
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
py
t
hon: deri
v
e al
l
classe
s
f
r
om 'object'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Gross
e
r
python: en
s
u
r
e
Python 3
can derive method
r
e
s
olutio
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Gro
s
s
er
python: use python 3 exception syntax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
Tobias Grosse
r
U
p
d
a
t
e im
a
th to include big-
e
ndian support for
mp
z
_
i
mport
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
Tobias
G
rosser
add isl_union_flo
w
_copy
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gr
o
s
s
er
a
dd isl_map_dim_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s Grosse
r
p
y
thon
interfac
e
: expose
construction
o
f
AS
T
node
f
rom
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
yth
o
n in
t
e
rface:
e
xpo
s
e isl
_
ast_build and isl_ast
_
e
x
pr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias
G
rosser
python interface: automatical
l
y derive method
t
ype
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
pyth
o
n interface
:
o
n
ly export __str__
a
nd __repr
_
_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Grosser
python interface: support
'
char *
'
and 'cons
t
char
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obias
Gr
o
sser
python inter
f
ace: extract
m
et
h
o
d
pri
n
t_m
e
thod_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
To
b
i
as Grosse
r
python in
t
e
rface: add
e
xported_
p
r
e
fi
x
to MyAST
C
onsumer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias Grosser
pyth
o
n interface: extrac
t
method print_m
e
t
h
od_types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interface
:
extract method p
r
int_represe
n
tation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
T
o
bias Grosser
A
d
d new isl_a
s
t_node
_
to_C_s
t
r function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Add n
e
w isl_as
t
_
expr_to_C_str f
u
n
ction
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
python interface: replac
e
asser
t
wi
t
h ex
p
licit ab
o
rt
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ia
s
G
r
osser
python interface: replace assert with expl
i
cit abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tobias Grosser
Export
i
sl_va
l
arithmetic and comparis
o
n meth
o
ds
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
To
b
ias
Grosser
M
ak
e
pass-b
y
-refer
e
nce exp
l
icit by using pointers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
Tobias Grosser
test_inputs/
b
ri
s
ebarre
.
pip: use
unix line endings
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Gr
o
sser
isl_simple_hull: check for e
m
pty/sing
l
e-disjunct
m
ap
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Grosser
i
sl_ast_
b
u
i
ld
_
expr_fro
m
_bas
i
c_s
e
t:
d
o not use free
d
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
Tob
i
as Grosser
Remo
v
e
m
alloc
.
h
include
from sioimath
file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tobias Gro
s
ser
Fix
typo in isl_te
s
t
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Gro
s
ser
Update im
a
th to 23b2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
T
o
b
ia
s
Grosser
Exploit
zeros in isl_mat_product
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tobias G
r
os
s
er
isl_seq_combine: optimiz
e
for common case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Gros
s
er
Fix som
e
ty
p
os in c
o
mment
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tobias
G
ros
s
er
A
void u
n
ini
t
ialized memory warnin
g
in
v
algrind when
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias G
r
osser
Mark the
compute out feature experimental
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
To
b
ias Grosser
isl_coa
l
es
c
e
.
c: isl_map_coalesc
e
: imp
r
o
v
e err
o
r
h
a
n
dling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tobias Grosser
is
l
_
u
nio
n
_m
a
p_alloc: Rename dim t
o
space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
T
o
b
ias Grosser
i
s
l
_unio
n
_map_alloc: plug me
m
ory
leak
o
n error
p
ath
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
T
o
bi
a
s Grosser
Do no
t
dereference a NULL pointer in tab_for_lexmin
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Grosser
F
i
x
typo
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-09
Tobia
s
Gros
s
e
r
A
dd extern C to val_gmp h
e
ader
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
Tobias Grosser
isl_uni
o
n
_
*_
m
ul_
i
sl_int: pass address of isl_
i
nt
t
o
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
Tobia
s
Grosser
Fix typ
o
in header g
u
a
rd
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Grosse
r
Make s
e
d
expression in Makefile compatible
with BSD
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
Tobi
a
s Grosser
fix isl_union_map_de
t
ect_e
q
ualit
i
es memory management
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
T
o
bias G
r
osser
Use
an MIT licensed m
e
rge
s
ort as the sorting algorithm
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Gr
o
sser
scheduler:
a
llow
to
bound the coefficients in the calcul
a
te
d
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
T
o
bias Grosser
isl_tab_basi
c
_s
e
t_non_tr
i
vial_l
e
xm
i
n: do
n
ot add
c
u
ts
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-01-30
Tobia
s
G
r
osser
Add isl_union_map_gist_range
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
T
o
bias Grosser
a
dd op
t
ion
t
o bound the
constant sche
d
uling coefficien
t
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias
Gross
e
r
Intro
d
uce ne
w
ISL_CTX
_
(GET|SET)_IN
T
_
DEF mac
r
o
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobia
s
Gr
o
sser
Fix
t
ypo
i
n documentation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
T
o
bias
G
rosser
Add int
e
rface
t
o set sche
d
u
le_maximize_ban
d
_depth
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobi
a
s Grosser
Introduce option 'on_error'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Gro
s
ser
I
m
prove m
e
ssage
when ct
x
i
s
freed,
but
still referenced
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-02
T
o
bias G
r
osser
a
d
d isl_l
o
cal_space
_
ra
n
g
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosser
Enable -Wall if
c
ompiling with cl
a
ng
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Gr
o
sser
Update ax_compiler_vendor
.
m4
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Gross
e
r
Che
c
k the
ctx arg
u
ment
of
t
he memor
y
macros
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
To
b
ias
Grosser
Fix typ
o
in
c
o
m
ment
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
T
obias Grosser
Remove
use
o
f PAT
H
_M
A
X
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobi
a
s Grosser
Fix <strings
.
h
>
includ
e
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobias
Gr
o
s
ser
Remove
r
e
c
e
n
tly add
e
d unu
s
ed variables
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobias
G
ro
s
ser
Add ex
t
ern C decla
r
ation
to schedu
l
e
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-01-08
T
o
bi
a
s
Grosse
r
Add i
s
l_union_
(
set/map
)
_
d
etec
t
_
equalities
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-31
T
o
bias Grosser
Add GDB module
t
hat defines
an islprint
command
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-17
Tobias Grosser
D
o
n
ot hash the memory address of an isl_name
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Grosser
Remo
v
e comma at the end of enumeration
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree