Files changed (1)
+//October 16, 2013//: Boogaloo is now used for teaching Boogie in the Software Verification course at ETH. Check out the lecture slides: [[https://bitbucket.org/nadiapolikarpova/boogaloo/downloads/boogie_and_boogaloo.pdf|pdf]] [[https://bitbucket.org/nadiapolikarpova/boogaloo/downloads/boogie_and_boogaloo.pptx|pptx]]
//October 10, 2013//: Boogaloo 0.4.3 released. It is a faster and more stable version of the symbolic Boogaloo powered by Z3. Available both for download and [[http://cloudstudio.ethz.ch/comcom/#Boogaloo|on the web]].