also remove xbt/automaton which was only useful to stateful MC
Kill src/include The -Isrc/include makes it difficult to recognize in the source which \#include takes a public header and which one is a private header. Plus, move the third-party headers to a specific directory.
Update copyright lines for 2023.
Kill unimplemented declarations.
Move the dot_output global into ModelChecker
Move the automaton from mc::api to Liveness. An ugly trick is needed :( See the comment in Liveness.hpp for the full details on that trick.
Concatenate nested namespaces (sonar).
Update copyright lines for 2022.
mc: inline a function
Update copyright lines.
mcapi::compare_pair() in insert_acceptance_pair()
Prefer C++ headers, and C++-style void-arg declarations. Clang-tidy enabled checks: modernize-deprecated-headers modernize-redundant-void-arg
[sonar] Declare functions "const" in src/mc/.
Update copyright lines with new year.
mc/compare: const/ref
MC/compare: cleanup++
mc/compare: kill dead code
mc: simplification: do not repeat information in parameters
Update copyright lines with new year.
Remove unneeded extern "C".