SAW Documentation
LLVM/Java Verification with SAW
Rust Verification with SAW
SAW User Manual
Introduction
Installing SAW
Getting Started
Getting Started with the Python Bindings
Overview of SAW and SAW’s Structure
Running SAW
Quick Introduction to the SAWScript Language
Proofs about Cryptol Models
Introduction to Symbolic Execution
Verifying Code Using Symbolic Execution
Verifying Hardware Using Yosys
The SAWScript Language
The Python Bindings
Interactive Proofs
Extraction to Rocq
Bisimulation Prover
Command Line Reference
SAWScript Language Reference
SAWScript Commands Reference
SAW REPL Reference
Python API Reference
SAWCore Language Reference
Mapping Cryptol to SAWCore
Appendices
SAW Documentation
SAW User Manual
Mapping Cryptol to SAWCore
View page source
Mapping Cryptol to SAWCore
Warning
This section is under construction!
Versions
v: master