search

SRI-CSL / PVS

The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
135 stars 32 forks source link

Need a way to ping PVS to get context and mode #10

Closed happyhuman closed 10 years ago

happyhuman commented 11 years ago

I tried a simple lisp command like "(+ 1 2)" and it did not work. It will also not work if PVS is in prover mode. So, we still need to come up with a solution here.

happyhuman commented 10 years ago

This is no longer needed.