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
add isl_basic_set_swap_div
2016-06-22
Sven Verdool
a
ege
add
i
sl_basic_set_sw
a
p_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
e
n
Verd
o
olaege
add isl_mat_scal
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sve
n
Verdoolaege
i
s
l_p
i
p: allow ex
i
ste
n
t
i
ally quanti
f
ie
d
varia
b
les in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven
Verd
o
olaege
pip
.
c:
set
_
plug_i
n
_
p
a
rameter
s
:
add
m
emory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
e
n
Verdoolaege
pip
.
c; plug_in_p
a
ramet
e
r
s
: add memory manage
m
en
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verd
o
olae
g
e
pip
.
c:
o
p
t_a
t
: add
m
emory manag
e
m
e
nt annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven V
e
rd
o
olaege
pi
p
.
c: opt_at:
a
v
oid accessing
c
tx
f
ield dir
e
ctly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdo
o
laege
add isl_basic_
m
ap_div_is_marked_u
n
known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
i
sl_map
.
c: d
i
v
_
is_unknown: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven Ver
d
o
o
la
e
ge
doc: c
l
arify
t
hat isl_p
r
in
t
er_get_str can only be used
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-14
Sven Verdoolaege
do
c
: c
l
ea
n
up extra files gene
r
ated by biblatex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven V
e
rdoolae
g
e
isl_schedule
_
no
d
e_b
a
nd_split: preserve isol
a
te o
p
tio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaege
add
priv
a
te
isl_
s
chedule_band_re
p
lace_ast_bu
i
ld_optio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoo
l
aege
use isl_schedule_
n
ode
_
band_get_ast_isolate_o
p
tion to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
S
v
en Verdoolaege
a
dd isl_schedule_ba
n
d_get_ast_isolat
e
_option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sv
e
n
V
erdo
o
laege
isl_ba
s
ic_m
a
p_re
m
o
v
e_redundan
c
ies: sort
constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven
V
erdoolaege
isl_coalesce
.
c: fuse: s
i
mplify fus
e
d result immediatel
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolaege
i
s
l_coalesc
e
.
c: fuse: ca
l
l isl_basic_map
_
finalize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
v
e
n Verdoolaege
isl_m
a
p_coalesc
e
: c
h
eck for prot
r
usions on adjac
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdo
o
la
e
ge
isl_map_c
o
ales
c
e
: al
l
ow protrusi
o
ns out of
equ
a
lit
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n Verdoolaege
isl_
c
o
ale
s
ce
.
c:
w
rap_in_facets: e
x
t
ract ou
t
t
r
y_wrap_in_facets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sve
n
Verdoolae
g
e
isl_coalesce
.
c: ca
n
_
w
rap
_
in_set: ex
t
r
a
c
t out typ
e
_of_
r
e
l
axed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
ven
V
erdoolae
g
e
isl_coalesce
.
c: wrap_
i
n_fac
e
ts: ext
r
act out wrap_in_f
a
cet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ver
d
o
ol
a
e
ge
isl_coalesce
.
c
:
ca
n
_
w
rap
_
i
n_set: m
i
nor
simpl
i
fication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verd
o
ola
e
ge
isl_coal
e
sce
.
c
: wrap_in_facets: do n
o
t pa
s
s
i
n lis
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
ven
Verdoolaege
is
l
_map_co
a
lesce: t
i
ghten
c
onstraints of potent
i
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ver
d
oolaege
is
l
_map_coale
s
ce: a
l
low g
e
n
eral coalescing with expanded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
V
erdoolaege
isl_coalesce
.
c: coalesce_with
_
exp
a
nded_divs
:
store
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdoolaege
isl_coalesce
.
c: coalesce_local
_
pair: allow r
e
use o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdoolaege
isl_coalesce
.
c: coalesce_local_pair: extract out set_ineq_st
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl
_
c
o
alesce
.
c:
coalesce_
l
ocal
_
pair:
ext
r
a
ct out set
_
eq_stat
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
doolaege
isl_coal
e
sce
.
c: coalesce_local_pair
:
e
x
t
r
act out clear_status
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
doo
l
aege
isl
_
c
oalesce
.
c:
c
oalesce_lo
c
a
l_
p
air:
e
xt
r
act
o
ut
init_sta
t
us
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_coalesce
.
c: gen
e
ralize chec
k
_coalesce_subset to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n Verdoolae
g
e
add isl_
o
ptions_{get,set}_pip_sy
m
metry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sve
n
Verd
o
olaege
add isl_basic_
m
ap_expand_div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sven Ver
d
oolaeg
e
isl_
m
ap
.
c
:
f
ix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sve
n
Verdoolaege
isl
_
ou
t
put
.
c: fix t
y
p
o
in co
m
me
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sven
Verdo
o
laege
isl_tab
.
h: f
i
x
ty
p
o
in c
o
mmen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-03
Sven Verdoolaeg
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2016-06-03
Sven Verdoo
l
aege
is
l
_basic_set_expand_divs
:
only add div constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Ve
r
doolae
g
e
isl_co
a
les
c
e
.
c: add_sub_var
s
:
ex
p
licitly mark added
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en Verdoolaege
isl
_
coalesce
.
c: add_sub_vars: m
o
v
e
"
cor
r
ect" integer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sve
n
Verdoo
l
ae
g
e
i
sl_coalesce
.
c: wrap
_
in_facets: avoid invali
d
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoo
l
aege
isl_pri
n
ter_p
r
in
t
_map:
print
d
iv constraints ag
a
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdool
a
ege
isl
_
printer_pri
n
t_map: fix
p
rinti
n
g of
a
f
f
in
e
expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
i
sl
_
output
.
c: prin
t
_disjuncts: a
v
o
i
d
i
nva
l
id access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven V
e
rd
o
olaege
isl_output
.
c: pri
n
t_d
i
sju
n
c
t
: hand
l
e
N
U
LL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Ve
r
d
o
olaeg
e
isl_v
e
c_allo
c
:
plug memory leak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sv
e
n Verdoolaege
isl
_
blk
.
c: extend: plug
mem
o
ry leak on
erro
r
path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
A
ST gene
r
ation: special case pure
oute
r
d
i
sjunctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolae
g
e
add
i
sl_{set,map}_
d
rop_constraints_n
o
t_involving
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
ven
Verdool
a
ege
add isl_{set
,
map}_plain_
u
nsh
i
fted_sim
p
le_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven
V
erdoolaege
AST generat
i
on: a
l
ways pr
i
nt br
a
c
es
a
round
b
ody of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven
Verdoolaege
isl_tab_
p
ip
.
c: f
i
nd_solu
t
ions:
extr
a
ct out
r
eset_any_to_unknown
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
ven Ve
r
doola
e
ge
i
s
l
_
map_*_si
m
ple_hull:
k
e
ep results in a cache
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sve
n
Verdoolaege
implement
i
sl_
s
et_free in terms of isl_map_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolae
g
e
im
p
lement isl
_
set_cow in terms
o
f
isl_map_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdo
o
la
e
ge
impleme
n
t
i
sl_set_alloc
_
spac
e
in
t
e
r
ms
o
f
isl_
m
ap_alloc_
s
pac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
v
e
n
Verdoolaege
isl_map_alloc
_
space: rename "
d
i
m
" argument to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven
V
erd
o
olaege
i
s
l_set_
a
l
l
o
c_space
:
rename "dim" argume
n
t to "spa
c
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdool
a
ege
isl_p
w
_multi_af
f
_f
r
om_map:
a
void c
o
mputing all equali
t
ies
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verd
o
olaege
isl_
p
w_
m
ulti_aff_from_map: extract out pw_multi
_
a
f
f_from_m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sv
e
n Verd
o
olaeg
e
isl_map_simpl
i
f
y
.
c: int_between_bounds: create tableau
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
S
v
e
n Verdoolaege
isl_map_simplif
y
.
c: int_b
e
tween
_
bounds: specia
l
case
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven
Verdoolaege
i
s
l_map_sim
p
lify
.
c: int_
b
etwe
e
n_bounds: exploit the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaeg
e
isl_
b
asi
c
_
m
a
p
_drop_redunda
n
t_divs: handle more
cases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
S
ven Verdoolaege
isl_
m
ap_simplify
.
c: drop_more_r
e
dundant_divs: test
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sve
n
Ver
d
oolaege
is
l
_map_simplify
.
c: drop_more_redu
n
dan
t
_divs: col
l
ect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
S
v
en Verdoolaege
isl
_
m
a
p_simp
l
ify
.
c: drop_more_redundant_divs:
n
o need
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
is
l
_test
.
c
: test
_
d
i
v: ex
t
ract out test_elimination
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_map_si
m
pli
f
y
.
c
:
c
ons
t
ruct_test_in
e
q
:
use isl_basic_map_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sve
n
Verd
o
o
l
ae
g
e
isl_map_simplify
.
c: construct
_
test_ineq:
u
se
i
sl_basic_m
a
p_o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_map_sim
p
l
if
y
.
c: dro
p
_more_r
e
dun
d
ant_divs
:
avo
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven V
e
rdoolaege
isl_
m
a
p
_simplify
.
c:
d
rop_more_red
u
ndan
t
_divs: use isl_bas
i
c_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
S
ven Verd
o
olaege
i
s
l
_
map_s
i
mplify
.
c: dro
p
_m
o
re_redundant_divs: u
s
e isl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_ba
s
ic_ma
p
_drop_redundant_di
v
s_ineq
:
simpl
i
fy
l
og
i
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdo
o
l
a
ege
i
s
l_basic_m
a
p_dro
p
_re
d
un
d
ant_divs
_
ineq: ext
r
act o
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sve
n
Verdoolaege
Me
r
g
e branc
h
'maint' int
o
HEAD
commit
|
commitdiff
|
tree
2016-05-25
S
ven
Verdoolaege
isl_map_simp
l
ify
.
c: drop_m
o
re_
r
ed
u
ndant_divs: imp
r
ove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sve
n
Verdoolaege
isl_scheduler
.
c: fix typo
in comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven V
e
rdoolaege
isl_ma
p
_simplify
.
c:
f
i
x
typo in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdo
o
laege
is
l
_
convex_hul
l
.
c
: fix typo in
co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven
V
erdoolaege
isl_affine_hull
.
c
:
fix typo in comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_tab_pip
.
c
: fix typo in
c
o
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ver
d
oolaege
isl_aff
.
c: fix typo
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-24
Sven Verd
o
o
la
e
ge
i
sl_b
a
sic_m
a
p_u
p
date_from_tab: i
m
pr
o
ve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-24
Sven Verdoolaege
i
s
l_basic_map_remove_redundanc
i
es:
improve erro
r
handl
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
S
v
en V
e
r
d
o
ol
a
ege
is
l
_tab_pip
.
c:
f
i
x typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sv
e
n Verdoola
e
ge
clearl
y
document th
a
t is
l
_t
a
b_allocate
_
con an
d
its
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verdoolaege
i
s
l 0
.
1
7
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verdoolaeg
e
i
sl
_
tab_lexmin_add_eq: m
a
ke sure the
t
ableau
has enough
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sven V
e
rdo
o
laege
isl_ta
b
_lexmi
n
_add
_
eq: fix err
o
r
handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-03
Sven
Verdoolaege
isl 0
.
17
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-03
Sven Verdoolae
g
e
isl_schedule_
c
onstraint
s
_compute_s
c
hedu
l
e: fix
h
andling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-26
Sven
V
erdoolaege
Merge
b
r
anch 'maint' into release
commit
|
commitdiff
|
tree
2016-04-26
Sve
n
Ve
r
d
o
olaege
doc: add some further reading
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-26
Sven
V
e
rd
o
olaege
doc
:
upda
t
e integ
e
r set coalesc
i
ng reference
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-26
Sve
n
Ve
r
doolaege
d
oc: add pip experiment in
p
uts to
di
s
tribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sve
n
Verdoo
l
aege
doc
:
add DOIs
t
o so
m
e
more
bibtex entries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
