Skip to main content
aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Expand)AuthorFilesLines
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