Axioms

[vzaliva]

I am using this library in another project and get the following warning on code extraction:

Warning: The following logical axioms were
encountered: Capabilities.Capability.bits_of_vec_hd
             Capabilities.Capability.cap_encode_valid
             Capabilities.Capability.cap_is_valid_bv
             Capabilities.Capability.bytes_to_bits_to_bytes
             Capabilities.Capability.bits_to_vec_to_bits
             Capabilities.Capability.bits_of_bytes_len
             Capabilities.Capability.cap_encode_decode_bounds
             Capabilities.Capability.mword_to_bools_split
             Capabilities.Capability.hd_bits_of_vec
             Capabilities.Capability.mword_to_bits_to_mword.

Ideally, these axioms need to be proven.

[ric-almeida]

I'm currently working on this. Thanks