Skip to main content
aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Expand)AuthorFilesLines
2020-02-26[560427] wip Relation2WrapperClassewillink/560427Ed Willink3-0/+192
2020-02-26[513375] Trace success does need observation0.22.0M3Ed Willink1-12/+12
2020-02-26[513375] NewStatementPart assignments do not need notifyEd Willink1-22/+30
2020-02-26[513375] Always use ElementalClassDatum for connection conformanceEd Willink1-7/+9
2020-02-26[513375] Clarify connection containmentEd Willink5-91/+74
2020-02-26[513375] Trim debug codeEd Willink13-125/+32
2020-02-25[513375] Correct NewStatementPart traceEd Willink1-1/+1
2020-02-25[513375] Re-instate Collection-typed connectionsEd Willink1-5/+6
2020-02-25[513375] Add CollectionItem, NullLiteralExp traceEd Willink2-1/+4
2020-02-25[513375] Revert QVTr test debugEd Willink1-20/+15
2020-02-25[releng] Use latest ATLEd Willink2-2/+2
2020-02-25[560427] Avoid hidden caller iterationEd Willink1-6/+6
2020-02-25[unrelated] Tweak TinyIsomorphEd Willink1-10/+4
2020-02-25[560427] detect incompatible root/head usageEd Willink7-29/+63
2020-02-25[513375] Add non-top-when invocations to init partitionEd Willink1-12/+34
2020-02-25[513375] Support KeyPartEdge as-a NavigationEdgeEd Willink2-5/+4
2020-02-25[513375] Regenerate with KeyPartEdge as a NavigationEdgeEd Willink19-83/+94
2020-02-25[513375] KeyPartEdge is-a NavigationEdge in modelEd Willink1-1/+1
2020-02-25[513375] don't observe trace edgesEd Willink4-4/+53
2020-02-25[513375] Only predicated nodes need deferring from loop to rootEd Willink1-2/+2
2020-02-25[513375] better speculationEd Willink1-19/+26
2020-02-25[513375] xtra partition only for global successEd Willink1-0/+1
2020-02-25[513375] speculate after observesEd Willink1-8/+30
2020-02-25[513375] Unconnected edges are not hazardousEd Willink1-2/+2
2020-02-25[513375] Per-ConnectionAnalysis notify checkEd Willink1-7/+13
2020-02-25[513375] Earlier dispatchSuccessEdgeEd Willink1-0/+20
2020-02-25[513375] Avoid re-predication in rest/xtra partitionsEd Willink3-9/+46
2020-02-25[513375] Add xtra partitionEd Willink1-9/+78
2020-02-25[513375] Avoid init predicates on corollariesEd Willink1-1/+30
2020-02-25[513375] tidy RootPartitionAnalysisEd Willink1-1/+1
2020-02-25[512738] Avoid conditional when'sEd Willink1-8/+4
2020-02-25[513375] Ensure AssignedValues have variables pre-setEd Willink2-20/+38
2020-02-25[513375] Tidy expression/variable creationEd Willink2-49/+71
2020-02-25[513375] Fix pruning of orphan init partition elementsEd Willink1-4/+107
2020-02-25[513375] Fix conditional trace invocation multiplicityEd Willink2-5/+2
2020-02-25[513375] Fix init/loop reachingEd Willink1-17/+10
2020-02-25[513375] Fix init/loop reachingEd Willink1-42/+19
2020-02-25[513375] Use only available edgesEd Willink1-10/+12
2020-02-25[513375] Add computation edges to ReachabilityForestEd Willink2-2/+61
2020-02-25[513375] EdgeConnections are not subservient to NodeConnectionsEd Willink1-26/+27
2020-02-25[unrelated] Tidy commentEd Willink1-1/+1
2020-02-25[513375] Use PropertyDatum for getNewEdgesEd Willink5-51/+83
2020-02-25[unrelated] Fix QVTs rendering of LoadingPartition connectionsEd Willink1-0/+4
2020-02-25[513375] wip ReachabilityPartitioningStrategyEd Willink3-11/+21
2020-02-25[513375] Add source/target ClassDatum to PropertyDatum constructionEd Willink11-66/+113
2020-02-25[513375] Add PropertyDatum.targetClassDatumEd Willink11-57/+185
2020-02-25[513375] Use PropertyDatum more extensivelyEd Willink25-215/+323
2020-02-25[513375] Introduce but do not use ReachabilityPartitioningStrategyEd Willink2-1/+875
2020-02-25[513375] unblock speculatableEd Willink4-1/+14
2020-02-25[513375] skip conditional speculationsEd Willink1-1/+1

Back to the top