Ignore:
Timestamp:
Feb 7, 2013, 10:43:49 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/cminor_semantics.mli

    r2636 r2649  
    1515open Identifiers
    1616
    17 open Floats
    18 
    1917open Integers
    2018
     
    3937open Pointers
    4038
     39open ErrorMessages
     40
    4141open Option
    4242
     
    4646
    4747open Positive
    48 
    49 open Char
    50 
    51 open String
    5248
    5349open PreIdentifiers
     
    316312val state_jmdiscr : state0 -> state0 -> __
    317313
    318 val unknownLocal : String.string
    319 
    320 val failedConstant : String.string
    321 
    322 val failedOp : String.string
    323 
    324 val failedLoad : String.string
    325 
    326314val eval_expr :
    327315  genv -> AST.typ -> Cminor_syntax.expr -> env -> Pointers.block ->
    328316  GenMem.mem1 -> (Events.trace, Values.val0) Types.prod Errors.res
    329 
    330 val badState : String.string
    331317
    332318val k_exit :
     
    348334  Types.prod Types.sig0
    349335
    350 val wrongNumberOfParameters : String.string
    351 
    352336val bind_params :
    353337  Values.val0 List.list -> (AST.ident, AST.typ) Types.prod List.list -> env
     
    360344  -> (Events.trace, 'a2 List.list) Types.prod Errors.res
    361345
    362 val failedStore : String.string
    363 
    364 val badFunctionValue : String.string
    365 
    366 val returnMismatch : String.string
    367 
    368346val eval_step :
    369347  genv -> state0 -> (IO.io_out, IO.io_in, (Events.trace, state0) Types.prod)
     
    374352val cminor_exec : (IO.io_out, IO.io_in) SmallstepExec.trans_system
    375353
    376 val mainMissing : String.string
    377 
    378354val make_global0 : Cminor_syntax.cminor_program -> genv
    379355
Note: See TracChangeset for help on using the changeset viewer.