sireum/core — pull request #1 by viditochani (2013-10-17 22:29:08+00:00)
Title: Add sireum-jvm cli

Add support for Sireum JVM command line.

Update README.rst to include Sireum Parser.