Changes between Version 138 and Version 139 of IR


Ignore:
Timestamp:
01/11/16 16:04:38 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR

    v138 v139  
    453453=== Function Contracts ===
    454454
     455[wiki:Function_Contracts]
     456
    455457* action expressions:
    456458 * `read(e)`: `e` has type `Mem`. The function reads the memory units specified by `e`.