Skip to main content
aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Expand)AuthorFilesLines
2020-06-28[unrelated] Fix warningEd Willink1-2/+2
2020-06-28[releng] Fix GIT merge commentsEd Willink2-5/+1
2020-06-28[564671] Fix input/output dialog selectionsEd Willink2-3/+3
2020-06-28[releng] +0.0.1 for 0.23.1Ed Willink3-4/+4
2020-06-07[561578] Tolerate ASM 8.0Ed Willink1-1/+1
2020-05-22[releng] 2020 in *.genmodel copyrightsEd Willink17-17/+17
2020-05-22[563483] Regenerate editorsEd Willink4-8/+8
2020-05-22[563483] Regenerate editorsEd Willink4-375/+966
2020-03-13[releng] Update for 0.23.00.23.0M1Ed Willink31-86/+86
2020-03-13[releng] Track OCL version changeEd Willink10-13/+13
2020-03-06[releng] Update copyrights0.22.0Ed Willink490-482/+562
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[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 Willink3-1/+47
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[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

Back to the top