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_schedule_tree.c: ..._extend_from_children: use isl_schedule_tree_n_children
2018-08-24
T
obias Gros
s
er
isl
_
set_is_equal: use isl_bool for local variab
l
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tob
i
as Grosser
sh
a
re
d
_outer: us
e
isl_b
o
ol_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias
Grosser
domain_fo
l
lo
w
s_a
t
_depth:
use isl_bool_
n
o
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tob
i
as
G
r
osser
basic_map_is_empty_a
d
d: use
e
nu
m
varia
b
le
instead of
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
is_s
u
bset_entry: use isl_bool_false instead of integer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gr
o
ss
e
r
i
s
l_ar
g
: use named constant to i
d
entify arguments without
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
T
o
b
i
as
G
ros
s
er
interface: exp
o
rt i
s
l_val_pow2
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobias
G
rosser
introduce
isl_val_pow2 as an alte
r
native nam
e
for isl_val_2ex
p
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-06
Tobias Grosser
d
oc: drop duplicate listing of
i
s
l
_val_2exp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-12
Tob
i
a
s Grosser
coalesce_after_a
l
igni
n
g_divs: use isl_b
o
o
l
i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2018-06-12
Tobia
s
G
r
osser
Use isl_sta
t
as retur
n
value for isl_val_get_n
u
m_isl_int
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-06
Tobias Gros
s
er
isl_cell_foreach_simplex:
u
se isl_stat instead
of int
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias G
r
osser
isl_ast_graft_
f
r
ee: r
e
tur
n
isl
_
ast_gr
a
ft
*
instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_reorde
r
ing
_
fr
e
e: ret
u
rn is
l
_r
e
ordering *
i
nstead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gro
s
ser
i
s
l_ast
.
c: use isl_bool
e
num instead of
p
l
ai
n
integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl
_
schedule_band
.
c: use isl_ast_loop
_
type enum instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_polynomial
.
c
: use isl_stat enum instead of plain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_cons
t
rain
t
.
c: use isl_
s
tat enu
m
instead of
p
lain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias G
r
osse
r
isl_bound
.
c: use isl_stat
e
n
um inst
e
ad
o
f
plain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tob
i
as Gross
e
r
i
sl_aff
.
c:
u
se isl_stat enum instead
o
f plain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
T
o
bias Grosser
i
s
l_tab
.
c: us
e
i
s
l
_st
a
t enum instead of
plain integers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
T
obias Grosser
scheduler
.
c:
u
se isl_bool enum instead o
f
plain int
e
gers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
coales
c
e
.
c: use
i
sl_bool enu
m
s instead o
f
plain
i
nt
e
gers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Grosser
Add
,
document and
test isl_union_set_g
e
t_
s
e
t_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
T
ob
i
as Grosser
A
dd, d
o
c
u
ment and test isl_unio
n
_map_get_map_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tob
i
a
s Grosser
Expo
s
e, d
o
c
u
me
n
t and test
i
sl_map_get_b
a
sic_map_lis
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Gross
e
r
Add te
s
t coverag
e
for i
s
l
_
[union
_
]s
e
t_ge
t
_basic_set_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobias
G
rosser
A
d
d isl_
*
_drop_unuse
d
_params
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobias G
r
osser
is
l
_bas
i
c_map_
a
li
g
n_params: extract out is
l
_basic_map_check
_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-09-08
Tobias Gro
s
ser
python: remove redundant is_string_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-16
T
o
bias Grosser
c
pp
:
a
d
d mi
s
sing lice
n
se to unit tests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-14
Tobias Grosser
Document the isl interface design guidelin
e
s with re
s
pe
c
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
cpp/python: export functions to construct sets from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobia
s
Grosser
cpp/python:
e
x
po
r
t doc
u
mented function
s
to co
n
struct
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias
G
ro
s
ser
Complete isl_aff to set
i
nterface
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
Tobias Grosser
D
o
cume
n
t: compa
r
is
o
ns bet
w
e
en isl_val and NaN always
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
Tobia
s
Gr
o
s
s
e
r
A
dapt cosch
e
d
u
l
e
d_s
o
ur
c
e
to ha
n
dle error conditions
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
Tobias Gros
s
e
r
Handle
e
rror conditions retur
n
ed by
l
evel_before i
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
T
obias Gro
s
ser
cpp/python: expo
r
t
a
rithmetic op
e
rati
o
ns on isl_pw_af
f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobi
a
s Grosser
cpp/pytho
n
: export ar
i
t
h
m
e
tic operati
o
ns
on isl_aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
Tob
i
as Gross
e
r
cpp/pyth
o
n: export is
l
_
s
che
d
ule_
c
onstra
i
nts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
Tobias G
r
osser
c
p
p: add unit tes
t
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobi
a
s Grosser
cp
p
: do not ma
r
k boolean(isl_bo
o
l) c
o
n
s
t
r
uctor as
e
xplicit
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
T
obias Grosser
cpp: e
x
plicitly manage isl_b
o
ol re
t
ur
n
v
a
lue
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
Tobias Grosser
isl_val_is_one should retu
r
n
i
sl_bool_fals
e
for nan
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
Tobias Grosser
python
:
make
s
tring
p
a
r
sin
g
and r
e
turnin
g
Python 3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobia
s
G
rosser
c
p
p: sup
p
ort meth
o
d
s and con
s
tructors
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
cp
p
:
g
en
e
rate C++
w
r
ap
p
e
r
classes
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias
G
r
oss
e
r
generator:
add missing
newline
a
fter printi
n
g
the die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobia
s
Grosser
p
y
th
o
n: drop spurious space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
Tobias G
r
osser
l
et isl_point_free ret
u
r
n
a NULL p
o
inter
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
isl_basic_set
_
is
_
b
o
unded: retu
r
n is
l
_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias G
r
os
s
er
isl_tab_cone_i
s
_b
o
unde
d
:
r
eturn
isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
T
obias G
r
osse
r
python:
r
emove
r
edu
n
dant is_s
t
rin
g
_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tobia
s
Grosser
p
y
thon: mark isl_ast_build_*_from_* as
_
_
isl_overl
o
ad
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
To
b
ias Grosser
py
t
hon:
deri
v
e
all classes
f
rom
'
object'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias
Grosse
r
p
ython: e
n
sure Pyt
h
o
n 3 can derive method
r
esolution
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias
G
rosser
python:
u
se
p
ytho
n
3 exception syntax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
T
o
bias
G
rosser
U
pdate
imath t
o
inc
l
ude big-endian support
fo
r
mpz_import
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
Tobias Gro
s
ser
add i
s
l_un
i
o
n
_
f
low_copy
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Grosser
add isl
_
map_dim_
m
in
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gro
s
ser
python in
t
erface: expose
c
onstruction of AST node from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
python interface: expose
isl_as
t
_
b
uild an
d
isl_ast_
e
xp
r
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bias Grosser
pytho
n
interface:
a
utomatic
a
lly derive
m
e
t
hod type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias
Grosser
p
y
thon interface:
o
nly
export __str__ and _
_
r
epr__
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Grosser
python interface
:
su
p
port 'char *' and
'
c
o
nst
c
har
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
p
ython interface: extr
a
ct method print_method
_
type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interface: add expo
r
ted_ pr
e
fix
t
o
MyA
S
TConsumer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
o
sser
py
t
h
o
n
interface:
e
xtract metho
d
print
_
met
h
o
d
_types
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
G
r
osser
python
interface:
e
xtract method pri
n
t_representation
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Add new isl
_
ast_node_
t
o_C_str function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias G
r
o
s
s
er
Add
n
ew isl_ast_
e
xpr_to_C_str function
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias
Grosser
pyt
h
on interface: replace ass
e
rt w
i
th exp
l
icit abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
pyt
h
on inte
r
face: replace
a
ssert
w
ith explicit a
b
ort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
T
o
bias Grosser
E
xport isl
_
val arithmetic a
n
d comparison
m
ethods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tob
i
as Grosser
Make pass-by-
r
ef
e
rence expl
i
cit by using pointers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
To
b
i
a
s Grosser
test_i
n
puts/brisebarre
.
pip: use unix
lin
e
e
n
dings
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
To
b
ias Grosser
is
l
_simple_h
u
ll: check for empty
/
s
ingle-disjunc
t
map
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Grosser
isl_as
t
_
build_expr_from_basic_
s
et: do
n
ot
u
se freed
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
T
o
bias Grosser
Remo
v
e
mallo
c
.
h include
from sioim
a
th file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tobia
s
Grosser
Fi
x
t
y
po
i
n i
s
l_t
e
st
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Grosser
Up
d
a
t
e imath
t
o
23b2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
To
b
ias Gr
o
sser
E
xploit zeros
in i
s
l_m
a
t_p
r
oduct
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tob
i
as Gross
e
r
i
sl_seq_combi
n
e: optimiz
e
for co
m
mon case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
Tobias G
r
o
sser
Fix some typo
s
i
n comments
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tob
i
as Grosser
Avoid un
i
nitialize
d
m
e
mory warning
in valgrind whe
n
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
M
a
rk the co
m
pute
out feature expe
r
i
m
ental
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
T
obias Grosser
is
l
_coalesce
.
c: is
l
_
map_c
o
alesce: improve error
h
andling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
Tobi
a
s
Grosser
isl_un
i
on_map_alloc: Rename dim
t
o space
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
Tobias Grosser
isl_unio
n
_map_allo
c
: plug me
m
o
r
y leak on error
p
at
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Grosser
D
o
not d
e
reference
a
NULL pointer
i
n tab_
f
or_lexmin
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobias G
r
osser
Fix typ
o
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-09
To
b
ias Gro
s
ser
Add extern C to val_gm
p
header
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-12-04
T
o
b
i
as Grosser
isl_union
_
*_mul_isl_int: pass address of isl_int to
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2013-09-18
To
b
ia
s
G
r
osser
Fix ty
p
o in
h
eader guard
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-22
T
o
bias Gross
e
r
M
a
ke sed express
i
on
i
n Makefile com
p
atible with BSD
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-09-10
T
obias
Grosser
fix isl
_
union_map
_
detect
_
e
qualit
i
es memory
mana
g
ement
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-08-02
To
b
ias Grosser
Use an MIT lice
n
sed
me
r
gesort as the sortin
g
algo
r
ithm
.
.
.
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 coefficients in the c
a
lculated
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2012-02-19
T
o
bias
Grosser
i
s
l_t
a
b
_
basic_set_non_trivial_lex
m
i
n
: do not add cuts
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
next