ClemsonRSRG/RESOLVE — pull request #96 by yushan87 (2014-03-05 14:45:52+00:00)
Title: Prototype VC Generator

This uses the treewalker to generate VCs. So far these are the rules it can do:
1) Procedure Declaration Rule
2) Remember Rule
3) Assume Rule
4) Confirm Rule
5) Operation Call (General)
6) Swap Rule