Ignore:
Timestamp:
Mar 26, 2013, 4:51:40 PM (7 years ago)
Author:
sacerdot
Message:

New extraction, it diverges in RTL execution now.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTL_semantics.mli

    r2951 r2960  
    306306  rTL_state -> rTL_state Errors.res
    307307
    308 val stackOverflow : ErrorMessages.errorMessage
    309 
    310308val rtl_setup_call_separate_overflow :
    311309  Nat.nat -> Registers.register List.list -> Joint.psd_argument List.list ->
Note: See TracChangeset for help on using the changeset viewer.