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_*_pw_plain_is_equal: use isl_bool_ok
2018-05-30
Tobias Gros
s
er
isl_ast
.
c: use
i
sl_bo
o
l enum instead of plain inte
g
ers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobia
s
Grosser
isl_schedule_ba
n
d
.
c
: use isl_a
s
t_loop_type
enum instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobi
a
s G
r
osser
isl_polynomial
.
c: use isl_sta
t
enum instea
d
of p
l
ain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobi
a
s Gro
s
ser
isl_constra
i
nt
.
c:
use
isl_stat
e
num
i
nst
e
ad of plai
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_bound
.
c: use is
l
_stat en
u
m instead
of plain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
T
obia
s
G
r
o
s
ser
i
s
l
_aff
.
c:
use
i
sl_stat enum instead of plain
i
n
tegers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tob
i
as
G
rosse
r
isl_tab
.
c
:
use is
l
_stat enum instead of plain i
n
t
eg
e
rs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobi
a
s Gross
e
r
schedu
l
er
.
c:
use
i
sl_bool enu
m
instead of plain integ
e
rs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gross
e
r
coalesce
.
c: use is
l
_bool enums instead of p
l
a
i
n integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Gross
e
r
Add, docu
m
ent and test isl_union_set_get_set_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Grosser
Add, docume
n
t and te
s
t
isl
_
u
nion_map_ge
t
_m
a
p_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
To
b
i
a
s
Grosser
Expose,
d
ocument and test isl_map_get_basic_ma
p
_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Grosser
Add
test
c
o
verage
f
o
r isl_[uni
o
n_]set
_
ge
t
_
b
asic
_
se
t
_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobi
a
s Gr
o
sser
A
dd is
l
_*_dr
o
p_
u
nused_p
a
rams
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobias
G
rosser
i
s
l
_
basi
c
_map_
a
lign_params: ex
t
ract out isl_basic_map_check
_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-09-08
Tob
i
as Gro
s
ser
python: re
m
ove redundant is_str
i
ng_ty
p
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-16
Tobi
a
s Gros
s
er
c
pp:
a
d
d
mi
s
sing l
i
cense to unit t
e
s
t
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-14
Tobias Grosser
Document the isl inter
f
ace d
e
s
i
gn guidelines
w
ith
respe
c
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
cpp/
p
ython
:
export functions to construct
sets from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
cpp/
p
yth
o
n:
e
xport
d
ocu
m
ented functions t
o
construct
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tob
i
as G
r
osser
Comple
t
e isl_aff to set interface
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
T
o
b
i
as G
r
osser
Docu
m
ent: comparisons betwe
e
n isl_v
a
l and
N
aN alw
a
ys
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
T
o
b
ias
G
rosser
A
d
apt c
o
sch
e
duled_
s
o
ur
c
e to
handle
error condi
t
ions
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
Tobias G
r
osser
Handle error co
n
dition
s
returned by le
v
e
l
_before in
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobias
Gro
s
ser
cpp/p
y
thon: export arith
m
etic operati
o
ns on isl_pw_af
f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobias
Grosse
r
cp
p
/python: export
a
ri
t
hmet
i
c op
e
rations on isl
_
aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
Tobias Grosse
r
cpp/python:
export isl_schedule_co
n
strain
t
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
Tobi
a
s Grosser
cpp: add
u
nit
t
ests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
To
b
i
a
s
Grosser
cpp: do
n
o
t mark boolea
n
(isl_bool) cons
t
ructo
r
a
s
exp
l
icit
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
T
o
b
ias Grosser
cp
p
: explic
i
tly manag
e
isl_bool return values
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
Tobias Grosser
isl_val_is_one should
retur
n
is
l
_bo
o
l_false for nan
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
T
o
bias
G
r
osser
python: make str
i
ng parsing and ret
u
rning Python 3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
o
bias Grosser
cpp: supp
o
rt
m
e
t
hods and c
o
nstr
u
ctor
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
obias Grosser
cpp: generate C
+
+ wrapper classes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Gros
s
er
generator
:
add missi
n
g newline after printing the die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias
Gross
e
r
python
:
drop spuriou
s
s
pace
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
Tobias Grosse
r
l
et isl_poin
t
_free return a NULL
p
ointer
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
i
sl_basic_set
_
is_bound
e
d: return isl_boo
l
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias
Grosser
isl_tab_c
o
ne_is_boun
d
ed: return isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
pyth
o
n: remove redundant is_st
r
i
n
g
_
type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tobi
a
s
Gro
s
se
r
p
y
t
hon: mark isl_ast_
b
uild_*_fr
o
m_* as __isl_overl
o
a
d
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
T
o
b
i
as
G
r
o
ss
e
r
python: derive all c
l
a
s
ses from 'objec
t
'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobi
a
s Grosser
python: ensure Py
t
hon 3 can derive method reso
l
ution
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
python: use python 3 ex
c
ept
i
on
s
ynta
x
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
Tobias Grosser
Upd
a
te 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
Tobias Grosser
ad
d
isl_union_f
l
ow_copy
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Grosser
a
d
d isl_map_d
i
m_
m
i
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bi
a
s
G
r
osser
python interfa
c
e
:
expose construc
t
ion of AST node
from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s Grosser
p
ython interfac
e
:
expose
i
sl_ast_build and isl_ast_exp
r
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
b
ias Gros
s
er
python
i
n
ter
f
a
c
e: au
t
oma
t
ically derive method type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
T
o
bi
a
s Grosser
python inter
f
ace: on
l
y export __st
r
_
_
a
nd __re
p
r__
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s Grosser
python in
t
erfa
c
e: support
'
char *' an
d
'
c
o
n
s
t
char
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Gro
s
ser
python interface: extract me
t
hod prin
t
_method_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias
G
r
o
ss
e
r
pytho
n
interfac
e
: add exp
o
r
ted_ prefi
x
to MyA
S
TCons
u
mer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Grosser
python interfa
c
e: extract method
p
r
int_method_types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
osser
pyth
o
n
interface: ext
r
act
m
ethod pri
n
t_repre
s
e
n
t
atio
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobia
s
Grosser
Add new isl_ast_
n
od
e
_to
_
C_str func
t
ion
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
T
o
bias Gross
e
r
A
d
d
new
isl_ast_expr
_
to_
C
_str fu
n
ction
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
T
o
bias Grosse
r
pyth
o
n inter
f
ace:
r
eplace
assert
with
explici
t
abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
py
t
hon interfa
c
e: repl
a
c
e
assert wit
h
explicit abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tobi
a
s Grosser
Export isl_val arithmetic and
c
o
m
p
a
rison me
t
hods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobias G
r
os
s
e
r
Make pa
s
s-by-refer
e
nc
e
explic
i
t by u
s
ing pointers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
T
o
b
i
as Grosser
test_i
n
puts/brisebarre
.
pip: use unix line endi
n
gs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Grosser
isl_sim
p
l
e
_hull: check for
e
m
pty
/
s
ingle-disjun
c
t map
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobia
s
G
r
o
s
se
r
isl_as
t
_
b
uild_expr_from_b
a
sic_set: d
o
not
use freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
Tobias Grosser
Remove malloc
.
h include from sio
i
m
ath file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tobias G
r
osser
Fix typo in isl_test
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobias
Grosser
Update
i
math
to
2
3b2b
1
f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobias Grosser
E
xploit zeros in isl_ma
t
_product
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
T
obia
s
Grosser
isl_se
q
_co
m
b
i
ne: optimi
z
e for commo
n
case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Gr
o
sser
Fix so
m
e typos in co
m
ment
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tobias
G
r
osser
Avoid uninitialized memory warning in
v
algrind when
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobia
s
Grosser
Mark
the compute out feature expe
r
im
e
n
t
al
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Gross
e
r
i
s
l
_coalesce
.
c: isl_map_
c
oalesce: improve err
o
r handling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tobias Grosse
r
isl
_
uni
o
n_map_alloc:
Rename dim to sp
a
ce
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
T
o
bi
a
s Gross
e
r
i
s
l_union_map_
a
l
lo
c
:
p
l
u
g
memory leak on
e
rro
r
pa
t
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias
Grosser
Do no
t
dereferen
c
e
a NU
L
L poi
n
ter
in
t
ab_
f
or_le
x
min
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
Tobias Gros
s
er
Add exte
r
n
C
to val_gmp header
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
Tobias
Gro
s
se
r
i
s
l_
u
nion
_
*_
m
ul_isl_int: pass
address of i
s
l_int to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
Tobias Grosse
r
Fix typo in header guard
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Grosser
M
ak
e
se
d
exp
r
e
s
sion in Makefile
c
omp
a
tible with
B
SD
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
Tobias Gr
o
sser
fix isl_un
i
on_map_dete
c
t_equali
t
ies
m
emory management
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
Tobias Grosse
r
Use an MIT li
c
ens
e
d mergeso
r
t
a
s th
e
sorting
algorit
h
m
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Grosse
r
scheduler: allow to bound the
c
o
e
fficie
n
ts in t
h
e calculated
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tob
i
a
s
Grosser
isl_tab_ba
s
ic_set_non_trivial_lexmi
n
: do
n
ot a
d
d cuts
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-01-30
Tobi
a
s Gr
o
sse
r
Add
i
sl_union_map_gist
_
range
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
add option
t
o
b
ou
n
d
the constant s
c
hedu
l
ing c
o
efficients
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tob
i
as Grosser
Intro
d
u
c
e new ISL_CTX_(GET|SET)_IN
T
_DEF macro
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobia
s
Gro
s
s
er
F
i
x typo i
n
document
a
tion
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
A
d
d in
t
e
rface
t
o
s
e
t sched
u
le_maximize_b
a
nd_de
p
th
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobi
a
s Grosser
Introduce optio
n
'on
_
er
r
or'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobias
G
rosser
I
m
p
r
ove messa
g
e when ctx is freed
,
but st
i
ll ref
e
r
e
n
ced
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-02
T
o
bia
s
G
r
osser
a
dd isl_local_space_range
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
To
b
ias Grosser
Ena
b
le -Wall i
f
compiling
w
ith clang
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias
G
rosser
U
p
date ax_compiler_
v
endor
.
m4
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobia
s
Grosser
Chec
k
the
c
tx argument of the memory
m
a
cros
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosser
Fix typo in
c
om
m
en
t
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobias Grosser
Remove us
e
of PAT
H
_
MAX
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
T
o
bias
G
rosser
Fix <string
s
.
h>
i
n
c
ludes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
next