Models:
- Improved the usability of ns-3. Several bugs were ironed out.
+ - Introduce an experimental Wifi model. It sounds reasonable
+ according to the state of the art, but it still has to be properly
+ validated, at least against ns-3.
MSG:
- convert a new set of functions to the S4U C interface and move the old MSG
MPI_ERRORS_ARE_FATAL, so codes which were sending warnings may start failing.
Model-Checker:
- - Bump our requirements to C++14 for the model-checker. This is
- because of xxHash that we now use as a hash implementation.
+ - Use the included xxHash as an hash implem when C++14 is usable.
- Option model-checker/hash was removed. This is always activated now.
- New option smpi/buffering controls the MPI buffering in MC mode.
- MPI calls now MC_assert() that no MPI_ERR_* code is returned.