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
To
b
i
as G
r
osser
Add isl_
*
_dro
p
_unu
s
e
d
_
p
arams
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-04-23
T
o
b
ias Gro
s
s
er
isl_
b
a
sic_map_a
l
ign_p
a
ram
s
: extract out isl_basic_map_check_
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-09-08
Tobias Grosser
python: remove re
d
undant i
s
_str
i
ng_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-16
Tobias Grosser
cpp: add m
i
ssing l
i
cense to uni
t
t
ests
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-14
Tobias Grosser
Do
c
ument the isl interfac
e
des
i
g
n
g
uidelines w
i
th r
e
spect
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
cpp/python: export fu
n
ctions to construct set
s
fr
o
m
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
To
b
ias Gros
s
e
r
c
p
p/pytho
n
: expor
t
docume
n
ted fu
n
ctio
n
s
t
o cons
t
ruct
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
Complete
isl_aff to set i
n
terface
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-28
Tobias Grosser
Documen
t
: co
m
p
a
risons between
i
s
l_val
a
nd N
a
N always
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-26
Tob
i
as Grosse
r
Adapt cosc
h
e
dule
d
_source to handle err
o
r conditi
o
n
s
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-25
T
obias Grosser
H
and
l
e err
o
r
c
onditio
n
s returned by level
_
before
in
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-19
Tobias Grosser
c
pp/pytho
n
: e
x
por
t
arithmetic
operation
s
on isl_pw_aff
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-19
Tobias Grosser
cpp/
p
yth
o
n
:
e
xport ar
i
thme
t
ic operation
s
on is
l
_aff
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-14
Tobias Gros
s
er
cpp/python: exp
o
rt is
l
_schedule_constrai
n
ts
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-25
T
obias Grosser
cpp
:
add un
i
t tests
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Grosser
cpp: do not m
a
r
k
bo
o
lean(isl_bool) constructor a
s
exp
l
icit
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-17
Tobia
s
Grosse
r
cpp: explicitly manage isl_bo
o
l return
values
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-11
Tob
i
as Gr
o
sser
isl_val
_
is_one sh
o
uld re
t
u
rn isl_b
o
ol_false for na
n
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-05
Tobias Gros
s
er
python: make stri
n
g parsing a
n
d returning Python 3
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
T
obias Grosser
cpp:
support methods and
c
onstructors
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
c
p
p: generat
e
C++ wrapper classes
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
To
b
i
a
s Gros
s
er
generator: add missing newline
after pr
i
n
ting
t
he die
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobia
s
Grosse
r
python: dro
p
spuriou
s
sp
a
ce
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-03-16
Tobia
s
Gr
o
sser
let isl_point_
f
r
ee retur
n
a NUL
L
poi
n
te
r
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias
Gro
s
s
er
i
sl_basic_set_is_b
o
unded: retur
n
isl_bool
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
i
s
l
_
t
a
b_cone_
i
s_b
o
unded:
retu
r
n isl_bool
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias
G
rosser
python: remov
e
redundant is_string_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-18
Tob
i
as Grosser
python: ma
r
k isl
_
ast_build_*_from_*
as __isl_overload
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tob
i
as Grosser
pytho
n
: deri
v
e
a
ll classe
s
from '
o
bject'
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobi
a
s
Gross
e
r
py
t
ho
n
: ensure Python
3
can deri
v
e
metho
d
resolution
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Gr
o
sser
py
t
hon:
use pyt
h
on 3 e
x
ceptio
n
s
yntax
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-11-02
Tob
i
a
s Gros
s
er
Upda
t
e imath to i
n
cl
u
d
e bi
g
-
e
nd
i
an su
p
port for mpz_impor
t
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-10-04
Tobias G
r
osser
add isl_union_
f
low_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
T
o
bias Grosser
p
y
t
h
on interf
a
ce: expose construction of
A
ST node from
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python
i
nterface: expose
is
l
_ast_b
u
ild an
d
isl_ast
_
expr
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
o
b
ias Gr
o
s
s
e
r
python int
e
rface: au
t
omatically
d
e
r
i
v
e method typ
e
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Grosse
r
python inter
f
ac
e
:
only ex
p
ort _
_
s
t
r__ a
n
d
__rep
r
__
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Gro
s
ser
p
y
t
h
on interface: supp
o
rt 'char *'
a
nd '
c
onst
c
har
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
r
osser
p
ython inte
r
face: extr
a
c
t
m
ethod print_method_ty
p
e
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interface:
add exported_ prefix
to MyASTCo
n
sum
e
r
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gros
s
er
py
t
h
on
int
e
rface: extract method prin
t
_me
t
hod_types
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
python in
t
e
r
face: e
x
tract met
h
od
p
rin
t
_representation
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobi
a
s Grosser
Add new isl_ast_node_to_C_str function
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gro
s
ser
Add n
e
w isl_a
s
t_expr_to_C
_
s
tr funct
i
on
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tob
i
as
Grosser
python
inte
r
face: repl
a
c
e
a
ssert with
e
xplicit abort
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobi
a
s
G
r
o
sse
r
pytho
n
interf
a
ce: r
e
place
assert with exp
l
icit abort
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-05-30
Tobias G
r
o
sser
Export
isl_val ari
t
hmetic
a
n
d
compariso
n
met
h
ods
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-08-06
Tobias
G
ro
s
se
r
Make
p
ass-b
y
-
r
eference expl
i
cit by us
i
n
g
pointers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-24
Tobias Grosser
te
s
t_
i
n
p
uts/
b
ris
e
barre
.
pip
:
use uni
x
l
ine endings
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-22
To
b
i
as Grosse
r
isl_sim
p
le_h
u
l
l
: check for empty/single-dis
j
u
nct map
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-21
Tobias G
r
osser
isl_ast_bui
l
d_expr_fro
m
_
b
asic_s
e
t: do no
t
use
f
r
e
e
d
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-06-29
T
o
b
i
as Gr
o
s
s
er
Re
m
ove malloc
.
h
i
nclude
from sioimath file
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-29
Tobias Grosser
Fix typo in is
l
_test
.
c
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-26
Tobias G
r
o
s
s
er
U
p
d
a
t
e imath to 23b2b1
f
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-18
Tobias
Grosser
E
x
plo
i
t zeros in isl_mat_produ
c
t
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-02-15
Tobias Gros
s
er
isl_seq_combine:
o
ptimi
z
e for co
m
m
o
n
case
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-01-23
T
o
bias Grosser
F
i
x
s
o
me typos
in comments
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-17
To
b
ias Gross
e
r
Avoid uninitia
l
i
z
ed memory warning in valgrind
w
h
e
n
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
To
b
ias Grosser
M
a
rk the comput
e
o
ut feature expe
r
im
e
n
t
al
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
isl_c
o
alesce
.
c: is
l
_map_coalesce: impro
v
e error han
d
l
i
ng
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-12
T
o
bias Grosser
isl_union
_
map_
a
ll
o
c: Ren
a
me d
i
m to space
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-11
Tobias Gross
e
r
isl_u
n
ion_
m
ap_alloc: plug
memory leak o
n
e
r
r
o
r path
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Gros
s
er
Do not de
r
efe
r
ence a
N
U
LL po
i
nter
in t
a
b_
f
or_lexmin
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-10
Tobias
G
rosser
Fix typo
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-09
Tobias Gross
e
r
Add
extern C
to val_gm
p
hea
d
e
r
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2013-12-04
Tobias Grosser
isl_un
i
o
n
_*_mu
l
_isl_int
:
pass addr
e
ss o
f
isl_int to
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2013-09-18
To
b
ias Grosser
Fix typo
i
n
h
e
a
de
r
guar
d
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-09-22
T
obias
Grosser
Make
sed expression in Mak
e
file
c
ompa
t
ible w
i
th BS
D
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-09-10
Tobia
s
G
ros
s
er
fix
isl_union_map_d
e
tect_eq
u
alities memory ma
n
ag
e
ment
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-08-02
Tobi
a
s
Grosser
Use an MIT lice
n
sed
mergesort as
t
he sorting
a
lgorit
h
m
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-02-19
To
b
ias G
r
osser
scheduler: allow to bound th
e
coefficients i
n
the c
a
lculated
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-02-19
Tobias G
r
o
s
ser
isl_tab_basic_set_no
n
_trivi
a
l_lexmin: do not add cuts
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-01-30
T
o
bias Gross
e
r
Ad
d
is
l
_un
i
on_map_gi
s
t_range
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
Tobi
a
s Grosser
add option to boun
d
the consta
n
t
scheduling coefficients
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
T
obias
Grosse
r
Introduc
e
ne
w
ISL_CTX_(GET|SET
)
_
I
NT_DEF mac
r
o
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
T
o
bias Gross
e
r
Fi
x
t
ypo in documentation
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
Ad
d
interface to s
e
t
s
chedu
l
e_maxi
m
ize_band
_
depth
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-03
Tobias
G
rosser
I
n
tr
o
d
u
ce
o
ption 'on_e
r
ror
'
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Grosser
Improve message when ctx is freed, but still referenced
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-02
Tobias Grosser
a
d
d isl_lo
c
al_s
p
ace_r
a
nge
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Gros
s
er
Enable
-
W
a
ll
if compiling
w
i
th clang
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
T
obias Grosser
Update ax_c
o
mp
i
ler_vendor
.
m
4
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosser
Ch
e
ck the ctx argument of
t
he memor
y
macro
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Gross
e
r
Fix
t
y
po in comment
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-05
T
obias Gr
o
sser
R
e
move use of PATH_MAX
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-05
Tob
i
as Grosser
F
i
x
<
str
i
ngs
.
h>
i
ncludes
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-04-25
Tobia
s
Grosser
Rem
o
ve r
e
ce
n
tly added unuse
d
variables
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree