epfl-lara/stainless v0.9.5

Stainless 0.9.5 (2022-05-06)

on GitHub

Version 0.9.5 (2022-05-06)

Stainless frontend, library and internals

• VC checking in parallel (#1247)
  • The parallelism can be specified with -Dparallel=<N> when invoking Stainless
• Fix issue #1159 (#1246)
• Address some issues in the imperative phase (#1245, #1252)

VirtualBox VDI Image

A VirtualBox image with the release and bolts/ repository clone is available for this version, based on TurnKey linux. Usage:

• download (648MB)
• extract the archive using 7zr x stainless-turnkey.7z obtaining a 2GB .vdi file
• set up a VM machine as Linux with enough memory and cores and the previously extracted VDI image as the disk
• boot the machine in VirtualBox
• Quit the console dialog that pops at boot
• log in as root with password neverStainSince2010
• Invoke the script in the home directory for a test run and browse for more examples