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
add isl_basic_set_from_multi_aff
2018-06-12
Tobias
Grosser
co
a
les
c
e_afte
r
_
align
i
ng_divs: use isl_bool instead
.
.
.
commit
|
commitdiff
|
tree
2018-06-12
Tobi
a
s
Grosse
r
Use
is
l
_sta
t
as re
t
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
Tobias Gr
o
sser
isl
_
cell_foreach_simp
l
ex: use isl
_
s
tat instead o
f
int
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
i
s
l_
a
st_graft_free: return isl_
a
st_graft * instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias G
r
os
s
er
isl_reordering_free: return
i
s
l_reordering * i
n
s
te
a
d
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
T
o
b
i
as G
r
osser
isl_as
t
.
c: use is
l
_bo
o
l enum ins
t
ead of plain intege
r
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobi
a
s G
r
osser
isl_schedule_band
.
c
: use is
l
_a
s
t
_loop_ty
p
e e
n
um ins
t
ead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobia
s
Grosser
isl_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
Tobias Gro
s
ser
isl
_
co
n
straint
.
c: use isl_stat enu
m
ins
t
ea
d
o
f
plain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_bound
.
c:
u
se isl_stat enum inste
a
d of pl
a
i
n
integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_af
f
.
c: use
i
s
l
_stat enum inst
e
ad of p
l
ain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
i
s
l_ta
b
.
c: use isl_stat
e
nu
m
inst
e
a
d of plain i
n
teger
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
s
c
hedu
l
e
r
.
c:
u
se i
s
l_
b
ool enum instead
o
f plain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
Grosser
coalesce
.
c: use isl_bool enums instead of plain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
T
obias
G
ross
e
r
Add, document a
n
d test isl_union_set_get_set_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobi
a
s Gro
s
s
er
Add, d
o
c
u
me
n
t and test isl_union_map_
g
e
t_map_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
T
obias G
r
osser
Expose, doc
u
ment and test
isl_ma
p
_get_basic_map_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tob
i
a
s
Grosser
A
d
d
test coverage for
isl_[union_]s
e
t_g
e
t_ba
s
ic_set_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobia
s
Grosser
Add isl_
*
_drop_
u
n
used_par
a
m
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
T
o
b
i
as Grosse
r
is
l
_b
a
sic_
m
ap_align_params: ext
r
act o
u
t i
s
l_basic_map_chec
k
_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-09-08
Tobias Grosser
p
ytho
n
:
remove redundant is
_
string_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-16
Tobi
a
s
G
rosser
cp
p
: add m
i
s
s
ing license
to unit t
e
sts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-14
T
o
b
i
a
s
Grosser
Docum
e
nt the isl i
n
terface design guidelines with
r
e
s
pect
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
cpp/p
y
thon: export
f
u
nctions to con
s
truct
sets
from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
To
b
i
a
s Gro
s
ser
cpp/py
t
hon: expor
t
do
c
umente
d
func
t
io
n
s to
construct
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
T
o
b
i
as Grosser
Complete
i
sl_aff to
set inte
r
face
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
Tobias Grosser
Doc
u
me
n
t: compar
i
son
s
between isl_val and NaN always
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
Tobias Grosser
Adapt cos
c
heduled_
s
ource to handle
e
rro
r
c
o
ndit
i
ons
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
Tobias
G
ros
s
er
Handle err
o
r condition
s
retur
n
ed by lev
e
l_before in
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
T
o
bias Gr
o
sser
cpp/
p
ython: export
a
rith
m
e
t
ic operations on is
l
_
pw_aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobias Gros
s
er
cpp/pyt
h
o
n:
export
a
rithm
e
tic operations on is
l
_
aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
Tobias Gros
s
er
c
p
p/python: ex
p
ort isl_schedule_constra
i
n
ts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
Tobias Grosser
c
pp: add unit test
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Grosser
cpp: do
not mark boolean(isl_bool) constructor
a
s explicit
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Grosse
r
c
p
p: explic
i
tly man
a
ge isl_boo
l
r
etur
n
values
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
Tobias Grosser
isl_val_is_one
sh
o
uld return
i
s
l_bool_false for n
a
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
Tobias G
r
osser
p
y
thon: make string parsi
n
g
a
nd re
t
urnin
g
Python 3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobia
s
Grosser
cpp
:
support methods and constructors
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobi
a
s
Gros
s
er
c
pp: ge
n
er
a
te C++ wrap
p
er c
l
a
s
se
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Gros
s
er
generator: a
d
d
missing new
l
ine afte
r
p
r
inting the die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias
G
ros
s
er
p
y
t
hon
:
dro
p
s
pur
i
ous
s
p
a
ce
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
Tobias Grosser
let i
s
l_point_f
r
ee
r
eturn a NULL pointer
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
isl_basic_set
_
is_bo
u
nded: re
t
urn isl_boo
l
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias
G
rosser
isl_tab_
c
one_is_bounded:
return i
s
l_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
T
o
bi
a
s Grosse
r
p
ython: remov
e
r
edun
d
ant is_strin
g
_
t
ype
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tobias Gross
e
r
python:
mark isl_
a
st
_
build_*_from_* as
_
_
is
l
_overload
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
T
obias Grosser
python: der
i
ve all c
l
asses
f
ro
m
'
o
bject'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Gros
s
er
python: en
s
u
r
e Python 3 can derive meth
o
d reso
l
uti
o
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
python: use
p
y
t
h
o
n
3
exceptio
n
synt
a
x
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
Tobias Grosser
Update
imath to include big-endian support for mpz_i
m
port
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
Tobi
a
s Grosser
add isl_union_
f
low_copy
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias
G
r
o
sser
add isl_map_
d
im
_
min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Grosser
pytho
n
interface: expos
e
co
n
s
t
ruc
t
ion of AST
node
f
rom
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Grosser
python interface: expose
i
sl
_
ast_bu
i
ld and is
l
_ast
_
expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias Grosser
p
ython interfa
c
e:
a
utomatically derive me
t
hod type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gros
s
er
python interf
a
ce: o
n
l
y exp
o
rt __str__ a
n
d __repr__
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ia
s
Grosser
pyth
o
n inter
f
ace: supp
o
rt
'
char
*
'
and 'c
o
nst c
h
ar
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Gro
s
ser
python interface: extract metho
d
print_method_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python i
n
t
erface: add
exp
o
rted_
p
refix to MyASTConsumer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Grosser
py
t
hon
in
t
e
rfac
e
: e
x
trac
t
method print
_
met
h
od_types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
y
thon
interface: extract method print_r
e
presentati
o
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias
G
r
o
sser
Add
n
ew
i
sl_ast_node_to_
C
_str
function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gr
o
s
s
er
Add new isl_ast_ex
p
r_to_C_st
r
function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias
G
rosser
pyt
h
o
n int
e
rface: replace asser
t
wit
h
explici
t
a
b
ort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
py
t
ho
n
interface: repla
c
e assert with explicit abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tobias Grosser
Export
isl
_
va
l
arithmetic
and
comparison methods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobias Grosser
M
a
ke
p
as
s
-by-referenc
e
explicit by using poi
n
ters
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
T
obias Grosser
test_inputs/bris
e
barre
.
p
ip: us
e
unix
line endin
g
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Grosser
is
l
_simple_hull: check for
empty/s
i
ngle-disjunct
m
a
p
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias
G
r
o
sser
isl_as
t
_bu
i
ld
_
expr_from_basic_set: do
not use free
d
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
Tobias
Grosser
Rem
o
ve malloc
.
h include from sioi
m
ath file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
T
o
bias Grosser
Fix ty
p
o
in
i
sl_test
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Grosser
Updat
e
imath to
2
3b2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobi
a
s
Grosser
Exploit zeros i
n
isl
_
mat_
p
roduct
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tobia
s
Grosse
r
isl_seq_
c
ombine: o
p
tim
i
ze for common case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobias
G
rosser
F
i
x some
t
y
po
s
in comm
e
nts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
To
b
ias G
r
osser
A
v
oid uninitialized me
m
ory warn
i
ng 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
a
rk the comp
u
te out feature experimental
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
isl_coal
e
sce
.
c: is
l
_map
_
coales
c
e: impr
o
ve
error
handling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tobias
G
rosser
isl_union_map_allo
c
: Rename dim to spa
c
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
Tobias G
r
osser
i
sl_uni
o
n_ma
p
_alloc: plug memor
y
leak
on
e
rror path
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Grosser
Do not dereference a NULL
p
oin
t
er in ta
b
_for_le
x
min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobi
a
s Grosser
Fix typo
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-09
Tobias Grosser
Add
extern C to val_
g
m
p head
e
r
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
Tobia
s
G
r
o
sser
isl_union_*_mul_isl_int: pass ad
d
ress of isl_int to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
Tobias Grosser
Fix
typo in header g
u
ard
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Grosse
r
Make sed
expression
i
n Makefil
e
comp
a
tible with BSD
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
Tobias Grosser
fix isl_un
i
on_map_detect_eq
u
aliti
e
s memor
y
manag
e
ment
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
Tobias Gro
s
s
er
Use a
n
MIT licensed m
e
rges
o
rt as the sor
t
ing algorithm
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobia
s
Grosse
r
s
c
heduler:
a
llow t
o
bound the coeff
i
cien
t
s in
the calcul
a
ted
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
To
b
ias G
r
o
sser
isl_tab_bas
i
c_se
t
_
n
on_trivial_lexmin
:
d
o n
o
t add cuts
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-01-30
To
b
i
as Grosser
Add isl_union_map_gist_range
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
T
o
b
i
a
s
G
r
osser
add option to
b
ound t
h
e constant sc
h
edul
i
ng
c
oefficients
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobi
a
s Grosser
Introduc
e
new ISL_CTX_(GET|SET)_INT_DEF
mac
r
o
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
Fix typo in documentatio
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Gros
s
er
A
dd interface t
o
s
e
t schedule_maximize_b
a
nd_dept
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
T
o
bias Grosse
r
I
ntroduce optio
n
'on_error
'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Gr
o
sser
Improv
e
message when
ctx is
f
r
eed,
but st
i
ll refe
r
e
n
c
ed
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-02
Tobias Grosser
a
dd isl_lo
c
a
l
_space_range
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
T
o
bias G
r
o
s
se
r
Ena
b
le -Wall if com
p
i
li
n
g w
i
t
h clang
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
next