Skip to main content
aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Expand)AuthorFilesLines
2021-03-29[generator.fsm] Fix refined transitionsJan Belle1-3/+3
2019-09-27[common] Mark documentation rule as deprecatedJan Belle1-5/+10
2019-08-09Bug 541775 - [generator.fsm] State machine without initial transitionJuergen Haug1-1/+1
2018-01-08Bug 529445 - [newfsmgen] make old style transition data deprecatedHenrik Rentz-Reichert5-127/+49
2017-11-07Bug 511330 - [core.genmodel.fsm] introduce simplified generator modelHenrik Rentz-Reichert5-7/+243
2014-08-26[abstractexec.behavior.tests] diagramsHenrik Rentz-Reichert5-1/+3457
2014-08-26[abstractexec.nehavior.tests] fixed reachability testHenrik Rentz-Reichert1-1/+1
2013-11-06minor changesHenrik Rentz-Reichert4-1244/+1244
2013-10-13[abstractexec] updated testsJuergen Haug9-2895/+1285
2013-09-17[abstractexec] bug 417433: Check of protocol class semantics doesn't work as ...Henrik Rentz-Reichert5-10/+94
2013-07-12Merge remote-tracking branch 'origin/master'Thomas Schuetz16-8208/+8208
2013-04-18[abstractexec.tests] fixed testHenrik Rentz-Reichert2-4/+4
2013-04-18[abstractexec.tests] fixed testHenrik Rentz-Reichert13-6/+7080
2013-03-01[abstractexec.tests] semantics with indentation for better readabilityHenrik Rentz-Reichert1-1/+13
2013-01-31[abstractExec] check on missing warnings, dependency addedJuergen Haug3-1/+546
2012-12-19[abstractexec] added reachability testsJuergen Haug1-0/+302
2012-08-17[abstractexec.tests] new unit test for abstract executionHenrik Rentz-Reichert1-0/+279

    Back to the top