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_multi_union_pw_aff_range_product: fix handling of missing explicit domains
2018-04-23
Tobias Grosser
Ad
d
isl_*_dr
o
p_
u
n
use
d
_
params
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobi
a
s G
r
oss
e
r
is
l
_basic
_
map_align_params: ext
r
act
ou
t
i
sl_basic_map_check_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-09-08
T
o
bias Grosser
python: r
e
move re
d
u
ndant
i
s_string_t
y
p
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-16
T
o
b
ias Grosser
cpp:
a
dd missing license to unit test
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-14
Tobias Grosser
Docume
n
t the isl in
t
erface design guidel
i
nes w
i
t
h
resp
e
ct
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Gro
s
s
er
cpp/pytho
n
: export func
t
io
n
s to
c
onstruct
s
ets from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
T
o
b
ias Grosser
c
p
p/py
t
h
on: expor
t
documented functions to constr
u
ct
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosse
r
C
om
p
lete isl_aff
t
o set interface
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
Tobias Gros
s
er
Document: c
o
mparisons b
e
t
w
een isl_val and NaN always
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
Tobias Grosser
A
d
apt cosch
e
duled_source
t
o
handle e
r
ror con
d
i
t
ion
s
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
Tobias
G
rosser
H
a
nd
l
e error co
n
diti
o
n
s
r
etu
r
ned by level_before in
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
To
b
ias
G
rosser
c
pp
/
python: export arithmetic ope
r
a
t
ions on isl_pw_aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobias Gr
o
sser
cpp/p
y
thon:
e
x
port arithmetic o
p
erations on isl_af
f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
T
o
bias Grosser
cpp/python
:
export isl_schedule
_
constra
i
n
t
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
T
obias Grosser
cpp
:
add unit test
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
T
obias Grosser
cp
p
: do not mark
b
oolean(isl_bool)
c
o
nstruct
o
r as explicit
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Grosser
cpp: explicit
l
y manage isl_bool return values
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
Tobias Grosser
i
s
l_va
l
_
is_one should r
e
tur
n
isl_
b
o
ol_fa
l
se for
na
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
T
obias G
r
osse
r
pyt
h
on: make string
pars
i
ng and
returning Python 3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias
Gross
e
r
cpp: support methods and const
r
uctors
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
cpp: generat
e
C+
+
wrapp
e
r cla
s
ses
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Gro
s
s
e
r
genera
t
or: add m
i
ssing
n
e
w
lin
e
af
t
er p
r
inting the die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
obias
G
rosser
p
ython: drop spu
r
io
u
s space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
Tobias Grosser
let isl_point_f
r
e
e return a NUL
L
pointer
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Gros
s
er
isl
_
basic_set_is_bound
e
d:
r
e
turn
i
s
l_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
isl_
t
ab_cone_is_boun
d
ed: return isl
_
bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias G
r
o
sser
p
ython: remove redun
d
a
n
t is_
s
tring
_
type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tobias
G
rosser
python: mark isl_ast_build_*_
f
rom_* as _
_
isl_
o
verload
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tob
i
as
Grosser
python: de
r
ive all
classes from 'ob
j
ec
t
'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias
G
ros
s
er
python
:
ensure P
y
thon 3 can derive method reso
l
ution
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Gr
o
sser
pytho
n
: use python 3 exceptio
n
s
yntax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
Tobias G
r
os
s
er
Up
d
ate ima
t
h to includ
e
big-
e
nd
i
an support for mpz_import
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
Tobia
s
Grosser
add
i
sl_union_
f
lo
w
_
copy
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
add isl_map_dim_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Grosser
python interface:
e
x
p
o
s
e cons
t
ruction
of AST no
d
e fr
o
m
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Grosser
p
ython interfac
e
:
expose isl_ast_build and isl_a
s
t
_expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
python interface: au
t
omati
c
ally derive meth
o
d
t
ype
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gros
s
er
python inter
f
ac
e
:
only
e
x
port __st
r
_
_
and _
_
repr
_
_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obias G
r
osser
python in
t
erface: support 'ch
a
r *' and
'const char
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as G
r
osser
pyth
o
n interface: extract method print_method_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias Grosser
python int
e
rface: add exported_
p
re
f
ix to MyASTCo
n
sumer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Grosser
pyth
o
n
interface: extract method pri
n
t_
m
e
t
hod_types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
r
os
s
er
pyth
o
n
i
n
terface: e
x
tract method pri
n
t
_
representation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobia
s
Grosser
A
d
d
n
ew isl_ast_node_to_C_str function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
T
o
bias Grosser
Add new isl_as
t
_expr_to_C_str
functio
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobi
a
s G
r
osser
p
ython inte
r
face: re
p
lace
a
ssert with explicit abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobi
a
s Grosser
pyth
o
n
inter
f
ace:
replace
a
s
ser
t
w
ith expli
c
it abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
To
b
ias
Grosser
Exp
o
r
t isl_val
a
rithmeti
c
and comparison me
t
hods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobias Grosser
M
a
ke pas
s
-by-reference explicit by usin
g
p
o
inter
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
Tobias Grosser
t
e
st_inputs/briseba
r
re
.
pip: use unix lin
e
endi
n
gs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
T
o
bias Gro
s
ser
isl_sim
p
le_hull: chec
k
fo
r
empty/single-disjun
c
t
map
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Grosser
isl_ast_build_ex
p
r
_from_basi
c
_set: d
o
n
ot use fre
e
d
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
Tobias Gr
o
sser
Remove
mallo
c
.
h
inclu
d
e from sioimat
h
file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tobias
Gros
s
er
Fix typo in
i
s
l_test
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Grosser
Upd
a
te im
a
t
h
to
23b2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobias Grosser
Exploit ze
r
os in isl_mat_
p
roduct
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tobias Gr
o
s
s
er
isl_seq_combine: optimize
for comm
o
n
c
a
se
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Grosser
Fix some typos
in
comments
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
T
ob
i
as Grosser
Avoid u
n
initi
a
lized mem
o
ry
w
a
r
nin
g
in valgrind when
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
T
o
bias Grosser
M
a
r
k
the compute o
u
t
f
ea
t
ure experimental
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Gross
e
r
isl_coale
s
ce
.
c:
i
sl_map_
c
oalesc
e
: im
p
rove error h
a
ndling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
To
b
ias Gro
s
s
e
r
i
sl
_
u
n
ion_map_
a
lloc: Rename di
m
to space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
T
obias
G
rosser
is
l
_uni
o
n_ma
p
_alloc: plug memory leak on error path
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias
G
r
o
s
s
er
Do no
t
de
r
e
f
erence a NU
L
L poi
n
ter in tab_
f
or_lexmin
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias
G
rosse
r
F
ix typo
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-09
Tobias Grosser
Add extern C to val
_
gmp h
e
ade
r
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
Tobi
a
s Grosser
i
s
l
_union_*_
m
ul_
i
sl_int:
p
a
s
s
a
ddress of isl_int to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
Tobias Grosser
Fix
t
ypo in h
e
ader guard
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
Tobias G
r
osser
Make se
d
ex
p
ress
i
on in Makefile
compatible with BSD
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
Tobias Grosser
fi
x
isl
_
uni
o
n_map
_
detect_equalities m
e
mory management
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
Tob
i
as Grosser
Use an M
I
T
l
icen
s
ed me
r
gesort
as t
h
e sorting algorithm
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobia
s
G
r
osser
schedul
e
r: al
l
ow to bound the coefficie
n
t
s
in the calculated
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Grosser
is
l
_tab_
b
asic_set_non_
t
rivial_lexmin: d
o
not add c
u
ts
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-01-30
Tobias Grosser
Add isl_u
n
ion_map_gist_
r
ang
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
a
d
d
option
to bou
n
d the co
n
stant schedu
l
ing
coefficie
n
ts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
In
t
roduce new IS
L
_
CT
X
_(GET|SET
)
_INT_DEF macro
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
To
b
ias
Grosser
Fix ty
p
o in docu
m
entation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
Add in
t
erface to
set schedule_m
a
ximize_ban
d
_dept
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Grosser
I
n
troduce opti
o
n
'on_er
r
or'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
T
o
bias
Grosser
Improv
e
message whe
n
ctx is freed, but s
t
i
ll ref
e
renced
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
To
b
i
a
s Grosser
Enable
-
Wall if
com
p
iling with
c
lang
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Gross
e
r
U
p
date ax_compiler
_
vendo
r
.
m
4
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tob
i
as Grosser
Check the ctx arg
u
ment of the mem
o
ry macros
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosse
r
F
i
x typo in comme
n
t
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
T
o
bias
G
ro
s
ser
Remo
v
e u
s
e of PATH
_
MAX
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobias Gros
s
e
r
Fix <strings
.
h> includes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobias
Gros
s
er
Remo
v
e recentl
y
added unused
v
ariables
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tob
i
as Grosser
Add extern C decl
a
ration to schedule
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-01-08
To
b
ia
s
Grosser
Ad
d
isl_unio
n
_
(set
/
m
a
p)_detect_equalities
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-31
Tobias Gro
s
ser
Add GDB m
o
d
u
l
e
that defines
a
n
i
s
l
p
rint
command
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-17
T
obias Grosse
r
Do not hash the
memory a
d
dress of an isl_name
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-07-11
Tob
i
as
G
r
osser
Remove comma at the en
d
of enumerat
i
on
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree