v1.2.0

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

v1.1.0

What's Changed

• Update issue templates by @sillydan1 in #42
• add detcheck and use expr v3.0.0 and ctl-expr v2.0.0 by @sillydan1 in #44

Full Changelog: v1.0.0...v1.1.0

v1.0.0

Everything has been re-made. The tick-semantics have been refined and the verification engine has been redesigned.

What's Changed

• v1.0.0 - reimplementation by @sillydan1 in #39

Bug Fixes

• Filter unsupported queries away (3f082ae by Asger Gitz-Johansen).
• Some readme cleanup (5da9333 by Asger Gitz-Johansen).
• Update yagraph dependency to v1.0.6 (b9843dc by Asger Gitz-Johansen).
• Use expr version v2.2.0 to have faster compile time (2f2e6bc by Asger Gitz-Johansen).
• Bugs related to edge-case parse-tests (78d42ad by Asger Gitz-Johansen).
• Replace old fischer-n test suite with hawk projects (c79e2a5 by Asger Gitz-Johansen).
• Edge case where clocks weren't delayed during interesting tocks (8abdc33 by Asger Gitz-Johansen).
• Add license info to all source files (b4408e1 by Asger Gitz-Johansen).
• Gather errors and throw aggregate_errors in the parser (1810467 by Asger Gitz-Johansen).
• Forgot to reset the compiler before using it (92e4b6e by Asger Gitz-Johansen).
• This parses complex hawk projects (586303b by Asger Gitz-Johansen).
• Some issues regarding prefix (55b506f by Asger Gitz-Johansen).
• Add prefixes where they should be and fix some things (4dade0b by Asger Gitz-Johansen).
• Filter out trivial sccs (b153589 by Asger Gitz-Johansen).
• New usage of the tta_builder in the tests (f5728de by Asger Gitz-Johansen).
• Use a flattened symboltable instead. (5445315 by Asger Gitz-Johansen).
• Removed the ntta_builder2 construct (c79ad99 by Asger Gitz-Johansen).
• Forgot to update fischer-10 (3509839 by Asger Gitz-Johansen).
• Interesting tocker will now actually handle clock delay stuff (dde1f65 by Asger Gitz-Johansen).
• Fischer-2/5 test sets should reset their timer to 0_ms instead of 0 (23ce8c6 by Asger Gitz-Johansen).
• Fix compilation issues (4f8fe0e by Asger Gitz-Johansen).
• Fix new expr and ctl-expr usages (228ee15 by Asger Gitz-Johansen).
• Add huppaal_parser unit tests (e7d2697 by Asger Gitz-Johansen).
• Handle edge case when query is reachable after initial tock (79f5904 by Asger Gitz-Johansen).
• Forgot about external_variables in operator<< and operator+ for ntta_t (b1bb2bb by Asger Gitz-Johansen).
• Ntta_builder should be able to take external variables (432ed67 by Asger Gitz-Johansen).
• Forgot to check for satisfaction in a specific edge case (d60ed02 by Asger Gitz-Johansen).
• Add cmake additions of --coverage flags when -dcode_coverage is provided (b7aeedf by Asger Gitz-Johansen).
• Use the correct uniform distribution in random.cpp (4fe5124 by Asger Gitz-Johansen).
• Code coverage setup (5c53f86 by Asger Gitz-Johansen).
• Logic bug where unnecessary states were added to the waiting list (1e8229e by Asger Gitz-Johansen).
• Increase performance for interesting_tocker (46a54e5 by Asger Gitz-Johansen).
• Moved ntta_builder implementations into the cpp-file (22d86b5 by Asger Gitz-Johansen).
• Component location manipulation was malformed (57c6f7d by Asger Gitz-Johansen).

Code Refactoring

• Moved warnings into the util folder (a0e2d4b by Asger Gitz-Johansen).
• Categorize ctl / query loading stuff into their own folders (139d2a0 by Asger Gitz-Johansen).
• Renamed the huppaal parser to hawk parser (599966d by Asger Gitz-Johansen).
• Rename extensions folder to util (99109da by Asger Gitz-Johansen).
• Gcc requires std::visit's to visit the underlying_x type's (a79ce33 by Asger Gitz-Johansen).
• Comment cleanup (dd501f5 by Asger Gitz-Johansen).
• Reformulated a todo and cleaned up (41d2a1e by Asger Gitz-Johansen).
• Add some extra tocker information trace logs (33cef48 by Asger Gitz-Johansen).

Features

• Add manpages for tta(7) and verifier(1) (93daf88 by Asger Gitz-Johansen).
• Drop support for windows builds (7f40b1b by Asger Gitz-Johansen).
• Add hawk example test project (80c8049 by Asger Gitz-Johansen).
• Parameterize tta declarations and expressions (6b30087 by Asger Gitz-Johansen).
• Working on the huppaal parser (4fa92d9 by Asger Gitz-Johansen).
• Add --no-warn command line option to verifier and simulator (968dd80 by Asger Gitz-Johansen).
• Add query file and direct query to verifier cli (c8163d3 by Asger Gitz-Johansen).
• Add verifier cli (0015d9e by Asger Gitz-Johansen).
• Add regex-style ignore lists (c864251 by Asger Gitz-Johansen).
• Add ntta builder that works on strings (54f73dd by Asger Gitz-Johansen).
• Add basic huppaal_parser (fed8d2e by Asger Gitz-Johansen).
• Add to_string function to ntta_t (2d3bed6 by Asger Gitz-Johansen).
• Made traceable multimap iterable (3078d2b by Asger Gitz-Johansen).
• Add waiting list pick strategy injection to frs (33cb23c by Asger Gitz-Johansen).
• Add simple reachability test for the forwad_reachability_searcher (bbf57ea by Asger Gitz-Johansen).
• Add traceable return types and support f...

v0.10.2

Patch Release v0.10.2 Changes

• Updated CTLParser dependency - we can now support negative int literals

v0.10.1

Minor Patch Release

• Update argvparse depedency to v1.2.2 and fix some usages
• Fix an issue where external variable tock instantiation would construct bad data

v0.10.0

Aaltitoad Release v0.10.0

This release fixes a lot of issues and bugs regarding interestingness set generation. There are also added more usability cli options such as -! | --immediate-output for when your statespace is too big for the process to finish, but you still want the traces of already completed queries.

See the main PR!34 for a comprehensive list of changes.

Full changelog: v0.9.2...v0.10.0

v0.9.2

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

Experimental release Patch

This is an experimental release. There are very likely to be bugs - also, this is the first time I try a Github release.

Build

Run the following commands:

mkdir build && cd build
cmake .. && make

This should compile the project into an executable called aaltitoad. Run with -h/--help flag for help