Changeset 2773 for extracted/values.mli


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

    r2717 r2773  
    137137val vone : AST.intsize -> val0
    138138
    139 val mone0 : AST.intsize -> BitVector.bitVector
     139val mone : AST.intsize -> BitVector.bitVector
    140140
    141141val vmone : AST.intsize -> val0
     
    149149val eval_bool_of_val : val0 -> Bool.bool Errors.res
    150150
    151 val neg0 : val0 -> val0
     151val neg : val0 -> val0
    152152
    153153val notint : val0 -> val0
    154154
    155 val notbool0 : val0 -> val0
     155val notbool : val0 -> val0
    156156
    157 val zero_ext1 : AST.intsize -> val0 -> val0
     157val zero_ext : AST.intsize -> val0 -> val0
    158158
    159 val sign_ext1 : AST.intsize -> val0 -> val0
     159val sign_ext : AST.intsize -> val0 -> val0
    160160
    161 val add0 : val0 -> val0 -> val0
     161val add : val0 -> val0 -> val0
    162162
    163163val sub : val0 -> val0 -> val0
    164164
    165 val mul0 : val0 -> val0 -> val0
     165val mul : val0 -> val0 -> val0
    166166
    167167val v_and : val0 -> val0 -> val0
    168168
    169 val or1 : val0 -> val0 -> val0
     169val or0 : val0 -> val0 -> val0
    170170
    171 val xor0 : val0 -> val0 -> val0
     171val xor : val0 -> val0 -> val0
    172172
    173173val cmp_match : Integers.comparison -> val0
     
    186186  BitVector.bitVector -> Bool.bool
    187187
    188 val cmp0 : Integers.comparison -> val0 -> val0 -> val0
     188val cmp : Integers.comparison -> val0 -> val0 -> val0
    189189
    190 val cmpu0 : Integers.comparison -> val0 -> val0 -> val0
     190val cmpu : Integers.comparison -> val0 -> val0 -> val0
    191191
    192192val load_result : AST.typ -> val0 -> val0
Note: See TracChangeset for help on using the changeset viewer.