Skip to main content
aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Expand)AuthorFilesLines
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
2020-02-25[513375] Trim determined status before speculatingEd Willink6-30/+74
2020-02-25[513375] Fixup eliminate Dispatch.successEd Willink7-205/+19
2020-02-25[552823] Use if rather than and to join predicatesEd Willink1-2/+4
2020-02-25[509404] Tx Execution failure is fatalEd Willink3-7/+8
2020-02-25[513375] Fix speculate blockingEd Willink1-25/+41
2020-02-25[513375] SpeculateStatement must be in class invocationEd Willink2-0/+9
2020-02-25[513375] Use PropertyDatum rather than Property to determine observingEd Willink7-51/+89
2020-02-25[513375] Add qvti2qvts traceEd Willink3-30/+108
2020-02-25[513375] wip Checked PropertyDatumsEd Willink13-119/+189
2020-02-25[513375] Assign Connection to its firstPass intervalEd Willink1-1/+8
2020-02-25[513375] Make dispatch success a global successEd Willink2-10/+10
2020-02-25[513375] fail-dirty for exception in predicateEd Willink1-1/+6
2020-02-25[513375] no nullable corrolaryEd Willink2-1/+2
2020-02-25[513375] use SpeculateStatementEd Willink2-144/+239
2020-02-25[513375] wip speculatableInvocations queueEd Willink1-27/+160
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 Willink3-8/+37
2020-02-25[513375] Exclude trace and trace computation nodes while analyzingEd Willink11-17/+92
2020-02-25[509404] Use and to enforce notEmpty guardEd Willink1-1/+1
2020-02-25[552823] wip and whenEd Willink5-5/+178
2020-02-25[513375] Set mapping strict if cyclicEd Willink2-62/+10
2020-02-25[513375] Improve QVTs diagnosisEd Willink2-59/+63
2020-02-01[513375] Return SuccessEdge from createLocalSuccessEd Willink1-2/+4
2020-02-01[513375] Remove spurious isNotify assertion for collectionsEd Willink1-1/+1
2020-02-01[513375] Trim Node debugEd Willink1-6/+0
2020-02-01[513375] Nodes can be hazardous reads tooEd Willink1-4/+17
2020-02-01[513375] Generalize createBasicPartition headNodes typeEd Willink1-1/+1
2020-02-01[513375] Simplify Speculating plus ...Ed Willink1-5/+27
2020-02-01[513375] Add interpreted speculation executionEd Willink1-23/+32
2020-02-01[513375] Simplify SpeculatingEd Willink3-5/+44
2020-02-01[513375] Simplify SpeculatingEd Willink4-18/+29
2020-02-01[513375] LiteralNodes cannot failEd Willink1-8/+34
2020-02-01[513375] Add createSpeculateStatementEd Willink1-0/+9
2020-02-01[513375] Add getOwnedExpressionsListEd Willink1-0/+8

Back to the top