Ignore:
Timestamp:
Nov 24, 2010, 1:00:41 AM (9 years ago)
Author:
sacerdot
Message:

assembly1 defined on ACALL and ADD: it seems it will become too slow...

File:
1 edited

Legend:

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

    r270 r271  
    2323ndefinition Byte ≝ BitVector (S (S (S (S (S (S (S (S Z)))))))).
    2424ndefinition Word ≝ BitVector (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S Z)))))))))))))))).
    25 ndefinition Word11 ≝ BitVector (S (S (S (S (S (S (S (S (S (S (S (S (S Z))))))))))))).
     25ndefinition Word11 ≝ BitVector (S (S (S (S (S (S (S (S (S (S (S Z))))))))))).
    2626
    2727(* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= *)
     
    200200        ((exponential (S (S Z)) o) * hdval) + nat_of_bitvector o tl
    201201    ].
    202    
     202
     203(*
    203204nlet rec equality (n: Nat) (b: BitVector n) (c: BitVector n) on b ≝
    204205  match b with
     
    209210    | Cons
    210211    ].
     212*)
Note: See TracChangeset for help on using the changeset viewer.