Skip to content

v1.2.0

Latest
Latest
Compare
Choose a tag to compare
@sillydan1 sillydan1 released this 30 Apr 18:57
· 4 commits to master since this release
v1.2.0
55a2588
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.

What's Changed

  • Improvements to the FRS algorithm by not storing duplicates in the waiting or passed lists.
  • Added more variants of the fischer mutex test suite

Bug Fixes

  • Mark safety queries as unsupported for now (305c8a9 by Asger Gitz-Johansen).

Features

  • Add --pick-strategy commandline option for the verifier frontend (12d10c7 by Asger Gitz-Johansen).
  • Add --result-file commandline option to verifier (6e9d914 by Asger Gitz-Johansen).
  • Add --result-json commandline toggle to verifier

Full Changelog: v1.1.0...v1.2.0

Assets 2
Loading