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_arg: use named constant to identify arguments without an offset.
2018-08-24
T
obias
G
r
osser
isl
_
a
rg: use na
m
ed constant to identify a
r
guments
w
ithout
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-07
Tobias Grosser
interface: export
isl
_
val_pow2
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-07
Tobias Grosser
i
ntrod
u
ce isl_val_pow2 as an
alterna
t
ive name for isl_val_
2
exp
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-06
T
o
b
i
as Grosser
doc
:
dro
p
d
uplicate list
i
ng of is
l
_
va
l
_
2exp
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-06-12
Tobias Grosser
coalesc
e
_after_al
i
gning_divs
:
use
i
sl
_
bool inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2018-06-12
Tobias Grosser
U
se isl_stat as
r
e
turn value
f
or isl
_
va
l
_g
e
t_num_
i
sl_int
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-06-06
To
b
ias Gros
s
er
is
l
_ce
l
l_forea
c
h_
s
implex: use
isl_stat instead of i
n
t
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias G
r
osser
isl_ast_gr
a
ft_free: return isl_ast_g
r
aft * instead
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
Grosse
r
isl_reordering_free: retu
r
n is
l
_reordering * instead
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
i
s
l_ast
.
c: use isl_bool enum instead of plain in
t
egers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
G
rosser
isl_sc
h
edule_
b
an
d
.
c: use is
l
_ast_loo
p
_type enum instead
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
T
ob
i
as Grosser
isl_polynomial
.
c: use
isl_stat enum
instead of plain
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
T
o
b
ias Grosser
isl_constraint
.
c: u
s
e isl
_
stat enum instea
d
of plain
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
Grosser
isl_bound
.
c
: use i
s
l_stat en
u
m
instead of plai
n
integers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobi
a
s
G
r
osser
i
s
l_aff
.
c: use
i
sl_
s
t
a
t enum ins
t
ead of plain integers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gross
e
r
isl
_
tab
.
c
:
use isl_stat enum instead of pl
a
in integer
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
Grosser
scheduler
.
c: us
e
isl_bool en
u
m
instead of pl
a
in intege
r
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias G
r
osser
coal
e
sce
.
c: use is
l
_
b
ool
enums instead of plain inte
g
ers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
Tobias
G
rosser
A
dd,
d
ocument and
test isl_union_set_get_set
_
l
ist
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
T
o
b
ias Gr
o
s
s
er
Add, d
o
cume
n
t and
t
e
st i
s
l_union_map_get_
m
ap_list
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
To
b
i
as Grosser
E
x
pose,
doc
u
m
ent and te
s
t
isl_ma
p
_get_basic
_
map_list
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
T
obias G
r
osser
Add t
e
st
c
o
ve
r
ag
e
for isl_[union_]set_get_basic_set_l
i
st
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-04-23
Tobi
a
s Grosser
Add isl_*_drop_unused
_
params
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-04-23
Tobia
s
Grosser
isl_basic_map_a
l
ig
n
_pa
r
ams: extract out isl_ba
s
ic_ma
p
_ch
e
ck_
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-09-08
T
o
bias Grosser
python: remove redundant
is_st
r
ing_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-16
Tob
i
a
s Gr
o
s
ser
cpp: add missi
n
g lic
e
nse to unit tests
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-14
Tobias
G
rosser
Document th
e
is
l
i
n
t
e
rface design
g
uidelines with respe
c
t
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
cpp/python: export funct
i
ons to construc
t
sets
f
ro
m
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
cp
p
/python: ex
p
ort documented functions to constr
u
ct
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
Tob
i
as G
r
o
s
ser
Compl
e
t
e
isl_aff t
o
s
et interf
a
ce
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-28
Tob
i
as Grosser
Document:
compari
s
ons between isl_v
a
l and NaN
alw
a
ys
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-26
T
o
bias Grosser
Ad
a
pt c
o
sche
d
u
led_source to handle error conditions
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-25
Tobias Grosser
Hand
l
e
e
rror conditions retur
n
ed by lev
e
l_befor
e
in
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-19
Tobia
s
Grosse
r
cpp/p
y
th
o
n: export a
r
ith
m
etic operatio
n
s o
n
isl_pw_aff
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-19
Tobias Grosse
r
cpp/python: expo
r
t
a
rithme
t
ic op
e
rations on i
s
l_aff
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-14
Tobias G
r
osser
cpp/pyth
o
n
: export isl_schedule_c
o
nstraints
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-25
T
ob
i
as Grosser
c
pp: add unit tests
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-17
T
obias Grosser
c
p
p:
do n
o
t m
a
rk boolea
n
(i
s
l_bool) constructor as expli
c
it
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-17
Tobi
a
s Grosser
cpp: explicitly m
a
nage
isl_boo
l
retu
r
n va
l
ue
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-11
Tobias Grosser
is
l
_val_
i
s_one
sho
u
ld
return isl_b
o
ol_false for nan
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-05
T
o
b
i
a
s Grosser
python:
m
ake string par
s
ing and returning Python 3
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobi
a
s
Grosser
cpp: support methods
a
nd cons
t
ructors
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tob
i
as Gros
s
e
r
c
p
p: generate
C
++ wrapper classes
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
To
b
ias G
r
o
s
ser
gener
a
tor: ad
d
mi
s
sing
n
ewlin
e
after printing t
h
e die
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobia
s
Gros
s
er
python: drop spurious space
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-03-16
Tobias Grosser
let isl_point_free return
a
NULL
p
ointer
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
isl
_
basic_set_is_bounded
:
retu
r
n isl_bool
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Gross
e
r
is
l
_tab_cone_is_bounded: retu
r
n i
s
l_bool
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
T
o
bias Grosser
python:
r
em
o
ve re
d
und
a
n
t
is_string_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-18
T
o
bias
G
r
o
sser
python: m
a
rk i
s
l_
a
st_bui
l
d
_
*
_from_* as __isl_overlo
a
d
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobias
G
rosser
pyth
o
n
:
derive
a
ll classes from '
o
bject'
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
p
y
thon:
e
nsure Pytho
n
3 can deri
v
e method re
s
olution
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
T
obias Grosse
r
pyt
h
on: us
e
p
y
thon
3 exception synta
x
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-11-02
T
obias Grosser
Update imath to include b
i
g-endian suppor
t
for mpz_i
m
p
ort
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-10-04
Tobias Grosser
a
dd is
l
_union_f
l
ow_
c
o
py
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
add i
s
l_ma
p
_dim_min
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python
interface: expos
e
co
n
struction of AST
node f
r
o
m
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s G
r
oss
e
r
p
ython int
e
rface: ex
p
o
s
e isl_ast_b
u
ild and is
l
_ast_exp
r
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
y
t
hon int
e
rface: automati
c
a
lly der
i
ve method
type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interface: o
n
l
y export _
_
st
r
__ and __r
e
pr__
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias Grosser
python
inter
f
ace: support 'char *'
a
nd 'cons
t
char
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
obias Grosser
py
t
hon in
t
e
rface: extract
m
e
thod pri
n
t_method_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interfa
c
e: add expo
r
ted_ prefix to MyAS
T
Consu
m
er
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interf
a
c
e
: extract method print_method_
t
ypes
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interf
a
c
e: e
x
trac
t
method print_re
p
rese
n
tation
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias
Grosser
Add new is
l
_ast
_
node_to_C_str function
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Add new i
s
l
_
a
st_expr_to_C_str function
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
pyth
o
n i
n
te
r
face: replace assert with explici
t
a
b
ort
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tob
i
as Grosser
python interface: rep
l
ace asser
t
with explicit
a
b
ort
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-05-30
T
o
bi
a
s Gro
s
ser
Export isl_val ari
t
hmetic
a
n
d com
p
arison method
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-08-06
Tob
i
as
G
rosser
Make p
a
ss-by
-
referen
c
e
explicit by using p
o
inters
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-24
T
o
bias G
r
osser
tes
t
_inputs/bri
s
eba
r
re
.
pip: use unix
lin
e
endings
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Gross
e
r
is
l
_si
m
ple_h
u
ll: check
f
or
e
mpty/
s
ingle
-
disjunct ma
p
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-21
Tob
i
as
Gro
s
ser
is
l
_
a
st_build_expr_from_basic_set: do not use freed
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-06-29
Tob
i
as
G
r
osser
Remove ma
l
l
oc
.
h include
from sioimath file
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-29
To
b
ias
G
rosser
F
i
x typo in isl
_
test
.
c
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Grosser
Up
d
ate imath t
o
23b
2
b1f
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-18
Tobias Gro
s
ser
Exploit zeros in i
s
l_mat_pro
d
uct
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-02-15
Tobi
a
s Gross
e
r
isl_seq_c
o
mbine
:
optim
i
z
e for
common c
a
se
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Grosser
Fix some typos in
c
o
m
me
n
ts
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-17
Tobia
s
Grosser
A
v
oid uninitial
i
zed memory w
a
rning in
valg
r
ind when
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
Tob
i
as
Gross
e
r
M
ark
t
h
e compute out feature experimenta
l
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
To
b
ias Grosse
r
i
sl_coalesce
.
c: isl_map_co
a
lesce: improve error ha
n
dling
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-12
Tobi
a
s Gross
e
r
isl_uni
o
n_
m
ap
_
allo
c
:
R
e
n
a
m
e dim to spac
e
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-11
Tobias Grosser
isl_u
n
ion_map_alloc: plug mem
o
ry leak
o
n er
r
or
path
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-10
T
o
bias Grosser
Do not dereference
a
NULL poin
t
er i
n
tab
_
for_lexmin
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
Tobia
s
Gr
o
sser
Add extern C to val_g
m
p header
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2013-12-04
Tobias
G
rosser
isl_u
n
ion_*
_
mul_i
s
l_int:
p
ass addres
s
o
f isl_int to
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2013-09-18
T
o
bias Gr
o
sser
F
i
x ty
p
o
i
n header guard
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Gros
s
er
Make sed expression in Makefil
e
com
p
a
t
ible with B
S
D
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-09-10
T
obias Grosser
fix
i
sl_union_map_
d
etect
_
e
q
uali
t
ies m
e
mory management
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-08-02
Tob
i
as Gr
o
sser
Use an
M
IT l
i
cens
e
d mergesort
as th
e
sorting
al
g
o
ri
t
h
m
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-02-19
Tob
i
as G
r
osser
scheduler:
a
l
l
o
w
t
o bound the coefficients in the calculated
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-02-19
T
obias Grosser
isl_t
a
b_basi
c
_set_n
o
n_trivial_le
x
min:
d
o not
a
dd cuts
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-01-30
To
b
ias G
r
osser
Add
isl_union_map_gist_range
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
To
b
ias Grosser
ad
d
o
ption
t
o bou
n
d the constant scheduling coeff
i
c
ie
n
t
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
Tobias
Gross
e
r
Introduce new ISL
_
CTX_(GET|SE
T
)_INT_DEF macro
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
T
obias Grosser
Fi
x
typ
o
in d
o
cument
a
t
i
on
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
Tobia
s
Grosser
Add int
e
rfa
c
e
to
s
et schedule_maximize_b
a
n
d_depth
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
next