Update verified-nrkernel hash

verus-lang · Sep 11, 2024 · dc55acd · dc55acd
1 parent 49f8b16
commit dc55acd
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -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
@@ -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