Skip to main content
aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Expand)AuthorFilesLines
2014-11-07Bug 449959 - handle occurrence of same trigger in state and transitionHenrik Rentz-Reichert2-14/+7
2014-09-06[most manifests] lower bound only for XtextHenrik Rentz-Reichert1-2/+2
2014-09-06[most manifests] upper bound for XtextHenrik Rentz-Reichert1-2/+2
2014-08-26renamed variablesHenrik Rentz-Reichert3-14/+14
2014-08-25[abstractexec.behavior] fixed unit test. Of the class to check qualified nameHenrik Rentz-Reichert1-1/+1
2014-08-25[*] AbstractMessage even more abstract: EObjectHenrik Rentz-Reichert7-34/+44
2014-08-22reduced warningsHenrik Rentz-Reichert1-2/+2
2014-08-22[generator.fsm, abstractexec.behavior] abstract execution validation for stat...Henrik Rentz-Reichert11-140/+125
2014-08-12[core.genmodel, core.genmodel.fsm] split off state machine part of model tran...Henrik Rentz-Reichert5-4/+5
2014-08-08[*] factored out Finite State Machines into a separate DSL between Base and RoomHenrik Rentz-Reichert7-31/+34
2014-08-06static utility methods converted to class methods to be able to useHenrik Rentz-Reichert8-21/+92
2014-05-23[core,gen] improved validation for standalone/generationJuergen Haug2-16/+40
2014-04-21[*] eTrice 0.4.0 -> 0.5.0 in all manifestsHenrik Rentz-Reichert1-5/+5
2014-04-07[generator] bug fix for detail code translation in case of no translationHenrik Rentz-Reichert1-1/+1
2013-10-31Merge branch 'change/16626/2' into sm_validationHenrik Rentz-Reichert3-18/+22
2013-09-22Adds Quick Fix Implementations and corrects QuickFix Dialog layout.Jayant Gupta1-16/+12
2013-09-18Adds QuickFixDialog and QuickFixFeature to manage it.Jayant Gupta3-13/+21
2013-09-17[abstractexec] bug 417433: Check of protocol class semantics doesn't work as ...Henrik Rentz-Reichert1-2/+12
2013-08-02[abstractexec] improved robustness against incomplete modelsHenrik Rentz-Reichert1-1/+7
2013-07-26changed version from 0.3.0 to 0.4.0Henrik Rentz-Reichert1-5/+5
2013-07-12Merge remote-tracking branch 'origin/master'Thomas Schuetz18-1291/+1291
2013-04-18[abstractexec] removed debug outputHenrik Rentz-Reichert1-2/+2
2013-04-17[abstractexec] correct marker for sub state reachabilityJuergen Haug1-8/+5
2013-04-16[*] vendor name changed to: Eclipse eTrice (Incubation)Henrik Rentz-Reichert1-1/+1
2013-03-18[abstractexec] don't check abstract classesHenrik Rentz-Reichert2-0/+6
2013-03-15[abstractexec] don't check if circular class hierarchyHenrik Rentz-Reichert2-0/+13
2013-03-04Merge branch 'change/10794/1'Henrik Rentz-Reichert1-0/+1
2013-03-04[abstractExec] (Bug 402267) reachability check produces false negativesJuergen Haug1-35/+31
2013-02-08[core.room, abstractexec, generator] moved method from genmodel to RoomHelpersHenrik Rentz-Reichert2-6/+6
2013-01-31[abstractExec] check on missing warnings, dependency addedJuergen Haug4-53/+50
2013-01-04[abstractexec] bug fix: need activatorHenrik Rentz-Reichert1-0/+2
2013-01-04[abstractexec] merged extended model validation part IIHenrik Rentz-Reichert11-55/+820
2013-01-04[core.room, abstractexec] extended IRoomValidator interfaceHenrik Rentz-Reichert2-29/+44
2012-12-20[CQ6589]: All files, committed from scratch due to resetting ofrohit21agrawal9-59/+810
2012-12-19[abstractexec] added reachability testsJuergen Haug2-106/+98
2012-12-18[CQ6589] : Added copyright notesRohit Agrawal9-4/+15
2012-12-18[CQ6589] : Added copyright notes.Rohit Agrawal3-9/+9
2012-11-15[*] updated eTrice versions in manifestsv_0.3.0.M1Henrik Rentz-Reichert1-5/+5
2012-10-29[generator.c] changed initialization of external types / checked inThomas Schuetz1-14/+14
2012-09-26[abstractexec.behavior] added copyright note to RohitHenrik Rentz-Reichert2-0/+2
2012-09-24reduced warningsHenrik Rentz-Reichert1-14/+14
2012-08-23[CQ6589] : Minor refactoring in AbstractExecutionValidator and coupleRohit Agrawal1-76/+85
2012-08-17[CQ6589] : Complete, with all the info and warning markers andRohit Agrawal3-7/+27
2012-08-16[CQ6589] : Working version with warning markers Rohit Agrawal3-65/+56
2012-08-15[CQ6589] : More changes using HandledMessage class , slight issues withRohit Agrawal4-95/+198
2012-08-15[abstractexec] connected handled messages with their origin (DetailCode or Tr...Henrik Rentz-Reichert6-65/+83
2012-08-11[modelcheck] code from Rohit with some changesHenrik Rentz-Reichert5-371/+351
2012-08-09[CQ6589] : Complete with proposal generation after multiple case tests.Rohit Agrawal3-3/+81
2012-08-09[CQ6589] : Proposal Generator Class with more changes, still unsure whatRohit Agrawal4-4/+24
2012-08-08[CQ6589] : Proposal Generator Class with changes and debugging optionRohit Agrawal6-39/+123

Back to the top