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
coalesce.c: use isl_bool enums instead of plain integers
2018-05-30
T
o
b
ias Gro
s
ser
coalesc
e
.
c:
u
s
e isl_
b
o
ol enu
m
s
i
n
s
tea
d
of plain i
n
tegers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Grosser
Add, docu
m
ent
an
d
test isl_union_set_get_
s
et_li
s
t
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
Tobias
G
rosser
Add, docum
e
nt and test isl_
u
nion_m
a
p_get_map_list
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
Tobias G
r
osser
Expose,
d
ocument
a
n
d
t
est isl_map_get_b
a
sic_ma
p
_list
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
Tobias G
r
osser
Add test coverage for i
s
l_[union_]set_get_
b
asic_set_lis
t
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-04-23
Tobias Gros
s
er
Add
i
sl_*_drop_unused
_
params
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-04-23
T
o
b
i
as Grosser
isl_b
a
sic
_
ma
p
_align_params
:
e
xtract out isl_basic_
m
ap_check_
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-09-08
Tobi
a
s Grosser
python
:
remove red
u
ndant i
s
_string_ty
p
e
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-16
Tobias Grosser
cp
p
: ad
d
mi
s
sing licen
s
e to u
n
it tests
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-14
T
o
b
ias G
r
osser
Document the isl i
n
ter
f
ace
design guidelines
w
i
t
h respect
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
Tobia
s
Grosser
cpp/python: export functions to con
s
truct sets from
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Gross
e
r
cp
p
/p
y
thon:
export documented
f
unctions to constru
c
t
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
To
b
ias G
r
o
sser
Comple
t
e isl_aff to set interf
a
ce
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-28
T
ob
i
as Grosser
Doc
u
ment:
compa
r
isons between
isl_val and NaN a
l
ways
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-26
Tobias Gr
o
sser
Adapt coscheduled_so
u
r
ce
t
o handle e
r
ror
c
ondi
t
io
n
s
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-25
To
b
ias Grosser
Handl
e
err
o
r
con
d
itions returned
b
y level_before in
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-19
Tobias Gr
o
s
ser
cpp/python: export arithmetic opera
t
ions on isl_pw_aff
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-19
Tob
i
as G
r
osser
cp
p
/pyt
h
on: export
a
rithm
e
tic operat
i
ons on isl_aff
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-14
Tobias Grosser
cpp/python:
export
is
l
_schedule_const
r
aints
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-25
T
o
bias Grosser
cpp
:
add u
n
i
t
tests
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-17
Tobi
a
s Grosser
cpp: do not
m
a
rk
b
oolean
(
isl_
b
ool) cons
t
r
u
ctor as explicit
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-17
T
obias Gro
s
se
r
cpp: ex
p
l
icitly manag
e
isl_bool return
v
alues
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-11
T
o
bias Gro
s
s
e
r
isl_val_is_o
n
e
sh
o
u
l
d re
t
ur
n
isl_bool_false for nan
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-05
Tobias Gr
o
sser
pytho
n
: make string par
s
in
g
a
n
d returning Python 3
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tob
i
as Grosser
c
pp: s
u
pport me
t
ho
d
s and constructo
r
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobias
G
r
osser
cpp: generate C++ wrapper classes
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
T
o
bias Grosser
g
e
nerator: add
miss
i
ng newline after
prin
t
i
ng the
die
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Gro
s
ser
python: drop
s
purious space
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-03-16
Tobias
G
rosser
let
i
sl_
p
oint_free return a NU
L
L po
i
nter
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
T
obias Grosser
i
s
l_
b
asic
_
set_is_bounded
:
r
e
turn isl_bool
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tobi
a
s
Grosser
i
sl_tab
_
c
one_
i
s_bounde
d
: return isl_b
o
ol
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Gro
s
ser
pyt
h
on: remove red
u
n
dant is
_
string_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-18
Tobias Gro
s
ser
python: mark isl_ast_build_*_fr
o
m_* as __isl_overload
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
T
obi
a
s
Grosser
pytho
n
: der
i
ve
a
ll
classes from '
o
bject'
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
T
obias Grosser
pyth
o
n: ensure Python 3 ca
n
deri
v
e
metho
d
resolution
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobias G
r
osser
p
y
t
h
on
:
use py
t
hon
3 exception syntax
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-11-02
Tobia
s
Grosser
Upda
t
e imath to include bi
g
-endian support
for mpz_impo
r
t
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-10-04
Tobi
a
s
G
rosser
add isl_union
_
fl
o
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
xpos
e
constru
c
tion of A
S
T node from
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
ython interfa
c
e:
e
x
pose isl_a
s
t_build and isl_ast_expr
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias Grosse
r
pytho
n
interface: automatically derive meth
o
d type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Gross
e
r
pyt
h
on interface: only
e
xport __str
_
_
and __repr__
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
obias Grosser
p
y
t
hon inte
r
face: suppor
t
'char *' and 'const char
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gr
o
sser
python in
t
e
r
face: extrac
t
method print_method_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
To
b
i
a
s Grosse
r
pyt
h
on interface: add exported
_
prefix to M
y
ASTConsumer
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias
Gro
s
ser
python interface: extract method print
_
m
e
t
hod_ty
p
e
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias Grosser
python
i
nterface: extr
a
ct method print_r
e
prese
n
tation
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias
G
r
osser
A
dd new isl_ast_no
d
e
_to_C_str function
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias
Gross
e
r
Add new i
s
l
_
ast_expr_to_C_str fu
n
c
t
ion
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
p
ython interface: re
p
lace assert with explicit abort
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias
G
rosser
py
t
h
o
n i
n
ter
f
a
c
e: replace assert
with explicit
a
bort
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-05-30
Tobias Grosse
r
Export
i
sl_va
l
arithmetic and compa
r
i
s
on met
h
ods
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-08-06
T
o
bia
s
Grosser
M
ake pass-by-reference exp
l
i
cit by us
i
n
g p
o
inters
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-24
Tobias
G
ros
s
er
test_in
p
uts/br
i
s
ebarre
.
pip: use uni
x
li
n
e e
n
dings
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-22
Tobias
Gro
s
ser
i
sl_simple_
h
ull: c
h
e
c
k for
e
mp
t
y/s
i
ng
l
e
-disjunct map
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-21
To
b
ias Gros
s
e
r
i
s
l_ast_b
u
ild_ex
p
r_from_b
a
sic_set: do not use freed
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-06-29
Tobias
G
ros
s
er
Remo
v
e
m
alloc
.
h include fr
o
m sioimath file
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-29
Tobias Grosser
Fix t
y
po in
i
sl_test
.
c
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Grosser
Upda
t
e imath to 2
3
b2b1f
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-18
Tobias Gr
o
sser
Exploit zero
s
in isl_ma
t
_product
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-02-15
T
o
bi
a
s Grosse
r
isl_seq_combine: optimize for common ca
s
e
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Grosser
Fix som
e
typos in co
m
ments
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-17
Tobias Grosser
Avoi
d
uninitialized memory warning in valgrind wh
e
n
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
Tobi
a
s G
r
o
sser
M
a
rk the compute out feature exper
i
mental
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
Tobias G
r
osser
isl_coal
e
sce
.
c: is
l
_map_coalesce: improve error handling
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-12
T
obi
a
s Grosser
i
sl_union_map_alloc:
Rename
dim to spa
c
e
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-11
T
o
bias Grosser
i
sl_uni
o
n
_
map
_
al
l
o
c
:
plug memory
l
e
ak on err
o
r path
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-10
T
o
bias Grosser
Do not dereference a NULL pointer in
t
ab_for_lexmin
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Gro
s
ser
F
ix ty
p
o
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-09
T
o
b
i
as
Grosser
Add exte
r
n
C to val_gmp header
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2013-12-04
To
b
ias Grosser
isl_union
_
*_
m
ul_isl
_
int: pas
s
address of isl_int to
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2013-09-18
Tob
i
as Grosser
Fix typo in hea
d
er guard
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Grosser
Make sed
expression in Makefile
compatible with BSD
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-09-10
Tobias Grosser
fix isl
_
uni
o
n_map_detect_equal
i
ties m
e
m
o
r
y
management
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-08-02
Tobias Grosse
r
Us
e
a
n
MIT
lice
n
s
ed mergesort
a
s the sortin
g
alg
o
rithm
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Gross
e
r
sched
u
ler: allow to bound the coefficients
i
n the
c
alc
u
la
t
ed
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-02-19
Tobias
G
r
osser
isl_tab_basic_set_non_
t
rivial_lexmin:
d
o
not add cu
t
s
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-01-30
Tobias Grosser
Add isl_
u
nion_ma
p
_gi
s
t_range
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
Tobia
s
Gross
e
r
add
o
p
t
io
n
t
o bound the constant schedulin
g
coefficients
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
T
obi
a
s Gro
s
ser
In
t
roduce new
I
SL_CTX_(GET|SET)_I
N
T_DEF mac
r
o
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Gro
s
ser
Fix typo in
do
c
umentation
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosse
r
A
d
d inter
f
ace to set sched
u
le_maximize_band_depth
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Grosse
r
I
n
tro
d
uce
op
t
ion 'o
n
_error'
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Grosser
Improv
e
message when ctx is free
d
, but still referenced
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-02
T
obias Gros
s
er
add i
s
l_loca
l
_spac
e
_ran
g
e
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobias
G
r
o
ss
e
r
Ena
b
le
-Wall if compiling with clang
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosser
Update ax_compiler_ve
n
dor
.
m4
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tob
i
a
s
G
rosser
Check
the ctx argument o
f
the memory macros
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Gro
s
ser
Fix typo in
c
o
m
ment
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-05
Tobias
Gro
s
ser
R
e
m
o
ve use o
f
PATH_MAX
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-05
Tobi
a
s Grosser
Fi
x
<strin
g
s
.
h> includes
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-04-25
Tob
i
as
G
rosser
R
emove recen
t
ly added unused vari
a
bles
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree