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_input.c: directly include required header
2015-05-05
S
v
en Verdoolaege
isl
_
in
p
ut
.
c: directly inc
l
u
de
requ
i
r
ed header
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
Sven Verdoolaege
is
l
_flow
.
c: directly include required hea
d
ers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
Sven Ve
r
doo
l
a
e
g
e
i
sl_ast
_
codegen
.
c:
d
irectly includ
e
required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
Sven
V
erdoolaege
isl_ast_build_expr
.
c:
d
irectly include req
u
ired header
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
Sven Verdoolaege
isl_as
t
_build
.
c: directly inc
l
ude requir
e
d
head
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
Sv
e
n V
e
r
d
oo
l
aege
isl_basic_map_reduce
_
coefficients: call gauss when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdo
o
laeg
e
isl
_
test:
be more
verbose
o
n
a
ll tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sve
n
Verdoola
e
ge
Merge branch 'm
a
int
'
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdoolaege
isl_qpolyn
o
m
ial_fold_fold_
o
n_
d
omain: d
o
not consi
d
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sv
e
n V
e
r
d
oolaege
isl_qpolynomial_
f
o
l
d
_
fold_on_domain: elimi
n
ate obvious
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdoolaege
isl_flow
.
c:
isl_compu
t
e_flow_schedule
_
data_clear:
ha
n
dle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven V
e
rdoo
l
aege
isl_coa
l
esc
e
.
c: con
t
a
i
ns: i
m
prove
error handl
i
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaeg
e
isl_coa
l
e
sce
.
c: che
c
k_facets:
i
mp
r
ov
e
e
rror
handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sve
n
Ve
r
do
o
la
e
ge
isl
_
coalesce
.
c: set_up_substitutions: plug memory
l
eak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaege
is
l
_c
o
ale
s
ce
.
c: chec
k
_coal
e
sce
_
into_eq: avoi
d
double
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Ver
d
oolaege
isl_tab_c
o
m
pute_redu
c
e
d
_bas
i
s:
on
l
y print error message
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verd
o
olae
g
e
isl_tab_pip
.
c: sol_{ma
p
,pma}_
a
dd_empty: drop spurious
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Ve
r
doolaege
isl_tab_pip
.
c: context_gbr_restore: abor
t
on f
a
ilur
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaeg
e
isl_tab_pip
.
c: gbr_ge
t
_s
a
mple: do not try to resto
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaeg
e
isl_c
o
ales
c
e
.
c: contains
:
improve er
r
or ha
n
dling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdo
o
la
e
ge
i
sl_c
o
a
l
esce
.
c: ch
e
ck
_
facets: improve error
ha
n
dling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sve
n
Verdoolaege
i
s
l_trans
i
tive_closur
e
.
c: co
n
struc
t
_
c
o
mponent:
improve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdo
o
l
a
ege
is
l
_transitive_closure
.
c: isl_set_overlaps: hand
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdo
o
laege
isl_transitiv
e
_closure
.
c:
c
onstruct_exten
d
ed_path:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
S
v
en Ve
r
d
oola
e
ge
isl_transitive_cl
o
sure
.
c:
add_d
e
lta
_
c
o
nstraints: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdo
o
lae
g
e
is
l
_
tran
s
i
tive_cl
o
sure
.
c:
set_p
a
th_le
n
gth: av
o
i
d
NUL
L
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaege
isl_space_a
d
d_dims: a
v
o
i
d NULL pointer de
r
eference
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoo
l
aege
isl_
m
ap_simplify
.
c:
remove_shifte
d
_constraint
s
: handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaege
isl_basic_
m
ap_
p
lai
n
_cmp: handle NULL argument
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-21
Sve
n
Verdoola
e
ge
in
c
lude/isl/
u
n
ion_ma
p
.
h: add
m
i
s
sing incl
u
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-21
Sven Verdoolae
g
e
isl_map_subtract:
s
p
e
c
i
al ca
s
e
o
bviously equ
a
l inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-09
Sven
Verdoolaege
is
l
0
.
14
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-09
S
v
en Ve
r
d
o
olaege
A
U
T
H
O
R
S: add Michael Krus
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-09
Sven Ve
r
doolaege
d
o
c
:
e
xplain somew
h
at c
o
un
t
erintuitive e
f
fect of
proximity
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-01
Sve
n
Ver
d
oo
l
aege
add d
o
c/
C
oding
S
t
y
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-27
Sven V
e
rdoolaege
add isl_s
c
he
d
ule_const
r
aints_get_conditional_validity
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-27
Sven Verdoolaege
add is
l
_sched
u
le_constraints_get_
c
oinc
i
de
n
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-27
Sven Verdoolaege
add i
s
l_schedule_constrai
n
ts_get_validity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-27
Sv
e
n V
e
r
d
oolae
g
e
test inter-band handling of conditio
n
al validity constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-27
Sven Ver
d
ool
a
ege
Mer
g
e bra
n
ch
'
maint'
commit
|
commitdiff
|
tree
2015-03-27
Sven V
e
rdoolaege
isl_s
c
h
ed
u
le_constraints_co
m
pute_schedul
e
: hand
l
e condi
t
iona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-26
Sven Verdoo
l
aege
is
l
_sch
e
duler
.
c: is_
c
onditi
o
n_false: allow edge->tagge
d
_
c
ond
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-25
Sven Ve
r
doo
l
aege
i
sl_
s
ched
u
l
er
.
c: move up so
m
e function
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-25
Sven
V
erdo
o
la
e
ge
i
s
l
_scheduler
.
c: update_edge: impr
o
ve e
r
ro
r
hand
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sven Verdoolaege
add i
s
l_schedule_node_o
r
d
e
r_after
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sven Verdool
a
ege
a
d
d isl_sc
h
e
d
ule
_
node_graft_aft
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
S
v
en
Verdoolaege
add isl_schedule_node_g
r
aft_before
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sv
e
n Verdoolae
g
e
add
i
sl_schedule_
n
o
de
_
s
e
que
n
ce_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sven Verdo
o
laeg
e
add isl_
s
chedu
l
e_tree
_
s
equ
e
nce_pa
i
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sven
Verdoolaege
add isl
_
schedule_node_ex
t
ension
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
S
v
en
Ve
r
doolaege
add isl_s
c
h
ed
u
l
e_ins
e
rt_gu
a
r
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
S
ve
n
Ve
r
doolaege
a
dd isl_schedu
l
e_node_guard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
S
v
en V
e
rdoolaege
ad
d
isl_
s
ched
u
le_no
d
e_get_prefix_s
c
hedu
l
e_relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sven Verd
o
olaege
is
l
_ast_
b
uild: add befor
e
_ea
c
h_mark/
a
f
ter_each_mark
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sven Ver
d
oolaege
add isl_s
c
hedule_
n
ode_m
a
rk
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sv
e
n Verdoolaege
add ast_node_mark
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sven Ver
d
oolae
g
e
isl_ast
.
c: p
r
i
nt_ast_
n
od
e
_isl: av
o
id use of d
e
fault
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sven Verdoo
l
aege
a
d
d i
s
l_sche
d
ule_node_get_
s
ubtree_
c
ontraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
S
v
e
n Ve
r
dool
a
ege
add isl_
s
chedu
l
e_node_get_su
b
tree_expansion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sven Verdo
o
laeg
e
add isl_schedule_
n
ode_g
r
oup
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sven Verdoolaege
isl_sched
u
le_node
.
c: u
p
date_ancestors: allow mo
d
ificatio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sven Verdoolaege
add isl_schedule_tree_ba
n
d_set_partial_sch
e
dule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sven
Ve
r
doo
l
aeg
e
add isl_sche
d
ul
e
_tr
e
e_band
_
inte
r
se
c
t_domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sven V
e
rd
o
olaeg
e
ad
d
isl_schedule_n
o
de_get_
p
refix_
s
chedule_multi_union_
p
w_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sven Verdool
a
ege
ad
d
isl_schedu
l
e_node_
e
xpansion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sv
e
n
V
erdoolaege
isl
_
sched
u
le
_
n
o
d
e
.
c
:
col
l
e
ct_
f
i
l
t
e
r
_
prefix: allow c
a
l
ler
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
S
v
en Verdoolaege
i
sl_schedule_node
.
c: c
o
llect_filter_pre
f
i
x: all
o
w traversal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sven Verdool
a
eg
e
add
i
s
l
_schedule
_
no
d
e
_ge
t
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sven Verdoolae
g
e
a
d
d isl_schedule_
i
n
s
ert_co
n
t
e
xt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-13
Sven
Verdo
o
laege
Me
r
ge branch
'maint'
commit
|
commitdiff
|
tree
2015-03-13
Sven
Verdoolaege
add more t
e
st
c
ase
s
from C
L
o
oG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-13
S
v
en V
e
rdo
o
lae
g
e
r
epla
c
e CLooG t
e
st
c
a
ses with schedul
e
tree vers
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-11
Michael Kr
u
se
isl
_
t
a
b
_
e
x
t
end_vars:
fix buff
e
r overf
l
o
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sv
e
n
V
erdoolaege
add isl_sche
d
ule_
n
od
e
_c
o
ntext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sv
e
n Verdoolaege
isl_ast_graft_list_
e
xtract_hoist
a
b
le_gu
a
r
d
: handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdoolaege
add is
l
_
a
st_graft_
l
ist_insert_pending_guard_nod
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdo
o
laege
isl
_
a
st_build_node_fr
o
m_s
c
hed
u
le: handle isolate AS
T
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-25
S
ven
Verd
o
olaege
isl_ast_bui
l
d: keep track of
m
ap
p
i
ng from inter
n
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-25
S
v
en Verdoolaege
isl_
a
s
t
_bui
l
d_node_from
_
sche
d
ule: handle
bas
i
c AST
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-25
Sve
n
V
erdoo
l
a
e
g
e
isl_ast_loop_
t
ype: add isl_ast_loop_defa
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-25
S
v
en Ver
d
o
o
l
aege
renam
e
isl
_
as
t
_build
_
domain_type
t
o isl_ast_loop_
t
ype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-25
S
ven Ver
d
oo
l
aege
i
s
l_a
s
t
_
cod
e
g
e
n
.
c: do_unrol
l
: extract out foreach_iteratio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-25
S
ven Verdoolaege
ad
d
is
l
_ast_
b
ui
l
d_node_from_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-25
Sve
n
Verdoolaege
a
d
d is
l
_
a
st_
b
u
i
l
d_
a
lloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-25
Sven V
e
rdoolaege
r
e
name
i
sl_ast_buil
d
_ast
_
f
rom_s
c
hedule to isl_a
s
t
_
build_node
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-25
Sven Verdoolaege
add
is
l
_ast
_
expr_call
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-24
Sven V
e
rdoolae
g
e
a
dd isl_ast_ex
p
r
_
pdiv
_
{
q
,r}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-24
Johann
e
s
D
o
erfert
Add pub
l
ic access to s
h
ort
-
circuit && and ||
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-21
Sve
n
Verdool
a
ege
export isl_ast_build_expr_from_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-21
Sven Verdo
o
laege
isl_ast_build_comput
e
_gist:
handle
par
a
m
e
t
r
ic domain
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-21
Sven Verdoolaege
isl_tab_pip
.
c
:
par
a
l
lel_constraints:
d
r
o
p
u
s
ele
s
s assignment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-21
Sv
e
n Verdoolaege
isl_tab_
p
ip
.
c:
f
ind_so
l
u
tions: dro
p
useless assignment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-21
Sven Verdoolaege
i
sl_arg
.
c: dr
o
p
useless
a
s
signments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-21
S
ven V
e
r
doo
l
aege
i
s
l_v
e
rtices
.
c
: ver
t
ices_0D:
d
rop unus
e
d variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-21
Sven Ve
r
do
o
laege
is
l
_vertices
.
c
:
verti
c
es
_
empt
y
:
drop unused variab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-21
Sv
e
n Verdo
o
laege
isl_vertices
.
c: add_verte
x
: drop unu
s
ed variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-21
Sv
e
n Verdoolaege
isl_transitive
_
closure
.
c: construct_power: drop unus
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-21
Sv
e
n V
e
rdoolaege
isl_tab_pip
.
c: se
t
_m
i
n
i
mum_pa: drop unuse
d
variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-21
Sven Ver
d
oolaege
isl_t
a
b_pi
p
.
c: s
e
t
_
minimum: drop u
n
used variabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-21
Sven Verdoolaege
isl_tab_pip
.
c: co
n
text_gb
r
_dete
c
t
_
e
qua
l
ities: d
r
op
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next