GitHub - GaloisInc/saw-core-sbv at 0f7c95cf9e006cbf5e596171851bd0a24abf0bdb

This repository has been archived by the owner on Jun 11, 2021. It is now read-only.

GaloisInc / saw-core-sbv Public archive

Simulator backend for saw-core based on SBV

Name		Name	Last commit message	Last commit date
Latest commit History 47 Commits
src/Verifier/SAW/Simulator		src/Verifier/SAW/Simulator
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
saw-core-sbv.cabal		saw-core-sbv.cabal

Repository files navigation

This repository contains a backend for the saw-core library that uses the sbv library for communication with SMT solvers.