Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (7 years ago)
Author:
sacerdot
Message:
  1. everything extracted again after all bugs in Matita's extraction have been fixed. No more need for manual patching
  2. new extraction after file reorganization (by James)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/smallstepExec.mli

    r2717 r2773  
    6060
    6161open Integers
    62 
    63 open BitVectorTrie
    6462
    6563open CostLabel
     
    225223  await_value_stuff -> (__ -> __ -> (__, __) trans_system -> __ -> (__ ->
    226224  Bool.bool) -> __ -> 'a1) -> 'a1
    227 
    228 type await_value = __
    229 
    230 type assert0 = __
    231 
    232 type assert_nz = __
    233 
    234 type after_aux = __
    235225
    236226type ('state, 'output, 'input) execution = ('state, 'output, 'input) __execution Lazy.t
     
    309299  'a3) -> ('a1, 'a2) fullexec -> 'a3
    310300
    311 type ('outty, 'inty) program0
     301type ('outty, 'inty) program
    312302
    313303val es1 : ('a1, 'a2) fullexec -> ('a1, 'a2) trans_system
Note: See TracChangeset for help on using the changeset viewer.