Skip to content

v0.9.2
Compare
Choose a tag to compare
@sillydan1 sillydan1 released this 07 Apr 06:58
· 384 commits to master since this release
v0.9.2
cfe2a4a

Aaltitoad Release v0.9.2

This release fixes a lot of issues and bugs with the experimental release. It should be more compatible with more things.

Changes:

These are the major changes since 0.9b See the full changelog 0.9b...v0.9.2 for a comprehensive list of changes.

  • Added CI via github actions
  • Added fischer-2/5/10 mutex variants for testing
  • Added an attempt to fix hash-collision issue
  • Added version info through CMAKE and this changelog
  • Fixed a problem with the nondeterminism strategy
  • Added multimap usage in order to not throw away states with colliding states
  • Removed the and and or keywords in boolean expressions to avoid naming problems

Full changelog: 0.9b...v0.9.2

Assets 2
Loading