Code

Minor cleanups to the specification#12

Code

Merged

adityasaky merged 6 commits intosecure-systems-lab:mastersecure-systems-lab/dsse:masterfrom MarkLodato:cleanupsMarkLodato/dsse:cleanupsCopy head branch name to clipboardDec 14, 2020

+24-15

Commits

Commits on Dec 8, 2020

• Reformat to follow Markdown style guide

  MarkLodato

  committed
  052eceb

• Remove []'s from PAE() function.

  Show description for 6918d40
  MarkLodato

  committed
  6918d40

• Clarify out-of-band negotation.

  Show description for 3326187
  MarkLodato

  committed
  3326187

• Minor rewording on backwards compatibility

  MarkLodato

  committed
  dfbd1de

• Replace "BODY" with "the message".

  MarkLodato

  committed
  f03d543

Commits on Dec 14, 2020

• Merge branch 'master' into cleanups

  MarkLodato

  committed
  cb8467e