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, document and test isl_union_map_get_map_list
2018-05-29
Tob
i
as Grosse
r
A
dd, d
o
cument and test isl_unio
n
_ma
p
_get_map_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobi
a
s Gro
s
ser
E
x
pose, docu
m
ent and test isl_map_get_ba
s
ic_map_l
i
st
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
To
b
ias Gros
s
er
Add test co
v
erage
f
o
r isl_[uni
o
n_]se
t
_get_basic_set_li
s
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobias Grosse
r
A
d
d is
l
_*_drop_u
n
use
d
_params
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tob
i
as Grosser
i
s
l_bas
i
c_map_a
l
i
gn_params: e
x
tra
c
t
out
is
l
_ba
s
ic_map_check_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-09-08
To
b
ia
s
Gro
s
se
r
python: remove redundant is_s
t
ri
n
g_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-16
Tobias
Grosser
cpp: a
d
d
missing l
i
cense to unit test
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-14
Tobias Grosser
D
o
cum
e
nt the isl interface desig
n
g
uidelines
wit
h
respect
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
cpp
/
py
t
hon: expor
t
functions
t
o construct
s
e
ts from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobia
s
Gros
s
er
cpp/python: export document
e
d f
u
nctions
to c
o
nstruct
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
T
o
bias
G
r
o
sser
Complete isl_aff to set
i
nterface
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
Tobias Gros
s
er
Docu
m
ent: compar
i
sons between isl_val a
n
d NaN always
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
To
b
ias Grosser
A
dapt
coschedule
d
_source to handle error conditi
o
ns
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
Tobias
G
ross
e
r
H
andle
e
rror conditions
r
eturned b
y
le
v
el_before in
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobia
s
Grosser
cpp/python: export arithmetic
o
perations on isl_pw_aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobias Grosser
cpp/python: export ari
t
hmetic operations on
isl_aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
Tobias Grosse
r
cpp/python: expor
t
isl_schedule
_
co
n
s
traints
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
Tobias
G
r
o
s
ser
c
pp: a
d
d
u
n
i
t tests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobias G
r
osser
cpp: do not mark boolea
n
(
i
sl
_
bo
o
l) constructor as explicit
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Grosser
cpp: explicitl
y
m
anage isl_bool ret
u
r
n
value
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
Tobia
s
Grosser
isl_val_is_one should return is
l
_bool_false
for
nan
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
Tobias Gr
o
sser
python: make string parsing and
returning Pyt
h
on 3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Gr
o
s
s
er
cpp: support me
t
h
ods and con
s
t
r
uc
t
o
rs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobia
s
Gr
o
sse
r
cpp:
genera
t
e C++ w
r
apper
classes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Gro
s
s
er
g
e
n
erator: add
m
i
s
sing newline after
pr
i
nting the
d
ie
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
To
b
ias
Gross
e
r
python: drop
s
purious sp
a
ce
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
T
o
b
ias
G
rosser
l
e
t isl_point
_
free re
t
urn a NULL pointer
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobia
s
Gr
o
sser
isl_basic_set_i
s
_b
o
unded:
re
t
urn
i
sl_
b
ool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
i
s
l
_
tab_c
o
n
e
_
is_bound
e
d: return
isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
To
b
i
as Grosse
r
pyth
o
n: remove
r
edundant is_strin
g
_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tob
i
a
s Grosser
python: mark isl_ast_build_*
_
fro
m
_* as
__isl
_
over
l
o
a
d
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias G
r
osser
python: derive all classes from 'object'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobi
a
s
G
rosser
python: ensure
Py
t
hon 3 can deri
v
e method
resolu
t
ion
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
T
obias Grosser
p
y
thon: use python 3 excep
t
ion
s
yntax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
Tobias Gr
o
sser
Update imath
t
o in
c
lude
big-end
i
an support for mpz_
i
mport
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
T
o
bias G
r
osser
a
dd isl_u
n
ion_flow_cop
y
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gro
s
ser
a
d
d isl_
m
ap
_
dim_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
ross
e
r
pyth
o
n inte
r
face:
expose construc
t
ion o
f
AST
n
od
e
from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gr
o
sser
py
t
h
on i
n
terf
a
ce: expose isl_ast_
b
uild
an
d
is
l
_as
t
_expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obias Grosser
pyth
o
n
i
nterface:
auto
m
atical
l
y d
e
rive me
t
hod type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
To
b
i
a
s
G
rosser
python int
e
rface: onl
y
export __str__ and __repr__
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
python interface: su
p
p
o
rt 'char *
'
and 'const
c
har
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gr
o
sser
pyth
o
n
inter
f
ace:
extr
a
ct metho
d
prin
t
_method_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
o
s
s
er
p
y
t
h
on interf
a
ce: add exported_ p
r
efix to MyASTConsumer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias
G
rosser
p
ython
i
nterface: e
x
tr
a
c
t
method print_meth
o
d_t
y
p
es
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gros
s
er
pyth
o
n interface: extract metho
d
p
r
int_repres
e
ntation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
To
b
i
as Grosser
A
dd new
i
s
l_ast
_
node_to_C_str function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gr
o
sser
Add new isl_ast_expr
_
to_C_str function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias
Grosser
pytho
n
interface:
r
eplace assert wit
h
explicit abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
p
ython interface: replac
e
a
sser
t
w
i
t
h explicit
a
b
or
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
T
obias Grosser
Exp
o
rt isl_val ari
t
hmetic
a
n
d comparison
methods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobias Gros
s
er
Make pas
s
-
by-refe
r
ence expli
c
it by us
i
n
g
poin
t
ers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
Tobias Gr
o
sser
t
est_inp
u
ts/brisebarre
.
pip:
u
se
unix l
i
ne endin
g
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
T
o
bi
a
s Grosser
i
s
l_simp
l
e
_
hull: c
h
eck f
o
r empty
/
s
ingle-disjun
c
t map
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias
G
ro
s
ser
isl_ast_b
u
i
ld_
e
xpr_fr
o
m
_basic_set: d
o
not use freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
Tobia
s
Gr
o
sser
Remove malloc
.
h include from sioimath f
i
le
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tobia
s
G
r
osser
Fi
x
t
y
po in isl_test
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Grosser
Upd
a
te i
m
ath to 23b2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobia
s
Gros
s
er
Explo
i
t z
e
ros i
n
isl_ma
t
_product
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
T
o
b
ias Grosser
isl_s
e
q_c
o
mbi
n
e: optimize for common case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
To
b
i
a
s Grosser
Fix
some
typ
o
s in co
m
ment
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tobias Grosser
Avoid uninitiali
z
ed memory
warning in valgrind when
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosse
r
Mar
k
the co
m
p
u
te ou
t
feature experime
n
tal
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
i
s
l_coale
s
ce
.
c:
i
s
l_map
_
coalesce:
i
m
prove error ha
n
dling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tobias Grosser
isl
_
u
nion_map_alloc: Rename dim t
o
space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
Tobias Grosser
isl_union_map_allo
c
: plu
g
me
m
ory
le
a
k
on error
p
ath
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
To
b
ias Grosser
D
o not dereference a NULL poi
n
ter in tab_f
o
r_le
x
min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
T
obia
s
Grosser
Fix typo
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-09
T
o
bias Grosser
A
dd ext
e
rn C to val_gmp header
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
Tobias
G
ross
e
r
isl_union_
*
_mul_isl_int: pass addre
s
s of
i
s
l
_int to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
Tobias Gro
s
ser
Fix t
y
po i
n
heade
r
g
u
ard
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
T
obias Grosser
Make
sed expressio
n
i
n
Makefil
e
compat
i
ble wit
h
B
SD
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
Tobias Gros
s
e
r
fix isl_union
_
ma
p
_dete
c
t_eq
u
a
lit
i
es memory man
a
geme
n
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
To
b
ias Gro
s
ser
Use an
M
IT licensed mergesort as
t
h
e
sorting algorithm
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias
G
rosser
sch
e
duler: allow to bound
t
he
c
o
effici
e
nts
i
n the c
a
lculated
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Grosser
i
s
l_
t
a
b_basic
_
set_non_trivial_lexmin: do
not add cuts
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-01-30
Tob
i
as
Grosser
Add isl_union_map_gi
s
t
_
r
ange
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobi
a
s Gr
o
sser
ad
d
option to bound the con
s
tant sch
e
d
uling coefficient
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
Introduce new I
S
L_CTX_(GET|SE
T
)_
I
NT_DEF macro
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
Fix typo in d
o
cumentation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobia
s
Grosser
Ad
d
interface to set s
c
hedule_maximi
z
e
_band_
d
epth
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Grosse
r
Introduce opt
i
on 'on_error
'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Grosser
Impr
o
ve message
w
hen
c
tx is
freed, bu
t
s
t
ill re
f
erenced
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-02
Tob
i
a
s
G
r
osser
add isl_local_spac
e
_range
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosser
Enable -W
a
ll i
f
compiling with
c
lan
g
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
To
b
ias Grosser
Upda
t
e ax
_
c
ompiler_vendor
.
m4
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobia
s
Gros
s
er
Che
c
k the ctx argument
o
f
the
m
emory macros
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias
G
r
o
ss
e
r
Fix typo
i
n com
m
ent
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
T
o
bias Grosser
Remove use of PA
T
H_MAX
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobi
a
s
G
r
osser
Fix <string
s
.
h> includ
e
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Grosser
Remove recently ad
d
ed u
n
used variab
l
es
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobia
s
Grosser
A
dd
extern C declara
t
io
n
t
o
schedule
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-01-08
To
b
ias
G
rosser
Add
i
s
l
_union_(set/map)_detect
_
equalities
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-31
Tobia
s
Gr
o
sser
Add GD
B
module that def
i
ne
s
an islpr
i
n
t
c
o
m
mand
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-17
To
b
ias Gros
s
er
D
o not hash the memory
address
o
f an isl_name
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-07-11
Tobi
a
s Gros
s
er
Remove
comma at the end of enumeration
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree