add missing paper change

verus-lang · Aug 21, 2024 · 7043d38 · 7043d38
1 parent 0c36d1a
commit 7043d38
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ae/paper-draft-changes.md b/ae/paper-draft-changes.md
@@ -4,5 +4,7 @@
 
 * added URLs for the open source Verus project and the open source case studies in the Introduction;
 
+* added hardware information for the Node Replication experiment in section 4.2.2;
+
 * 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.