Add top-level README

GaloisInc · Jun 1, 2015 · 31a4cf9 · 31a4cf9
1 parent 897a604
commit 31a4cf9
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/README.md 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.