Skip to main content
aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Expand)AuthorFilesLines
2018-12-05wipewillink/514590aEd Willink5-4/+82
2018-12-05wipEd Willink3-5/+52
2018-12-05Enable CG testEd Willink2-6/+8
2018-12-05wip dispatch guardsEd Willink1-6/+12
2018-12-05need overriding guardsEd Willink1-3/+3
2018-12-05wip overriding guardsEd Willink1-1/+1
2018-12-05trimEd Willink1-3/+8
2018-12-05better invertibilityEd Willink1-3/+3
2018-12-05tidyEd Willink1-11/+11
2018-12-05Use trace nodes as heads for overriding regionsEd Willink1-1/+7
2018-12-05wipEd Willink2-6/+18
2018-12-05[488647] discrimination investigationsEd Willink6-13/+101
2018-12-05[514590] Add inverse ATL2QVTr 'test'Ed Willink1-0/+122
2018-12-05[releng] Clarify UMLX feature utility for XML0.17.0RC1Ed Willink2-4/+4
2018-12-05[unrelated] Reset tracing options at start of testEd Willink1-0/+1
2018-12-05[releng] Apply copyright tool to QVTd examplesEd Willink85-85/+85
2018-12-05[releng] Apply copyright tool to QVTd tests/docEd Willink908-929/+929
2018-12-05[releng] Apply copyright tool to QVTd pluginsEd Willink1119-1108/+1258
2018-12-05[514590] Make FallibilityAnalysis usefulEd Willink11-338/+487
2018-12-05[unrelated] improve eval diagnosticsEd Willink3-1/+14
2018-12-05[514590] regenerate for check statements observed propertiesEd Willink21-15584/+16663
2018-12-05[514590] Support observed properties for checked statementsEd Willink1-1/+2
2018-12-05[514590] Simplify pass number propagationEd Willink2-32/+54
2018-12-05[514590] Add passNumber consistency checkEd Willink1-4/+34
2018-12-05[514590] Use 'checked' rather than predicated or speculatedEd Willink9-70/+70
2018-12-05[514590] use isCheckedEd Willink8-7/+29
2018-12-05[514590] Refactor isAwaited to isCheckedEd Willink10-36/+36
2018-12-03[releng] Maintain latest composite reposEd Willink1-2/+18
2018-12-03[releng] Orbit 2018-12RC1Ed Willink4-4/+4
2018-11-30[514590] Validate the *.qvtr prior to compilationEd Willink2-2/+10
2018-11-30[494536] Fix null-navigation validation warningsEd Willink3-3/+3
2018-11-30[514590] Support Pivot validation optionsEd Willink3-14/+17
2018-11-30[514590] Support to-non-null castEd Willink3-9/+11
2018-11-30[514590] Support safe navigationEd Willink7-183/+394
2018-11-30[540884] Fixup support IterableTypeEd Willink1-1/+1
2018-11-30[releng] Fix inconsistent external annotationEd Willink1-3/+0
2018-11-30[514590] Fixup XML designEd Willink1-0/+1
2018-11-27[releng] Revert changes requiring post M3 OCL0.17.0M3Ed Willink4-5/+5
2018-11-27[releng] Fix UML2 reposEd Willink2-2/+4
2018-11-27[494536] Fix null-navigation validation warningsEd Willink3-3/+3
2018-11-27[514590] Support Pivot validation optionsEd Willink1-2/+2
2018-11-27[releng] Orbit 2018-12M3, Refresh UML2 repos (for 5.5.0)Ed Willink4-10/+10
2018-11-27[514590] Avoid ambiguous partition namesEd Willink1-2/+2
2018-11-27[540884] Support IterableTypeEd Willink1-0/+6
2018-11-27[unrelated] Fix warningsEd Willink3-3/+3
2018-11-18[540884] Add some Map serialization testingI201811211307Ed Willink1-0/+10
2018-11-18[540884] Add Map formattingEd Willink4-2/+17
2018-11-18[540884] Regenerate editors with Map co-iterationEd Willink44-45546/+67287
2018-11-18[releng] Regenerate editors for OCL 6.6Ed Willink43-17274/+22183
2018-11-18[releng] Revise versions for OCL 6.6Ed Willink42-147/+147

Back to the top