Skip to main content
aboutsummaryrefslogtreecommitdiffstats
path: root/plugins/org.eclipse.etrice.abstractexec.behavior/src
AgeCommit message (Expand)AuthorFilesLines
2012-12-18[CQ6589] : Added copyright notes.Rohit Agrawal3-9/+9
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-Reichert4-370/+344
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 Agrawal3-4/+23
2012-08-08[CQ6589] : Proposal Generator Class with changes and debugging optionRohit Agrawal3-24/+104
2012-07-30[CQ6589] : Proposal Generator Class along with minor changes in otherRohit Agrawal5-54/+152
2012-07-17[CQ6589] : Semantics Validator Classes after suggested changesRohit Agrawal3-128/+90
2012-07-13[CQ6589] Semantics Validator ClassesRohit Agrawal3-29/+419
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
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 quic...Henrik Rentz-Reichert4-0/+233

    Back to the top