search

leanprover / LNSym

Armv8 Native Code Symbolic Simulator in Lean
Apache License 2.0
62 stars 18 forks source link

Progress towards GCMGMultV8 and associated BitVec cleanup #243

Closed shigoel closed 3 weeks ago

shigoel commented 3 weeks ago

Description:

Progress towards GCMGMultV8 and associated BitVec cleanup

Testing:

What tests have been run? Did make all succeed for your changes? Was conformance testing successful on an Aarch64 machine?

License:

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.