GitLab will be upgraded to the 12.10.14-ce.0 on 28 Sept 2020 at 2.00pm (AEDT) to 2.30pm (AEDT). During the update, GitLab and Mattermost services will not be available. If you have any concerns with this, please talk to us at N110 (b) CSIT building.

Commit dc05de65 authored by Kunshan Wang's avatar Kunshan Wang

Merged "refined" memory model to main. Describe the memory model for

function redefinitions.
parent 5e457f93
......@@ -21,7 +21,7 @@ Contents:
Working in progress:
- `Refined Memory Model <memory-model-refined>`__ Address some problems not
addressed by the current µVM memory model or the C/C++11 memory model.
(If there is any documents too experimental to be put into the content, it will
be listed here.)
.. vim: tw=80
This diff is collapsed.
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment