add paper changes list

ae/paper-draft-changes.md

@@ -0,0 +1,8 @@
+## Changes from the accepted version of the paper
+
+* de-anonymized the paper by replacing instances of "our version of Verus" with "Verus";
+
+* added URLs for the open source Verus project and the open source case studies in the Introduction;
+
+* updated the Verus-mimalloc line counts in section 2.4.2 and in Figure 8; the lines of code were incorrectly undercounted by about 200 lines in the accepted version of the paper and this has now been rectified.
+

site/guide.md

@@ -5,7 +5,7 @@ title: "Verus: A Practical Foundation for Systems Verification<br/>Artifact Guid
 
 **This file is rendered at https://verus-lang.github.io/paper-sosp24-artifact/guide.html, we recommend reading it there.** This page's source is at [https://github.com/verus-lang/paper-sosp24-artifact/blob/main/site/guide.md](https://github.com/verus-lang/paper-sosp24-artifact/blob/main/site/guide.md).
 
-The accepted paper draft is at [https://verus-lang.github.io/paper-sosp24-artifact/assets/paper-20240821-212701-e33099e.pdf](https://verus-lang.github.io/paper-sosp24-artifact/assets/paper-20240821-212701-e33099e.pdf)
+The accepted paper draft is at [https://verus-lang.github.io/paper-sosp24-artifact/assets/paper-20240821-212701-e33099e.pdf](https://verus-lang.github.io/paper-sosp24-artifact/assets/paper-20240821-212701-e33099e.pdf). For artifact evaluators, a list of the changes from the accepted version is at [https://github.com/verus-lang/paper-sosp24-artifact/blob/main/ae/paper-draft-changes.md](https://github.com/verus-lang/paper-sosp24-artifact/blob/main/ae/paper-draft-changes.md).
 
 **This artifact references external repositories with open source versions of Verus and the use cases presented. The artifact uses fixed commits (or "refspecs" / SHAs) which are also listed here: [https://github.com/verus-lang/paper-sosp24-artifact/blob/main/external-repository-versions.md](https://github.com/verus-lang/paper-sosp24-artifact/blob/main/external-repository-versions.md).**