move the checker algorithms to their own directory
please sonar by removing useless asignments and return statements
[mc] Remove redundant 'mc_mode' global variable
[mc] Make Checker implementation private * XBT_PRIVATE symbols; * header files only used inside the .cpp file. Fixes a symbol visbility mismatch warning.
[mc] Only #include LivenessChecker.hpp in LivenessChecker.cpp
[mc] Move global variables as fields of LivenessChecker
[mc] Remove FunctionalChecker
[mc] Move main communication determinism code in a CommunicationDeterminismChecker class
[mc] Move main liveness code in a LivenessChecker class
[mc] Fix a leak in simgrid-mc
[mc] Move the (main) safety code as methods of SafetyChecker
[mc] Dummy SafetyChecker class
[mc] Working on an interface between a model-checking session and a model-checking algorithm
[mc] Use _exit() in fork()-ed process
empty portable.h and spread the include in files I did only what I can test to work on my machine so far (ie, all but windows stuff)
[mc] Move mc_safety code in simgrid::mc
[mc] Move mc_liveness code in simgrid::mc
Remove/cleanup/fix #include
[mc] s/NULL/nullptr/
[mc] Fix previous commit It was completely broken :/