Changes between Version 123 and Version 124 of IR2


Ignore:
Timestamp:
06/09/21 01:55:32 (5 years ago)
Author:
ziqing
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR2

    v123 v124  
    494494
    495495=== `state.cvh` ===
     496* `$state`: a first-class type in the language representing a program state
     497
    496498* `$state $state_get()`:  returns a program state containing ONLY the current process state of the calling process.  Equivalent to taking a snapshot of the calling process at the current state.
    497499