Skip to main content
aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Expand)AuthorFilesLines
2016-08-05[FIX] Propagation of the static analysis does not need to be propagatedjeremie.tatibouet1-2/+2
2016-07-31Duplicate and convert Event019_Test_E to Standalone003_Testjeremie.tatibouet2-659/+5285
2016-07-31Duplicate and convert Transition023_Test in Standalone002_Testjeremie.tatibouet2-352/+3342
2016-07-31Add Join003_Test which asserts the possibility for a join pseudo-statejeremie.tatibouet2-664/+2691
2016-07-31Improve static analysis. API changes:jeremie.tatibouet12-66/+181
2016-07-31Refine Entry002_Test_E to take into account result of the staticjeremie.tatibouet2-8478/+11719
2016-07-31Complete initial version of static analysis (guard evaluation on ajeremie.tatibouet9-159/+222
2016-07-29When a FinalState is entered the history of the region must be erased.jeremie.tatibouet3-2896/+4187
2016-07-29Region history is update only when a state is exited. This solves thejeremie.tatibouet4-2658/+3985
2016-07-29Add test History002_Test_C to demonstrate support for history pseudojeremie.tatibouet2-2422/+3551
2016-07-29Add semantics for history pseudo-state entered while no defaultjeremie.tatibouet4-18/+47
2016-07-28Add test Junction006 to make sure else transition are supported injeremie.tatibouet2-1357/+3160
2016-07-28Add semantics of else transition for the junction pseudo-state.jeremie.tatibouet3-29/+58
2016-07-28Make the recursive entry and exit rules general enough to be integratedjeremie.tatibouet13-123/+63
2016-07-28Update documentation of isActive operation in VertexActivationjeremie.tatibouet1-2/+4
2016-07-28Align pseudo-state activation class namesjeremie.tatibouet10-21/+21
2016-07-28Junction pseudo-state semantics testsjeremie.tatibouet2-1010/+12133
2016-07-28Initial implementation of the junction pseudo-state semanticsjeremie.tatibouet16-80/+322
2016-07-18Tests for history (deep and shallow) semanticsjeremie.tatibouet2-7/+5953
2016-07-18History (deep and shallow) semantics - initial implementationjeremie.tatibouet5-0/+197
2016-07-15Improve "getLeastCommonAncestor". Handle the case where the target isjeremie.tatibouet1-21/+50
2016-07-13Update test suite to integrate all call event tests in section "Events".jeremie.tatibouet1-11457/+11367
2016-07-08Add test Event017-B to demonstrate support of signal event occurrencejeremie.tatibouet2-2691/+4731
2016-07-08Consolidate test on Choice with a validation that events data arejeremie.tatibouet2-3233/+5296
2016-07-08Semantics of event data passing to transition guardsjeremie.tatibouet7-24/+90
2016-07-08Provide a LIFO strategy (just for test purpose - not included in thejeremie.tatibouet1-0/+32
2016-07-08Add test Redefinition003 to validate issue resolution regarding thejeremie.tatibouet2-3387/+5190
2016-07-08Fix issue regarding determination of the semantic visitor for a nodejeremie.tatibouet5-11/+52
2016-06-21Add Redefinition 002 test in order to assert redefinition semantics injeremie.tatibouet2-278/+1689
2016-06-21Fix redefined state and transition detection process.jeremie.tatibouet1-3/+13
2016-06-21Add test Redefinition001 to assert initial integration of state-machinejeremie.tatibouet2-2043/+5825
2016-06-21Initial integration of state-machine redefinition semanticsjeremie.tatibouet4-18/+104
2016-06-14Add tests Deferred 006 - A and Deferred 006 - B. Assert DoActivityjeremie.tatibouet2-2715/+5423
2016-06-14Implement doActivity semantics discussed during Reston meetingjeremie.tatibouet5-26/+100
2016-06-13Add tests 003-A, 003-B and 003-C to assert call events semantics.jeremie.tatibouet2-3334/+13611
2016-06-13Finalize call event semantics support.jeremie.tatibouet6-116/+166
2016-05-27Add tests CallEvent001, CallEvent002-A and CallEvent003-B to assess calljeremie.tatibouet2-15802/+39118
2016-05-27Input conformance checkjeremie.tatibouet5-7/+93
2016-05-27Update visitors API to make sure the behaviors get access to event thatjeremie.tatibouet17-82/+101
2016-05-27Base call event semantics.jeremie.tatibouet8-28/+301
2016-03-04Merge DefaultTransitionSelectionStrategy to StateMachineEventAccepterinitial-submission-V1jeremie.tatibouet3-175/+94
2016-03-04Refine execution trace for Test Event016-B.jeremie.tatibouet2-2133/+3535
2016-03-04Improvements of state-machine configuration analysis.jeremie.tatibouet1-155/+63
2016-03-04Complete deferred event semanticsjeremie.tatibouet2-24/+92
2016-02-17Test suite refactored - naming conventions applicationinitial-submissionjeremie.tatibouet4-22393/+22430
2016-02-09Modify package structure in order to have only a single level ofjeremie.tatibouet34-56/+56
2016-02-09StateActivation must own a list of ConnectionPointActivation instead ofjeremie.tatibouet1-6/+6
2016-02-01Tests for deferred events, conflicting transitions and transitionsjeremie.tatibouet3-2004/+5959
2016-02-01Improvements to deal with deferred events and conflicting transitions.jeremie.tatibouet5-83/+217
2016-01-25Update the prototype implementationjeremie.tatibouet13-31/+31

Back to the top