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_set_is_equal: use isl_bool for local variable
2018-08-24
Tobias Gro
s
ser
isl
_
set_is_equal: use isl
_
bool fo
r
local variable
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
T
o
bi
a
s G
r
osser
shared_outer:
u
se isl_bool_n
o
t
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias
G
r
o
s
ser
dom
a
in_follow
s
_at_dept
h
: use isl_bool_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gr
o
s
s
er
bas
i
c
_
map
_
i
s
_empty_add:
use en
u
m vari
a
ble instead of
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gros
s
e
r
is
_
su
b
set_
e
ntry: use isl_bool_
f
a
l
se
i
n
s
tead of integer
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
To
b
ias G
r
o
sser
i
sl_ar
g
: use named constant to identi
f
y arguments
w
ithout
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-07
T
o
bias Grosser
int
e
rface: expor
t
i
sl_val
_
pow2
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-07
T
o
bias Gr
o
sser
i
n
t
r
oduc
e
isl_va
l
_pow2 as an altern
a
tive name for
i
sl_v
a
l_2exp
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-06
T
obias Gross
e
r
doc: dro
p
duplicate
l
i
s
t
i
ng of isl_v
a
l_2exp
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-06-12
Tobi
a
s
G
rosser
coalesce_a
f
t
e
r_al
i
gning_divs: use isl_boo
l
instead
.
.
.
commit
|
commitdiff
|
tree
2018-06-12
Tobias Grosser
Use i
s
l_stat as retur
n
va
l
ue for isl_val_get_num
_
i
s
l_int
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-06-06
Tobias
Gro
s
ser
isl_cell
_
foreach_simplex:
u
s
e
i
s
l
_
stat
i
nstead of int
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobi
a
s
G
rosser
i
sl_ast_graft
_
free
:
return is
l
_ast_
g
raf
t
*
instead
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
T
o
bia
s
Grosse
r
isl_
r
eorder
i
ng_free: ret
u
r
n
isl_reordering * instead
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_ast
.
c:
use is
l
_bool enum in
s
t
e
ad o
f
pl
a
in
integers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_sched
u
le_ba
n
d
.
c:
u
se isl_ast_l
o
op_type
e
num
instead
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosse
r
is
l
_p
o
lyno
m
i
a
l
.
c:
u
se isl_stat enum instead of plain
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_constraint
.
c: use isl_st
a
t
enum inst
e
ad of plain
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
T
o
bias Grosser
isl_bound
.
c
:
u
s
e i
s
l_stat enum instead o
f
p
lai
n
inte
g
ers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
T
o
bi
a
s Gro
s
ser
is
l
_aff
.
c: u
s
e
i
sl_s
t
at enum instead of plain
integers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
T
obi
a
s
G
ros
s
er
i
s
l_
t
ab
.
c:
use isl_stat enu
m
ins
t
ead of plai
n
int
e
gers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobia
s
G
r
o
ss
e
r
sc
h
e
dul
e
r
.
c: use isl_bo
o
l en
u
m instea
d
of p
l
ain integers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gros
s
er
coale
s
ce
.
c: use i
s
l_bool e
n
ums
ins
t
ead of
p
lain inte
g
ers
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Gr
o
sser
A
d
d, documen
t
and t
e
st isl
_
union_set_get_set_list
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
Tobias
Gross
e
r
Add, d
o
cume
n
t and test i
s
l_un
i
on_map
_
ge
t
_map_list
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Gross
e
r
Exp
o
se
,
d
o
cument a
n
d test isl_map_get
_
basic_map_list
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Gro
s
ser
Add t
e
st coverage for is
l
_[union_]set_ge
t
_basic_s
e
t_l
i
st
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-04-23
To
b
ias Gros
s
e
r
Ad
d
isl_*
_
drop_unused_par
a
m
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-04-23
Tobias Grosser
isl_bas
i
c_map_align_params:
e
xtract
out isl_basic_
m
ap_chec
k
_
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-09-08
Tobias Gr
o
sser
python: re
m
ove re
d
u
n
dant is_string_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-16
Tobias Gro
s
s
er
cpp: add
miss
i
ng license to unit
t
es
t
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-14
Tobias Gros
s
er
Docume
n
t the isl interface design gui
d
elin
e
s with
respec
t
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
To
b
ias G
r
o
s
ser
cpp/python:
e
xport func
t
ions to
c
o
nstru
c
t sets from
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
cpp
/
pytho
n
: export documente
d
func
t
ions to construct
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-08-04
Tobia
s
G
r
o
ss
e
r
Complete isl_aff to set
inte
r
face
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-28
Tobias Grosser
Document: com
p
a
r
isons betw
e
en
i
sl_val and NaN a
l
ways
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-26
Tobias
G
ro
s
ser
Adap
t
coscheduled_source to handle
error c
o
nditions
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-25
Tobias
G
r
osser
Handle er
r
o
r
c
o
nditions re
t
urned
by level_before in
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-19
Tobias
G
ros
s
e
r
c
p
p/python:
e
xport arithm
e
tic
o
pe
r
ations on
i
sl_pw_a
f
f
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-19
Tobias
Grosser
cpp/python: expor
t
arithmetic operations
on isl_aff
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-07-14
Tobias G
r
osser
c
pp/python: export i
s
l
_s
c
he
d
u
le_constrai
n
ts
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-25
Tobias Gr
o
sser
cpp: add unit te
s
ts
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Grosser
cpp: do not mark boolean(isl_bool) co
n
structor
a
s explicit
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-17
Tobias
G
ross
e
r
cpp:
e
x
p
licitly manage isl
_
b
o
ol return values
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-11
T
obias G
r
osser
isl_val_is_one should return isl_bool_fal
s
e for nan
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-05-05
Tobias
Grosser
python: make strin
g
pa
r
sing and retur
n
ing P
y
thon 3
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
T
o
bias Grosser
cpp
:
suppor
t
metho
d
s
and constructors
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobias
Grosser
cpp:
generat
e
C
+
+
wrap
p
er clas
s
e
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
T
obias Grosser
gene
r
ator: add missing
n
ewli
n
e after
p
rint
i
ng the die
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-04-27
Tobias
G
r
osser
p
ython: drop spu
r
ious
s
pace
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-03-16
Tobi
a
s Grosser
let isl_po
i
nt_f
r
ee
r
etu
r
n a NULL
pointe
r
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tobi
a
s Gr
o
sser
is
l
_basic_s
e
t_is_bound
e
d: retur
n
isl_bool
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
isl_tab_cone
_
is_b
o
unded:
r
etu
r
n isl_bool
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2017-01-06
Tob
i
a
s
Grosser
python:
remove
r
edundant is
_
string
_
type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-18
Tobias Grosser
python
:
m
a
rk isl_ast
_
build_*_from
_
* as __isl_ov
e
rload
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
To
b
ias Grosser
python:
derive all classe
s
fro
m
'
o
bject'
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
pyt
h
on: ensure Py
t
hon 3
c
an derive m
e
t
h
o
d
r
e
s
olution
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosse
r
p
y
thon
:
u
s
e pyt
h
on 3 e
x
ception synt
a
x
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-11-02
Tobias Gross
e
r
U
pdate imath
to
inclu
d
e big-en
d
ian support for
mpz_import
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-10-04
Tobia
s
Grosser
add isl_union_flow_copy
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
ros
s
er
add isl_ma
p
_dim_min
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
obias
G
ros
s
er
python int
e
rface: expose cons
t
ruction of AST node from
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gr
o
sse
r
python
i
nter
f
ac
e
: expose i
s
l_ast_build and is
l
_ast_exp
r
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Grosser
python
interfa
c
e
:
au
t
o
m
ati
c
ally derive me
t
h
o
d type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Gros
s
e
r
python interface
:
only export
__s
t
r__ an
d
__repr__
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
python
interface: supp
o
rt 'char
*
'
and 'const char
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s
Grosser
pytho
n
interface: extract method pri
n
t_method_type
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
py
t
hon interface: a
d
d ex
p
orted_ p
r
ef
i
x t
o
M
y
ASTConsumer
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
T
o
b
ias Grosser
python
i
nterface:
extract met
h
od
p
rint_method_t
y
p
e
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interface: extrac
t
method print_representati
o
n
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
T
o
b
i
as Gros
s
er
Add new isl_ast_node
_
to_C_str
function
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ias G
r
osser
Add new isl_ast_
e
xpr_t
o
_C_str function
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
T
ob
i
as
Grosser
py
t
hon inte
r
face:
replace assert wi
t
h exp
l
icit
a
bort
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-06-22
T
o
bias Grosser
pyt
h
on inte
r
face: replace asser
t
with exp
l
i
c
it abort
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2016-05-30
Tobias Grosser
Export isl_val arithmetic an
d
compar
i
son me
t
h
o
d
s
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-08-06
Tobi
a
s
Gros
s
er
Make pass-by-
r
efe
r
ence ex
p
licit by usin
g
poi
n
ters
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-24
Tobias Gros
s
er
t
est
_
input
s
/
bris
e
ba
r
re
.
pip: use uni
x
line endings
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-22
To
b
i
as Grosser
isl_simple_hull:
c
heck f
o
r empty/sing
l
e-disjunct map
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Grosser
i
s
l_ast
_
bui
l
d_expr_from_basic_set: do not use f
r
eed
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-06-29
To
b
ias
G
r
osse
r
Remove malloc
.
h include from sioimath f
i
le
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-29
Tobia
s
G
r
oss
e
r
Fix
t
ypo in isl_test
.
c
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Grosser
Up
d
a
t
e i
m
a
t
h to 23b2
b
1f
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-05-18
Tobias
G
rosse
r
Exploit zero
s
in isl_mat_p
r
oduct
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-02-15
Tobias
Grosse
r
isl_seq_combin
e
: optimiz
e
for
c
ommon case
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2015-01-23
T
o
b
i
a
s Grosser
F
i
x some typos in comments
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-17
Tobias Gr
o
sse
r
Avoid uninitial
i
zed memory war
n
i
ng in
valgrind when
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Gro
s
ser
Mar
k
the compute out feature experimental
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-13
Tobias
Grosser
isl
_
coalesce
.
c: i
s
l_map_coalesce:
i
mprove er
r
or
handli
n
g
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-12
Tob
i
a
s Grosse
r
is
l
_
union_map
_
alloc: Rename
dim to spa
c
e
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-04-11
Tobia
s
Grosser
is
l
_
u
n
i
on_map
_
alloc
:
plug m
e
mor
y
le
a
k on e
r
ro
r
path
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-10
Tobias
G
rosse
r
Do
not dereferenc
e
a
N
UL
L
pointer in tab_f
o
r_l
e
xmin
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Grosser
Fix typo
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2014-03-09
Tob
i
as Grosser
Add
e
xtern
C to
v
al_g
m
p header
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2013-12-04
Tobias Gros
s
er
i
s
l_uni
o
n_*
_
mul_isl_int: pass
a
ddres
s
of
i
s
l
_int to
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2013-09-18
T
o
bi
a
s
G
rosser
Fix
typo
i
n header guard
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Gro
s
ser
Make sed exp
r
ession in
Makefile compatible with BSD
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-09-10
T
o
b
i
as Gro
s
ser
f
i
x isl_uni
o
n_map_detect_e
q
ualities memory manageme
n
t
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-08-02
Tobias Grosser
Use
an MIT li
c
ensed mergesort as the sortin
g
a
l
gorithm
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-02-19
Tobia
s
Grosser
sched
u
l
er: a
l
l
o
w to bound the co
e
fficient
s
in the calculated
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Gr
o
sser
isl_tab_basic_set_
n
o
n_trivia
l
_lexmin
:
do not ad
d
cuts
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
next