mpi smpi_datatype.cpp xbt/mmalloc mfree.c mm.c mm_interface.c mm_legacy.c mm_module.c mmalloc.c mmalloc.h mmalloc.info mmalloc.texi mmorecore.c mmprivate.h mrealloc.c swag.c swag.h teshsuite mc CMakeLists.txt dwarf-expression dwarf-expression.cpp ...
This would add some options to the standard CFLAGS settings used for building, to enable more optimizations and force a 64-bit build (for the GCC C compiler). Furthermore, the MPI compiler wrapper is set explicitly instead of searching it in the current shell PATH. ...
Using the same principle, LTSmin provides transition storing for transition caching with negligible memory overhead.To connect a new language module, one merely needs to implement the PINS next-state functions and provide some type information on the state vector contents, which should be encoded ...