Skip to content

v1.0.0
Compare
Choose a tag to compare
@sillydan1 sillydan1 released this 25 Dec 09:30
· 63 commits to master since this release
v1.0.0
96a9666
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

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

What's Changed

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 for multiple query-checking (2af3bde by Asger Gitz-Johansen).
  • Add traceability to waiting/passed sets to the forward reachability searcher (3446da7 by Asger Gitz-Johansen).
  • Add ctl satisfiability relation (7400f61 by Asger Gitz-Johansen).

Reverts

  • Changes to tta_builder (fbd4293 by Asger Gitz-Johansen).

Full Changelog: v0.10.2...v1.0.0

Contributors

sillydan1
Assets 2
Loading