Skip to main content
AgeCommit message (Expand)AuthorFilesLines
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[, abstractexec, generator] moved method from genmodel to RoomHelpersHenrik Rentz-Reichert2-6/+6
2013-01-31[abstractExec] check on missing warnings, dependency addedJuergen Haug3-53/+49
2013-01-04[abstractexec] merged extended model validation part IIHenrik Rentz-Reichert9-54/+810
2013-01-04[, 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-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-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[,, genmodel, abstractexec.behavior] validator and quic...Henrik Rentz-Reichert4-0/+233

    Back to the top