From: Peizhao Ou <peizhaoo@uci.edu>
Date: Tue, 8 Oct 2013 07:39:38 +0000 (-0700)
Subject: modification
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=10ddbdc47a4f3f3f1dc7125a808dea831b3f0484;p=cdsspec-compiler.git

modification
---

diff --git a/interpreter.cc b/interpreter.cc
deleted file mode 100644
index e69de29..0000000
diff --git a/notes/README.txt b/notes/README.txt
new file mode 100644
index 0000000..6304dce
--- /dev/null
+++ b/notes/README.txt
@@ -0,0 +1,4 @@
+####------------------------------------------------------------------------####
+This repository contains all the source code and library for the specification
+compiler. This compiler is written with Java. It takes the C/C++11 source files
+and translates them into the new source code for the model checker.