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_can_uncurry: implement with isl_space_range_is_wrapping
2018-08-30
Tobia
s
Grosser
is
l
_spac
e
_can_uncurry
:
i
m
plement with
i
sl_space_
r
ange_is_wra
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
Tob
i
as Grosser
isl_s
p
ace_
c
an_curr
y
:
i
mplement with isl_
s
pac
e
_domain_
i
s_wrapping
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
Tobia
s
Gross
e
r
isl
_
sp
a
ce_is_wrapping: add
missing comm
e
nt
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
a
s Gr
o
sser
i
sl_union_m
a
p
_
i
nvo
l
ves_dims: use isl_
b
ool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl_union_ma
p
.
c:ma
p
_excludes: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
as Gros
s
er
isl_unio
n
_
m
ap_is_strict_
s
ub
s
et: use
i
sl_bool_
n
ot
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gro
s
ser
sch
e
dule
r
.
c
:graph_has_edg
e
: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobia
s
Grosser
is
l
_map_
i
s_stric
t
_sub
s
e
t
:
u
se isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
o
bias Grosser
isl_b
a
sic_map_is_strict_subset: us
e
isl_bool_n
o
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias G
r
osse
r
basic_map_follows: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobi
a
s Grosser
isl_set_is_equ
a
l: use isl_bool for local va
r
iable
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
sha
r
e
d_oute
r
: use
i
s
l
_bool_n
o
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
T
o
bias Grosser
domain_f
o
llows_at_depth: u
s
e isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
T
o
b
ias Grosser
basic_
m
ap_is_e
m
pty_a
d
d: us
e
enum v
a
riable
inst
e
ad of
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gross
e
r
i
s
_subset_entry: use i
s
l_bo
o
l
_
false instead o
f
integer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
To
b
ias Gros
s
er
isl_arg: use named
co
n
s
tant to ident
i
fy argu
m
ents with
o
ut
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-23
Tobia
s
Grosser
se
t
-std=gnu99 for im
a
th-3
2
in
C
FLAGS not C
P
PFLAGS
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobias Gro
s
ser
interfa
c
e:
ex
p
ort isl_val_p
o
w2
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobias Gr
o
sser
introdu
c
e isl_val_pow2 as an a
l
ternative name for isl_
v
al_2exp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-06
Tob
i
as Grosser
doc: drop duplicate lis
t
ing of i
s
l_
v
a
l
_2ex
p
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-12
Tobias Grosser
coalesce_afte
r
_
aligning
_
d
i
v
s
:
use isl
_
b
o
ol
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2018-06-12
T
o
b
i
as Gro
s
ser
U
s
e isl_stat as r
e
t
urn value for is
l
_val_get_num_isl_int
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-06
Tobias Grosser
isl_cell_f
o
reach_simple
x
:
u
se isl_s
t
at ins
t
ead of int
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobia
s
G
rosser
i
s
l_a
s
t_graft_free:
retu
r
n i
s
l_ast_graft * instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tob
i
as Grosser
isl_reo
r
d
e
ring_fre
e
: re
t
u
r
n isl
_
reordering * i
n
stead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gr
o
sser
isl_ast
.
c: use isl_
b
ool en
u
m i
n
stead of plain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
G
ro
s
ser
isl_schedule_band
.
c: u
s
e isl_ast_
l
oop_type e
n
um i
n
s
te
a
d
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gr
o
sser
isl_p
o
lynomial
.
c: use isl_stat enum instead of plain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_c
o
nstraint
.
c: use
isl_s
t
a
t enum instead of plain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_boun
d
.
c:
use isl_sta
t
enum
i
ns
t
ead
o
f plain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_af
f
.
c: use isl_
s
tat enum in
s
tead of p
l
a
in integ
e
rs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
T
o
b
ias G
r
o
s
ser
isl_tab
.
c: use
i
sl_stat
enum instead of plain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias G
r
osser
s
c
heduler
.
c: use
i
sl_b
o
ol
e
num instea
d
of p
l
ain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobia
s
G
r
osse
r
c
oale
s
ce
.
c: use isl
_
b
o
ol enums instead of plain
integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias
G
r
o
s
s
er
Ad
d
, document and
test
isl
_
union_set_get_
s
et_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias
G
rosser
Add, document and test isl_un
i
on
_
map_
g
et_map_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias G
r
osser
Expose, do
c
ument and test isl_m
a
p_get
_
b
asic_map_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Gro
s
ser
A
d
d test cove
r
age for isl_
[
union_]set_g
e
t
_
basic_
s
et_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobias Gr
o
sser
Ad
d
isl_*_drop_unused_params
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tob
i
as
Gro
s
ser
isl
_
basic
_
map_a
l
ig
n
_params
:
extract out i
s
l_basic_map_check_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-09-08
T
obias Grosser
p
ython: remove redunda
n
t is
_
str
i
n
g_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-16
T
o
bias
Grosse
r
cpp:
a
dd
mis
s
in
g
li
c
ens
e
to unit tests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-14
Tobi
a
s Gros
s
e
r
Do
c
ume
n
t the i
s
l interface desi
g
n gui
d
e
l
ines
with respect
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
T
obia
s
Grosser
c
pp/
p
ython
:
export functions
to construct sets from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
To
b
i
as Gros
s
e
r
cpp/python:
export docum
e
nt
e
d
fu
n
ctio
n
s to construct
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
Com
p
lete isl_aff t
o
s
et interfac
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
T
o
bias Grosse
r
Document: comparisons be
t
ween isl_val and NaN alw
a
y
s
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
Tobias Gross
e
r
Adapt coschedule
d
_sou
r
ce to handle er
r
or
c
onditions
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
Tobias Grosser
Handle error conditions
returne
d
by
l
e
v
el_bef
o
re
i
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobias
Grosser
cpp/python
:
export arithmeti
c
op
e
ra
t
ions on
i
sl_pw_aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobias Gros
s
er
cpp/p
y
thon:
export a
r
ithmetic
o
p
erations on is
l
_aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
Tobias
G
rosser
cpp
/
p
yt
h
on:
e
xpor
t
isl
_
sche
d
u
le_constraints
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
Tobias Grosser
cpp: ad
d
unit tests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
To
b
ias
Grosser
cpp: do not mark boole
a
n(isl_bool) co
n
s
t
r
u
c
to
r
as exp
l
icit
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Gr
o
sser
c
p
p:
e
xplicitly
m
anage
is
l
_bo
o
l r
e
turn v
a
lues
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
Tobias Grosser
isl_
v
al_is_one should ret
u
rn isl_boo
l
_false for nan
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
Tobias G
r
os
s
e
r
p
y
thon: m
a
ke string
p
ar
s
ing a
n
d re
t
urni
n
g
Py
t
hon
3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
o
bi
a
s Grosser
c
p
p: support methods and constructors
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
cpp: gener
a
t
e
C++ wrapper
clas
s
e
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
obias Gr
o
sser
ge
n
erator: a
d
d missing newline after printing the die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias
G
r
o
s
ser
p
y
thon:
d
r
op s
p
urious
space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
Tobias Grosser
let i
s
l_point_free return a NULL point
e
r
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
isl_bas
i
c_set_is_bounded: r
e
turn isl_bo
o
l
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobia
s
Grosser
isl_
t
ab_cone_is_bounded: re
t
urn
i
s
l_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
T
obias Grosser
python: remove redu
n
d
a
nt
i
s_stri
n
g_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
T
ob
i
as Grosser
pytho
n
: mark isl_ast_build_*_fro
m
_
*
a
s __
i
s
l
_o
v
erload
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
T
o
b
ias Grosser
pytho
n
: derive all classes fr
o
m
'
o
b
je
c
t'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
python: ensur
e
Pytho
n
3 can derive method resolution
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tob
i
as Grosser
p
y
thon: use python 3 exce
p
ti
o
n syntax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
Tobias Grosse
r
U
pdate imath to
in
c
lude big-endian support fo
r
mpz
_
import
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
T
o
bias Gro
s
s
er
add i
s
l_uni
o
n_flow_copy
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Gros
s
er
ad
d
isl_map_dim_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
ro
s
ser
pyt
h
on i
n
t
e
rfac
e
:
e
xpose con
s
truc
t
ion of
A
ST n
o
de f
r
om
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gr
o
sser
p
ython interface: expose isl_ast_build and isl_ast_expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
osser
python in
t
erfa
c
e: a
u
tomatically derive
method type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
y
thon interface
:
only export _
_
str__ and __repr__
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosse
r
python interface: support 'char *' and 'const
c
har
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Grosser
python interface: extra
c
t
method p
r
int_method_
t
ype
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gr
o
sser
python inter
f
a
c
e
:
add e
x
por
t
ed_
p
ref
i
x
to MyASTConsume
r
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obias Grosser
p
y
thon inter
f
ace: extract m
e
th
o
d print_method
_
types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
pyth
o
n inte
r
face: extract method pri
n
t
_representation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
A
dd new isl_ast_node_to_C_str f
u
nction
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobi
a
s
Gro
s
s
e
r
Add ne
w
i
s
l_ast_expr_to_C_str functio
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ias Grosser
python interf
a
ce: replace asse
r
t with expl
i
cit
a
bort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobia
s
Gro
s
ser
python interface: replace assert with expli
c
it abo
r
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tobias
Gross
e
r
Exp
o
rt
isl_val ar
i
thmetic and compari
s
on m
e
thods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobias Gross
e
r
Make p
a
ss
-
by-referen
c
e ex
p
lic
i
t by using poin
t
ers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
Tobias
G
ross
e
r
test_
i
nputs/brisebarre
.
pip: use
unix
l
i
ne endings
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias G
r
osser
isl
_
simple
_
hull: check for empty/
s
ingle-disjunct map
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Grosser
isl_ast_bui
l
d_expr_from_bas
i
c_set: do not use freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
Tobias Grosser
Remove malloc
.
h
i
nclu
d
e
f
rom
sioimat
h
file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tobias Grosser
Fi
x
typ
o
in isl_te
s
t
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobia
s
Grosser
Update imath
to 23b2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
T
obias
G
rosser
Exploit zer
o
s in isl_mat_product
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tobias Grosser
isl
_
s
e
q
_combine: optim
i
ze for
c
o
m
mon case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Grosser
F
i
x
some
typos in comments
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
To
b
ias Gro
s
s
er
Avoid
u
ninit
i
alized
m
emor
y
warning
i
n
v
algrin
d
whe
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
To
b
ias G
r
o
s
s
er
Mar
k
the compute
o
ut feature experimenta
l
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobi
a
s Grosser
isl_coalesce
.
c: i
s
l_map_coalesce: impr
o
ve error handling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tob
i
as Grosser
isl_
u
ni
o
n_map_
a
ll
o
c
: Rename di
m
to space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
next