Skip to main content
aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)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
Conflicts: plugins/org.eclipse.etrice.abstractexec.behavior/src/org/eclipse/etrice/abstractexec/behavior/AbstractExecutionValidator.java plugins/org.eclipse.etrice.abstractexec.behavior/src/org/eclipse/etrice/abstractexec/behavior/ActiveRules.java plugins/org.eclipse.etrice.abstractexec.behavior/src/org/eclipse/etrice/abstractexec/behavior/ProposalGenerator.java plugins/org.eclipse.etrice.abstractexec.behavior/src/org/eclipse/etrice/abstractexec/behavior/ReachabilityCheck.java plugins/org.eclipse.etrice.abstractexec.behavior/src/org/eclipse/etrice/abstractexec/behavior/SemanticsCheck.java
2013-03-04[abstractExec] (Bug 402267) reachability check produces false negativesJuergen Haug1-35/+31
for data driven state machines Change-Id: Iac26413a55f7d4d088b26d97fd2b61744038d175
2013-02-08[core.room, abstractexec, generator] moved method from genmodel to RoomHelpersHenrik Rentz-Reichert2-6/+6
2013-01-31[abstractExec] check on missing warnings, dependency addedJuergen Haug4-53/+50
Change-Id: I062a3ee7f1c04d3bdbc8b4c9fdf856ed044ce776
2013-01-04[abstractexec] bug fix: need activatorHenrik Rentz-Reichert1-0/+2
(was lost during conflict resolution)
2013-01-04[abstractexec] merged extended model validation part IIHenrik Rentz-Reichert11-55/+820
This was part of Rohit Agraval's GSoC 2012 project. Merge branch 'change/9278/1' Conflicts: plugins/org.eclipse.etrice.abstractexec.behavior/META-INF/MANIFEST.MF plugins/org.eclipse.etrice.abstractexec.behavior/src/org/eclipse/etrice/abstractexec/behavior/AbstractExecutionValidator.java plugins/org.eclipse.etrice.abstractexec.behavior/src/org/eclipse/etrice/abstractexec/behavior/ReachabilityCheck.java
2013-01-04[core.room, abstractexec] extended IRoomValidator interfaceHenrik Rentz-Reichert2-29/+44
by adding name and description Also equipped Registry with capability to return infos and maintain an exclusion list (will be made accessible by a preference page later.
2012-12-20[CQ6589]: All files, committed from scratch due to resetting ofrohit21agrawal9-59/+810
environment 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: I073d19dca95528603fc2af7fe585f131e9901377
2012-12-19[abstractexec] added reachability testsJuergen Haug2-106/+98
Change-Id: Ieab8161d6d69a9c9f6c1c363b4df2ace54803516
2012-12-18[CQ6589] : Added copyright notesRohit Agrawal9-4/+15
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: I6de4f364c9b12c74bc90485dcd33ca4c60a90e7b
2012-12-18[CQ6589] : Added copyright notes.Rohit Agrawal3-9/+9
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: I7ec5fb774bdb5062b06c9ecc7fb293f12e5b871a
2012-11-15[*] updated eTrice versions in manifestsv_0.3.0.M1Henrik Rentz-Reichert1-5/+5
2012-10-29[generator.c] changed initialization of external types / checked inThomas Schuetz1-14/+14
other line endings to get rid of diffs
2012-09-26[abstractexec.behavior] added copyright note to RohitHenrik Rentz-Reichert2-0/+2
As of CQ 6589 a copyright not to Rohit was added to the files created by him with https://git.eclipse.org/r/6475
2012-09-24reduced warningsHenrik Rentz-Reichert1-14/+14
2012-08-23[CQ6589] : Minor refactoring in AbstractExecutionValidator and coupleRohit Agrawal1-76/+85
other changes 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: Id006d4b9ddb2b9b207aa56f16d55b274db0a1d46
2012-08-17[CQ6589] : Complete, with all the info and warning markers andRohit Agrawal3-7/+27
proposals. 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: Iccff8ec4178015c40101653edc7d97801c7febaf Change-Id: I6216735d273f5b16a73c6f6e5e54fc686540668b
2012-08-16[CQ6589] : Working version with warning markers Rohit Agrawal3-65/+56
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: Iccff8ec4178015c40101653edc7d97801c7febaf
2012-08-15[CQ6589] : More changes using HandledMessage class , slight issues withRohit Agrawal4-95/+198
warning markers 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: Ib305250b7aa0db8fd3f81e971912a7a11300fc10
2012-08-15[abstractexec] connected handled messages with their origin (DetailCode or ↵Henrik Rentz-Reichert6-65/+83
Trigger) Change-Id: Ib2d72e52d3f72e79c86274fc61bc4c81ac8ecebb
2012-08-11[modelcheck] code from Rohit with some changesHenrik Rentz-Reichert5-371/+351
- formatted - bug fixes - improved tracing
2012-08-09[CQ6589] : Complete with proposal generation after multiple case tests.Rohit Agrawal3-3/+81
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: Ifb54b0e9b272b9498efc03c7e815477ec059e035
2012-08-09[CQ6589] : Proposal Generator Class with more changes, still unsure whatRohit Agrawal4-4/+24
warning cases will be 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: Ice4586be10880baddb1286c7595f13cf44785b0f
2012-08-08[CQ6589] : Proposal Generator Class with changes and debugging optionRohit Agrawal6-39/+123
added 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: I985a43c67a285f03288b5ae51f143bee062f75dd
2012-07-30[CQ6589] : Proposal Generator Class along with minor changes in otherRohit Agrawal5-54/+152
classes 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: I0b75a205ecdf0af4b57baaa5f3449963fa96c89c
2012-07-25manifests: Xtext 2.1.1 (without upper bound)Henrik Rentz-Reichert1-2/+2
2012-07-23[*] restricted Xtext version to [2.1.1, 2.2)Henrik Rentz-Reichert1-2/+2
2012-07-17[CQ6589] : Semantics Validator Classes after suggested changesRohit Agrawal3-128/+90
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: Ie04e01415685a7a15d3ea6c182ac32eedd1943ea
2012-07-13[CQ6589] Semantics Validator ClassesRohit Agrawal3-29/+419
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: I104be5270cc808d5a83ee2a44106072d4c6021e1
2012-07-02[abstractexec.behavior] removed demo stuffHenrik Rentz-Reichert3-96/+0
2012-06-22[CQ 6589] : Reachability Validator to find unreachable parts of stateRohit Agrawal3-0/+221
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 checkHenrik Rentz-Reichert1-17/+50
2012-06-13[abstractexec.behavior] added about fileHenrik Rentz-Reichert1-0/+28
2012-05-25[core.room, core.room.ui, genmodel, abstractexec.behavior] validator and ↵Henrik Rentz-Reichert11-0/+322
quickfix extension points and extension examples preparations for abstract state machine execution

    Back to the top