Changeset 2774 for src/RTLabs


Ignore:
Timestamp:
Mar 5, 2013, 6:15:06 PM (7 years ago)
Author:
sacerdot
Message:
  1. the compiler now outputs both the stack cost model and the max stack available
  2. hypothesis on initial status not failing removed from correctness.ma by using the low level definition
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/RTLabsToRTL.ma

    r2689 r2774  
    11include "RTLabs/RTLabs_syntax.ma".
    22include "RTL/RTL.ma".
    3 include "common/AssocList.ma".
    43include "common/FrontEndOps.ma".
    54include "common/Graphs.ma".
Note: See TracChangeset for help on using the changeset viewer.