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_transitive_closure.c: incremental_on_entire_domain: return isl_bool
2018-08-30
To
b
ias Grosser
is
l
_space_c
a
n_uncurry: implement with isl_space_range_
i
s
_
w
r
a
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
T
o
bias Gros
s
er
isl_space_can
_
curry: imple
m
ent with is
l
_s
p
a
c
e_domain_is_wrapping
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Grosser
is
l
_space
_
i
s
_wrapping: add missin
g
comment
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
o
bi
a
s
G
rosser
isl_un
i
on_m
a
p_in
v
o
lve
s
_dims:
u
se isl_bo
o
l_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosse
r
i
sl_u
n
i
on_map
.
c:map_exclude
s
:
us
e
isl_bool_
n
o
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
To
b
i
a
s Grosser
isl_union_map_
i
s_strict_su
b
set: use isl_
b
o
ol
_
n
o
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gross
e
r
s
c
h
e
duler
.
c:graph_has_edge:
u
se isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
o
bias Grosser
i
s
l
_
map_is_strict_subset: use isl_
b
oo
l
_
not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
a
s
Grosser
isl_bas
i
c_map_is_strict_subset: us
e
isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
a
s
Grosser
basic_
m
ap_follows: use isl_bool
_
n
ot
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
isl_set_is_equal:
use isl_bool for lo
c
a
l v
a
r
i
able
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
T
o
bias Gross
e
r
shared_outer: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
To
b
ias Grosser
domain_fo
l
lows_at_depth: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
basi
c
_map_is_empty_add: use
e
num
v
ariable inste
a
d of
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gro
s
se
r
is_su
b
s
et_entry: use isl_
b
ool_f
a
lse
instead of
int
e
ger
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gross
e
r
i
sl_arg: u
s
e
named c
o
n
s
tant t
o
i
dentif
y
argum
e
n
t
s without
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-23
Tobias Grosser
set -std=gnu99 for i
m
a
t
h-32 in CFLAG
S
not CPPFLAGS
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobias
Grosser
i
n
terface: expo
r
t isl_val_pow
2
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
T
o
bi
a
s Grosser
introduce is
l
_
val_p
o
w
2 as an alternat
i
ve name
f
or isl_val_2ex
p
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-06
Tobia
s
Gr
o
s
ser
doc:
drop duplicate listing of isl_va
l
_
2exp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-12
T
obias Grosser
coalesce_after
_
aligning_di
v
s: u
s
e is
l
_bool inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2018-06-12
Tobias Grosser
Use isl_s
t
at a
s
retu
r
n valu
e
for is
l
_val_ge
t
_num_isl_int
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-06
Tobias Gr
o
sse
r
isl
_
cell_foreach_simplex:
u
se is
l
_stat instead of
i
nt
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias G
r
osser
isl_ast_graft_free: return isl_
a
st_graft
* ins
t
e
a
d
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
G
rosser
i
s
l_r
e
ord
e
ring_free:
return isl_reordering * instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias G
r
osser
isl
_
as
t
.
c
:
use isl_bool
e
num inste
a
d
of plain int
e
g
e
rs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobia
s
Grosser
isl_schedule_band
.
c: us
e
isl_as
t
_
l
oop_type
e
num i
n
ste
a
d
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
T
o
bias G
r
osser
is
l
_
polynomial
.
c: use
isl_s
t
at enum ins
t
ead of
plain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobia
s
Grosser
isl
_
constraint
.
c: use isl_stat enum
ins
t
e
a
d of plain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gr
o
sser
isl
_
bound
.
c: use isl_stat
enum i
n
stead of plain in
t
e
g
e
rs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tob
i
as Grosser
isl_
a
ff
.
c: use
i
s
l_stat enum instead of plain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
T
ob
i
as G
r
osser
isl_t
a
b
.
c: use isl_stat enum instead of plain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gr
o
ss
e
r
sc
h
eduler
.
c: use
i
sl_boo
l
enum i
n
s
t
ead of plain intege
r
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
T
o
bia
s
G
r
o
s
s
e
r
c
o
alesce
.
c
:
use isl_
b
ool e
n
u
ms inst
e
ad o
f
plain in
t
e
g
ers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
T
obi
a
s Grosser
A
d
d
, document
a
n
d tes
t
isl_uni
o
n
_
set_get_set_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Gros
s
er
A
d
d, document and
t
e
s
t
isl
_
uni
o
n_
m
ap_get_map_lis
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias
G
ro
s
ser
E
xpose
,
d
o
c
u
m
e
n
t
and t
e
st isl_map_ge
t
_bas
i
c_map_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias
Gr
o
sser
Add tes
t
c
o
verage
f
or isl_[union_]set
_
get_basic_se
t
_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobias Grosser
Add isl_*_drop_unused_params
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
To
b
ias Grosser
isl_ba
s
ic_m
a
p_ali
g
n_
p
ar
a
ms: extract out i
s
l_basic_map_check_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-09-08
Tob
i
a
s
Grosser
p
ytho
n
: rem
o
ve redundant
is_string_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-16
To
b
ia
s
Grosser
cpp: add mi
s
s
i
ng license to unit tests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-14
Tobias G
r
osser
Docume
n
t
t
h
e isl int
e
r
f
ace design
g
uidelines with respe
c
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
To
b
ias
G
rosser
cpp/pyth
o
n: export
f
u
nct
i
ons to
construct sets from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Gro
s
se
r
cpp/python: export documented fun
c
t
i
ons to con
s
truct
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
T
o
bia
s
Grosse
r
Complete isl_a
f
f
t
o set
i
n
terfac
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
Tobi
a
s Grosse
r
D
ocumen
t
: compari
s
ons be
t
ween isl_val and N
a
N always
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
Tobias Gros
s
er
Adapt co
s
cheduled
_
sou
r
ce to handle error conditions
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
Tobias Grosser
H
andle error conditions returned by level_before in
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobias Gro
s
s
e
r
cpp/p
y
th
o
n: export arithmetic operations on isl_p
w
_
a
f
f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
T
o
b
ias Grosser
cpp/python:
export arithmetic operatio
n
s on isl_a
f
f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
Tobi
a
s Gros
s
er
cpp/p
y
thon:
e
xport isl
_
schedule
_
constraints
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
Tobias G
r
osser
cpp: a
d
d u
n
it test
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
T
o
bias Gros
s
er
c
p
p: do
not mar
k
boolean(isl_bool) constru
c
tor as explicit
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
To
b
ias G
r
osser
cpp: explic
i
tly manage i
s
l_bool r
e
tur
n
values
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
To
b
ias Grosser
is
l
_va
l
_is_one
s
houl
d
return isl_bool_false for na
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
Tobias Grosse
r
python: make string parsing and retu
r
ning Python
3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Gr
o
sser
cpp
:
support methods and co
n
structors
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Gross
e
r
cpp
:
gen
e
r
a
te
C++
w
rapper
c
l
asses
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
g
e
nerator: add m
i
ss
i
ng newli
n
e after printing the die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
obias Gro
s
ser
python: drop spuri
o
u
s
space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
Tobias Gros
s
er
let isl_p
o
int_free
r
e
turn a NULL pointer
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobia
s
Gross
e
r
isl_basic
_
s
et_is
_
bounded: return isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias G
r
osser
isl_t
a
b_cone
_
is_bounded: ret
u
rn
i
s
l_b
o
ol
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
T
o
bias Grosser
p
y
t
h
on: remove redundant is_string_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tobias Grosser
py
t
hon: m
a
rk isl_ast_bui
l
d_*_from_* as __isl_ove
r
load
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
To
b
ias Grosser
pyt
h
on
:
d
er
i
ve all c
l
asses from
'
o
b
j
e
ct'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobi
a
s
Gr
o
sser
python: e
n
s
u
re Python 3 c
a
n d
e
r
i
ve method r
e
solution
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
To
b
i
as Grosser
pytho
n
: use python
3
exc
e
p
t
i
on
syntax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
Tobias Gros
s
er
Update im
a
th to include
b
ig-end
i
an supp
o
r
t
f
or mp
z
_import
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
T
obias G
r
o
sser
add is
l
_union_flow_copy
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Grosse
r
add isl_
m
ap_dim_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
osse
r
p
y
tho
n
interface: expos
e
constructio
n
o
f
A
ST
n
ode from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Gro
s
ser
python interfa
c
e: expose
isl_ast_b
u
ild and isl_ast_expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obias Gross
e
r
pytho
n
inter
f
ace: automatically derive me
t
hod type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gr
o
sser
python interface
:
only export __str_
_
and __repr_
_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
ross
e
r
python interface: support 'c
h
ar *' and 'const char
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
pyt
h
on in
t
er
f
ace: extract met
h
od
print_method_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
y
thon
i
nterface: add e
x
ported_ pr
e
fix to MyAST
C
onsumer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s
G
r
o
sser
pyth
o
n interf
a
ce:
e
x
tract method print_
m
ethod_types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
b
ia
s
Grosser
pytho
n
interface: extract
m
ethod p
r
i
n
t_repre
s
e
n
tation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosse
r
Add n
e
w isl_a
s
t_node_
t
o_
C
_str function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gr
o
sser
A
dd
n
ew isl_ast_ex
p
r_to_C_
s
t
r
function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
python
interface: replace a
s
se
r
t w
i
th explicit ab
o
rt
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
pytho
n
interfac
e
: replace a
s
sert with explicit abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tobias G
r
os
s
er
Export isl_va
l
ar
i
thmetic and comparison methods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobias Grosser
Make pass-by-
r
eference explicit by
u
sing pointers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
Tobi
a
s Gro
s
ser
test_input
s
/brisebarre
.
pip: use unix line end
i
ngs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Gr
o
sse
r
isl_simple_hull: check fo
r
empty
/
single-disju
n
ct m
a
p
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Grosser
i
s
l_ast_build_expr_from_basic_set: do not u
s
e
freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
T
o
b
i
as Grosser
R
e
move malloc
.
h incl
u
d
e from sio
i
math
f
i
l
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tob
i
as Gr
o
s
s
e
r
Fix
t
ypo in isl_
t
est
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
T
o
bias
Gros
s
er
Updat
e
imath to 23
b
2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobias Gr
o
sser
Exploit zeros in isl_m
a
t_product
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tobias Gr
o
s
ser
isl_seq_combine: optimize for
c
ommon case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Gros
s
er
F
i
x
some typ
o
s
i
n comments
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
To
b
i
a
s Grosser
Avoid uninitialized mem
o
ry warning
i
n va
l
g
r
ind when
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobia
s
Grosser
Mark the compute
o
ut featu
r
e ex
p
er
i
men
t
a
l
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
To
b
ia
s
Grosser
isl_coalesce
.
c: isl_map_c
o
alesce: improv
e
er
r
o
r handling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tobias Gross
e
r
is
l
_union_map_alloc: Rename
d
im to space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
next