From 31a4cf90b7e11ba7e6c5c3bda41e262b55d10996 Mon Sep 17 00:00:00 2001 From: Aaron Tomb Date: Mon, 1 Jun 2015 09:16:04 -0700 Subject: [PATCH] Add top-level README --- README.md | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 00000000..8d72ded8 --- /dev/null +++ b/README.md @@ -0,0 +1,10 @@ +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.