Ignore:
Timestamp:
Nov 30, 2010, 3:06:51 PM (9 years ago)
Author:
sacerdot
Message:

A simple version of assembly (no labels) implemented.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/Interpret.ma

    r338 r341  
    11include "Status.ma".
    2 (* include "Fetch.ma". *)
     2include "Fetch.ma".
    33include "Cartesian.ma".
    44include "Arithmetic.ma".
    55include "List.ma".
    6 
    7 naxiom fetch: BitVectorTrie Byte sixteen → Word → (preinstruction [[relative]]) × Word × Nat.
    86
    97alias id "inclusive_disjunction" = "cic:/matita/ng/Bool/inclusive_disjunction.fix(0,0,1)".
Note: See TracChangeset for help on using the changeset viewer.