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
isl_space_is_map: use isl_bool_ok
2017-01-06
Tobias Grosser
is
l
_basic_set_is_bounded: return
isl_bool
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
T
o
bi
a
s Gross
e
r
isl_tab_cone_is_bounded: return isl_bool
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tob
i
as Grosser
pytho
n
: r
e
move redundant is_string_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-18
T
obias Gr
o
sser
python: mark isl_as
t
_buil
d
_*_fro
m
_*
a
s
__i
s
l_
o
ve
r
l
o
ad
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
pytho
n
: derive all classes from
'
object'
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
python: ensure Python 3
can derive method
re
s
olution
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobia
s
Gross
e
r
python: us
e
python 3 e
x
c
e
ption syntax
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-11-02
Tobias Gr
o
sser
Update imath to inc
l
ude bi
g
-endian suppor
t
for mpz_import
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-10-04
Tob
i
a
s
G
r
o
s
ser
a
dd isl_u
n
ion_flow_copy
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s
G
r
o
sser
add isl_map_dim_m
i
n
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Gr
o
s
ser
pytho
n
interface: expose co
n
structio
n
o
f
AST
n
ode from
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python
i
nterface: e
x
pose isl_ast_build a
n
d isl_ast_expr
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosse
r
python i
n
terface: automatically d
e
rive method typ
e
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
T
o
b
ias Gr
o
ss
e
r
p
yth
o
n int
e
rfac
e
: only
e
xport __str__
and __
r
epr__
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
To
b
i
a
s Gros
s
er
python interfac
e
:
s
upport 'ch
a
r *' and
'con
s
t char
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Gros
s
er
python interface: extract
method print_method_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
ython inte
r
face
:
a
d
d e
x
por
t
ed
_
p
r
e
f
ix to
M
y
ASTConsumer
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
obi
a
s Gros
s
e
r
python interface: ex
t
rac
t
met
h
o
d
print_method_ty
p
es
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
pyt
h
on
interface: extrac
t
method pri
n
t_
r
epresen
t
ation
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Add
new isl_a
s
t
_node_to_C_st
r
functi
o
n
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gros
s
e
r
A
d
d new isl
_
ast_ex
p
r_to_C_str function
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tob
i
as Grosse
r
python interface
:
replace assert
with explicit abor
t
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
python interface
:
r
e
place assert wit
h
expli
c
it abort
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-05-30
Tobias
G
ro
s
ser
Export
i
sl_val
arithmetic and c
o
mparison methods
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-08-06
T
o
bias G
r
o
sser
M
a
ke pa
s
s-b
y
-ref
e
renc
e
e
x
plicit
b
y usi
n
g p
o
inters
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-24
Tobias Gros
s
e
r
test_i
n
puts/briseb
a
rre
.
pip:
us
e
u
nix
line endings
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-22
T
o
bias Grosser
isl_s
i
mple_h
u
ll: che
c
k for empty/single-d
i
sjunct map
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-21
Tob
i
as
G
rosser
isl
_
ast_b
u
ild_expr_from_ba
s
ic_set: do not use freed
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-06-29
T
obias Grosser
Remove malloc
.
h inclu
d
e fro
m
s
ioimath file
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-29
To
b
ias
G
ros
s
e
r
Fix typo in i
s
l_te
s
t
.
c
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Grosser
Update im
a
th to 23b2b1f
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-18
Tobias Gros
s
er
E
xploit
z
eros i
n
isl_mat
_
p
r
oduct
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-02-15
Tobi
a
s Gross
e
r
is
l
_
s
eq_com
b
ine: opti
m
i
z
e f
o
r common case
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Grosser
Fix
s
ome t
y
pos in
c
omments
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-17
Tobias Grosse
r
Avoid unin
i
tial
i
z
e
d
me
m
ory warning in val
g
rind when
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
Tobias G
r
os
s
e
r
M
ark
t
he co
m
put
e
out
feature experi
m
ental
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
isl_coal
e
sc
e
.
c:
i
sl_map_coa
l
esce: improve error
ha
n
dling
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-12
T
o
b
i
as Grosser
isl
_
union_
m
ap_a
l
loc
:
Rename dim to
s
pac
e
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-11
Tob
i
as
Grosser
isl_un
i
on_map_a
l
loc:
plu
g
memory lea
k
on error path
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-10
T
ob
i
as
Grosser
Do
n
o
t
de
r
e
ferenc
e
a N
U
LL
pointer in t
a
b
_for_l
e
xmin
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
Tobias Grosser
A
d
d exter
n
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
add
r
ess of isl_int to
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2013-09-18
T
obi
a
s
Gr
o
sser
Fix typo in head
e
r 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
sion
in Makefile compa
t
ible wi
t
h B
S
D
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-09-10
Tobias Grosser
fix isl_u
n
i
o
n_m
a
p
_detect_equalities memory m
a
nagem
e
nt
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-08-02
Tobias Grosser
Use
a
n
MIT lic
e
n
s
ed merge
s
ort as the
sorting algo
r
ithm
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-02-19
Tob
i
as Grosser
scheduler
:
allow to boun
d
the coefficients in
t
he calculated
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Grosser
isl_tab_basic_set_no
n
_t
r
iv
i
a
l
_
l
exmin:
d
o n
o
t add c
u
ts
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-01-30
Tobias Grosser
Add
isl_uni
o
n_map
_
gist_range
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
T
obias Grosser
add opt
i
on to bound
the c
o
nstant scheduling coefficients
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
Tob
i
as G
r
osser
Introdu
c
e n
e
w ISL_CTX_
(
GE
T
|SET)_INT_DEF macro
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
To
b
i
a
s Gros
s
er
F
ix typo in
documentation
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Gro
s
ser
Ad
d
i
nterface to set schedule_maximize
_
band_depth
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-03
Tob
i
as G
r
o
s
se
r
Introd
u
ce
opt
i
on 'on_erro
r
'
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Gross
e
r
Improve message when ctx
i
s freed, but still
r
e
fer
e
nced
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-02
Tobias Grosser
a
d
d isl_local
_
space_range
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosser
Enable -
W
all if compiling wi
t
h clang
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobias
G
rosse
r
U
pdate ax
_
co
m
p
i
ler_
v
endor
.
m4
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tob
i
as Gr
o
sser
Check the
c
tx argume
n
t
of the m
e
mory macros
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
T
o
b
ias Grosser
Fix typ
o
in comme
n
t
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-05
T
obias
G
rosser
Remove use of
P
ATH_MAX
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-05
Tobias Gros
s
e
r
F
ix <s
t
rings
.
h> incl
u
des
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Grosser
Remov
e
recently adde
d
unuse
d
variables
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree