source: src/Clight/toCminorMeasurable.ma

Revision Log Mode:


Legend:

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