From 294fbd425af280b0ad1a27b8a7ca7f9a8d0fe118 Mon Sep 17 00:00:00 2001 From: Andrea Lattuada Date: Wed, 21 Aug 2024 18:21:44 +0200 Subject: [PATCH] add some references --- site/guide.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/site/guide.md b/site/guide.md index b571513..7770b4c 100644 --- a/site/guide.md +++ b/site/guide.md @@ -234,7 +234,7 @@ While this erasure was done manually for the page table (in contrast to the othe case studies), it only required removing code, so it's very unlikely that we introduced any accidental modificarions. -#### 5. Run the mimalloc benchmark suite +#### 5. Run the mimalloc benchmark suite (Figure 12). *This step refers to Set 1 - Claim D.* @@ -263,7 +263,7 @@ in the intermediate output. The end will summarize the results in tabular form. The last table, formatted in LaTeX, only contains the benchmarks that succeeded. The output should resemble Figure 12. -#### 6. Run the persistent memory log experiment +#### 6. Run the persistent memory log experiment (Figure 13). *This step refers to Set 1 - Claim E.*