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_ast_build_need_schedule_map: return isl_bool
2018-08-30
Tobias Grosser
i
sl_space
_
can_u
n
curry: implement with isl
_
space_range_is_wra
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
T
o
b
ias Grosser
isl_s
p
ace_
c
an_curry: implement with isl_
s
pace_domain_is_wrapping
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
Tobi
a
s Grosser
isl_space_is_wrapping: add missing comment
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
as G
r
osser
isl
_
union_map_involves_dims:
u
se isl_boo
l
_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
obi
a
s
G
r
osser
i
s
l_union
_
map
.
c:map_ex
c
lude
s
:
u
s
e
isl_bool_
n
ot
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobi
a
s Gross
e
r
i
sl_unio
n
_map
_
is_strict_subset: use
isl
_
bool_no
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
o
bias G
r
os
s
er
scheduler
.
c:graph_ha
s
_edge:
u
se isl_bo
o
l_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias
G
r
oss
e
r
i
s
l_ma
p
_is_strict_subset: us
e
isl_boo
l
_
not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
To
b
ias
G
ross
e
r
i
s
l_basic_map_i
s
_
strict_s
u
bset: us
e
isl_bool_
n
o
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias
Gros
s
e
r
basic_map_f
o
llows: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobia
s
G
rosser
isl_s
e
t_is_equa
l
: use
isl_
b
o
o
l for local variable
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gross
e
r
sha
r
ed_outer: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobia
s
Grosser
domain_follows_at_de
p
th: use isl_boo
l
_n
o
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias G
r
oss
e
r
basi
c
_map_i
s
_empty_add: use enum variable instead
o
f
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gross
e
r
is_s
u
bset_
e
n
tr
y
: use isl_bool_false instead o
f
integer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
isl_arg: use named con
s
tant to identify argumen
t
s w
i
thout
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-23
Tobias Grosser
set -std=gnu99 for imath-32 in CFLAGS no
t
C
P
PFLA
G
S
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobias
G
ros
s
e
r
i
n
t
e
r
f
ace
:
export isl_val_pow2
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tob
i
as Grosser
introduce isl_val_pow2 as
an alternative name for i
s
l_val
_
2exp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-06
To
b
ias
G
ro
s
s
er
d
o
c: drop duplic
a
te l
i
sting 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_aft
e
r_al
i
gning
_
divs: use
isl_bool
ins
t
ea
d
.
.
.
commit
|
commitdiff
|
tree
2018-06-12
Tobias
G
rosser
Use isl_stat as return valu
e
for isl_val_
g
et
_
num
_
isl_int
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-06
Tobias Grosser
isl_cell_
f
oreach_simpl
e
x:
use isl_stat instead o
f
int
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gro
s
ser
isl_ast_graft_free: return isl_ast_graft * instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
To
b
i
as Gr
o
s
ser
isl_re
o
rd
e
r
i
ng_free: r
e
turn isl_reo
r
deri
n
g * instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tob
i
a
s
Grosser
isl_ast
.
c
:
u
se
i
s
l_bool enum instead of plain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_sc
h
edule_ban
d
.
c
: use isl_a
s
t_lo
o
p_t
y
pe enum instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_polynom
i
al
.
c: use
i
sl_stat e
n
um instea
d
of plain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
T
ob
i
as Gr
o
sser
i
s
l_constraint
.
c: use isl_
s
tat enum instead of plain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosse
r
i
s
l_bound
.
c: us
e
i
sl_sta
t
enu
m
i
n
ste
a
d of
p
lain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
T
o
b
i
a
s Grosser
is
l
_aff
.
c:
use isl_s
t
at enum ins
t
ead of plain
i
ntegers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
To
b
ias Grosser
isl_tab
.
c:
use isl_stat enum in
s
tead of pla
i
n integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
sched
u
ler
.
c
: use isl_bool enum in
s
t
e
ad of pl
a
in integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gross
e
r
coalesce
.
c: use isl_boo
l
e
n
ums inst
e
ad of
p
l
a
in integer
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
To
b
ias Grosser
Add, document an
d
test isl_uni
o
n
_
set_get
_
se
t
_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias
Grosser
Add
,
d
ocument a
n
d
tes
t
isl_u
n
ion_map_get_map_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tob
i
as Gross
e
r
Expose
,
document
a
nd test i
s
l_map_get_basic_map_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tob
i
as Gro
s
ser
Add tes
t
coverage for i
s
l_[u
n
ion_]se
t
_get_
b
a
sic_set_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
T
o
bia
s
Grosser
A
dd isl_*_dr
o
p_unused_params
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
T
obias
Gr
o
sser
isl_basic_map_alig
n
_
params: extract out isl_
b
asic_map_ch
e
ck_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-09-08
Tobi
a
s Gross
e
r
python: remove redundant is_s
t
ring
_
type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-16
Tob
i
as Gross
e
r
cpp:
a
d
d
mi
s
sing
license to unit
t
e
s
ts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-14
Tobias Gros
s
er
Docume
n
t the isl i
n
terfac
e
design guidelines with resp
e
c
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
To
b
ias
G
ro
s
s
er
cpp
/
python: export f
u
nc
t
io
n
s to construct sets
from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
cpp/python: exp
o
rt documente
d
functions to construct
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
Compl
e
te i
s
l
_aff to set interface
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
T
o
b
i
a
s Grosse
r
Document: comparisons between isl_val
a
n
d NaN always
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
T
o
bias
G
rosser
Adap
t
coscheduled_source to handle error c
o
n
d
i
t
ions
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
Tobi
a
s
G
rosser
Han
d
l
e error conditions returned by level_
b
efore in
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobias Gros
s
er
cpp/python:
export
a
r
i
thmet
i
c opera
t
i
o
ns
o
n
isl_
p
w_aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobias Gross
e
r
c
pp/pytho
n
: export ar
i
thmetic oper
a
tion
s
on
i
sl_aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
Tob
i
as Gro
s
ser
c
pp/pyth
o
n
:
exp
o
r
t
isl_sc
h
e
dule_
c
onstraints
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
T
o
bias G
r
osser
cpp: add unit tes
t
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobias
Grosser
cpp:
d
o not mark boolean(isl_bool) constru
c
tor as explici
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobi
a
s Grosser
c
p
p: explicitly manage isl_bool return va
l
ues
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
Tobias Grosser
isl_val_is_
o
n
e
s
hou
l
d
r
et
u
rn isl_b
o
ol_false
f
or
nan
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
To
b
ias Gr
o
sser
python: m
a
ke string pars
i
ng and return
i
ng Python
3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Gr
o
sser
cpp
:
s
u
ppo
r
t methods and constructor
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
o
bias Gro
s
ser
cp
p
: generate C
+
+ wrap
p
er cla
s
ses
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias
G
r
o
sser
g
enerator:
a
d
d missi
n
g
newli
n
e after pri
n
ting the die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
obias G
r
osser
python: drop spurious space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
Tobias Gr
o
s
ser
l
e
t
isl_point_free return a NULL
p
o
i
n
t
e
r
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
To
b
i
as Grosser
i
s
l_ba
s
ic_s
e
t_i
s
_
b
ounded
:
retur
n
isl_boo
l
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Gros
s
er
isl_tab_cone_is_bou
n
ded: retu
r
n i
s
l
_b
o
ol
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
py
t
hon: remove redund
a
nt is_string_ty
p
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tobias Grosser
py
t
hon: mark isl_ast_build_*_from_* as
_
_isl_overload
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
py
t
hon:
d
e
r
ive a
l
l classes from 'obje
c
t'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobi
a
s
Gross
e
r
py
t
hon: e
n
sure
Python 3
c
an
d
erive method resol
u
ti
o
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
py
t
hon: u
s
e
pyth
o
n 3 e
x
ception synta
x
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
Tob
i
as Gr
o
sser
Updat
e
imath to include big-end
i
an
s
upport fo
r
mpz_i
m
port
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
Tobias Grosser
add isl
_
union_flow
_
copy
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
add i
s
l_map_di
m
_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gr
o
sser
p
y
t
h
o
n
i
nterface:
e
x
p
o
se constructi
o
n of AST node fro
m
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Grosse
r
pyt
h
on i
n
terface:
e
x
pose is
l
_ast_build an
d
isl_a
s
t
_
expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
ro
s
s
e
r
python interface:
a
utomatically derive method type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
T
obias Grosser
pytho
n
interfa
c
e
:
onl
y
export __str__ and __repr__
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias
G
rosser
pyth
o
n inter
f
ace: support '
c
har *' a
n
d
'const char
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
osser
python interface
:
extract meth
o
d print_method_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
ython interf
a
ce: a
d
d
exported_ pref
i
x t
o
M
y
ASTC
o
nsu
m
er
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gros
s
er
py
t
hon in
t
erface: ext
r
act method print_met
h
od_types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
ro
s
ser
p
y
thon in
t
erfac
e
:
extract
meth
o
d print
_
rep
r
esent
a
t
i
on
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Ad
d
new isl_ast
_
node_to_C
_
str f
u
n
c
t
i
on
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
To
b
i
as Grosser
Add
n
e
w
isl
_
ast_ex
p
r_to_
C
_str function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
T
o
bias G
r
osser
p
y
thon i
n
terface: replace asser
t
with
e
xpl
i
cit abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ias G
r
osser
p
y
thon i
n
t
e
rface: replace as
s
ert
wit
h
e
xplicit
a
bort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tob
i
as Gr
o
sser
E
xport isl_val
ari
t
hmeti
c
and
comparison methods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobi
a
s Grosser
M
ake pass-by-
r
eference explicit by usi
n
g pointers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
Tobias G
r
osser
test_inpu
t
s
/b
r
isebarre
.
pip: use unix line endings
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Gros
s
er
is
l
_si
m
ple
_
hull: check for empty/single
-
d
isjunct
m
a
p
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias
G
rosser
i
s
l_ast_
b
uil
d
_expr_from_basic_set
:
do not us
e
freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
Tobias
G
rosser
Remove malloc
.
h include from
s
i
oima
t
h file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tob
i
a
s Grosser
Fix typo in
isl_t
e
st
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Grosser
U
pdat
e
imath to 23b
2
b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobias Grosse
r
E
xploit
z
eros i
n
isl_mat_pr
o
d
uct
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
T
obias Gro
s
s
e
r
isl_seq_comb
i
ne: optim
i
ze fo
r
common ca
s
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Gr
o
sse
r
Fix some typos in c
o
mments
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
To
b
ias Gross
e
r
Avoid uninitialized memory warning in
valgr
i
n
d when
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Gr
o
sser
Ma
r
k the compute o
u
t fea
t
ure experimental
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
i
sl_coale
s
ce
.
c: is
l
_map_coalesce: improve error
h
andling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tobias G
r
os
s
er
isl_union_m
a
p_alloc: R
e
name dim to space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
next