• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Community
    • 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
          • Rewriter-legacy
          • Rewriter-basic
          • Rewriter-alt
          • Make-rewriter-simple
          • Def-simplified
        • Axe-jvm
        • Axe-x86
      • Execloader
    • Math
    • Testing-utilities
  • Axe

Axe-rewriters

The Axe rewriter tools.

Subtopics

Rewriter-legacy
The legacy Axe rewriter.
Rewriter-basic
A basic, modern Axe rewriter.
Rewriter-alt
Another legacy Axe rewriter.
Make-rewriter-simple
A tool to create custom Axe rewriters.
Def-simplified
A tool to simplify a term or DAG.