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

[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  ad10cba00bf563d6d38b6b2cd6a2713cd7731f14 (commit)
       via  2e1cf8701df4d99a51ec6ca65d002f11ad060832 (commit)
       via  f8c535880fa683935037dda990001c1e1eb593af (commit)
       via  cac1018c02fea3d7e54fef3b58f0a6e196cf333d (commit)
      from  1913b8fe9d2b88c960df0469fb3e9a22026182e3 (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 ad10cba00bf563d6d38b6b2cd6a2713cd7731f14
Author: Marek Marecki <address@hidden>
Date:   Wed Oct 10 20:15:42 2018 +0200

    Remove useless const
    
    A copy was being made immediately after the case so the constness was
    discarded.

commit 2e1cf8701df4d99a51ec6ca65d002f11ad060832
Author: Marek Marecki <address@hidden>
Date:   Wed Oct 10 20:09:34 2018 +0200

    Correctly set-up relationship between types in vector
    
    This will let the inferencer deduce more types - in this case it will be
    able to deduce type of the value inserted into the vector via pointer
    dereference.

commit f8c535880fa683935037dda990001c1e1eb593af
Author: Marek Marecki <address@hidden>
Date:   Wed Oct 10 20:08:19 2018 +0200

    Erase `vinsert`ed values only if they were not copied
    
    When a result of pointer dereference is inserted into a vector a copy is
    made because pointers are proxies to values, not locations.

commit cac1018c02fea3d7e54fef3b58f0a6e196cf333d
Author: Marek Marecki <address@hidden>
Date:   Wed Oct 10 20:03:46 2018 +0200

    More meta-information when dumping function state
    
    Type signature dumps now include the information about the relations
    between them making reasoning about type relationships between different
    values in the function easier.
    
    For example:
    
        vector#0 of value#1
        pointer#2 to value#1
    
    makes it immediately obvious that the pointer has the same contained
    type as the vector and that they are related.

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

Summary of changes:
 .../tooling/libs/static_analyser/static_analyser.h |  2 +
 .../libs/static_analyser/static_analyser.cpp       | 65 ++++++++++++++++++----
 2 files changed, 57 insertions(+), 10 deletions(-)


hooks/post-receive
-- 
Viua VM