Code

[spec] Reverse subtyping#110

Code

Merged

rossberg merged 6 commits intomasterdfinity/candid:masterfrom subdfinity/candid:subCopy head branch name to clipboardOct 6, 2020

Commits

Commits on Oct 1, 2020

• [spec] Reverse subtyping

  rossberg

  committed
  5308d5e

  Copy full SHA for 5308d5e

Commits on Oct 2, 2020

• Apply suggestions from code review

  Show description for 6122335
  

  rossberg

  and

  chenyan-dfinity

  authored
  6122335

  Copy full SHA for 6122335

• Say something about covert channels and lack of coherence

  rossberg

  committed
  fb06196

  Copy full SHA for fb06196

• Tweak rules

  rossberg

  committed
  638e80f

  Copy full SHA for 638e80f

Commits on Oct 6, 2020

• Joachim's comments

  rossberg

  committed
  5e84198

  Copy full SHA for 5e84198

• Apply suggestions from code review

  Show description for ee84d78
  

  rossberg

  and

  nomeata

  authored
  ee84d78

  Copy full SHA for ee84d78