Milestone MRMC v.1.4.1

10 years late (Mar 11, 2009, 11:00:00 PM)

100%

Total number of tickets: 6 - closed: 6 - active: 0

Core

2 / 2

MRMC manual

2 / 2

Simulation Engine

1 / 1

Web Pages

1 / 1

This release should at least contain the complete and fixed simulation engine. We add steady-state model checking with pure simulations and also fix the hybrid simulations plus improve the performance. Naturally new performance and functional tests are added. The MRMC manual has to also be properly updated.

Note: See TracRoadmap for help on using the roadmap.