Nadia Polikarpova  committed 1de70a8 Draft

Edited online

  • Participants
  • Parent commits 7dd4a4c
  • Branches default

Comments (0)

Files changed (1)

+//May 30, 2013//: The [[|comcom]] web interface is now running the brand-new version of Boogaloo with symbolic execution and the Z3 constraint solver in the back-end. We will release this version and update the documentation below, once it becomes stable enough; for now you can check it out from the smt-constraints branch. Note that building it requires @wests 's version of [[|z3-haskell]].
 //February 5, 2013//: Boogaloo 0.2 released, now with backtracking! [[Release notes]]
 //December 12, 2012//: Try Boogaloo [[|online]]! @haches created a simple web interface for Boogaloo, so now you can play around with the interpreter without downloading the executable. Thank you Christian!