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
Merge branch 'maint'
2016-06-22
Tobias Gros
s
er
Ad
d
new isl_ast_node_to_C_s
t
r function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobi
a
s
G
rosser
A
d
d new isl_ast_expr_t
o
_C_str
function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias G
r
o
sser
python interface:
replace
as
s
ert with explicit
ab
o
rt
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
p
y
t
hon interface: replace a
s
sert with
e
xplic
i
t abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
T
o
b
i
a
s Grosser
Export isl_val
arith
m
e
tic and compariso
n
method
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobi
a
s Grosser
Ma
k
e pass-b
y
-reference explicit by us
i
ng
p
o
inters
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
T
o
b
ias G
r
o
s
ser
t
est_inpu
t
s/brisebar
r
e
.
pi
p
:
use u
n
i
x
l
ine endings
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tob
i
as Gross
e
r
isl_simple
_
hu
l
l: ch
e
ck for e
m
pty/single-di
s
jun
c
t map
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
T
obias Gro
s
ser
i
sl_
a
s
t
_build_
e
xpr_from_basic_set: d
o
not use freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
Tobias Grosse
r
Remove
malloc
.
h include from sioimath file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
T
o
bias Grosser
Fix typo in isl_test
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Grosser
Update imath
to 23b2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobias Grosser
E
xploit
zeros in isl_mat_product
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tobias Gros
s
er
i
s
l_seq_
c
o
m
bine: opti
m
ize for common c
a
se
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobi
a
s Grosser
Fi
x
some typos i
n
comments
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tobi
a
s
Grosser
Avoi
d
unin
i
tialized memo
r
y warning in
v
algrind when
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobi
a
s
Grosser
Mark the
comput
e
out featu
r
e exp
e
rimenta
l
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobi
a
s
G
r
osse
r
isl_co
a
le
s
ce
.
c
: i
s
l
_
m
a
p_
c
oalesce:
i
mprove
e
rror han
d
l
i
ng
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
T
o
bias Grosser
i
s
l_unio
n
_m
a
p_alloc: Rename dim to space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
Tobi
a
s Grosser
isl_union_map_alloc:
p
lug memory
l
eak on error path
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias
Gro
s
ser
Do not dereference a NU
L
L pointe
r
in tab_for_lexmin
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Grosser
F
i
x
t
ypo
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-09
Tob
i
as
G
r
os
s
er
A
dd ex
t
e
r
n
C
t
o
v
al_gmp hea
d
er
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
Tobias Grosser
is
l
_
u
nion_*_mul_
i
sl
_
int: pass address of isl_int to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
Tobias
G
ros
s
er
F
i
x typo in header guard
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
Tob
i
as G
r
osse
r
M
a
ke sed
e
x
pression in Ma
k
efile compatib
l
e with BSD
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
Tobias Grosser
fix isl_
u
nio
n
_map_de
t
ec
t
_
e
qualities me
m
ory management
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
Tobias Grosser
Use an
MIT
lic
e
nsed m
e
r
gesort as the
s
or
t
ing algorithm
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
T
obias Grosser
sche
d
u
l
e
r
: allow
to bou
n
d the co
e
ffi
c
ients in the calculated
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
Tobias
Grosser
isl
_
t
ab_basic_set_non_trivial
_
lex
m
in: do
n
ot add c
u
ts
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-01-30
T
obias Gross
e
r
Add
i
sl_
u
nion_map_gist_ra
n
g
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Gr
o
s
ser
add
option t
o
bound t
h
e constant scheduling co
e
fficients
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
In
t
roduce new ISL_CTX_(GET|SET)_
I
NT_DEF m
a
c
ro
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
T
o
bias Grosser
F
i
x
t
ypo in d
o
cumentation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias
G
rosser
Ad
d
i
nterface to set schedule_maximize_ba
n
d_d
e
pth
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobias
Grosser
I
nt
r
oduce option 'on_err
o
r'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Gr
o
sser
Imp
r
o
ve
m
essage
when c
t
x is fr
e
ed, but still r
e
ferenced
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-02
Tobias Grosser
add isl_local_space_range
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tob
i
as Grosse
r
E
nable -
W
all if compili
n
g
wit
h
clang
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosser
Updat
e
a
x
_compiler_ven
d
or
.
m4
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Gros
s
er
Che
c
k the c
t
x argument of the mem
o
ry macros
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
T
o
b
i
as G
r
osser
Fix typo in comment
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
T
o
bias Grosser
Remove use o
f
P
ATH_MAX
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobias
G
r
o
sser
Fix <strings
.
h
>
includes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Grosser
R
emove recently added
unused variables
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
T
o
bi
a
s
G
ro
s
ser
Add ext
e
rn
C
declaration to s
c
hedule
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-01-08
Tobias Grosser
Add isl_union_(set/map)_detect_e
q
u
a
lities
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-31
Tobias
G
r
osser
Add GDB mod
u
le that defines an i
s
l
prin
t
command
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-17
Tobias Grosser
Do not hash
t
he memo
r
y
a
ddress of an
i
sl_na
m
e
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-07-11
T
obias Grosser
Remove comma at
t
he
end of enumeration
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree