• 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-core
    • Axe-rewriters

    Rewriter-alt

    Another legacy Axe rewriter.

    See rewriter-alt.lisp.