ClemsonRSRG/RESOLVE — pull request #6 by yushan87 (2012-09-21 18:13:51+00:00)
Title: Sami

Change Log

- Cleaned up the unused imports and strings in the absyn package
- Brought in Chuck's PrettyJavaTranslator
- Small changes in the Analyzer and SanityCheck classes
- Replacing the old PreProcessor/PostProcessor/Utilities with the new version
- Sami's new VCGenerator
- Fixes to the old Verifier