Skip to content
This repository has been archived by the owner on Jun 9, 2021. It is now read-only.

GaloisInc/saw-core

Folders and files

NameName
Last commit message
Last commit date

Latest commit

author
Eddy Westbrook
Apr 28, 2018
abebd2a · Apr 28, 2018
Dec 10, 2012
Dec 28, 2017
Apr 28, 2018
Sep 9, 2017
Aug 4, 2014
Sep 1, 2017
Feb 23, 2016
Jun 1, 2015
Dec 10, 2014
Mar 23, 2018

Repository files navigation

This repository contains the code for SAWCore, an intermediate language for representing the semantics of software (and potentially hardware). It provides support for constructing models in a dependently-typed lambda-calculus, transforming those models using a rewriting engine, concretely or symbolically interpreting those models, and emitting them as input to various external theorem provers.

Currently, the library supports generating AIG, CNF, and SMT-Lib output.