Ignore:
Timestamp:
Nov 30, 2012, 6:31:29 PM (7 years ago)
Author:
campbell
Message:

Conjecture main Cminor/RTLabs simulation results.
Add a few notes about measurable traces.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/abstract.ma

    r2499 r2511  
    44
    55definition RTLabs_state ≝ state.
    6 
     6definition RTLabs_genv ≝ genv.
    77
    88(* Build a full abstract status record that can be used with structured traces. *)
Note: See TracChangeset for help on using the changeset viewer.