Changes between Version 37 and Version 38 of IR2


Ignore:
Timestamp:
04/28/21 16:56:20 (5 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR2

    v37 v38  
    66* 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.
    77* 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.
     8* Expressions are side-effect free.
     9
    810
    911=== Questions ===