move the checker algorithms to their own directory
smx processes are now called actors, avoiding confusions in MC the process->actor renaming comes from S4U, but this is really welcome in the model checker, as Process is also the proxy of the MCed on the MCer side.
turn a factory function into the constructor
clang complains about these seemingly unecessary std::move.
rename smx_process_t to smx_actor_t
Use boost::range algorithms
Use boost::range algorithms
[mc] Fix remote access to the new Process structure
[mc] Move mc_global stuff into LivenessChecker This gets rid of initial_global_state in LivenessChecker.
[mc] Move initial state into Session We can get rid of s_mc_global_t in SafetyChecker.
[mc] Remove mc_stats and move remaining stats in ModelChecker for now
[mc] Move mc_stats.expanded_states into the Checkers
[mc] Move liveness stats out of mc_stats into LivenessChecker
[mc] Delegate some part of Session::logState() to Checker::logState() This separates the Checker-specific code from the generic/shared code. The session should not need to know about every existing Checker.
[mc] Move MC_print_statistics() as Session::logState()
[mc] Use Session::execute() in LivenessChecker as well
[mc] Remove useless model-checker/model-checked round trip
[mc] s/getRecordElement/getTransition/
[mc] Rename RecordTraceElement as Transition and use it to represent a transition
[mc] s/value/req_num/ because 'value' does not convey any meaning