SAW Tutorials and Manual
SAW's tutorials and user manual are built and deployed to GitHub Pages as part of saw-script
's continuous integration system.
We deploy versions for the master
branch and all release/version tags (such that you can easily reference the documentation for the version(s) of SAW that you use).
Version-specific Web documentation will be available for SAW versions ≥ 1.3. For older versions, please see the releases, which include PDF renderings of the tutorials and manual for those versions.
Visit https://galoisinc.github.io/saw-script to view all available Web versions of the documentation.
Last updated