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 ...
ThePartitioned Next-State Interface(PINS) splits up the next-state function in different groups. For example, each transition group can represent a line of code in an imperative language module or a summand in a process-algebraic language module. Using the static dependency information between tr...
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 ...