Whiley/WhileyCompiler — pull request #402 by hjwylde (2014-08-15 02:29:42+00:00)
Title: Devel smt

Pull request to bring latest updates to Whiley compiler.

Note that `SmtVerificationCheck` is currently enabled by default - could cause issues being enabled alongside `VerificationCheck`.