Menu

Code Commit Log


Commit Date  
[r219] by a-altalmas

Modification on "CreateFunctionalInterfaces" to tackle null pointer exceptions. And Modifications on "InitializeFunctionalGroups" to create a functional groupe "I/O" only if needed.

2019-10-30 12:09:27 Tree
[r218] by j-lamm

Added some corner cases to the tests in the verification documentation

2019-10-25 05:10:20 Tree
[r217] by j-lamm

Improvement in prepared verification documentation

2019-10-23 11:58:14 Tree
[r216] by j-lamm

Prepared documents for the release

2019-10-23 05:08:12 Tree
[r215] by j-lamm

Cosmetic corrections in some of the files from the previous commits.

2019-10-21 00:02:00 Tree
[r214] by j-lamm

Updated the requirements diagram for Initialize Functional Groups

2019-10-20 22:49:18 Tree
[r213] by j-lamm

Added the English BoardingSystem example model

2019-10-20 22:48:13 Tree
[r212] by j-lamm

Updated all example models with assignments of actors to IO partitions and translated the BoardingSystem example to English

2019-10-20 22:28:37 Tree
[r211] by j-lamm

Corrected a model error introduced via the previous commit in HearingSystem.mdzip and the tutorial

2019-10-19 15:48:43 Tree
[r210] by j-lamm

Fixed ticked 56 in the HearingSystem sample model and adjusted the tutorial accordingly

2019-10-19 13:39:05 Tree
Older >
MongoDB Logo MongoDB