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.
Simplify the library initialization + deprecate 2 XBT functions Work toward making EngineImpl::initialize() the only entry point of the library initialization. It's now impossible to initialize xbt separately of EngineImpl. It should help reducing the mess in that code, which results from the many ways of initializing the library. simgrid-mc, unit-tests, smpi and others each have their own way of initializing everything, resulting in a spagetthi and fragile code. It's a bit of a waste to initialize an EngineImpl even when you don't want to actually run a simulation, but easier code is always better. This commit also includes another one because I git amended locally by error, sorry for the mess. The other commit was about the deprecation of xbt_procname and xbt_getpid that were xbt functions relying on S4U.
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.
Update copyright lines for 2022.