Skip to main content
aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Expand)AuthorFilesLines
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
2012-09-26[abstractexec.behavior] added copyright note to RohitHenrik Rentz-Reichert2-0/+2
2012-09-24reduced warningsHenrik Rentz-Reichert1-14/+14
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-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
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 quic...Henrik Rentz-Reichert11-0/+322

    Back to the top