pate
pate copied to clipboard
Published
20 hours ago •
GaloisInc
GaloisInc
Patches Assured up to Trace Equivalence
Results
100
pate issues
Sort by
recently updated
recently updated
newest added
Once #388 is complete, make sure we see the synchronization/merge points we expect in the Binary Ninja UI for target7
We may be able to: - clarify the wording of some verifier interactive menu options - better distinguish between options that are the most likely "recommended" options for users vs....
- [ ] update recommended GHC version - [ ] suggest recommended cabal version - [ ] we say we support yices, z3, and cvc4: confirm that we still do,...