Remove the stateful model-checking from the archive. It's not working anymore It's a real pity to remove all this great code, as it was doing very audacious things, but I need to do so to move forward. This code is very fragile and badly tested, making it very difficult to build upon. The next time this is implemented (if any), I guess that a compiler-approach (e.g. a clang plugin providing a full introspection over the compiled program) would be more robust than a fully runtime approach tricking with the debug information to get the info. That's too difficult and fragile. Again, I'm deeply sorry I had to remove this code, as it requires me to admit that I failed to maintain this great code over the years. But facts are stubborn.
Move the PageStore from ModelChecker to RemoteApp
One reference to the global singleton mc_model_checker that I'd like to kill
Rename some fields to obey our coding standard
Update copyright lines for 2023.
kill a parameter that is always true
further reduce the amount of call sites for RemoteProcess::actors()
Concatenate nested namespaces (sonar).
Start moving classes into the mc/api directory
Unify the way we count expended states between checkers
Update copyright lines for 2022.
Remove useless declaration of default destructor. Remove public destructors defined '=default' at declaration, unless they are virtual and the enclosing class is derived somewhere.
Update copyright lines.
Update copyright lines with new year.
[sonar] Initialize data members with class initializers, or initialization lists.
Cosmetics.
MC: rename some files
Update copyright lines with new year.
move libsosp into its own directory
Update copyright headers. Simplify year ranges; end by 2018. Starting year was kept as-is. Shall it be changed to 2003?