From dc55acd1bc92faf514810d8bae6bb6c72bdf101e Mon Sep 17 00:00:00 2001 From: Matthias Date: Wed, 11 Sep 2024 17:24:46 +0200 Subject: [PATCH] Update verified-nrkernel hash --- external-repository-versions.md | 2 +- macro-stats/verus.sh | 2 +- site/guide.md | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/external-repository-versions.md b/external-repository-versions.md index 2784a44..d578d10 100644 --- a/external-repository-versions.md +++ b/external-repository-versions.md @@ -43,7 +43,7 @@ Commit: `31b2256b06413c71245baf4b2bec9cea5b20e51b` A verified page table implementation in Verus. -Commit: `a861a090d79f092d6aa5e6d30927327b70504c2d` +Commit: `2129d95f3523eed7ffffddba51bd2ec89f2401f0` ## Case Study Baselines diff --git a/macro-stats/verus.sh b/macro-stats/verus.sh index 7001089..8c91b0b 100644 --- a/macro-stats/verus.sh +++ b/macro-stats/verus.sh @@ -28,7 +28,7 @@ clone_and_update_repository "verus-main" "main" "097ac7ed283ae60375cd9b2b6017b3c clone_and_update_repository "verus-main-line-count" "main" "9e6c6b917399250dd3ac292f7dbc6c3c944e90b1" "https://github.com/verus-lang/verus.git" clone_and_update_repository "verified-node-replication" "main" "341be41a31cfc5c7539f8b78a65f166a06251d02" "https://github.com/verus-lang/verified-node-replication.git" clone_and_update_repository "verified-ironkv" "main" "4d6efdfd47f84b7e29a765c7c92713ff646739e4" "https://github.com/verus-lang/verified-ironkv.git" -clone_and_update_repository "verified-nrkernel" "main" "a861a090d79f092d6aa5e6d30927327b70504c2d" "https://github.com/utaal/verified-nrkernel.git" +clone_and_update_repository "verified-nrkernel" "main" "2129d95f3523eed7ffffddba51bd2ec89f2401f0" "https://github.com/utaal/verified-nrkernel.git" clone_and_update_repository "verified-storage" "generic_trait_serialization" "31b2256b06413c71245baf4b2bec9cea5b20e51b" "https://github.com/microsoft/verified-storage.git" clone_and_update_repository "verified-memory-allocator" "main" "6ee4b4fc8ac107f10d3ad420a2c42e26e3033ba7" "https://github.com/verus-lang/verified-memory-allocator.git" diff --git a/site/guide.md b/site/guide.md index 140f24f..3f49283 100644 --- a/site/guide.md +++ b/site/guide.md @@ -258,7 +258,7 @@ Clone the verified-nrkernel repository: ```shell cd /mydata git clone https://github.com/utaal/verified-nrkernel -cd verified-nrkernel; git checkout a861a090d79f092d6aa5e6d30927327b70504c2d +cd verified-nrkernel; git checkout 2129d95f3523eed7ffffddba51bd2ec89f2401f0 ``` Start a Ubuntu 22.04 container with Rust using the pre-made image, and run the experiments @@ -869,7 +869,7 @@ Clone the verified-nrkernel repository: ```shell cd /mydata git clone https://github.com/utaal/verified-nrkernel -cd verified-nrkernel; git checkout a861a090d79f092d6aa5e6d30927327b70504c2d +cd verified-nrkernel; git checkout 2129d95f3523eed7ffffddba51bd2ec89f2401f0 ``` Start a Ubuntu 22.04 container with Rust using the pre-made image, and run the experiments