sireum/core — pull request #2 by viditochani (2013-10-18 22:23:15+00:00)
Title: Add sireum-jvm cli and update readme.

Add Sireum JVM command line(no external dependency).

Add Sireum Parser to readme.