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
0.0.1
- Initial public pre-release
|
|