Skip to content

Stainless 0.9.5 (2022-05-06)

Pre-release
Pre-release
Compare
Choose a tag to compare
@mario-bucev mario-bucev released this 06 May 09:37
· 228 commits to main since this release
v0.9.5
cef1cab
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

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
Assets 9
Loading