Commits on Dec 7, 2023

1. Simplify prelude.sail by including generic_equality.sail and mapping.… …

   …sail
   
   This change includes `generic_equality.sail` and `mapping.sail` from the Sail standard library which defines a lot of things that were defined in `prelude.sail`.
   
   I also removed `reg_deref` which is no longer required.
   
   The `mapping.sail` and `hex_bits.sail` files are in Sail 0.18 which is not yet released, so they have been temporarily copied here.

   

   Timmmm committed Dec 7, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 4f3946f
   • Browse repository at this point

   Copy the full SHA

   4f3946f View commit details

   Browse the repository at this point in the history