initial commit

nunoplopes · Jun 11, 2014 · 39aaf2f · 39aaf2f
1 parent c3f3027
commit 39aaf2f
Show file tree

Hide file tree

Showing 8 changed files with 4,466 additions and 3 deletions.
diff --git a/AUTHORS b/AUTHORS
@@ -0,0 +1,7 @@
+# This is the official list of ALIVe authors for copyright purposes.
+
+# Names should be added to this file as:
+# Name or Organization <email address>
+# The email address is not required for organizations.
+
+Nuno Lopes <nuno.lopes@ist.utl.pt>
diff --git a/README.md b/README.md
@@ -1,4 +1,12 @@
-alive
-=====
-
 ALIVe: Automatic LLVM's Instcombine Verifier
+============================================
+
+ALIVe is a tool that can prove the correctness of InstCombine optimizations
+specified in a high-level language.
+
+WARNING: This tool is not complete and its results should not be relied upon.
+
+
+Requirements
+------------
+ALIVe requires Z3Py, which can be obtained from http://z3.codeplex.com