ClemsonRSRG/RESOLVE — pull request #111 by yushan87 (2014-04-03 18:58:50+00:00)
Title: Updates for the WebIDE

1) Added timeout and time taken to process vc inside Metrics.java
2) The prover listener will create a Metrics object that gets used by the WebIDE