Whiley/WhileyCompiler — pull request #362 by DavePearce (2014-06-13 08:58:09+00:00)
Title: Integrate Z3 Backend into WyCS

Second attempt; this one can be automatically merged ;)