[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Viuavm-commits] [SCM] Viua VM branch devel updated. v0.9.0-2297-g54c0d0
From: |
git |
Subject: |
[Viuavm-commits] [SCM] Viua VM branch devel updated. v0.9.0-2297-g54c0d03 |
Date: |
Tue, 18 Dec 2018 19:49:15 +0100 (CET) |
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Viua VM".
The branch, devel has been updated
via 54c0d03bdebfefb1eb836309baeab3d28841f61b (commit)
via 3ae11639d5a7029407d4ed30e405d56783686c03 (commit)
via 563851f3c94b730e8bf84c3cf2cb46fa507fecba (commit)
from e4264cd6be73fe6c1403efe9e38147fa44889edf (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 54c0d03bdebfefb1eb836309baeab3d28841f61b
Author: Marek Marecki <address@hidden>
Date: Tue Dec 18 19:48:57 2018 +0100
Use Arm_result to see if a call leads to endless recursion
commit 3ae11639d5a7029407d4ed30e405d56783686c03
Author: Marek Marecki <address@hidden>
Date: Tue Dec 18 19:46:16 2018 +0100
Make analyse_single_arm() return the result of the analysis
This result is especially useful when checking whether a call leads to
endless recursion or not, by comparing the execution paths taken by both
arms.
commit 563851f3c94b730e8bf84c3cf2cb46fa507fecba
Author: Marek Marecki <address@hidden>
Date: Tue Dec 18 18:58:44 2018 +0100
Fix: arms analysed after IF are conditionally executed
The marker that says "this code is conditionally executed" should be set
to true when analysing them.
-----------------------------------------------------------------------
Summary of changes:
.../libs/static_analyser/static_analyser.cpp | 44 +++++++++++++++++-----
1 file changed, 35 insertions(+), 9 deletions(-)
hooks/post-receive
--
Viua VM
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Viuavm-commits] [SCM] Viua VM branch devel updated. v0.9.0-2297-g54c0d03,
git <=