Changes between Version 36 and Version 37 of IR2


Ignore:
Timestamp:
04/28/21 15:43:19 (5 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR2

    v36 v37  
    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 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.
     7* 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.
    68
    79=== Questions ===