[Viuavm-commits] [SCM] Viua VM branch issue/ce6f5d82/rewrite-assembler updated. v0.9.0-2140-gd6d1ef3

[git]

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, issue/ce6f5d82/rewrite-assembler has been updated
       via  d6d1ef35ef1e5d4511e63080d22ea98312f363b9 (commit)
       via  938a288757f62f94677877fd835063bb5a00d451 (commit)
       via  4867ad04c4a8500d17024472f52547650e3a5a1a (commit)
       via  cb12706f5a0e2e3826f44850f5a64105f769cdca (commit)
       via  66251851420baccf64d43ef5f2f0e8e16c2e60e3 (commit)
       via  2e02c83609c12aa96a15a473fbcd7bce8de58fab (commit)
       via  ef504e65343e22249aa4e8d1332775a9e3bfadd9 (commit)
      from  806c4a5208ada1640a0c19c3c7a55583af31bae8 (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 d6d1ef35ef1e5d4511e63080d22ea98312f363b9
Author: Marek Marecki <address@hidden>
Date:   Mon Sep 17 21:08:26 2018 +0200

    Add `iinc` to static analyser

commit 938a288757f62f94677877fd835063bb5a00d451
Author: Marek Marecki <address@hidden>
Date:   Mon Sep 17 21:07:59 2018 +0200

    Remove useless code

commit 4867ad04c4a8500d17024472f52547650e3a5a1a
Author: Marek Marecki <address@hidden>
Date:   Mon Sep 17 21:06:38 2018 +0200

    Implement assuming types
    
    When the static analyser knows that a value *must* be of some type, it
    records that assumption. If the assumption is inconsistent with what was
    assumed earlier the analyser will report an error and abort.

commit cb12706f5a0e2e3826f44850f5a64105f769cdca
Author: Marek Marecki <address@hidden>
Date:   Mon Sep 17 21:04:13 2018 +0200

    Move stringificatio functions higher
    
    They are static because I don't want to declare them (and I will delete
    them when they are no longer useful, but the compiler will not be able
    to detect that without the `static` keyword). This means that to use
    them in the whole file they need to be nearly at the top.

commit 66251851420baccf64d43ef5f2f0e8e16c2e60e3
Author: Marek Marecki <address@hidden>
Date:   Mon Sep 17 21:02:15 2018 +0200

    Better conversion to simple type signatures

commit 2e02c83609c12aa96a15a473fbcd7bce8de58fab
Author: Marek Marecki <address@hidden>
Date:   Mon Sep 17 20:56:44 2018 +0200

    Allow rebinding value wrapper to different values
    
    The fact that a value wrapper is just that - a wrapper, and rebinding it
    reassigns the value it wraps makes implementing type inference easy. If
    we want to deduce the type of elements of a vector let's just copy the
    wrapper for the contained type, use some more direct instruction to
    deduce it, and just rebind the wrapper used for the "direct"
    instruction (e.g. `iinc` which takes integers).
    The blank in type of the vector will be "automagically" filled.

commit ef504e65343e22249aa4e8d1332775a9e3bfadd9
Author: Marek Marecki <address@hidden>
Date:   Mon Sep 17 20:56:10 2018 +0200

    Add empty "value" value type

-----------------------------------------------------------------------

Summary of changes:
 .../tooling/libs/static_analyser/static_analyser.h |  13 +-
 .../libs/static_analyser/static_analyser.cpp       | 258 ++++++++++++++++-----
 2 files changed, 211 insertions(+), 60 deletions(-)


hooks/post-receive
-- 
Viua VM