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
Document: comparisons between isl_val and NaN always return false
2017-07-28
Tob
i
as Grosser
Document: co
m
parisons bet
w
een isl_
v
al
a
nd NaN a
l
w
a
ys
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-26
T
o
b
ias Grosser
Adapt
c
osche
d
uled_source to
ha
n
dle error conditions
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-25
Tobias Grosser
Handl
e
error
c
o
nditions return
e
d by level_bef
o
re
i
n
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-19
T
o
bi
a
s Grosser
cpp/python: e
x
p
ort arithm
e
tic operations on isl
_
pw_aff
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-19
Tobias
G
rosser
cpp
/
python: e
x
port arit
h
metic operations on isl_a
f
f
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-14
Tobias Grosser
cp
p
/
p
ython: expo
r
t isl_
s
chedule_constrai
n
ts
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
Tobi
a
s Grosser
c
pp: do not mark boolean(isl_bool) con
s
tructor as explicit
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-17
T
o
bias Gr
o
sser
cpp: explicit
l
y ma
n
age isl_bool return v
a
lues
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-11
T
o
bias
Grosser
i
s
l_
v
al_is_one should ret
u
r
n
isl_bool_false for na
n
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-05
Tobias G
r
o
s
s
e
r
p
y
thon: make string parsing and returning
P
ython 3
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
T
o
b
ias Gro
s
ser
cpp: support methods
a
nd constructors
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobia
s
Grosser
cp
p
:
gen
e
r
ate C++ wra
p
per
classes
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Gro
s
ser
gene
r
a
tor:
a
dd mis
s
ing n
e
wli
n
e aft
e
r printing
the die
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobias
G
r
o
s
s
e
r
pyth
o
n
:
drop spur
i
o
u
s space
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-03-16
Tobias Grosser
le
t
isl_point
_
free
return a NULL p
o
inter
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias
Grosser
isl_basic_set_is
_
b
ounded: return isl_
b
o
o
l
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias
G
r
o
sser
isl_tab_
c
o
n
e_is_bounded: r
e
turn isl_boo
l
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
python: remove redun
d
ant is_string_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-18
T
o
bias Gros
s
er
p
ython
:
mark
i
sl_ast_build_*_from_*
a
s __is
l
_overload
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobias G
r
osser
python: derive
a
ll classe
s
from 'object'
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
python: ensure Pyth
o
n 3 can derive method resolution
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
T
obias Gro
s
ser
py
t
hon:
u
se
p
y
t
hon 3
exception
syntax
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-11-02
T
obias Grosser
Upda
t
e
im
a
th
t
o include big-endian
suppor
t
for mp
z
_impo
r
t
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-10-04
Tobias Gro
s
s
er
a
d
d is
l
_
u
nion_
f
lo
w
_copy
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
r
o
s
s
er
ad
d
i
s
l_map_dim_min
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Grosser
python i
n
ter
f
ace: expose construction
o
f
AST
node from
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
python interface: ex
p
ose i
s
l_ast_
b
uild and isl_a
s
t
_
expr
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Gr
o
s
ser
pyth
o
n
interface: a
u
tomatically deriv
e
met
h
od type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosse
r
python interface: only exp
o
rt _
_
str__ and __repr__
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias G
r
osser
p
y
thon
interface: sup
p
ort
'char *' and 'const char
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Grosser
python int
e
rfac
e
: extract method print_
m
ethod_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gr
o
sser
p
y
thon interfa
c
e: ad
d
exported_
prefix to
M
yASTConsumer
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bia
s
Grosser
python i
n
terface: extract method
prin
t
_method_ty
p
es
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
obias Gro
s
se
r
python inter
f
ace: extract method print_represent
a
tion
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gro
s
ser
Add new isl_ast_node_to
_
C_str function
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias
G
r
osser
Add new i
s
l
_as
t
_expr_to_C_str function
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ias Gros
s
e
r
py
t
h
o
n
interfa
c
e:
re
p
lace asser
t
w
i
t
h explicit abort
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ia
s
Grosser
p
y
thon i
n
t
e
rface: rep
l
a
c
e as
s
e
rt w
i
th e
x
p
licit
a
bort
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-05-30
Tobias Gro
s
ser
Ex
p
or
t
isl_val arithmetic an
d
compari
s
on
m
ethods
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-08-06
T
o
bias Grosser
Make pass-by-reference e
x
pli
c
it by usin
g
poin
t
e
r
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-24
Tobias Gro
s
se
r
t
est_inpu
t
s/bris
e
barr
e
.
p
i
p: u
s
e unix line endin
g
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Grosser
isl_simple_
h
ull: c
h
eck fo
r
empty/single-disjunct map
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Grosser
isl_ast_build_expr
_
f
r
o
m_basic_
s
et:
d
o
not use
fre
e
d
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-06-29
Tobias
G
rosser
R
emove malloc
.
h include from sioimath file
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-29
Tobias Grosser
Fix typo in isl_test
.
c
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-26
T
obias
Grosse
r
Up
d
ate imath to 23b2b1f
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-18
Tobias Grosser
Exploit zeros in
i
sl_mat_p
r
od
u
ct
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-02-15
Tobias Grosser
isl_seq_combin
e
: optim
i
ze for common case
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-01-23
Tobia
s
Grosser
F
ix
some typos in comm
e
nts
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-17
Tob
i
as Gros
s
er
A
v
oid uninitia
l
ized memory warni
n
g
i
n valg
r
ind
when
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
Tobi
a
s G
r
os
s
e
r
Mark t
h
e
com
p
ute
ou
t
f
eature experimental
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
i
sl_coales
c
e
.
c: isl_map_c
o
alesce: im
p
r
ove error
h
andl
i
ng
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-12
T
obia
s
Grosser
isl_union_map_
a
lloc: Rename
d
i
m to space
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-11
Tobias Grosser
isl_union
_
map_
a
lloc: plug memory
l
eak on err
o
r
p
ath
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Grosser
Do not d
e
reference a
N
ULL point
e
r
i
n
tab_
f
or
_
le
x
m
i
n
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-10
To
b
ias
Grosse
r
Fix typo
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-09
T
obias Grosse
r
Add
e
x
tern C to v
a
l
_
gmp header
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2013-12-04
Tobias Grosse
r
i
sl
_
union_*_mul
_
isl_int: pass address of isl_
i
nt to
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2013-09-18
Tobias
G
rosser
Fix typo in hea
d
e
r guard
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Grosser
Make sed expressi
o
n
in Makefile compatible
w
ith BSD
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-09-10
Tobi
a
s Grosse
r
fix
isl_uni
o
n_map_detect_equalities memory management
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-08-02
Tobias Grosser
Use a
n
MIT lice
n
sed m
e
rgesor
t
as
t
he so
r
ting
algorithm
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Gr
o
sser
scheduler: a
l
low to b
o
und the coefficients
i
n
t
he calculated
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-02-19
To
b
ias Grosser
isl_tab_b
a
sic_set_non_trivial_lexmin:
d
o 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_gist_ra
n
ge
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Gros
s
er
add op
t
ion to
bound the constant scheduling coe
f
ficients
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
Introduce new
I
SL_
C
TX_(GET|SET)_INT_DEF ma
c
ro
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
Tobi
a
s Grosser
Fix
typo
i
n docum
e
ntation
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
A
dd
inter
f
ac
e
t
o set schedu
l
e_maxim
i
ze_band_depth
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-03
Tobi
a
s Grosser
Introduc
e
option
'
on_error'
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-03
Tobi
a
s
G
ros
s
er
Impr
o
ve message whe
n
ctx is free
d
, b
u
t st
i
ll referen
c
ed
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-02
Tobias
G
r
oss
e
r
a
dd isl_loc
a
l_space_range
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobi
a
s Grosser
Enable -Wall
if compiling with clang
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobi
a
s Gross
e
r
Up
d
ate
ax_co
m
piler_
v
endor
.
m4
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosser
Ch
e
ck the ctx arg
u
ment of the memory
m
acros
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosser
Fix t
y
po in c
o
mme
n
t
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-05
T
o
b
ias Grosser
Remove u
s
e
o
f P
A
TH_MAX
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-05
Tobias
G
r
os
s
er
Fix <str
i
ngs
.
h> includes
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-04-25
Tobi
a
s Grosser
Remo
v
e recently
added un
u
sed variables
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree