Ignore:
Timestamp:
Mar 27, 2013, 9:57:13 PM (8 years ago)
Author:
piccolo
Message:

Fixed cond and seq case in StatusSimulationHelper?

Added cost case in StatusSimulationHelper?

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/StatusSimulation.ma

    r2870 r2991  
    361361    ] ≝
    362362  match tll1 with
    363   [ tll_base fl1' st1' st1'' tal1 H ⇒ ?
     363  [ tll_base fl1' rst1 rst1' tal1 H ⇒ ?
    364364  ]
    365365and status_simulation_produce_tal S1 S2 R
Note: See TracChangeset for help on using the changeset viewer.