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_align_params: extract out isl_basic_map_check_space
2018-04-23
To
b
ias Gro
s
ser
isl_bas
i
c_ma
p
_align_params:
e
xtract out isl_
b
asic_m
a
p
_check_
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-09-08
Tobias Gro
s
s
er
python: r
e
move red
u
nda
n
t is_string_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-16
Tobias Gros
s
er
cpp: add mi
s
sin
g
license to unit te
s
ts
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-14
Tobias Grosser
Document t
h
e
i
sl
i
nterface
de
s
i
g
n
guidelines with respect
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
To
b
ias Grosser
cpp/python: export f
u
nctions to construct sets from
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
T
obias Gross
e
r
cp
p
/python: export d
o
cumented functions to construct
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
Complete isl_a
f
f to set
interf
a
c
e
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-28
Tobias Grosse
r
D
o
cument: c
o
m
paris
o
ns b
e
tween isl_val and NaN alway
s
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-26
Tobia
s
Grosser
Adapt coscheduled_sour
c
e
to handle error conditio
n
s
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-25
T
o
bias Grosse
r
Handle error condit
i
o
n
s
returned by level_
b
efore in
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-19
To
b
i
a
s
G
rosser
cpp/python
:
expor
t
arithmetic operations on isl
_
pw
_
aff
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-19
To
b
ias
G
r
o
ss
e
r
c
pp/p
y
thon: exp
o
r
t arithmetic ope
r
ations
o
n
isl_a
f
f
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-14
Tobias Grosser
cpp/
p
ython: export isl_s
c
h
e
d
u
le_constraints
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-25
Tobias Grosser
cpp: add
u
ni
t
te
s
ts
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-17
T
o
bias Gros
s
er
cpp: do not
m
ar
k
boolean(isl
_
bool) construc
t
o
r as
exp
l
icit
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-17
T
obias Grosse
r
cpp: explicitly ma
n
age isl_bo
o
l return values
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-11
Tobi
a
s
Gros
s
er
isl_val_is
_
one sho
u
l
d
return
i
sl_bool_false for n
a
n
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-05
Tobia
s
Grosser
python: make string
pa
r
s
ing and returning
P
y
t
hon
3
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobias
Grosser
cpp
:
support methods
a
nd
c
onstructors
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
c
pp
:
generate C++ wrap
p
er classes
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
g
e
ne
r
ator: add missing
newline af
t
er
pr
i
nti
n
g the die
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosse
r
pytho
n
: drop spur
i
ous space
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-03-16
Tobias G
r
osser
let
is
l
_point_free
return a NULL pointer
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
T
o
bias Grosser
isl_basic_set_is_bounded:
r
et
u
rn
i
sl_boo
l
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
To
b
i
as Gros
s
er
isl_tab_cone_is_bounded: return isl_boo
l
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tob
i
as Grosser
python: remove redu
n
dant i
s
_string_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-18
To
b
ias Grosser
python: m
a
rk isl_as
t
_
build_*_from_* as __isl_overload
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
python
:
derive a
l
l c
l
asses from 'object'
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Gro
s
ser
pyt
h
on: ensure Python 3 can derive me
t
h
o
d resolution
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tob
i
as Gros
s
er
python: use python 3 exception syntax
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-11-02
Tobias Grosser
Update
imath
to in
c
lude big-endi
a
n su
p
p
ort
f
o
r mpz_impo
r
t
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-10-04
Tobias Gross
e
r
a
dd isl_union_flow_
c
o
p
y
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Grosser
add isl_m
a
p_
d
im_min
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gros
s
er
py
t
hon interface: expose construc
t
i
o
n
o
f
AST node from
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
osser
py
t
h
o
n interface: expos
e
isl_ast
_
b
ui
l
d and i
s
l_ast_ex
p
r
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as
G
rosser
python interface: autom
a
tically derive method type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias Grosser
p
ython i
n
terfac
e
: only export
__
s
tr_
_
a
n
d _
_
repr__
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
y
thon inter
f
ace: su
p
port
'char
*
'
and 'con
s
t char
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Grosser
p
ython interface: extract metho
d
pri
n
t_method_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gro
s
s
e
r
python
i
nt
e
rfac
e
: add ex
p
orted_ pref
i
x to MyASTConsum
e
r
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
obias Grosser
python interfa
c
e
:
e
x
tract me
t
hod pr
i
nt_me
t
hod_types
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ia
s
G
r
osser
python in
t
erfac
e
: extract method print_re
p
resentation
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tob
i
as
G
r
os
s
e
r
Add
n
ew isl_ast_node
_
to_C_str function
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias
G
rosser
Add new isl_ast_expr_to_
C
_str
fu
n
c
t
ion
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gr
o
sser
pyth
o
n i
n
terface:
r
epl
a
ce a
s
ser
t
with explicit abort
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias G
r
osser
python inter
f
ace
:
replace assert with explicit
abort
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-05-30
Tob
i
as Grosse
r
Export isl_val arithme
t
ic and comparison m
e
thods
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-08-06
Tobias Grosser
Ma
k
e pass-by-r
e
fe
r
ence explic
i
t by using point
e
rs
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-24
T
ob
i
a
s Grosser
test_inputs/brise
b
arre
.
pip: us
e
unix line
e
n
d
i
n
g
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-22
Tobi
a
s Grosser
is
l
_simpl
e
_hull:
c
heck for e
m
pty/singl
e
-
d
isjunct map
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Gros
s
er
isl_as
t
_build_e
x
pr_from_basic_set:
d
o not use freed
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-06-29
Tobias Grosser
Remove
m
alloc
.
h include
f
r
om s
i
oimath file
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-29
T
obias
Grosser
Fix typo in isl_test
.
c
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Grosser
Update ima
t
h to 23b
2
b1f
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-18
Tobias Gro
s
ser
Exploit zeros
i
n isl_mat_pro
d
uct
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-02-15
Tobias Grosser
isl_
s
eq_
c
ombine:
opti
m
ize for common c
a
se
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-01-23
T
o
bias
G
ros
s
er
Fix so
m
e typos in comm
e
n
t
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-17
Tobi
a
s
Grosser
A
v
oid uni
n
itial
i
zed me
m
ory warnin
g
in valgri
n
d
whe
n
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
To
b
ias
G
rosser
Mark the comp
u
te out
featu
r
e experimental
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
i
s
l_coalesce
.
c:
i
sl_map
_
coale
s
ce: impro
v
e
error
h
andling
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-12
Tobias Grosser
isl_union
_
map_alloc:
R
en
a
me dim to space
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-11
T
o
bias Gr
o
sser
is
l
_
u
nion_map_alloc: plug m
e
mory leak on
e
r
ror path
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-10
To
b
i
a
s
Gr
o
ss
e
r
Do not dereference a
NULL pointe
r
in tab_for
_
lexmin
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-10
Tob
i
as Gross
e
r
Fix
t
yp
o
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-09
Tob
i
as Grosser
A
d
d extern C to
v
al
_
gmp header
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2013-12-04
Tobias Grosser
isl_union_*_mul_isl_int: pass address of isl_int
t
o
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2013-09-18
T
obias
G
r
osser
Fix typo
i
n head
e
r guard
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-09-22
Tobias G
r
osser
Make se
d
ex
p
ressi
o
n in
M
ak
e
file c
o
mpatible with BSD
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-09-10
T
o
bias Gro
s
ser
fi
x
isl_union_map
_
detect_equa
l
i
t
ies memory manage
m
ent
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-08-02
Tobias
G
rosser
U
se
a
n
M
IT lic
e
nsed mergesort as the
so
r
ting algorithm
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-02-19
T
obias Grosser
scheduler: allow to bo
u
nd
t
he coeffi
c
ie
n
ts
in
the cal
c
ulate
d
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Grosser
isl_tab_b
a
s
i
c_set_non
_
trivial
_
lexmin
:
do not
a
dd
cu
t
s
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-01-30
T
o
bias Grosser
Add is
l
_union_ma
p
_gist_range
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
Tobi
a
s Gross
e
r
add o
p
tion
t
o bound the constant sched
u
l
i
ng
c
oeffi
c
ients
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
T
o
bias
Grosser
Introd
u
c
e new ISL_CTX_
(
GE
T
|SET)_IN
T
_D
E
F mac
r
o
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
T
obias Grosser
Fix typo
in
d
ocumentation
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-12
Tobias Grosser
Add interfa
c
e to set sch
e
d
ule_maximize_ban
d
_dept
h
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-03
T
obias G
r
o
sser
Introduce option 'on_
e
rror'
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-12-03
Tobi
a
s Gross
e
r
I
m
p
ro
v
e me
s
s
a
ge when ctx i
s
free
d
,
but still
r
efer
e
n
ced
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 Gross
e
r
E
n
a
ble -Wall if co
m
piling with clang
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobias Grosser
Update ax_compiler_vendor
.
m4
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
Tobias G
r
o
s
s
e
r
Che
c
k the ctx arg
u
m
ent of the memory
macros
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-07
To
b
ias Gr
o
sse
r
Fix
ty
p
o
in comment
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-05
Tobias Grosser
Remove use of P
A
TH_MAX
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-06-05
Tobi
a
s Grosse
r
Fix <strin
g
s
.
h> in
c
ludes
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2011-04-25
T
o
b
ia
s
Gro
s
ser
Remo
v
e re
c
entl
y
a
dd
e
d unused variables
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree