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
cpp: generate C++ wrapper classes
2017-04-27
Tobias Gr
o
sser
cpp: generat
e
C++
wrapper classes
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
T
o
bias Gr
o
s
s
er
g
enerato
r
:
a
d
d missing
n
ewline
af
t
er printing the die
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
T
ob
i
as Grosser
python: drop spur
i
ous space
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-03-16
Tobias G
r
osser
let isl_point_f
r
ee retu
r
n
a
NULL
p
ointer
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Gros
s
er
i
sl_b
a
sic_set_is_bounded: return i
s
l_
b
ool
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
T
o
bias
G
r
o
sser
isl
_
tab_cone_is_bounded:
return is
l
_bool
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Gro
s
ser
p
ython: remov
e
redundant
i
s_string_ty
p
e
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-18
Tobias
Gro
s
s
er
python: mark isl_
a
st_buil
d
_*_from_* as __i
s
l_overload
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
T
o
bias
Grosser
python:
derive all classes f
r
om 'object'
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobias
G
r
o
s
s
er
python:
ensure Pyt
h
on 3 ca
n
derive method resolution
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobi
a
s Grosser
python: use
python 3 excep
t
ion sy
n
tax
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-11-02
Tobias Grosser
Update
i
mat
h
to include
big-endian support for
mpz_im
p
o
rt
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-10-04
Tobias Grosse
r
add
isl
_
union_flow_c
o
py
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Grosser
add isl_map_di
m
_mi
n
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Gr
o
sser
python inter
f
ace: expose construction of A
S
T node
f
rom
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias Grosser
pyt
h
on interface:
expose
isl_ast_bui
l
d and isl_a
s
t
_
expr
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bia
s
Grosser
python interface: automatica
l
ly derive method type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gro
s
ser
python interface: only expo
r
t
_
_str__ and __re
p
r__
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interf
a
ce:
suppo
r
t
'
char
*'
a
nd 'const cha
r
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python in
t
erf
a
ce
:
extract metho
d
prin
t
_me
t
h
o
d_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gr
o
sser
python interf
a
c
e: ad
d
e
x
por
t
e
d_ p
r
efix to MyASTConsumer
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python int
e
r
face
:
extra
c
t method print_
m
ethod_types
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
pyth
o
n interface: e
x
tract
m
eth
o
d print_representati
o
n
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobi
a
s
Grosser
A
dd new isl_as
t
_node_to_C_str function
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
A
d
d
n
ew is
l
_ast_expr_t
o
_C_s
t
r
fu
n
ction
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tob
i
as Gross
e
r
python
i
nterface
:
replace as
s
ert wit
h
explicit abor
t
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias
Grosser
p
y
thon inter
f
ace: repla
c
e asse
r
t
w
ith ex
p
licit abort
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-05-30
T
obias Grosser
E
x
port
i
sl_va
l
a
r
it
h
metic and
c
om
p
ar
i
son
m
ethods
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-08-06
Tobias Grosser
M
ake pass-by-referen
c
e
explicit
b
y
using pointers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-24
T
obia
s
Grosser
test_inputs/brisebarre
.
p
i
p: use unix line endings
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Gro
s
ser
isl_s
i
m
ple
_
hull: ch
e
ck for
e
mpty/single-disjunct map
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-21
To
b
ias Gros
s
er
isl_ast_build_
e
x
pr_from_
b
asic_set: do not u
s
e freed
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-06-29
Tob
i
as Grosser
R
e
m
o
ve mallo
c
.
h include from sioimath file
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-29
Tobia
s
Grosser
Fix typo i
n
isl_test
.
c
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-26
T
obias Grosser
Update i
m
at
h
t
o
23b2b1f
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-18
Tobias Grosser
Exp
l
o
i
t
z
e
r
o
s
in isl_
m
at_product
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-02-15
T
obias Grosser
i
s
l
_
se
q
_combine: optimize for
common case
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-01-23
Tobias
G
rosser
Fix some ty
p
os in comme
n
ts
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-17
Tobias Grosser
Av
o
id
uni
n
itialized memory warning in valgrind when
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
Tob
i
as Gros
s
er
Mark
the co
m
pute out
f
eature exp
e
rimental
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
Tob
i
as Grosser
isl_coal
e
sce
.
c:
i
s
l
_map_coalesce:
improve
e
rr
o
r handling
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-12
To
b
ias Gross
e
r
isl_uni
o
n_map_
a
l
l
o
c: Rena
m
e dim to space
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-11
Tobias Gr
o
sser
i
s
l_union_map_alloc: plug mem
o
ry leak on error pa
t
h
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-10
Tob
i
as Grosse
r
Do not d
e
reference a NULL pointer in tab_for_lexmin
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Grosser
F
i
x
typo
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-09
T
obias Grosser
Add e
x
t
ern C to val_gmp he
a
der
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2013-12-04
Tobias Gros
s
er
isl_
u
nion_*_mul_isl
_
int: pass address of isl_int to
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2013-09-18
Tobias Gr
o
ss
e
r
Fix ty
p
o in heade
r
guard
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-09-22
Tob
i
a
s Grosser
Make
s
e
d
e
x
p
ression
in
Makefile c
o
mpatible with B
S
D
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-09-10
Tobias Grosser
f
i
x
isl_uni
o
n_ma
p
_d
e
tect_equali
t
i
es m
e
mory ma
n
agement
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-08-02
T
o
b
ia
s
Gross
e
r
Use an
MIT licensed me
r
g
esort as
the sorting algorithm
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Grosser
sch
e
duler: a
l
low
to bound the coeffici
e
nts in the
c
alculated
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-02-19
T
o
bias G
r
osser
i
s
l_tab_basic_set_
n
on_trivial
_
le
x
min: do
not add c
u
t
s
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-01-30
Tobi
a
s
G
rosser
Add isl_uni
o
n_map_gist_
r
a
n
ge
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
Tobias G
r
o
s
s
e
r
add op
t
io
n
to bound
t
he const
a
nt sc
h
eduling coefficients
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
Tobi
a
s Grosser
In
t
roduce new ISL_CTX_(GET|
S
ET)_INT_DEF mac
r
o
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
T
obias G
r
osser
F
i
x
typo
i
n document
a
tion
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
To
b
ias Grosser
Ad
d
interface to
s
et schedule_maximize_band_d
e
pth
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Grosser
Introd
u
ce op
t
ion 'on_error'
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Gross
e
r
Improve message
w
hen ctx is fre
e
d,
but sti
l
l refer
e
nced
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-02
Tobias Grosser
add
i
sl_local_space_range
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosser
E
nable -W
a
ll if compiling with clang
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Gr
o
sser
Upda
t
e ax_compiler_vendor
.
m
4
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobias G
r
os
s
er
Check
t
h
e
ctx ar
g
ument
o
f the
m
e
mo
r
y
m
a
cros
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
T
ob
i
as Grosser
Fix typo in co
m
ment
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-05
Tobia
s
Grosser
Rem
o
v
e
u
se of PATH_MAX
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-05
Tobias Grosser
Fix <strings
.
h> includes
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-04-25
Tob
i
as
Gros
s
e
r
Remo
v
e r
e
cently added
u
nu
s
ed variables
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree