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
test isl_bool_not
2018-09-04
Tobias Grosser
test isl_bool_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-30
T
obias Grosser
isl_space_can_
u
ncur
r
y: implement with isl_space_range
_
is_
w
ra
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-30
T
obias Grosser
isl_space_can_
c
urry: implement with isl_space_domain_is_wr
a
pping
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-30
Tobias
Grosser
is
l
_sp
a
ce_is_wrapping: add missing comment
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias G
r
osser
isl_uni
o
n
_
map_
i
nvolv
e
s_dims
:
use
isl_bool_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gro
s
ser
isl_union
_
m
ap
.
c:m
a
p_excludes:
us
e
isl_bool_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gr
o
s
s
e
r
isl_union_map_i
s
_s
t
rict_su
b
set: use isl_bool_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
Tobi
a
s Gr
o
sser
schedu
l
er
.
c
:
g
ra
p
h_has_edge: use isl_bool
_
not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
Tobia
s
Grosser
isl_map_is_stric
t
_
subset: use
i
sl_bool_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
T
o
bias Grosser
isl_basic_map
_
is_strict_subset: use is
l
_
bool_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
as G
r
osser
basic_map_follows: use i
s
l_bool_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
isl_se
t
_is_equa
l
: use isl_bool for local variable
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
To
b
i
a
s Grosser
shared_
o
uter: us
e
isl_bo
o
l_n
o
t
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
T
o
bias Grosser
domain_follows_at_depth: u
s
e isl_bool
_
not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
Tob
i
a
s
Grosser
basic_m
a
p_is_empty_add: use enum variable instead of
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
is_sub
s
e
t
_entry: use isl_bool_false inst
e
a
d
of int
e
ger
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
T
obias Gross
e
r
i
s
l_arg:
use n
a
med constant to identify a
r
guments without
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-23
Tobias Grosser
set -
s
td=gn
u
99 for imath-32
i
n CFLAGS
not
C
PPFL
A
GS
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-07
Tobias G
r
osser
interface: export isl_val_pow2
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-07
Tobias
Gr
o
sser
introduce isl_val
_
p
ow2 as an alternat
i
ve name for
isl_val_2exp
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-06
T
o
bias Gros
s
e
r
doc
:
dr
o
p duplicate listing
o
f isl_val_
2
e
x
p
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-06-12
To
b
i
a
s
Grosser
coal
e
sce_after_aligning
_
d
ivs:
u
se isl_bool instead
.
.
.
commit
|
commitdiff
|
tree
2018-06-12
Tobias G
r
osser
Us
e
isl_stat as ret
u
rn value
f
or isl
_
val_get
_
num_isl_int
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-06-06
Tobia
s
Gr
o
sser
isl_cell
_
f
oreach_simplex: use isl_stat ins
t
ea
d
of int
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobia
s
Gro
s
ser
isl_as
t
_
graft_free: return isl_ast_graft * instead
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
Grosser
isl_reordering_fr
e
e: return isl_re
o
rder
i
ng * instea
d
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
T
o
b
i
a
s
Grosser
isl_a
s
t
.
c:
use isl_bool enum instead of pl
a
in
integ
e
rs
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
T
o
bias Grosser
i
sl_
s
c
h
e
dule_band
.
c
:
use isl_ast_loop_
t
ype enum instea
d
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosse
r
isl_polynom
i
al
.
c: use isl_stat
e
n
um
i
n
stead of plain
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobia
s
Grosser
isl
_
constrain
t
.
c
:
us
e
isl_
s
tat enum i
n
stead
o
f p
l
ai
n
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_bound
.
c: use
i
sl_stat
e
num in
s
t
e
ad
of plain i
n
tegers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
Gr
o
sser
i
sl_aff
.
c: use isl_stat e
n
u
m
instead of pla
i
n
i
ntegers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosse
r
isl_tab
.
c:
u
s
e
i
sl
_
s
t
at en
u
m
instead of
p
l
ain integers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
To
b
ias Gr
o
sser
scheduler
.
c:
u
s
e isl_boo
l
enum inst
e
ad of plain integers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobi
a
s Grosser
coalesce
.
c: use isl_bool e
n
ums i
n
s
tead of
p
l
a
in
integers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Grosser
Ad
d
, docume
n
t
a
n
d tes
t
isl_union_set_get_set_list
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
To
b
ias Gr
o
sser
Ad
d
,
document and
test isl_uni
o
n_map_get
_
map_li
s
t
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Grosser
Expose
,
d
o
c
ument and
t
e
st isl_map_get
_
basic_ma
p
_list
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
Tobias
G
rosser
A
dd test coverage for isl_[union_]set_get_basic_set_li
s
t
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-04-23
Tobias Gro
s
ser
Add
i
sl
_
*_drop_unused_
p
arams
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-04-23
Tobias Grosser
i
s
l_basic_map_al
i
gn_par
a
ms
:
extra
c
t out isl_bas
i
c_map_check_
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-09-08
T
o
bias Grosser
p
ython: remove
r
edundant
i
s_
s
tr
i
ng_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-16
Tobias Grosser
c
pp:
add missing
license to un
i
t tests
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-14
To
b
ias Grosser
Documen
t
t
h
e isl
i
nterface design
gui
d
elines with res
p
ect
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
Tobias
Grosse
r
c
p
p/pyth
o
n: expo
r
t funct
i
ons to const
r
uct sets fro
m
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
Tobias
Gro
s
ser
cpp/python: export do
c
um
e
n
t
e
d
f
unction
s
t
o
construct
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
Tob
i
as G
r
osse
r
Complete
isl_
a
ff t
o
set interface
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-28
To
b
ias G
r
osser
Docume
n
t: compar
i
son
s
between isl_val
a
nd N
a
N al
w
ays
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-26
Tobias Gross
e
r
Adapt
c
o
s
cheduled
_
sourc
e
to ha
n
dle err
o
r c
o
nd
i
tions
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-25
To
b
ias
G
rosse
r
Handle error conditi
o
ns ret
u
rn
e
d b
y
level_b
e
fore
i
n
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-19
Tobias Grosse
r
c
p
p/pyth
o
n: export arithmeti
c
operatio
n
s on isl_pw_af
f
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-19
Tobias
G
ross
e
r
c
pp/p
y
thon: export a
r
ithmetic operat
i
ons on isl_aff
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-14
Tobias Gr
o
sser
cpp
/
pyt
h
on:
export i
s
l_sc
h
e
d
ule_constrain
t
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-25
Tob
i
as
G
ross
e
r
cpp: add
u
nit
t
ests
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Gr
o
sser
cp
p
: do not mark boolean(isl
_
bool) c
o
nst
r
uctor as
explici
t
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-17
Tob
i
a
s Grosse
r
cp
p
: expli
c
itly
manage isl_b
o
ol
re
t
urn values
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-11
To
b
ia
s
Grosser
i
sl_v
a
l_is_one should retu
r
n isl_bool_
f
alse f
o
r nan
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-05
Tob
i
as Grosser
python: ma
k
e s
t
ring parsing and re
t
urning Pyth
o
n
3
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
cpp: support me
t
hods a
n
d co
n
str
u
ctors
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
To
b
ias Grosser
cpp: generate C++ wrapper classes
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
g
enerat
o
r: add missing newl
i
ne af
t
er printing the die
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Gr
o
ss
e
r
python:
d
rop spuri
o
us space
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-03-16
Tobia
s
Grosser
let isl_point_free
r
etur
n
a NULL pointer
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
isl_basic_set_is_bou
n
ded:
r
eturn isl
_
bool
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
To
b
i
as Gro
s
ser
i
s
l_tab_cone_is_bounded: retur
n
isl_bool
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Gr
o
s
s
er
python: r
e
move re
d
un
d
ant i
s
_string_
t
ype
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-18
Tob
i
as Grosser
p
y
t
h
o
n: mark i
s
l_ast_
b
uild_*_from_*
as __isl_over
l
oad
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
T
o
b
i
as
Grosser
python: derive all classes
f
rom 'object'
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Gro
s
ser
python: ensure
Python 3 can derive method resolution
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
python: use pytho
n
3
e
xception
s
ynta
x
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-11-02
T
ob
i
as G
r
osser
Upd
a
te i
m
a
t
h to include big-endia
n
supp
o
r
t
for mpz_import
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-10-04
Tobias Grosse
r
add is
l
_union_flow_copy
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
o
b
ias Gross
e
r
add
i
sl_map_dim_min
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Grosser
p
y
thon i
n
terface: expose const
r
ucti
o
n of AST
n
ode
f
rom
.
.
.
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 and isl_ast_expr
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
pytho
n
i
n
terf
a
c
e
: automatically derive method type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gr
o
sser
python int
e
rface: only export _
_
str__
and __repr__
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
obias Gross
e
r
python
i
n
t
erface: support 'char
*
'
and 'const
c
har
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interface: e
x
tract me
t
h
o
d pr
i
nt_method_typ
e
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
rosser
python interface: add
e
xported_ prefix to MyA
S
TCo
n
s
u
mer
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
pyth
o
n interface: extr
a
c
t
method pri
n
t_m
e
thod_t
y
pes
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Grosser
python interfac
e
:
extract me
t
hod print_represe
n
tat
i
on
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
T
o
bias Grosser
Add new isl_as
t
_node_to_C_s
t
r function
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobia
s
Gross
e
r
Add new isl_as
t
_expr_to_C_str
funct
i
on
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
pyt
h
on interface
:
replace assert with explicit
a
bo
r
t
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
T
o
bias
Grosser
python interface: r
e
place assert with e
x
pl
i
cit abort
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-05-30
Tobias Grosser
Export isl_val arit
h
m
e
ti
c
and c
o
mpar
i
s
on
m
et
h
o
d
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-08-06
Tobias
G
rosser
Make pass
-
by-r
e
ference explicit b
y
using pointers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-24
Tobias G
r
oss
e
r
test_inputs/brisebarre
.
pip: use u
n
ix line ending
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-22
Tobias G
r
osser
isl_sim
p
le_hull: ch
e
ck for empty/single-disjunct map
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-21
T
o
bias G
r
osser
isl_ast_bu
i
ld_expr_from_basic_set: do not use freed
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-06-29
Tob
i
a
s Grosse
r
Remove
m
a
lloc
.
h include from sioimath file
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-29
To
b
ias Grosser
Fix ty
p
o in isl_test
.
c
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-26
T
obias Grosser
Update imath
to 23b2b1f
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-18
Tobias Grosse
r
Exp
l
o
i
t
zeros in isl_mat_product
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-02-15
Tobi
a
s Grosser
i
sl_s
e
q
_comb
i
ne: optim
i
ze for common
c
ase
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-01-23
Tob
i
as
G
ross
e
r
Fix some
ty
p
os in comments
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-17
Tobias Gr
o
ss
e
r
Avoi
d
uninitia
l
ized
memory warning
i
n valgr
i
nd w
h
en
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
T
o
b
ias Gross
e
r
M
a
rk the
compute out f
e
ature experimental
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
T
obias Grosser
i
s
l_
c
oalesce
.
c:
i
sl_ma
p
_coalesce: impr
o
ve error h
a
ndling
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
next