From 10ddbdc47a4f3f3f1dc7125a808dea831b3f0484 Mon Sep 17 00:00:00 2001 From: Peizhao Ou Date: Tue, 8 Oct 2013 00:39:38 -0700 Subject: [PATCH] modification --- interpreter.cc | 0 notes/README.txt | 4 ++++ 2 files changed, 4 insertions(+) delete mode 100644 interpreter.cc create mode 100644 notes/README.txt 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. -- 2.34.1