search

leanprover / LNSym

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

chore: do not CSE literals #228

Closed bollu closed 4 weeks ago

bollu commented 4 weeks ago

Issues:

Closes #127

Testing

Cosim succeeds. I simplified the tests in CSE/ to reduce noise.

License:

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