Skip to main content
aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Expand)AuthorFilesLines
2016-11-15[FIX] Rename SM_RedefinitionBasedDispatchedStrategy torevised-submissionjeremie.tatibouet2-3/+3
2016-11-15[FIX] Rename StateActivation::getdoActivity to getDoActivity to keepjeremie.tatibouet1-3/+3
2016-11-15[FIX] Misspelling in DoActivityContextObject::startBehavior() commentjeremie.tatibouet1-1/+1
2016-11-15[FIX] Update EventTriggeredExecution::finalize() comment to remove curlyjeremie.tatibouet1-1/+1
2016-11-15[FIX] Rename SM_ReadSelfAction -> SM_ReadSelfActionActivation.jeremie.tatibouet2-3/+3
2016-11-05Repository cleaning.jeremie.tatibouet10-4122/+1
2016-11-05Revised submission test suite : 103 tests.jeremie.tatibouet2-21682/+25736
2016-11-05Align package structure with UML 2.5.1.jeremie.tatibouet2-2/+2
2016-10-21Complete code documentation and add missing headers.jeremie.tatibouet10-3/+74
2016-10-21Complete documentation for StateMachineExecution.jeremie.tatibouet1-15/+8
2016-10-21Remove usage of SM_ControleDelegate.jeremie.tatibouet2-4/+0
2016-10-20Refine terminate 002 and update expected traces.jeremie.tatibouet2-1380/+1156
2016-10-20DoActivity initial RTC step must be performed on its own thread.jeremie.tatibouet4-25/+67
2016-10-20Refine Redefinition 005 test in order to test behavior inheritance forjeremie.tatibouet2-20605/+18401
2016-10-20Fix TransitionActivation::isTriggered() andjeremie.tatibouet1-25/+54
2016-10-09[FIX] Provide an extension to CS_ReadSelfActionActivation to ensure thatjeremie.tatibouet2-1/+28
2016-09-26When a transition redefines another transition:jeremie.tatibouet1-2/+8
2016-09-25Add test Redefinition006_Test which verifies inheritance of deferrablejeremie.tatibouet2-1209/+2340
2016-09-25Add test Redefinition005_Test to verify that in case of redefinition thejeremie.tatibouet2-990/+2259
2016-09-25Isolate detection of state behavior to be executed in specificjeremie.tatibouet1-22/+45
2016-09-23Handle inheritance of deferrable triggers defined in redefined statesjeremie.tatibouet1-1/+6
2016-09-23Handle redefinition of entry, doActivity and exit behaviors.jeremie.tatibouet1-14/+41
2016-09-23Refine test Redefinition002_Test in order to take into account in thejeremie.tatibouet1-996/+996
2016-09-23Handle inheritance of effect behavior in case of a redefinitionjeremie.tatibouet1-29/+27
2016-09-22Add test Redefinition004 verifying matching of triggers specified injeremie.tatibouet2-742/+2092
2016-09-22Match trigger specified in redefined transitions. jeremie.tatibouet1-1/+23
2016-09-02[FIX] Invalid check for trigger with ports when the event occurrencejeremie.tatibouet1-1/+1
2016-08-05[FIX] Make sure that CallEvent can also be deferred. Testjeremie.tatibouet6-2319/+4131
2016-08-05[FIX] - The entry point must behave as junction if it is used to enter ajeremie.tatibouet7-1411/+3435
2016-08-05[FIX] The set of transition selected to be fired does not requirejeremie.tatibouet2-22/+8
2016-08-05[FIX] Not required to request evaluation of guards on outgoingjeremie.tatibouet1-1/+1
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

Back to the top