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_hash_{space,space_domain}: extract out shared parameter hashing
2017-05-25
Tobi
a
s Grosser
cpp
:
add unit tests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
T
o
bias G
r
osser
cpp:
d
o not
m
a
rk
boo
l
ean(isl_b
o
ol) constructor as explicit
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobias
Grosser
cpp: explic
i
tly manage isl_boo
l
return valu
e
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
Tobias
Gro
s
ser
isl_va
l
_is_o
n
e
s
h
o
uld return isl_bool_fals
e
for na
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
Tobias Gro
s
ser
python:
m
a
k
e
string parsing
a
nd
ret
u
rni
n
g P
y
t
h
on 3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
o
bias Grosser
cpp
:
support methods
a
nd
c
o
n
struc
t
ors
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
obias Grosser
c
pp
:
gen
e
rate
C++ wra
p
per classes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobia
s
Grosser
generator: add missing newline after
printing t
h
e die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tob
i
as Grosser
pyth
o
n: drop spurious space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
T
obias G
r
osser
let isl_point_free return a NULL
p
oin
t
er
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
T
o
b
ias Grosser
isl_basic_se
t
_is
_
bounde
d
: retu
r
n is
l
_boo
l
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
i
sl_ta
b
_cone_is_bo
u
nd
e
d: return isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias
G
ro
s
ser
p
ython: rem
o
ve redundant is_str
i
ng_
t
ype
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
To
b
ias Grosser
python: mark i
s
l_ast_build_
*
_from_* as __isl_overlo
a
d
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobi
a
s Grosser
pytho
n
: d
e
ri
v
e all clas
s
es from 'object'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias G
r
osser
p
y
thon:
ensure Python
3 can derive method resolu
t
i
o
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias
Grosser
python: use python
3
excep
t
ion syntax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
To
b
ias
G
rosser
U
p
date
imath to
i
n
clude big-endian support
f
o
r mpz_import
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
Tobias Gr
o
sser
add
isl
_
union_flow_
c
op
y
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
add isl_map
_
dim_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
yth
o
n interface: ex
p
ose co
n
struct
i
on of AST node from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s
Grosser
p
yth
o
n interfa
c
e: e
x
pose isl_ast_build
a
nd isl
_
a
s
t_expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosse
r
python interface:
aut
o
ma
t
ically der
i
v
e
method
t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python in
t
erface: on
l
y exp
o
rt __str__ an
d
__repr
_
_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
y
thon interface: su
p
port 'cha
r
*' and 'const char
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
osser
py
t
hon inter
f
ace: extract me
t
hod prin
t
_met
h
od_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
pytho
n
i
nterface:
add ex
p
orted_ p
r
efi
x
to MyA
S
T
C
onsumer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Grosser
pyth
o
n interface: ext
r
a
ct method
p
r
int_metho
d
_types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obias Gros
s
er
python interf
a
ce: extract me
t
h
od prin
t
_repre
s
e
ntatio
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias
G
ros
s
er
Add n
e
w
isl_ast_nod
e
_to_C_st
r
function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
T
ob
i
as
Gros
s
e
r
Add new
i
sl_ast_
e
xpr_
t
o
_C_str function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ias G
r
osser
python
in
t
erface: replace a
s
sert with explici
t
abo
r
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobia
s
Grosser
python interface
:
repl
a
ce assert with ex
p
lic
i
t a
b
or
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tobias Grosser
E
xport isl_va
l
a
r
ithmetic a
n
d com
p
arison methods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobias Grosser
Make pass-
b
y
-reference e
x
pl
i
cit by usi
n
g point
e
rs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
To
b
ias Gr
o
s
s
er
test_inputs/brisebarre
.
pip: u
s
e unix
l
ine endi
n
gs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Gro
s
ser
isl_simple_h
u
ll:
ch
e
ck for empty/sing
l
e-d
i
sjunct map
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias
Gro
s
ser
i
s
l_as
t
_
buil
d
_expr_from_ba
s
ic_set:
d
o not use freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
Tobia
s
Gross
e
r
Remove
m
all
o
c
.
h inc
l
ud
e
from si
o
imath file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tobias Grosse
r
Fix t
y
p
o
in
isl_te
s
t
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Grosser
Upda
t
e imath to 23b2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobias G
r
os
s
e
r
Explo
i
t zeros
i
n isl_mat_product
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
T
obi
a
s
Grosser
isl_seq_
c
ombine: optimize
f
or c
o
mm
o
n case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Grosser
Fix some typos in c
o
mm
e
nts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tobias Grosser
Avoid u
n
initialized
m
emory warning in val
g
r
ind
w
h
e
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobi
a
s
G
rosser
Mark t
h
e compute out featur
e
experi
m
ental
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobi
a
s
G
rosser
isl_coale
s
ce
.
c: isl_map_co
a
l
e
sce
:
improv
e
error ha
n
dling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tob
i
as G
r
osser
isl
_
union_
m
a
p
_alloc:
R
ename dim to space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
Tobias Grosser
i
s
l_
u
nion_map_all
o
c: plug m
e
mory le
a
k on err
o
r
path
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
T
obias
Grosser
Do
not dereference a NULL pointer i
n
tab_for
_
lexmin
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobia
s
Grosser
F
i
x typo
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-09
Tobias Grosser
Add exte
r
n C to va
l
_gmp hea
d
er
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
T
o
b
ias Grosser
i
s
l
_
union_
*
_
mul_isl_int: p
a
ss address of isl_in
t
to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
Tobias Grosser
Fix typo in hea
d
er guard
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
Tobias
G
r
oss
e
r
Make sed exp
r
ession in Makefile comp
a
t
i
ble with BSD
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
Tobias
G
rosser
fix isl_
u
ni
o
n_
m
ap_detect
_
equalities memory ma
n
age
m
ent
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
T
o
bias Grosser
Use an MIT l
i
ce
n
s
ed
mergesort
a
s th
e
sorting algorithm
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
T
o
bias
G
rosser
scheduler: allow
t
o bound
t
he coefficients
in the calculat
e
d
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
To
b
ias Gros
s
e
r
isl_tab_ba
s
i
c
_
s
et_non_trivial
_
l
e
xm
i
n
: do not add cuts
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-01-30
Tobia
s
Gro
s
ser
Add
i
sl
_
union_map_gist_range
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
a
d
d
op
t
ion to bo
u
nd th
e
c
o
n
st
a
n
t
s
chedu
l
ing coefficients
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
Introdu
c
e
ne
w
ISL_CTX_(G
E
T|SET)
_
INT_DEF macro
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias
Grosser
Fix ty
p
o in do
c
ume
n
tation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
A
dd inter
f
ace to
s
e
t
s
chedule_m
a
x
i
m
ize_b
a
nd_
d
epth
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
Tobi
a
s
Gross
e
r
I
ntroduce o
p
tion
'on_error
'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-03
To
b
i
a
s
Grosser
Improve message when ctx is freed, but st
i
l
l
referenc
e
d
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-12-02
Tobias Grosser
add isl_local_space
_
rang
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias
G
ross
e
r
Enabl
e
-Wall if co
m
piling with
c
lang
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias
G
ross
e
r
Update ax_compil
e
r_vendor
.
m4
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosser
C
heck the ctx ar
g
ument o
f
t
h
e
memo
r
y m
a
cros
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosser
Fix
typo
in comment
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
Tobi
a
s Grosser
Remove us
e
of PATH_MAX
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-06-05
T
o
bias Grosser
Fix <
s
trings
.
h> i
n
c
l
udes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
T
obias G
r
osser
Remove recently added
u
nused v
a
riable
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-04-25
Tobias
G
rosser
A
d
d extern C d
e
cla
r
a
tio
n
to schedu
l
e
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2011-01-08
T
o
b
ias G
r
osser
Add isl_union
_
(se
t
/
map)
_
detect_eq
u
alities
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-31
Tobias Gro
s
ser
A
dd GDB modul
e
that defines an islprint co
m
mand
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-12-17
To
b
ias Grosse
r
D
o not hash the m
e
mor
y
add
r
ess of an
i
s
l_name
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree
2010-07-11
To
b
ias Gross
e
r
Remove comma
a
t the en
d
of enumeration
Signed-off-by:
Tobias Grosser
<grosser@fim.uni-passau.de>
commit
|
commitdiff
|
tree