Skip to main content
aboutsummaryrefslogtreecommitdiffstats
path: root/plugins/org.eclipse.etrice.abstractexec.behavior/src/org/eclipse/etrice/abstractexec/behavior/ReachabilityValidator.java
AgeCommit message (Expand)AuthorFilesLines
2013-03-18[abstractexec] don't check abstract classesHenrik Rentz-Reichert1-0/+3
2013-03-15[abstractexec] don't check if circular class hierarchyHenrik Rentz-Reichert1-0/+5
2013-01-04[abstractexec] merged extended model validation part IIHenrik Rentz-Reichert1-0/+1
2013-01-04[core.room, abstractexec] extended IRoomValidator interfaceHenrik Rentz-Reichert1-29/+34
2012-12-19[abstractexec] added reachability testsJuergen Haug1-1/+2
2012-12-18[CQ6589] : Added copyright notesRohit Agrawal1-0/+2
2012-09-26[abstractexec.behavior] added copyright note to RohitHenrik Rentz-Reichert1-0/+1
2012-06-22[CQ 6589] : Reachability Validator to find unreachable parts of stateRohit Agrawal1-0/+74

    Back to the top