• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Community
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
      • Kestrel-books
      • X86isa
      • Axe
        • Axe-r1cs
        • Axe-lifters
        • Axe-core
        • Axe-provers
        • Axe-rewriters
        • Axe-jvm
        • Axe-x86
        • Axe-risc-v
          • Def-unrolled
      • Execloader
    • Math
    • Testing-utilities
  • Axe

Axe-risc-v

The RISC-V variant of Axe.

Subtopics

Def-unrolled
A tool to lift RISC-V binary code into logic, unrolling loops as needed.