ChangeLog

Upcoming

  • Added KIV
  • Fixed the host name
  • Imported the ArrayMax example into the workspace of Eclipse/ESC/Java2

0.0.6

  • Upgraded VeriFast to 10.6
  • Added the common example for VeriFast (thanks to Jan Smans)
  • Offline website mirror now shipped with the system
  • Added a VirtualBox video driver allowing high screen resolutions in VirtualBox
  • Added lxrandr (a GUI program to change screen resolutions when booting natively)
  • Workaround for the stuck mouse button issue

0.0.5

  • Installed jStar
  • Added a common example

0.04

  • Updated VeriFast to 10.5.1
  • Installed Boogie and Dafny
  • Updated the welcome page to include OS customization

0.0.3

  • Installed JavaFAN
  • Updated VeriFast to 10.5 (fixes an issue with repeated verification)
  • Installed epdfview for viewing PDFs

0.0.2

  • Installed Jahob

0.0.1

  • Initial public pre-release
Comments