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/frontEndMem.mli

    r2717 r2773  
    1717open Errors
    1818
    19 open Setoids
    20 
    21 open Monad
    22 
    23 open Option
    24 
    2519open Lists
    2620
     
    3630
    3731open Arithmetic
     32
     33open Setoids
     34
     35open Monad
     36
     37open Option
    3838
    3939open Extranat
     
    9090
    9191val loadn :
    92   GenMem.mem1 -> Pointers.pointer -> Nat.nat -> ByteValues.beval List.list
     92  GenMem.mem -> Pointers.pointer -> Nat.nat -> ByteValues.beval List.list
    9393  Types.option
    9494
    9595val load :
    96   AST.typ -> GenMem.mem1 -> Pointers.pointer -> Values.val0 Types.option
     96  AST.typ -> GenMem.mem -> Pointers.pointer -> Values.val0 Types.option
    9797
    98 val loadv : AST.typ -> GenMem.mem1 -> Values.val0 -> Values.val0 Types.option
     98val loadv : AST.typ -> GenMem.mem -> Values.val0 -> Values.val0 Types.option
    9999
    100100val storen :
    101   GenMem.mem1 -> Pointers.pointer -> ByteValues.beval List.list ->
    102   GenMem.mem1 Types.option
     101  GenMem.mem -> Pointers.pointer -> ByteValues.beval List.list -> GenMem.mem
     102  Types.option
    103103
    104104val store :
    105   AST.typ -> GenMem.mem1 -> Pointers.pointer -> Values.val0 -> GenMem.mem1
     105  AST.typ -> GenMem.mem -> Pointers.pointer -> Values.val0 -> GenMem.mem
    106106  Types.option
    107107
    108108val storev :
    109   AST.typ -> GenMem.mem1 -> Values.val0 -> Values.val0 -> GenMem.mem1
     109  AST.typ -> GenMem.mem -> Values.val0 -> Values.val0 -> GenMem.mem
    110110  Types.option
    111111
    112 val valid_pointer : GenMem.mem1 -> Pointers.pointer -> Bool.bool
     112val valid_pointer : GenMem.mem -> Pointers.pointer -> Bool.bool
    113113
Note: See TracChangeset for help on using the changeset viewer.