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 isl_*_drop_unused_params
2018-04-23
Tob
i
as Gross
e
r
Add
i
sl_*_drop_unused_
p
ar
a
ms
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobias Gr
o
sser
isl_basic_m
a
p_align_p
a
ram
s
: extract
o
u
t
isl
_
basic_ma
p
_check_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-09-08
Tobi
a
s
Grosser
python:
re
m
ove redundant is_s
t
ring_t
y
pe
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-16
Tobias G
r
osser
cpp: add missing l
i
cense to unit t
e
sts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-14
Tobias Grosser
Documen
t
t
he isl interf
a
c
e d
e
s
ign guidelines
with respect
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
T
o
bi
a
s Grosser
cpp/pyt
h
on: export functions to co
n
struct
s
ets from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
T
obias Gro
s
ser
cpp/python: export d
o
cum
e
n
ted functions
t
o construct
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
C
o
mplete
i
sl_aff to s
e
t interfa
c
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
Tobias Gros
s
er
D
ocu
m
e
n
t:
comparisons b
e
t
ween isl_val
a
nd NaN always
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
Tobia
s
Gro
s
ser
A
dapt coscheduled_source to handl
e
error condi
t
ions
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
T
o
bias
G
rosser
Handl
e
e
r
ror conditions re
t
urn
e
d by level_before in
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobi
a
s Grosser
cpp/pyt
h
on: export arithme
t
ic operations on
i
sl_
p
w
_
aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tob
i
as Gross
e
r
cpp
/
python: export
a
ri
t
hmetic operat
i
ons on isl_af
f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
Tobias Grosser
cpp
/
python: ex
p
or
t
isl_schedule_constraints
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
T
o
b
ias Grosse
r
cpp: add unit tests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Grosser
cpp: do not
mark boolean
(
isl_bool) cons
t
ructor as explicit
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobia
s
Gr
o
ss
e
r
cpp: explicitly manage i
s
l_boo
l
return va
l
ues
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
To
b
i
as
G
r
o
sser
isl_
v
a
l
_is_one s
h
ould return isl_bool_f
a
lse
f
or n
a
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
Tobia
s
Gross
e
r
python: make string
p
arsing and returning P
y
thon
3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobi
a
s Gro
s
ser
cp
p
: support me
t
h
ods a
n
d co
n
structors
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobi
a
s Grosser
cpp: gener
a
te C++ wrapp
e
r c
l
asses
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobi
a
s G
r
oss
e
r
gen
e
r
ator: add missing
n
ewl
i
ne after p
r
inting t
h
e die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosse
r
pytho
n
: dr
o
p
s
purious s
p
ac
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
Tob
i
as Grosser
le
t
isl_poin
t
_free return a NUL
L
p
o
inte
r
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
T
obias Gr
o
ss
e
r
i
sl_basic_set_is_bounded: return isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobia
s
Grosser
isl
_
tab_cone
_
is_bounded:
return isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
python: remove redundant is
_
string_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tobias Grosse
r
python: mark isl_ast_build_
*
_from_*
as __isl_over
l
o
ad
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
T
o
bias Grosser
python: d
e
r
i
ve
all classes
from
'ob
j
ect'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
To
b
i
as
Grosser
pyth
o
n
:
e
nsure Pyt
h
on 3 can
d
erive m
e
t
h
od resoluti
o
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
To
b
ias Gros
s
er
python: use python
3
exception syntax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
Tobias Grosser
Update imath to include big-endia
n
su
p
port
f
or mpz_imp
o
rt
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
Tobias G
r
osser
add isl_u
n
io
n
_flow_copy
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
o
s
s
er
add isl_map_di
m
_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias G
r
o
s
ser
py
t
hon interface: expose constructio
n
of AST node
f
ro
m
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gro
s
ser
python interface: expose
i
sl_as
t
_build
and isl_
a
st_expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
b
i
a
s Gros
s
er
python interface: automatically derive
m
ethod type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
yt
h
on interfac
e
: only
e
x
port __str__ and __repr__
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obias Gr
o
sser
python interfac
e
: support
'
char *' and 'c
o
nst char
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obi
a
s
Grosser
python interface:
e
x
t
ra
c
t method print_method_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Grosser
python inte
r
face: add exported
_
p
r
efix to MyASTC
o
n
sume
r
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as
G
rosse
r
py
t
hon interface: extract method print_method_type
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
osser
python interface: extract me
t
hod print_repres
e
ntation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Add n
e
w isl_ast
_
node_to_C_str
f
unc
t
io
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tob
i
a
s Gros
s
er
Add ne
w
isl_ast_
e
xpr_to_C_str functi
o
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
p
y
t
hon int
e
rface: replace assert
w
ith expli
c
it abo
r
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias
G
rosser
p
ython
i
nterface: repl
a
ce
a
ssert with
explicit abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
T
o
bia
s
Gros
s
er
Expor
t
isl_v
a
l ar
i
thme
t
ic
a
nd comparison methods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobi
a
s Grosser
Mak
e
pass-by-refe
r
ence explicit by using pointers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
Tobias Gr
o
sser
te
s
t_
i
n
p
uts/b
r
is
e
barre
.
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/single
-
disjunc
t
map
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobia
s
Grosser
isl_ast_b
u
il
d
_expr_from_basic_set: do not
use freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
Tobias
Gross
e
r
R
emov
e
malloc
.
h
inclu
d
e
from sioimath f
i
l
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tobias Grosser
Fi
x
t
y
po in isl_test
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
T
o
bias Grosser
Update
imath to 23b2b1
f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobias Gro
s
ser
Exploit z
e
r
o
s in isl_mat
_
product
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tobi
a
s Grosser
isl_se
q
_combine:
o
ptimi
z
e for common case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
T
obias
Grosser
Fix some typos in
comments
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
T
o
bias Grosser
Avoid uni
n
itiali
z
e
d memory wa
r
n
i
ng in valgrind when
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
Mar
k
the comp
u
te
o
ut featur
e
e
x
p
e
r
imen
t
al
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
T
obias Grosser
isl_co
a
l
esce
.
c: isl_map_coal
e
sce: improve e
r
r
o
r handling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tobias
G
rosser
isl_union
_
m
ap_alloc: Rename d
i
m to space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
Tobia
s
Grosser
isl_union_map_
a
llo
c
:
plug memory leak
on error
p
at
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias G
r
osser
Do not dereference a N
U
LL pointer in tab_
f
or_le
x
m
in
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Grosser
Fix typo
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-09
T
ob
i
as Grosser
Add extern C to v
a
l
_gmp header
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
Tobias Gr
o
s
s
er
isl_union_*_mul_isl
_
int
:
pa
s
s a
d
dre
s
s
o
f isl_int
to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
T
obias
Grosser
Fix typo
in h
e
ader guard
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Gross
e
r
Mak
e
se
d
expre
s
s
ion in
Makefi
l
e compati
b
le with BS
D
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
Tobias
G
ro
s
ser
fix i
s
l_unio
n
_map_de
t
e
c
t_equaliti
e
s me
m
or
y
manage
m
e
n
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
Tobias Grosser
U
se an M
I
T l
i
c
e
nsed
m
ergeso
r
t as the sort
i
ng
algorithm
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
T
o
b
i
as Grosser
scheduler: allow to bou
n
d the
coefficients
in
t
h
e calculated
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Grosser
is
l
_tab_basic_set_non_tri
v
ial_lexmin:
do not add cuts
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-01-30
Tobias Grosser
Add isl_unio
n
_
map_gi
s
t_range
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
To
b
ias G
r
osser
ad
d
option
t
o bound the con
s
tant scheduling coeffici
e
nts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
Introduce
n
ew ISL_CTX
_
(GET
|
SET)
_
INT_DEF macro
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
Fix
t
ypo in do
c
ume
n
t
ation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
T
o
b
ias
G
rosse
r
A
d
d interface to set schedule
_
maxi
m
ize_band_depth
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
T
o
b
i
as
G
rosse
r
Introduce option 'on_er
r
o
r
'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
T
o
bia
s
G
r
o
sser
Improve m
e
ssage when
c
tx is freed, but still
r
eferenced
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-02
Tobia
s
Gross
e
r
add
i
sl_lo
c
a
l
_space_rang
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias
Grosser
E
n
able -Wall
i
f co
m
piling with clang
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Gro
s
ser
Updat
e
ax_compi
l
er_vendor
.
m
4
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosse
r
C
h
e
ck
the ctx a
r
gument o
f
the m
e
mory macr
o
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias
G
r
osser
F
i
x typ
o
in com
m
ent
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobias G
r
osser
Remove use of PATH_MAX
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobi
a
s Grosser
Fix <
s
trings
.
h
> includes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
T
obias Gros
s
er
Remo
v
e recently added unus
e
d va
r
iables
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
To
b
ias
Gro
s
se
r
Add ext
e
rn C
d
eclarat
i
on to
schedule
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-01-08
T
obias Grosser
Add isl_u
n
io
n
_(set/map)_detect_equalities
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-31
Tobias
G
rosser
Add
GD
B
m
o
dule
t
h
at
defines
an islp
r
int command
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-17
T
o
bias
G
rosser
D
o
not hash
t
he memory address o
f
an is
l
_name
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-07-11
T
o
b
i
a
s Gross
e
r
Rem
o
ve comma at th
e
e
n
d of enumeration
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree