Subject: [Srcomp] Revision 12 update

From: "Darren Dukes (ddukes)" <[email-masked]>
Date: Sun, 13 Jun 2021 23:51:08 +0000

This has some editorial changes I added after my review, diffs and text are attached.  All are in github.

Note section 2.2.1 C.1/2 does not yet have consensus, but is added for our discussion tonight.
We will do the necessary before publishing and update with revision 13 then the final 01 in github.

Darren