ClemsonRSRG/RESOLVE — pull request #128 by yushan87 (2014-09-18 17:51:21+00:00)
Title: Vcgen rules

Statement proof rules are implemented.