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
let isl_point_free return a NULL pointer
2017-03-16
Tobias Gros
s
er
let isl_po
i
nt_free return a
N
ULL poi
n
ter
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
isl_basic_set_is_boun
d
ed: return i
s
l_boo
l
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tobia
s
G
ros
s
er
is
l
_
t
a
b_cone_is_bounded: retur
n
is
l
_
b
ool
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias G
r
o
sser
py
t
hon: re
m
o
ve red
u
n
dant i
s
_string_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-18
Tobi
a
s Grosser
p
y
th
o
n: mark
isl_
a
st_buil
d
_*
_
from
_
* as __isl_overload
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
T
o
bias Grosser
p
y
thon: derive all cla
s
ses from
'
object'
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
p
ython: ensure Python 3
c
an derive method reso
l
uti
o
n
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobias
Grosser
python: use python 3 excepti
o
n syntax
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-11-02
Tobi
a
s
G
r
osse
r
Update
i
math to incl
u
de bi
g
-
e
n
d
i
an support for m
p
z_import
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-10-04
T
o
bias Grosse
r
add isl_union_
f
l
ow_c
o
py
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
add
isl_
m
ap_dim_m
i
n
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
osser
python in
t
erface
:
expose construction of AST nod
e
from
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
python interface:
e
xpose isl_ast_build
a
n
d
i
sl_a
s
t_expr
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Grosser
pyt
h
o
n
i
n
t
e
rface: automatically
derive method typ
e
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interfa
c
e: only expo
r
t __str__ and __re
p
r_
_
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Grosser
p
ython inter
f
ace: support 'char *' and
'c
o
n
s
t
cha
r
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gr
o
sser
pyt
h
on interface
:
extract
m
etho
d
pr
i
nt_method_ty
p
e
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s
G
ros
s
e
r
python inter
f
ace: ad
d
ex
p
o
r
t
e
d_ prefix to MyAST
C
onsumer
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosse
r
py
t
hon inter
f
ace
:
extract method p
r
int_method_t
y
pe
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Grosser
pyt
h
o
n
interf
a
ce: e
x
tract method p
r
int_represent
a
ti
o
n
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
T
o
bias
G
ross
e
r
A
d
d new isl_ast_node_to_C
_
s
tr funct
i
on
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
T
o
b
ias Gros
s
e
r
Add new isl_ast
_
expr_to_
C
_str function
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tob
i
a
s Gross
e
r
p
ython
interface: replace
assert with
explicit ab
o
r
t
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
T
obias
Gros
s
er
python interf
a
c
e:
r
eplace assert with
e
xplici
t
abort
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-05-30
Tobias Grosser
Export i
s
l_val a
r
it
h
m
e
t
i
c and comparison methods
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-08-06
T
obi
a
s
Grosser
Ma
k
e
pa
s
s-by-referenc
e
explicit by usi
n
g poi
n
ters
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-24
Tobias Grosse
r
test_inputs/brise
b
arre
.
pip: use
unix line endings
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Gross
e
r
isl_simple_
h
ull: c
h
e
ck f
o
r empty
/
singl
e
-d
i
sjunct map
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Grosser
isl_as
t
_buil
d
_
expr_from_ba
s
ic_set: do n
o
t
u
s
e
freed
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-06-29
Tobias Gro
s
ser
R
emove mal
l
oc
.
h
include from si
o
imath f
i
l
e
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-29
To
b
ias Grosser
F
i
x ty
p
o in isl_test
.
c
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-26
Tobi
a
s
Grosser
Update imath to 23b2b1f
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-18
Tobia
s
G
rosser
Exploit zeros in
isl_mat_product
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-02-15
Tobias Grosser
isl_seq_combine:
o
ptimize for commo
n
c
ase
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Grosser
Fix
s
o
m
e
typo
s
in com
m
ents
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-17
Tobias Grosser
A
void unini
t
ialized
m
emory warning in valg
r
i
nd w
h
en
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
To
b
ias Grosser
Mark
t
he compu
t
e out feature experimental
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
T
ob
i
as Gros
s
er
isl_coalesce
.
c
: isl_map_coa
l
esce: improve
error han
d
ling
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-12
Tobi
a
s Gr
o
s
s
er
isl_union_map_allo
c
: Rename dim
to space
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-11
T
obias Gros
s
er
i
sl_u
n
ion_map_al
l
oc: plug m
e
mory leak on
e
r
r
or p
a
th
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-10
Tobia
s
Grosser
Do
n
o
t deref
e
rence a N
U
LL pointer in tab_
f
or_lexmi
n
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-10
Tobia
s
G
ro
s
ser
F
ix typo
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-09
Tobias
G
ros
s
e
r
Add exte
r
n
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
i
sl_union_*_mul_
i
s
l_int: pass addr
e
ss of isl_int to
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2013-09-18
Tobias
G
r
os
s
er
Fix typo in
header
g
uard
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Grosser
Make sed
expression
i
n
Makefile
compatible wit
h
BSD
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-09-10
Tobias Grosser
fix isl_uni
o
n_map_d
e
tect_
e
qualities memory managemen
t
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-08-02
Tobia
s
Grosser
Use
a
n MIT
licen
s
ed mer
g
es
o
rt
as the sorti
n
g
algor
i
t
h
m
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-02-19
Tobias G
r
osser
sche
d
uler:
a
llow to b
o
und the coeffic
i
ents in th
e
calculated
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-02-19
Tobi
a
s
G
r
osser
isl_tab_
b
asic_set_non_trivi
a
l
_
lexmin: do no
t
add cuts
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-01-30
T
obias Gr
o
sser
Add isl_union_map_gist_
r
a
n
g
e
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
Tobias
Grosse
r
add option to boun
d
the consta
n
t schedul
i
ng
c
oefficie
n
ts
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
Tobia
s
Grosser
In
t
r
o
d
u
ce
n
e
w ISL_CTX_(G
E
T|S
E
T)_INT_DEF macro
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
To
b
ias G
r
osser
Fix typo in docum
e
n
t
a
tion
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
T
obias Grosser
A
d
d interface to set sche
d
u
l
e_maximiz
e
_ba
n
d_depth
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Grosser
Introduce opti
o
n 'on_err
o
r'
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Grosser
Impro
v
e
m
e
s
sag
e
whe
n
ctx is free
d
,
b
u
t still referenced
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-02
Tobias Grosse
r
add isl_lo
c
a
l
_
sp
a
ce_rang
e
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
T
obias Grosse
r
Enable -W
a
ll if
c
o
mpiling with
clang
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Gross
e
r
Update ax
_
compiler_ve
n
dor
.
m4
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobias G
r
osser
Check th
e
c
t
x argument of t
h
e
memory m
a
cros
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobias
G
rosser
Fix typo in com
m
ent
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-05
T
obias Gro
s
ser
Rem
o
ve us
e
of
PATH_MAX
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-05
Tobias G
r
oss
e
r
Fix <str
i
ngs
.
h> includes
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Grosser
Remove
recent
l
y
added
unused variab
l
es
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree