Skip to main content
aboutsummaryrefslogtreecommitdiffstats
path: root/tests
AgeCommit message (Collapse)AuthorFilesLines
2020-06-28[releng] +0.0.1 for 0.23.1Ed Willink13-14/+14
2020-05-26[561117] Track OCLstdlib evolution0.23.0M3Ed Willink1-1/+1
2020-05-22[releng] 2020 in *.genmodel copyrightsEd Willink25-25/+25
2020-03-13[releng] Update for 0.23.00.23.0M1Ed Willink25-86/+86
2020-03-13[releng] Track OCL version changeEd Willink6-9/+9
2020-03-06[releng] Update copyrights0.22.0Ed Willink31-31/+31
2020-02-25[513375] Revert QVTr test debugEd Willink1-20/+15
2020-02-25[560427] Avoid hidden caller iterationEd Willink1-6/+6
2020-02-25[unrelated] Tweak TinyIsomorphEd Willink1-10/+4
2020-02-25[513375] don't observe trace edgesEd Willink1-3/+6
2020-02-25[512738] Avoid conditional when'sEd Willink1-8/+4
2020-02-25[513375] Use PropertyDatum more extensivelyEd Willink1-16/+16
2020-02-25[552823] Use if rather than and to join predicatesEd Willink1-2/+4
2020-02-25[509404] Tx Execution failure is fatalEd Willink1-1/+1
2020-02-25[513375] wip Checked PropertyDatumsEd Willink1-15/+18
2020-02-25[552823] Use if rather than and to join predicatesEd Willink1-2/+4
2020-02-25[513375] Schedule all source Nodes before shared target edgesEd Willink1-1/+2
2020-02-25[509404] Use and to enforce notEmpty guardEd Willink1-1/+1
2020-02-01[513375] More precise MiToSi query multiplicityEd Willink2-2/+2
2020-02-01[513375] Name anonymous variableEd Willink1-1/+1
2020-02-01[513375] Add interpreted speculationEd Willink1-7/+0
2020-02-01[513375] Introduce CyclicRegionAnalysisEd Willink1-1/+7
2020-02-01[unrelated] Add TinyIsomorph test for ECMFA 2020Ed Willink12-0/+172
2020-01-28[499816] Fix 2-valued Booleans in testEd Willink1-5/+5
2019-12-30[releng] Track +0.1.0 for OCL0.22.0M1Ed Willink6-9/+9
2019-12-11[releng] Add +0.1.0 for 0.22.0Ed Willink25-38/+38
2019-12-03[553706] Generate Utility as part of QVTs modelEd Willink1-20/+20
2019-11-05[551954] Pass ProblemHandler through DomainUsage analysisEd Willink4-3/+20
2019-11-05[tests] Add pathFromCurrentWorkingDirectoryToFileSystem toEd Willink9-16/+34
TestFileSystem
2019-10-28[unrelated] Fix some warningsEd Willink4-11/+26
2019-10-28[552253] Support EntryPoint/LoadingRegion.targetNameEd Willink10-120/+90
2019-10-28[552253] Stub support for EntryPoint/LoadingRegion.targetNameEd Willink3-3/+3
2019-10-28[552253] Introduce and use TargetConfigurationEd Willink2-32/+16
2019-10-28[551954] Benchmarx - rationalize domain namesEd Willink2-41/+49
2019-10-28[552253] Support QVTr dependsOn/iteratesEd Willink2-3/+7
2019-10-28[551954] bidirectional BenchmarxEd Willink2-63/+186
2019-10-28[551954] Benchmarx - rename Plans as NamesEd Willink11-748/+613
2019-10-28[552255] Eliminate ImperativeTypedModelEd Willink16-41/+37
2019-10-28[552242] Fix QVTc test filesEd Willink4-8/+5
2019-10-20[tests] Regenerate test modelsEd Willink20-40/+14
2019-10-20[unrelated] Fix tests after migration ofEd Willink1-18/+18
AbstractClassDatum.referredTypedModel to ClassDatum
2019-10-20[552162] Rename check/enforce in QVTi test sourcesEd Willink19-25/+25
2019-10-20[552242] Use distinct ResourceSets for checking test resultsEd Willink7-118/+163
2019-10-20[551954] Benchmarx progress - full Person2Family pathEd Willink5-26/+464
2019-10-20[552098] Simplify to INPUT/INTERMEDIATE/OUTPUTEd Willink1-1/+1
TypedModelConfiguration.Mode
2019-10-16[551954] Use intermediate TypedModelsEd Willink2-245/+31
2019-10-16[551954] Benchmarx progress - Person2FamilyMemberPLanEd Willink3-10/+113
2019-10-16[549776] Fix test failures0.21.0M1Ed Willink1-0/+9
2019-10-16[549776] Use TypedModelConfiguration for DomainUsageTests, OCL2QVTiEd Willink4-12/+23
2019-10-15[549776] Ensure DirectedDomainUsageAnalysis has aEd Willink3-5/+8
TypedModelsConfiguration

Back to the top