source: src/Clight/toCminorMeasurable.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @3178   7 years campbell Some progress on Callstate steps in Clight to Cminor. Note that some …
(edit) @3155   7 years campbell Now have proof that the initial states are in simulation for clight to …
(edit) @3063   7 years campbell Remove measure function from FEMeasurable because we're not using it …
(add) @3055   7 years campbell Start getting partial Clight to Cminor proof in shape for …
Note: See TracRevisionLog for help on using the revision log.