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

 
Dec 10, 2012
May 30, 2018
Jun 6, 2018
May 17, 2018
May 10, 2018
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.