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 isl_basic_set_swap_div
2016-06-22
Tobias Gross
e
r
Add
new i
s
l
_
a
s
t
_
node
_
to_
C
_str function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
T
obias Grosser
Add new isl_ast_expr_to_
C
_str functio
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
python interfa
c
e
: re
p
l
a
ce assert w
i
th exp
l
icit abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
T
obias Gro
s
ser
python interf
a
ce: replace
assert with
e
xplicit abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
T
o
b
ias Gr
o
ss
e
r
Exp
o
rt isl_
v
al ar
i
thmetic and
comparison meth
o
ds
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobias
G
rosse
r
Make pass-
b
y-refer
e
nce explicit
b
y using pointers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
T
o
bi
a
s
G
r
o
sser
t
e
st_inputs/brisebarre
.
pip: use unix
line endings
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Grosser
isl_s
i
mpl
e
_
h
ull
:
check for empty/single-disju
n
ct ma
p
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Grosser
isl_ast_build_e
x
p
r
_from_basic
_
set:
do not use freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
Tobia
s
Grosser
Remove mallo
c
.
h inclu
d
e from sioimath file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tobi
a
s Gros
s
er
F
i
x typ
o
in isl_test
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
T
obi
a
s Gr
o
ss
e
r
Up
d
ate imath
t
o 23b2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
T
o
bias Grosser
Exp
l
oit
zeros
i
n i
s
l_m
a
t
_produc
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tobias Grosser
is
l
_seq_com
b
ine: optimize for common case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Grosser
Fix some typos in comments
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tobias Gross
e
r
Av
o
id u
n
ini
t
i
alized memory w
a
rnin
g
i
n
v
a
l
grind when
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Gro
s
ser
Mark the com
p
ute out feature exp
e
rim
e
ntal
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
isl_coal
e
sce
.
c: isl_map_coalesce: impro
v
e error hand
l
ing
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tobias Grosser
i
sl_union_map_all
o
c: Rename di
m
to spa
c
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
Tobias Grosser
i
sl_union_m
a
p_
a
lloc: plu
g
mem
o
ry l
e
ak on error path
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Grosser
Do not derefere
n
ce
a
NULL pointer in tab_
f
or
_
lexmin
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
T
o
bias Grosser
Fix ty
p
o
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-09
Tobias Grosser
Add
e
xtern C to val_gmp h
e
ader
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
Tobias Grosser
i
sl_u
n
ion_*_mu
l
_is
l
_int: pass address of
i
sl
_
int to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
T
obias Gros
s
er
Fix typo in header guard
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
Tobias
G
rosser
Make sed
e
x
p
r
ession i
n
Make
f
ile
c
ompatibl
e
with BS
D
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
Tobi
a
s Grosser
fix
i
sl_
u
nion_map_detect_equalities
m
emory
m
anagem
e
nt
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
Tobias Grosser
Use an MI
T
licensed mergesort as the sorting
algo
r
ith
m
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
T
o
b
i
a
s Grosser
sched
u
l
e
r: allow to bound
t
he co
e
fficien
t
s in t
h
e calculated
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
To
b
ia
s
Gr
o
sser
isl_tab_basic_set_non_trivial_lex
m
i
n
: do
n
o
t
add cu
t
s
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-01-30
Tobias
G
rosse
r
Add is
l
_un
i
on_map_
g
ist_
r
ang
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
add option to bo
u
nd the consta
n
t schedul
i
ng coe
f
fi
c
ients
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Gross
e
r
Introduce new I
S
L_CTX_(GET|SET
)
_IN
T
_DE
F
macro
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias G
r
o
sser
F
ix typ
o
i
n
doc
u
ment
a
tion
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias
G
r
o
sser
A
d
d
interfac
e
to s
e
t sched
u
le_maximize_ban
d
_depth
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Gro
s
s
er
I
n
troduce opti
o
n 'on_
e
rror'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobia
s
G
rosser
Im
p
rove message when ctx is f
r
eed, but
still r
e
ferenced
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-02
Tob
i
as Grosser
add
isl_l
o
cal_space_rang
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobia
s
Gros
s
er
En
a
b
le -Wall i
f
c
o
mpili
n
g
w
i
t
h
clang
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias
Grosser
Update ax_co
m
piler_v
e
ndo
r
.
m4
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobia
s
Grosser
C
heck the ctx argument
o
f the m
e
mor
y
macros
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
To
b
ias Grosser
Fi
x
typo in com
m
e
n
t
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobias Grosser
Remove use
of
P
ATH_MAX
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
T
obias Gro
s
ser
Fix <strings
.
h> includes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobias G
r
osse
r
R
emove recently
a
dded
u
n
used v
a
r
i
ables
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Grosser
Add e
x
tern C declarat
i
on t
o
sch
e
dule
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-01-08
Tob
i
as Grosser
A
d
d
isl_union
_
(set/
m
ap)_de
t
e
c
t
_e
q
uali
t
i
e
s
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-31
Tobias
Grosser
Add GDB m
o
du
l
e that defines an islp
r
int command
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-17
To
b
ias Grosser
Do
n
o
t
h
a
s
h the mem
o
ry
a
ddress o
f
an isl_nam
e
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-07-11
To
b
ias
G
r
osser
Rem
o
ve comma at the end of e
n
umerat
i
on
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree