Changes between Version 53 and Version 54 of IR2


Ignore:
Timestamp:
04/30/21 13:24:25 (5 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR2

    v53 v54  
    44
    55* CIVL-IR is a subset of CIVL-C.  A CIVL-IR program is a CIVL-C program, and has the same semantics.
     6* CIVL-IR should be a small language.   Whenever there is a way to express a new construct using other existing constructs, the preferred approach is to not add the new construct to the language.
    67* CIVL-IR is to be as close as possible to a language representation of a CIVL "Model".   This is the lowest-level representation of a CIVL program, one appropriate for efficient (symbolic) execution and/or model checking.
    78* The basic representation of a function is as a "program graph"---a directed graph in which the nodes are locations and edges are atomic statements.