The LLVM Symbolic Simulator, part of SAW.
Haskell C LLVM Other
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
bcdump
doc
lss
saw
src/Verifier/LLVM
sym-api
test-programs
test/src
.gitignore
ABC_LICENSE
LICENSE
Memory.hs
README.md
Setup.hs
llvm-verifier.cabal

README.md

This repository contains the code for the LLVM Symbolic Simulator (LSS). It is currently used primarily as a library from SAWScript, but also produces a stand-alone executable, lss.

For information on using lss, see the tutorial in doc/lss-tutorial.