The Cryptol Symbolic Simulator, part of SAW.
Haskell
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
css
saw
src/Verifier/SAW
.gitignore
LICENSE
README.md
Setup.hs
cryptol-verifier.cabal

README.md

This repository contains the code for the Cryptol Symbolic Simulator (CSS). It is currently used primarily as a library from SAWScript, but also produces a stand-alone executable, css. This executable has only limited functionality: it can translate a single Cryptol function to an And-Inverter Graph (AIG).