Andreas Tsouchlos a82a7c0ca8 Changed GenericMultithreadedSimulator interface to return results in a more usable form		2022-12-05 14:49:06 +01:00
..
__init__.py	Added doc to simulation __init__	2022-11-27 02:43:57 +01:00
management.py	WARNING: Non-multithreaded simulators broken: Adapted serialization to multithreaded simulator	2022-11-28 16:00:03 +01:00
simulators.py	Changed GenericMultithreadedSimulator interface to return results in a more usable form	2022-12-05 14:49:06 +01:00