Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2012-07-02 | [abstractexec.behavior] removed demo stuff | Henrik Rentz-Reichert | 2 | -84/+0 | |
2012-06-22 | [CQ 6589] : Reachability Validator to find unreachable parts of state | Rohit Agrawal | 2 | -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 check | Henrik Rentz-Reichert | 1 | -17/+50 | |
2012-05-25 | [core.room, core.room.ui, genmodel, abstractexec.behavior] validator and ↵ | Henrik Rentz-Reichert | 4 | -0/+233 | |
quickfix extension points and extension examples preparations for abstract state machine execution |
- Members
- Working Groups
- Projects
- Community
- Participate
- Eclipse IDE
-
More
-
-
Community
- Marketplace
- Events
- Planet Eclipse
- Newsletter
- Videos
- Blogs
-
Participate
- Report a Bug
- Forums
- Mailing Lists
- Wiki
- IRC
- Research
-
-
-
-
Search
-