Skip to main content
aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)AuthorFilesLines
2012-07-02[abstractexec.behavior] removed demo stuffHenrik Rentz-Reichert2-84/+0
2012-06-22[CQ 6589] : Reachability Validator to find unreachable parts of stateRohit Agrawal2-0/+216
graph 1. I authored 100% of the content I contributed 2. I have the rights to donate the content to Eclipse 3. I contribute the content under the EPL Change-Id: I010dd8e62b8f70e0a641a2868d3544349d6ff516
2012-06-15[abstractexec.behavior] prepared for reachability checkHenrik Rentz-Reichert1-17/+50
2012-05-25[core.room, core.room.ui, genmodel, abstractexec.behavior] validator and ↵Henrik Rentz-Reichert4-0/+233
quickfix extension points and extension examples preparations for abstract state machine execution

    Back to the top