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_set_is_equal: use isl_bool for local variable
2018-08-24
Tobi
a
s Gross
e
r
isl_set_is_equal: use isl_boo
l
for lo
c
al variable
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
s
hared_o
u
ter: use i
s
l_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobia
s
G
rosser
doma
i
n_f
o
l
lows_at_
d
epth: use is
l
_boo
l
_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gr
o
sser
basic_map_is_e
m
pty_add:
use en
u
m v
a
r
i
a
b
le ins
t
ead
of
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias
G
rosser
is_subset_entry: use
i
sl_b
o
ol
_
fal
s
e instea
d
o
f integer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tob
i
as Grosser
isl_arg:
use name
d
co
n
stant to identify arguments
wi
t
hout
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobias Gross
e
r
i
n
t
e
rface: export isl_val_pow2
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobias Grosser
introduce isl_val_p
o
w2 as an alt
e
r
native name
for isl_val_2exp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-06
Tobias Grosser
do
c
: drop dup
l
icate listin
g
of isl_val_2e
x
p
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-12
Tobias Grosser
coalesce_after_
a
ligning
_
divs: use isl_bool i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2018-06-12
Tob
i
as Grosser
Use isl_stat as retu
r
n value for isl_val_get_num_i
s
l_int
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-06
To
b
ias
G
rosser
isl_c
e
ll_foreach_s
i
mplex: use isl
_
stat
inst
e
a
d of int
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobia
s
Gr
o
sser
isl_a
s
t_
g
raft_free: return is
l
_ast_graft
*
instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gross
e
r
isl_r
e
o
r
d
ering_free: return
i
sl_reorderi
n
g
*
i
n
s
tead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
T
obi
a
s Gross
e
r
isl_
a
s
t
.
c:
u
se isl_bool
enum instead of plain integ
e
rs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gros
s
er
isl_
s
c
h
edule_band
.
c:
u
s
e
isl_ast_lo
o
p_type e
n
um i
n
s
t
ead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosse
r
isl_polynomi
a
l
.
c
:
use isl_stat enum inst
e
ad of plain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
G
rosse
r
isl_
c
on
s
traint
.
c: use is
l
_stat enum
instead of plain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_
b
o
u
nd
.
c:
u
se
i
sl_stat
e
nu
m
i
nstead of p
l
a
i
n
int
e
ger
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
To
b
ias Gros
s
er
is
l
_aff
.
c
: use is
l
_stat
e
n
um instead
of
plain integ
e
rs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gro
s
ser
i
sl
_
tab
.
c: us
e
isl_stat enum instead of plain
i
nte
g
ers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
scheduler
.
c:
u
s
e isl_
b
ool enum instead
o
f pl
a
in int
e
gers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gr
o
sser
c
o
ale
s
ce
.
c
:
use is
l
_bool enums
i
n
s
tead
of plain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias G
r
os
s
er
Add
,
document a
n
d
test isl_union_set_get_se
t
_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Gros
s
er
A
d
d, documen
t
and test
i
sl_union_m
a
p_get_map_l
i
st
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Gro
s
s
e
r
Expose, document a
n
d test
isl_map_get_basic_map_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Gr
o
sser
Add test c
o
verage for isl_[union_]set_get_basic_set_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobias Grosser
Add isl_*_drop_un
u
se
d
_par
a
ms
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobias Grosser
i
sl_basic_ma
p
_align_params: ex
t
ra
c
t out isl_b
a
sic_map_check_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-09-08
Tobias
Grosser
python: re
m
o
v
e redundant is
_
string_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-16
Tobias Gros
s
er
cpp: add mis
s
ing license to unit tests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-14
T
o
bias Grosser
Document t
h
e isl int
e
rface design guidelines with res
p
ect
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias
G
rosser
cpp/pytho
n
: export
f
unctions to constr
u
ct sets from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
cpp/python:
e
xport documented fun
c
tions to cons
t
ruct
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias G
r
osser
Com
p
le
t
e i
s
l_aff to set interface
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
Tobias Grosser
Docu
m
e
n
t: co
m
parisons be
t
ween isl_val and NaN
a
l
ways
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
Tobias Grosser
Adap
t
c
o
s
chedule
d
_source to
h
andle error condit
i
ons
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
T
obias Grosser
Handle error c
o
n
d
ition
s
r
e
t
urne
d
by leve
l
_befor
e
in
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobias
Grosse
r
cpp
/
python
:
exp
o
rt arithmetic
opera
t
ions on isl_pw_aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
To
b
ias Grosser
cpp/python: export arithme
t
ic opera
t
ions
on isl
_
a
f
f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
Tobias Grosse
r
cpp
/
python: export isl_schedule_co
n
straints
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
Tobias Gros
s
er
cpp: add unit tests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Gros
s
er
cpp:
d
o
not mark boolean(isl
_
boo
l
)
c
onstru
c
tor as explicit
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Grosser
c
p
p
:
explicitly manage is
l
_bool return values
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
Tobias
G
ross
e
r
isl_val_is_one should ret
u
r
n
isl_bool_fa
l
se for nan
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
T
o
b
ias Grosser
pyt
h
on: make
s
tring
p
arsin
g
an
d
ret
u
rn
i
ng Pyt
h
on 3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias
G
rosser
cpp: sup
p
ort methods
and constructors
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
obias
Grosser
cpp: ge
n
erate C++ wrapper clas
s
e
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
obias
G
rosse
r
generator: add mi
s
sing ne
w
li
n
e af
t
er printing the di
e
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias
G
r
osser
p
y
thon: drop spurious
s
pace
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
Tob
i
as Grosser
let isl_po
i
nt_free
r
eturn a NULL pointer
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Gro
s
ser
isl_b
a
sic_
s
et_
i
s_bound
e
d: return isl
_
bo
o
l
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
isl_
t
ab_cone_is_bound
e
d: retu
r
n
isl_b
o
ol
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobia
s
Grosser
pytho
n
: remov
e
r
e
dundant
is_string_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tobias Grosser
python: mark i
s
l_ast_
b
uild_
*
_from_* as __isl_overload
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias
G
r
osser
python: derive all classes from
'
obj
e
ct'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
python: ens
u
r
e
Pyt
h
on 3 c
a
n derive method r
e
so
l
ution
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Gros
s
er
pyth
o
n: use py
t
ho
n
3 exce
p
tion synt
a
x
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
To
b
ia
s
Grosser
Update i
m
at
h
to include b
i
g-endian s
u
pport
for
mpz_import
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
Tobias Grosser
add isl_union
_
flow_
c
opy
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s
Grosser
add isl
_
ma
p
_dim_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
python interfa
c
e: expose construction of AST node
f
r
om
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gr
o
ss
e
r
python inter
f
ace: e
x
p
o
se
i
sl_ast_build a
n
d
i
sl_a
s
t_expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
osser
p
y
thon i
n
terface: automat
i
cally der
i
ve m
e
thod t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias
Gro
s
s
e
r
python interface: only export _
_
str__
a
nd __rep
r
_
_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obias
G
rosser
python interface: support 'char *' and 'const c
h
ar
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
y
thon interface:
e
xtract method print_metho
d
_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Grosser
python interfa
c
e: add expor
t
e
d
_ prefix to MyA
S
T
Consumer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
b
ias Gross
e
r
p
y
th
o
n interface
:
extract method
pr
i
nt_method_types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
osser
p
y
t
h
on
i
nterface: extract method prin
t
_
representation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ias Gross
e
r
Add ne
w
i
s
l_
a
st_node_to_C_str function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tob
i
as Gross
e
r
Add
n
ew isl_
a
st_e
x
pr_t
o
_
C_str function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gr
o
sser
pyth
o
n int
e
rface:
replace
assert
with explici
t
abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gro
s
ser
python in
t
erface: replace assert with explicit ab
o
rt
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tobias Gros
s
e
r
Export
isl_
v
a
l
a
r
ithmetic and
c
o
m
parison
m
ethods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobi
a
s
G
rosser
Make pass-by-referen
c
e
e
xplicit
by using pointers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
Tobi
a
s Gros
s
er
test
_
inputs/brisebarre
.
p
ip: u
s
e unix line endings
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias G
r
o
s
se
r
is
l
_
s
impl
e
_h
u
l
l
: check for
e
mpt
y
/si
n
gle
-
d
isjunct map
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias
G
rosser
isl_as
t
_b
u
i
l
d_exp
r
_from_basic_set
:
do not use f
r
eed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
Tobias Gro
s
se
r
Remove mallo
c
.
h includ
e
from si
o
imath file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tobias G
r
osser
F
i
x typo
in isl_test
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Gros
s
er
U
pdate imath to
2
3b2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobias Grosser
Explo
i
t zero
s
i
n
isl_mat_pro
d
uct
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tobia
s
Grosser
isl_seq_combine: optim
i
ze
f
or common
c
ase
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobia
s
Grosser
F
ix some typos in comm
e
nts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tobias Gr
o
sser
Avoi
d
u
n
i
nitia
l
ized m
e
mory warni
n
g
i
n
valgrind when
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
To
b
ias Grosse
r
Mark the comput
e
out
f
e
atu
r
e experimen
t
al
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
T
o
b
i
as Grosser
is
l
_coa
l
esce
.
c
: isl_map_
c
oalesce: improve error handli
n
g
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tobi
a
s
G
r
oss
e
r
i
sl
_
union_ma
p
_alloc:
R
e
name dim to
s
pace
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
Tobias
G
rosser
isl_u
n
ion_map_a
l
loc:
plug memory leak on error path
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
T
obia
s
Gro
s
ser
D
o
not dereference a NULL pointer in
tab_for_lexmin
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Gr
o
s
s
er
Fix typo
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-09
T
o
bias Grosser
A
d
d extern C to val_gmp he
a
d
er
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
Tobias Grosser
i
s
l_union_*_mu
l
_isl_int: pa
s
s
a
ddress
o
f
i
sl
_
i
n
t to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
T
obias Gros
s
er
F
i
x typo in header guard
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
Tobias
G
rosse
r
Make
s
ed expression in M
a
kefile
compatible with BSD
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
Tob
i
a
s Grosser
fix is
l
_u
n
ion_
m
ap_detect_e
q
ualities memory
management
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
Tobias
Grosser
Use an MIT lic
e
nsed mer
g
es
o
r
t as the sort
i
n
g algorithm
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
T
o
bias Grosser
schedule
r
:
a
llow
t
o
bound t
h
e coeffi
c
ients in t
h
e cal
c
ulat
e
d
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Grosser
isl_tab_basic
_
se
t
_
non_trivia
l
_lexmin: do not add cuts
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
next