Ignore:
Timestamp:
Mar 6, 2013, 2:59:22 AM (7 years ago)
Author:
sacerdot
Message:

Bug fixed: in BitVector?.ma the functions bv_to_nat and nat_to_bv were
using the wrong indianess. They were also redundant with the good
(but inefficient) ones in Arithmetic.ma.

On a simple test the compiled code runs (I have not checked the
result).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/bitVector.mli

    r2773 r2780  
    5959val pad : Nat.nat -> Nat.nat -> bitVector -> Bool.bool Vector.vector
    6060
    61 val nat_to_bv : Nat.nat -> Nat.nat -> bitVector
    62 
    63 val bv_to_nat : Nat.nat -> bitVector -> Nat.nat
    64 
    6561val conjunction_bv : Nat.nat -> bitVector -> bitVector -> bitVector
    6662
Note: See TracChangeset for help on using the changeset viewer.