ClemsonRSRG/RESOLVE — pull request #132 by yushan87 (2014-10-24 15:47:37+00:00)
Title: Vcgen fixes

1) The new vc generator now accepts literals (integers, strings, characters)
2) Reorganization of the proof rules
3) True goals don't show up