Changelog

v1.2.2769

• Added direct run option
• Added detail to output and output files
• Improved operator explainations
• Improved browser visualizations
• Updated modules with additional built-ins
• Renamed name to entry
• Removed atLabel entirely
• Greatly improved performance
• Added documentation
• Bug fixes

v1.2.2376

• Added print statements
• Added DFA output graphs
• Removed the @ tag from labeled statements
• Bug fixes

v1.2.0

• Added let-when statements
• Renamed once to when
• Added possibly statement
• Added atomically
• Added "-i" flag
• All labels within a module are now global
• Replaced all non-constant "let" with "var
• Atomic blocks / assertion checking now "lazy"
• Improved error reporting
• Improved parsing and robustness
• Bug fixes

v1.1

• Now detects busy waiting and data races
• New sequential keyword to tag sequentially consistent variables
• Removed "interlock" term
• Improved error reporting
• Improved parsing and robustness
• Bug fixes

v1.0

• Rewrote model checker in C for much faster performance
• Removed semicolons as a syntax requirement
• Updated imports syntax
• Requires Python3 and GCC in path to run

v0.9

• Initial release of the Harmony Language
• Model checker for concurrent programs
• HTML output with steps and shortest path to failure
• Required Python3 to run