Remove files upstreamed to Sail 0.18

These files are now part of the Sail standard library.
Timmmm · Oct 13, 2024 · 2b65a0d · 2b65a0d
1 parent 46aef02
commit 2b65a0d
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 404 deletions.
diff --git a/model/hex_bits.sail b/model/hex_bits.sail
diff --git a/model/hex_bits_signed.sail b/model/hex_bits_signed.sail