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 test coverage for isl_[union_]set_get_basic_set_list
2018-05-29
Tobias Gro
s
s
e
r
Add test cover
a
ge for isl_[u
n
ion_]set_get_
b
a
s
ic_set_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobi
a
s Gross
e
r
Add isl_
*
_
drop
_
unused
_
param
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
T
obias Grosser
isl
_
basic_map_
a
lign_pa
r
ams: extract out
isl_basic_
m
ap
_
ch
e
ck
_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-09-08
Tobias Grosser
py
t
hon
:
remove redundant is
_
string_typ
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-16
Tobia
s
Grosser
cpp: add m
i
ssing lice
n
se to
u
ni
t
tests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-14
Tobias
Grosse
r
Docume
n
t
t
he isl interface des
i
gn gui
d
elines
w
i
th respect
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tob
i
as Gro
s
ser
cpp/pyth
o
n: exp
o
rt
fu
n
ctions to const
r
uct
s
e
t
s
from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
To
b
ias Grosser
cpp
/
p
y
t
hon
:
expo
r
t
documen
t
ed function
s
t
o co
n
struct
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias G
r
osser
Complete isl_aff to set interface
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
Tobia
s
Grosser
D
ocument: comparison
s
bet
w
een isl_val and NaN always
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
Tobia
s
Grosser
Ad
a
pt coscheduled
_
source t
o
ha
n
dle err
o
r condition
s
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
Tob
i
as Gros
s
er
Handle error c
o
n
d
itions returned by
l
evel_be
f
ore
i
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobia
s
Gros
s
er
c
p
p/py
t
hon: export arithmetic operati
o
n
s
o
n isl_pw_aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobia
s
G
r
o
sser
cp
p
/python: export ari
t
hmetic oper
a
tions on isl_aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
To
b
i
a
s Gross
e
r
cpp/pytho
n
: export isl_s
c
hedule
_
co
n
stra
i
nts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
Tobias Grosser
cpp: a
d
d unit
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 boolean
(
isl_bool)
constructor
a
s explicit
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
T
o
bias Grosser
cpp:
e
x
p
licitly mana
g
e i
s
l_bool re
t
urn values
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
Tobias Gr
o
sser
isl_val_i
s
_one sh
o
uld return isl
_
bo
o
l_
f
alse for nan
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
T
o
bia
s
Grosser
p
ython:
m
ake string
parsing and retur
n
ing
Python 3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobia
s
G
r
o
s
s
er
cp
p
:
s
u
p
port m
e
thods
an
d
c
onst
r
uctors
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
obias
G
r
osser
cp
p
: generate
C
++ wrapper
c
lass
e
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias
Gros
s
er
generator: add miss
i
ng n
e
wline af
t
er pr
i
nting the die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
p
y
t
hon: drop s
p
urio
u
s space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
Tobi
a
s Grosser
l
e
t isl_point_free
return a NU
L
L
p
ointer
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobi
a
s
G
rosser
isl_basic_s
e
t_is_bounded
:
retur
n
isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
i
s
l
_tab_cone_is_bounded: return
i
s
l_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
To
b
i
a
s
G
rosser
python: remove re
d
undant is_string_ty
p
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tobia
s
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
python: deriv
e
all classes from 'objec
t
'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
T
ob
i
as Gr
o
s
s
er
python: ensure Python 3
can
d
e
ri
v
e
method resoluti
o
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobia
s
Grosser
python: use pytho
n
3 exce
p
tion syntax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
Tob
i
as Gro
s
ser
Update imat
h
to i
n
clude b
i
g-endian support
for
m
pz_im
p
ort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
T
obias Grosser
add is
l
_
u
nion_flow_
c
opy
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obi
a
s Gr
o
sser
add isl_map_dim
_
m
i
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gr
o
s
s
er
python inte
r
face: expose construction of AST node from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Grosser
python i
n
ter
f
ace: e
x
pos
e
isl_a
s
t_build
a
nd isl_a
s
t
_expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gro
s
se
r
python interface: automati
c
a
lly d
e
r
i
ve
m
ethod t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Gr
o
sser
python
i
n
terface:
o
nly e
x
port __str__ and __repr__
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias Gr
o
sser
pyth
o
n interfac
e
:
support 'char *' and 'cons
t
cha
r
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Grosse
r
python interface: extract method
print_met
h
od_ty
p
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Grosse
r
python int
e
r
face
:
a
dd
e
xpo
r
t
e
d
_ prefix
t
o MyASTCon
s
umer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Gr
o
sser
p
y
thon inter
f
ac
e
:
e
xtract
m
ethod p
r
int_m
e
thod_ty
p
es
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obias Grosser
python
i
nterface: extract method pri
n
t_repr
e
sentation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
T
o
bias Gr
o
sser
Add new isl_ast_node_
t
o_C_
s
t
r
f
u
nction
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tob
i
a
s
Grosser
Add new isl_ast_
e
xp
r
_to_C_st
r
function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gros
s
e
r
python interfac
e
:
replace assert
w
ith ex
p
lici
t
abor
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
T
obias G
r
osser
pytho
n
inte
r
fa
c
e: replace as
s
e
r
t with ex
p
licit a
b
ort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tobias Gro
s
ser
Expor
t
isl_val arithmetic
and comparison me
t
ho
d
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobias G
r
osser
Mak
e
pass-by-re
f
e
r
e
nce explicit by
u
sing pointers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
Tobias
Grosser
test_inputs/brisebarr
e
.
p
i
p: u
s
e unix line endi
n
gs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Gr
o
sser
isl_simple_hull: che
c
k for em
p
ty/single-disjunct map
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Grosser
isl_ast_build_expr_fr
o
m_basic_s
e
t: do not use freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
T
o
bias Gr
o
s
se
r
R
emo
v
e malloc
.
h inc
l
ude from
sioimath file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tobias
G
ros
s
er
Fix typo in
isl_test
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
To
b
ias G
r
osser
Update im
a
th to 23b2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobia
s
Grosser
Exploit zeros in isl_mat_produc
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tobias Gros
s
er
isl_seq_combin
e
: o
p
timize for common case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobias
G
rosser
Fix some typos in comme
n
ts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tobias Grosser
Avoid un
i
nitial
i
zed memory
w
arn
i
ng in v
a
lgrind when
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
Ma
r
k the
c
ompute o
u
t featur
e
experimental
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
i
s
l
_co
a
lesce
.
c: is
l
_map_coalesce: impro
v
e error
ha
n
dl
i
n
g
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tobias Grosser
isl_union_map_alloc: Ren
a
me dim to space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
Tobias Gross
e
r
isl_
u
nion_map_alloc:
pl
u
g
memory leak on error path
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Grosser
Do not dereference
a
NULL
po
i
nter in
t
a
b
_f
o
r_lex
m
in
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Gross
e
r
F
ix typo
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-09
Tobias
G
rosser
Add extern
C
to va
l
_gmp head
e
r
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
Tobi
a
s Grosser
i
sl_union_*_mul_isl_int: pass address
o
f isl_i
n
t to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
Tob
i
as G
r
osser
Fix typo in header gu
a
rd
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Grosser
M
a
ke sed expression in Makefile compatible
w
ith BSD
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
Tobia
s
Gr
o
sser
fi
x
i
sl_union_m
a
p
_
detect_equalities memory
management
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
To
b
ias G
r
osser
U
se an MIT licensed mergesort as the
sortin
g
algorith
m
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
T
o
b
i
a
s Grosser
sch
e
dul
e
r:
allow
t
o bound the coefficients in the cal
c
u
lated
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias G
r
osser
isl_tab_b
a
sic_set_non_tr
i
v
i
al_l
e
xmi
n
:
do not add cuts
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-01-30
To
b
ias
G
rosser
Add isl_u
n
ion_ma
p
_g
i
st_ran
g
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
add optio
n
to bound
the const
a
nt schedul
i
n
g
coeffic
i
ents
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Gross
e
r
Introduce new ISL_CTX_(GET|
S
E
T
)_INT_DEF
macro
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tob
i
a
s
G
r
osser
Fix typo
in docume
n
ta
t
ion
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Gr
o
sser
Add interface t
o
set
s
chedule_maxi
m
iz
e
_band_depth
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Grosser
I
ntr
o
duce option 'on_error'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobi
a
s Grosser
Impr
o
ve
m
essa
g
e when
ctx is freed, but still
r
eferen
c
ed
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-02
Tobias Grosser
add is
l
_loc
a
l_space_ran
g
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Gr
o
sser
Ena
b
le -Wal
l
i
f compiling wit
h
c
lang
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobia
s
Grosser
Update ax_compiler_v
e
ndor
.
m4
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobi
a
s Gro
s
ser
Check the c
t
x arg
u
men
t
of the memory m
a
cros
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobi
a
s Grosser
Fix typo in comment
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobias Grosser
Rem
o
ve use of
PATH_MAX
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tob
i
as Gros
s
er
Fix
<strings
.
h> inc
l
udes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
T
obia
s
Grosser
Remo
v
e rec
e
ntl
y
add
e
d
unused va
r
iables
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Grosser
Add extern
C declaration to s
c
hedule
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-01-08
T
o
bias G
r
os
s
e
r
Add isl_union
_
(s
e
t
/
map)_
d
etect_equalit
i
es
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-31
Tobias Gros
s
er
Ad
d
GDB module that
d
efines
a
n islprint command
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-17
T
obias Grosser
D
o not hash the memory a
d
d
r
e
ss of
a
n
isl_name
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Gr
o
sser
R
em
o
ve
comma at th
e
end
o
f
e
n
umera
t
i
on
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree