Changes between Version 21 and Version 22 of IR


Ignore:
Timestamp:
11/22/15 11:58:57 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR

    v21 v22  
    88* a CIVL-IR program represents a guarded-transition system explicitly
    99* as in CIVL-C, there are functions, scopes, and functions can be defined in any scope
    10 * all blocks (including a function body) consist of the following elements, in order:
     10* all blocks (including a function body) consist of the following elements:
     11 * a sequence of type definitions
    1112 * a sequence of variable declarations with no initializers
    1213 * a sequence of function definitions