search

GaloisInc / jvm-verifier

The Java Symbolic Simulator, part of SAW.
BSD 3-Clause "New" or "Revised" License
10 stars 2 forks source link

Avoid `bitvector` type synonym in favor of `Vec n Bool`. #14

Closed brianhuffman closed 4 years ago

brianhuffman commented 4 years ago

See https://github.com/GaloisInc/saw-script/issues/863#issuecomment-709484290

brianhuffman commented 4 years ago

This is in preparation to work with GaloisInc/saw-core#90.