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_basic_map_add_div: explicitly zero out coefficient of new integer division
2016-07-01
To
b
ias G
r
oss
e
r
ad
d
isl_map_
d
im_m
i
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gro
s
se
r
python inte
r
face:
expose construct
i
on of A
S
T no
d
e
fr
o
m
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obias
G
rosser
p
ytho
n
int
e
rface: expose isl
_
ast_build and
isl_ast_expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
py
t
hon interf
a
ce
:
a
u
t
o
matical
l
y
derive met
h
od type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
py
t
hon
interfa
c
e: only expor
t
__str__
a
nd __repr__
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Grosser
python
interface:
suppo
r
t 'char *' a
n
d 'const char
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
rosser
py
t
ho
n
interf
a
ce: e
x
tract method p
r
int_method_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
py
t
h
on interface: add exporte
d
_ pre
f
ix to MyAST
C
onsumer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
pyt
h
on interface:
e
xtr
a
ct met
h
od print_method_types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
r
osse
r
p
y
tho
n
inte
r
face: extract
metho
d
print_repr
e
se
n
tation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Add n
e
w i
s
l_ast_node_to_C_str
fun
c
tion
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ias
Gr
o
sser
Add
n
e
w
i
s
l_ast
_
expr_to_C_str
f
unc
t
ion
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
T
o
bias Grosser
python interface: replace assert with explic
i
t abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gr
o
sse
r
pyth
o
n interfac
e
: replace asse
r
t with ex
p
licit abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tobias Grosser
Export isl_val
arithmetic
a
nd comparison methods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobia
s
Grosser
Make
p
ass-by-ref
e
rence
explicit
by usin
g
pointe
r
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
T
obias Grosser
t
est_i
n
p
u
ts/br
i
sebarre
.
pip: use unix
l
ine
e
n
d
ings
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias
Grosser
isl_si
m
ple_hull: c
h
e
c
k for
e
mpty/single-disjunct
m
ap
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Grosse
r
i
sl_ast
_
build_e
x
p
r
_from_basic_s
e
t
:
do not use
f
r
e
ed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
T
obias
G
r
os
s
er
R
e
m
ove mallo
c
.
h include f
r
om
s
ioimat
h
file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tob
i
a
s Grosser
Fix typ
o
in
isl_test
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
T
obias
G
rosser
Upda
t
e imath
to 23b2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
T
obias Grosser
E
x
ploit zeros in isl
_
mat_product
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tob
i
a
s
Grosse
r
isl_seq_c
o
mbi
n
e: optimize
for common
c
ase
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobias
G
rosser
Fix
s
ome
typos in c
o
mmen
t
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
T
obia
s
Grosser
A
void
uninitialized memor
y
warnin
g
i
n valg
r
i
n
d when
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
Mark
the
comp
u
te out feat
u
re experim
e
ntal
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Gross
e
r
isl_coalesce
.
c: isl_m
a
p
_
coalesce
:
impr
o
ve erro
r
handling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tobias
Gr
o
sser
isl
_
u
n
i
o
n_map_alloc: Re
n
a
me
d
im to
space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
Tobias Grosser
isl_union_map_alloc: pl
u
g memory leak on error
p
ath
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobi
a
s
Grosser
Do not
de
r
eference a N
U
LL pointer in ta
b
_for_le
x
mi
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias
Grosser
Fix
t
ypo
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-09
Tobias Grosser
A
dd extern C to val_gmp header
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
To
b
ias Gr
o
s
s
er
isl_un
i
on_
*
_m
u
l_
i
sl_int:
p
ass addr
e
ss
of
i
sl_i
n
t
to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
Tobias
Grosser
Fix
t
y
po in heade
r
guard
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Grosser
Make sed
e
xp
r
e
s
sion in Mak
e
fi
l
e comp
a
tible with BSD
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
Tobias G
r
osser
fix isl_union_ma
p
_det
e
ct
_
equa
l
ities
m
emo
r
y managem
e
nt
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
Tobi
a
s Grosser
Use an MIT licensed mergesort as the sortin
g
alg
o
r
ithm
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobia
s
G
r
osser
schedule
r
: allow to bound the coeffici
e
nts in the ca
l
cula
t
ed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobia
s
Gross
e
r
isl_
t
a
b
_basic_set_non_tri
v
ial_lexm
i
n: do not add
cut
s
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-01-30
Tobias Gros
s
er
Add isl
_
un
i
o
n_map_gist_range
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
T
obias Grosser
add option to bound the con
s
tant s
c
heduling c
o
effic
i
ents
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tob
i
as G
r
osser
I
ntroduce ne
w
ISL_CTX_
(
GET|S
E
T)_INT_
D
EF
m
acr
o
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Gros
s
er
Fix typo in
d
ocumentation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias
Gro
s
ser
Add interface to set schedule_maximize_ba
n
d
_depth
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
T
o
b
i
as Gros
s
er
Introduce op
t
ion 'on_error'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobias
G
ross
e
r
I
m
p
r
ove me
s
sage when ctx is fre
e
d, but still referenced
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-02
Tobias Grosse
r
ad
d
i
sl_loc
a
l_space_rang
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Gr
o
sser
Enable
-
Wall if
c
om
p
iling with
c
lang
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
T
o
bias
G
r
o
sser
U
pdate
a
x
_comp
i
ler_vendor
.
m4
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tob
i
as Gro
s
ser
Check the ctx
argu
m
ent of the memory macros
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosser
F
i
x typo in
c
o
m
m
e
nt
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobias Grosser
Remove use of PATH_MAX
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobias Gross
e
r
Fix <strings
.
h> incl
u
d
e
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobi
a
s Grosser
R
e
m
ove
r
ecently added unused va
r
iables
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Gross
e
r
Add extern
C
decla
r
a
tion
to sc
h
edule
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-01-08
Tobias Grosse
r
Add i
s
l_un
i
on_(set/m
a
p)_dete
c
t_equalities
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-31
Tobia
s
G
r
o
s
ser
Add
G
DB modu
l
e that d
e
f
i
nes an islpri
n
t command
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-17
Tobias Grosser
Do no
t
hash th
e
memor
y
address o
f
an
isl_na
m
e
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-07-11
Tobias G
r
osser
Remo
v
e comma at the end of e
n
umeration
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree