├── .github └── workflows │ └── codeql.yml ├── .gitignore ├── CODE_OF_CONDUCT.md ├── LICENSE.txt ├── README.md ├── SECURITY.md ├── SUPPORT.md ├── capybaraKV ├── README.md ├── capybarakv │ ├── .gitignore │ ├── Cargo.toml │ ├── build.rs │ ├── rust-toolchain.toml │ ├── src │ │ ├── common │ │ │ ├── align_v.rs │ │ │ ├── mod.rs │ │ │ ├── recover_v.rs │ │ │ ├── saturate_v.rs │ │ │ ├── subrange_v.rs │ │ │ ├── table_v.rs │ │ │ └── util_v.rs │ │ ├── count_capybarakv_lines.py │ │ ├── journal │ │ │ ├── commit_v.rs │ │ │ ├── entry_v.rs │ │ │ ├── impl_v.rs │ │ │ ├── inv_v.rs │ │ │ ├── mod.rs │ │ │ ├── recover_v.rs │ │ │ ├── setup_v.rs │ │ │ ├── spec_v.rs │ │ │ ├── start_v.rs │ │ │ └── write_v.rs │ │ ├── kv2 │ │ │ ├── README.md │ │ │ ├── abort_v.rs │ │ │ ├── commit_v.rs │ │ │ ├── concurrentspec_t.rs │ │ │ ├── crud_v.rs │ │ │ ├── elements_v.rs │ │ │ ├── impl_t.rs │ │ │ ├── impl_v.rs │ │ │ ├── inv_v.rs │ │ │ ├── items │ │ │ │ ├── abort_v.rs │ │ │ │ ├── commit_v.rs │ │ │ │ ├── crud_v.rs │ │ │ │ ├── impl_v.rs │ │ │ │ ├── inv_v.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── recover_v.rs │ │ │ │ ├── setup_v.rs │ │ │ │ ├── spec_v.rs │ │ │ │ └── start_v.rs │ │ │ ├── keys │ │ │ │ ├── abort_v.rs │ │ │ │ ├── commit_v.rs │ │ │ │ ├── crud_v.rs │ │ │ │ ├── impl_v.rs │ │ │ │ ├── inv_v.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── recover_v.rs │ │ │ │ ├── setup_v.rs │ │ │ │ ├── spec_v.rs │ │ │ │ └── start_v.rs │ │ │ ├── lists │ │ │ │ ├── abort_v.rs │ │ │ │ ├── append_v.rs │ │ │ │ ├── commit_v.rs │ │ │ │ ├── delete_v.rs │ │ │ │ ├── impl_v.rs │ │ │ │ ├── inv_v.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── read_v.rs │ │ │ │ ├── recover_v.rs │ │ │ │ ├── setup_v.rs │ │ │ │ ├── slots_v.rs │ │ │ │ ├── spec_v.rs │ │ │ │ ├── start_v.rs │ │ │ │ ├── trim_v.rs │ │ │ │ ├── update_v.rs │ │ │ │ └── util_v.rs │ │ │ ├── mod.rs │ │ │ ├── recover_v.rs │ │ │ ├── rwkv_t.rs │ │ │ ├── rwkv_v.rs │ │ │ ├── rwlock_t.rs │ │ │ ├── setup_v.rs │ │ │ ├── shardkv_t.rs │ │ │ ├── shardkv_v.rs │ │ │ ├── slots_v.rs │ │ │ ├── spec_t.rs │ │ │ ├── start_v.rs │ │ │ └── util_v.rs │ │ ├── lib.rs │ │ ├── pmem │ │ │ ├── crashinv_t.rs │ │ │ ├── crc_t.rs │ │ │ ├── hamming_t.rs │ │ │ ├── hamming_v.rs │ │ │ ├── linux_pmemfile_t.rs │ │ │ ├── mmap_pmemfile_t.rs │ │ │ ├── mod.rs │ │ │ ├── pmcopy_t.rs │ │ │ ├── pmem_async_equiv_t.rs │ │ │ ├── pmem_async_equiv_v.rs │ │ │ ├── pmem_async_spec_t.rs │ │ │ ├── pmemmock_t.rs │ │ │ ├── pmemspec_t.rs │ │ │ ├── pmemutil_v.rs │ │ │ ├── power_sound_t.rs │ │ │ ├── power_t.rs │ │ │ ├── power_v.rs │ │ │ ├── subregion_v.rs │ │ │ ├── traits_t.rs │ │ │ └── windows_pmemfile_t.rs │ │ ├── testkv_v.rs │ │ ├── verify-ae.sh │ │ └── verify.sh │ └── wrapper.h └── pmcopy │ ├── .gitignore │ ├── Cargo.toml │ ├── rust-toolchain.toml │ └── src │ ├── lib.rs │ └── pmcopy_macros.rs ├── capybaraNS ├── .gitignore ├── README.md ├── SConstruct ├── dafny-line-count.py └── src │ ├── Framework │ ├── ExternalMethods.cs │ ├── ExternalMethods_t.dfy │ ├── NativeTypes_t.dfy │ ├── PersistentMemory.cs │ ├── PersistentMemory_t.dfy │ └── PmemUtil_v.dfy │ └── NotaryServer │ ├── Advance_v.dfy │ ├── Layout_v.dfy │ ├── NotaryServer.cs │ ├── NotaryServer.csproj │ ├── NotarySpec_t.dfy │ ├── Params.cs │ ├── Setup_v.dfy │ ├── Start_v.dfy │ ├── TrustedNotary_t.dfy │ ├── UntrustedNotary_v.dfy │ └── Util_v.dfy ├── multilog ├── .gitignore ├── README.md ├── multilog │ ├── Cargo.toml │ ├── build.rs │ ├── rust-toolchain.toml │ ├── src │ │ ├── lib.rs │ │ ├── multilog │ │ │ ├── append_v.rs │ │ │ ├── inv_v.rs │ │ │ ├── layout_v.rs │ │ │ ├── mod.rs │ │ │ ├── multilogimpl_t.rs │ │ │ ├── multilogimpl_v.rs │ │ │ ├── multilogspec_t.rs │ │ │ ├── setup_v.rs │ │ │ ├── start_v.rs │ │ │ └── util_v.rs │ │ └── pmem │ │ │ ├── crc_t.rs │ │ │ ├── linux_pmemfile_t.rs │ │ │ ├── mmap_pmemfile_t.rs │ │ │ ├── mod.rs │ │ │ ├── pmcopy_t.rs │ │ │ ├── pmemmock_t.rs │ │ │ ├── pmemspec_t.rs │ │ │ ├── pmemutil_v.rs │ │ │ ├── subregion_v.rs │ │ │ ├── traits_t.rs │ │ │ ├── windows_pmemfile_t.rs │ │ │ └── wrpm_t.rs │ └── wrapper.h └── pmsafe │ ├── Cargo.lock │ ├── Cargo.toml │ ├── rust-toolchain.toml │ └── src │ ├── lib.rs │ └── pmsafe_macros.rs ├── pmemlog ├── Cargo.toml ├── README.md └── src │ ├── infinitelog_t.rs │ ├── lib.rs │ ├── logimpl_v.rs │ ├── main.rs │ ├── main_t.rs │ ├── math_v.rs │ ├── pmemmock_t.rs │ ├── pmemspec_t.rs │ └── sccf.rs ├── soundness_proofs └── README.md └── unverified ├── metadata_kv ├── .gitignore ├── Cargo.lock ├── Cargo.toml └── src │ ├── main.rs │ ├── metadata_kv.rs │ ├── tiering_engine.rs │ └── tiering_engine_proptest.rs └── multilog_test ├── .gitignore ├── Cargo.toml └── src └── main.rs /.github/workflows/codeql.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/.github/workflows/codeql.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/.gitignore -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/README.md -------------------------------------------------------------------------------- /SECURITY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/SECURITY.md -------------------------------------------------------------------------------- /SUPPORT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/SUPPORT.md -------------------------------------------------------------------------------- /capybaraKV/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/README.md -------------------------------------------------------------------------------- /capybaraKV/capybarakv/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/.gitignore -------------------------------------------------------------------------------- /capybaraKV/capybarakv/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/Cargo.toml -------------------------------------------------------------------------------- /capybaraKV/capybarakv/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/build.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/rust-toolchain.toml -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/common/align_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/common/align_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/common/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/common/mod.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/common/recover_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/common/recover_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/common/saturate_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/common/saturate_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/common/subrange_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/common/subrange_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/common/table_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/common/table_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/common/util_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/common/util_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/count_capybarakv_lines.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/count_capybarakv_lines.py -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/journal/commit_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/journal/commit_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/journal/entry_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/journal/entry_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/journal/impl_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/journal/impl_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/journal/inv_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/journal/inv_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/journal/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/journal/mod.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/journal/recover_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/journal/recover_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/journal/setup_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/journal/setup_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/journal/spec_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/journal/spec_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/journal/start_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/journal/start_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/journal/write_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/journal/write_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/README.md -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/abort_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/abort_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/commit_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/commit_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/concurrentspec_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/concurrentspec_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/crud_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/crud_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/elements_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/elements_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/impl_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/impl_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/impl_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/impl_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/inv_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/inv_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/items/abort_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/items/abort_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/items/commit_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/items/commit_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/items/crud_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/items/crud_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/items/impl_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/items/impl_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/items/inv_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/items/inv_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/items/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/items/mod.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/items/recover_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/items/recover_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/items/setup_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/items/setup_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/items/spec_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/items/spec_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/items/start_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/items/start_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/keys/abort_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/keys/abort_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/keys/commit_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/keys/commit_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/keys/crud_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/keys/crud_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/keys/impl_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/keys/impl_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/keys/inv_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/keys/inv_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/keys/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/keys/mod.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/keys/recover_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/keys/recover_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/keys/setup_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/keys/setup_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/keys/spec_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/keys/spec_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/keys/start_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/keys/start_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/lists/abort_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/lists/abort_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/lists/append_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/lists/append_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/lists/commit_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/lists/commit_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/lists/delete_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/lists/delete_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/lists/impl_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/lists/impl_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/lists/inv_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/lists/inv_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/lists/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/lists/mod.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/lists/read_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/lists/read_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/lists/recover_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/lists/recover_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/lists/setup_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/lists/setup_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/lists/slots_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/lists/slots_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/lists/spec_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/lists/spec_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/lists/start_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/lists/start_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/lists/trim_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/lists/trim_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/lists/update_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/lists/update_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/lists/util_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/lists/util_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/mod.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/recover_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/recover_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/rwkv_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/rwkv_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/rwkv_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/rwkv_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/rwlock_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/rwlock_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/setup_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/setup_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/shardkv_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/shardkv_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/shardkv_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/shardkv_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/slots_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/slots_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/spec_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/spec_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/start_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/start_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/kv2/util_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/kv2/util_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/lib.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/crashinv_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/crashinv_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/crc_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/crc_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/hamming_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/hamming_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/hamming_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/hamming_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/linux_pmemfile_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/linux_pmemfile_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/mmap_pmemfile_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/mmap_pmemfile_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/mod.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/pmcopy_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/pmcopy_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/pmem_async_equiv_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/pmem_async_equiv_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/pmem_async_equiv_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/pmem_async_equiv_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/pmem_async_spec_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/pmem_async_spec_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/pmemmock_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/pmemmock_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/pmemspec_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/pmemspec_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/pmemutil_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/pmemutil_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/power_sound_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/power_sound_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/power_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/power_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/power_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/power_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/subregion_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/subregion_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/traits_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/traits_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/pmem/windows_pmemfile_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/pmem/windows_pmemfile_t.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/testkv_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/testkv_v.rs -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/verify-ae.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/verify-ae.sh -------------------------------------------------------------------------------- /capybaraKV/capybarakv/src/verify.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/src/verify.sh -------------------------------------------------------------------------------- /capybaraKV/capybarakv/wrapper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/capybarakv/wrapper.h -------------------------------------------------------------------------------- /capybaraKV/pmcopy/.gitignore: -------------------------------------------------------------------------------- 1 | target/ -------------------------------------------------------------------------------- /capybaraKV/pmcopy/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/pmcopy/Cargo.toml -------------------------------------------------------------------------------- /capybaraKV/pmcopy/rust-toolchain.toml: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "1.91.0" 3 | -------------------------------------------------------------------------------- /capybaraKV/pmcopy/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/pmcopy/src/lib.rs -------------------------------------------------------------------------------- /capybaraKV/pmcopy/src/pmcopy_macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraKV/pmcopy/src/pmcopy_macros.rs -------------------------------------------------------------------------------- /capybaraNS/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/.gitignore -------------------------------------------------------------------------------- /capybaraNS/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/README.md -------------------------------------------------------------------------------- /capybaraNS/SConstruct: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/SConstruct -------------------------------------------------------------------------------- /capybaraNS/dafny-line-count.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/dafny-line-count.py -------------------------------------------------------------------------------- /capybaraNS/src/Framework/ExternalMethods.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/src/Framework/ExternalMethods.cs -------------------------------------------------------------------------------- /capybaraNS/src/Framework/ExternalMethods_t.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/src/Framework/ExternalMethods_t.dfy -------------------------------------------------------------------------------- /capybaraNS/src/Framework/NativeTypes_t.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/src/Framework/NativeTypes_t.dfy -------------------------------------------------------------------------------- /capybaraNS/src/Framework/PersistentMemory.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/src/Framework/PersistentMemory.cs -------------------------------------------------------------------------------- /capybaraNS/src/Framework/PersistentMemory_t.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/src/Framework/PersistentMemory_t.dfy -------------------------------------------------------------------------------- /capybaraNS/src/Framework/PmemUtil_v.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/src/Framework/PmemUtil_v.dfy -------------------------------------------------------------------------------- /capybaraNS/src/NotaryServer/Advance_v.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/src/NotaryServer/Advance_v.dfy -------------------------------------------------------------------------------- /capybaraNS/src/NotaryServer/Layout_v.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/src/NotaryServer/Layout_v.dfy -------------------------------------------------------------------------------- /capybaraNS/src/NotaryServer/NotaryServer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/src/NotaryServer/NotaryServer.cs -------------------------------------------------------------------------------- /capybaraNS/src/NotaryServer/NotaryServer.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/src/NotaryServer/NotaryServer.csproj -------------------------------------------------------------------------------- /capybaraNS/src/NotaryServer/NotarySpec_t.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/src/NotaryServer/NotarySpec_t.dfy -------------------------------------------------------------------------------- /capybaraNS/src/NotaryServer/Params.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/src/NotaryServer/Params.cs -------------------------------------------------------------------------------- /capybaraNS/src/NotaryServer/Setup_v.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/src/NotaryServer/Setup_v.dfy -------------------------------------------------------------------------------- /capybaraNS/src/NotaryServer/Start_v.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/src/NotaryServer/Start_v.dfy -------------------------------------------------------------------------------- /capybaraNS/src/NotaryServer/TrustedNotary_t.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/src/NotaryServer/TrustedNotary_t.dfy -------------------------------------------------------------------------------- /capybaraNS/src/NotaryServer/UntrustedNotary_v.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/src/NotaryServer/UntrustedNotary_v.dfy -------------------------------------------------------------------------------- /capybaraNS/src/NotaryServer/Util_v.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/capybaraNS/src/NotaryServer/Util_v.dfy -------------------------------------------------------------------------------- /multilog/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/.gitignore -------------------------------------------------------------------------------- /multilog/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/README.md -------------------------------------------------------------------------------- /multilog/multilog/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/Cargo.toml -------------------------------------------------------------------------------- /multilog/multilog/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/build.rs -------------------------------------------------------------------------------- /multilog/multilog/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/rust-toolchain.toml -------------------------------------------------------------------------------- /multilog/multilog/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/lib.rs -------------------------------------------------------------------------------- /multilog/multilog/src/multilog/append_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/multilog/append_v.rs -------------------------------------------------------------------------------- /multilog/multilog/src/multilog/inv_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/multilog/inv_v.rs -------------------------------------------------------------------------------- /multilog/multilog/src/multilog/layout_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/multilog/layout_v.rs -------------------------------------------------------------------------------- /multilog/multilog/src/multilog/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/multilog/mod.rs -------------------------------------------------------------------------------- /multilog/multilog/src/multilog/multilogimpl_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/multilog/multilogimpl_t.rs -------------------------------------------------------------------------------- /multilog/multilog/src/multilog/multilogimpl_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/multilog/multilogimpl_v.rs -------------------------------------------------------------------------------- /multilog/multilog/src/multilog/multilogspec_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/multilog/multilogspec_t.rs -------------------------------------------------------------------------------- /multilog/multilog/src/multilog/setup_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/multilog/setup_v.rs -------------------------------------------------------------------------------- /multilog/multilog/src/multilog/start_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/multilog/start_v.rs -------------------------------------------------------------------------------- /multilog/multilog/src/multilog/util_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/multilog/util_v.rs -------------------------------------------------------------------------------- /multilog/multilog/src/pmem/crc_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/pmem/crc_t.rs -------------------------------------------------------------------------------- /multilog/multilog/src/pmem/linux_pmemfile_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/pmem/linux_pmemfile_t.rs -------------------------------------------------------------------------------- /multilog/multilog/src/pmem/mmap_pmemfile_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/pmem/mmap_pmemfile_t.rs -------------------------------------------------------------------------------- /multilog/multilog/src/pmem/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/pmem/mod.rs -------------------------------------------------------------------------------- /multilog/multilog/src/pmem/pmcopy_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/pmem/pmcopy_t.rs -------------------------------------------------------------------------------- /multilog/multilog/src/pmem/pmemmock_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/pmem/pmemmock_t.rs -------------------------------------------------------------------------------- /multilog/multilog/src/pmem/pmemspec_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/pmem/pmemspec_t.rs -------------------------------------------------------------------------------- /multilog/multilog/src/pmem/pmemutil_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/pmem/pmemutil_v.rs -------------------------------------------------------------------------------- /multilog/multilog/src/pmem/subregion_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/pmem/subregion_v.rs -------------------------------------------------------------------------------- /multilog/multilog/src/pmem/traits_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/pmem/traits_t.rs -------------------------------------------------------------------------------- /multilog/multilog/src/pmem/windows_pmemfile_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/pmem/windows_pmemfile_t.rs -------------------------------------------------------------------------------- /multilog/multilog/src/pmem/wrpm_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/src/pmem/wrpm_t.rs -------------------------------------------------------------------------------- /multilog/multilog/wrapper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/multilog/wrapper.h -------------------------------------------------------------------------------- /multilog/pmsafe/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/pmsafe/Cargo.lock -------------------------------------------------------------------------------- /multilog/pmsafe/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/pmsafe/Cargo.toml -------------------------------------------------------------------------------- /multilog/pmsafe/rust-toolchain.toml: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "1.91.0" 3 | -------------------------------------------------------------------------------- /multilog/pmsafe/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/pmsafe/src/lib.rs -------------------------------------------------------------------------------- /multilog/pmsafe/src/pmsafe_macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/multilog/pmsafe/src/pmsafe_macros.rs -------------------------------------------------------------------------------- /pmemlog/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/pmemlog/Cargo.toml -------------------------------------------------------------------------------- /pmemlog/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/pmemlog/README.md -------------------------------------------------------------------------------- /pmemlog/src/infinitelog_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/pmemlog/src/infinitelog_t.rs -------------------------------------------------------------------------------- /pmemlog/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/pmemlog/src/lib.rs -------------------------------------------------------------------------------- /pmemlog/src/logimpl_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/pmemlog/src/logimpl_v.rs -------------------------------------------------------------------------------- /pmemlog/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/pmemlog/src/main.rs -------------------------------------------------------------------------------- /pmemlog/src/main_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/pmemlog/src/main_t.rs -------------------------------------------------------------------------------- /pmemlog/src/math_v.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/pmemlog/src/math_v.rs -------------------------------------------------------------------------------- /pmemlog/src/pmemmock_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/pmemlog/src/pmemmock_t.rs -------------------------------------------------------------------------------- /pmemlog/src/pmemspec_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/pmemlog/src/pmemspec_t.rs -------------------------------------------------------------------------------- /pmemlog/src/sccf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/pmemlog/src/sccf.rs -------------------------------------------------------------------------------- /soundness_proofs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/soundness_proofs/README.md -------------------------------------------------------------------------------- /unverified/metadata_kv/.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | -------------------------------------------------------------------------------- /unverified/metadata_kv/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/unverified/metadata_kv/Cargo.lock -------------------------------------------------------------------------------- /unverified/metadata_kv/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/unverified/metadata_kv/Cargo.toml -------------------------------------------------------------------------------- /unverified/metadata_kv/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/unverified/metadata_kv/src/main.rs -------------------------------------------------------------------------------- /unverified/metadata_kv/src/metadata_kv.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/unverified/metadata_kv/src/metadata_kv.rs -------------------------------------------------------------------------------- /unverified/metadata_kv/src/tiering_engine.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/unverified/metadata_kv/src/tiering_engine.rs -------------------------------------------------------------------------------- /unverified/metadata_kv/src/tiering_engine_proptest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/unverified/metadata_kv/src/tiering_engine_proptest.rs -------------------------------------------------------------------------------- /unverified/multilog_test/.gitignore: -------------------------------------------------------------------------------- 1 | Cargo.lock 2 | target/ 3 | -------------------------------------------------------------------------------- /unverified/multilog_test/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/unverified/multilog_test/Cargo.toml -------------------------------------------------------------------------------- /unverified/multilog_test/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verified-storage/HEAD/unverified/multilog_test/src/main.rs --------------------------------------------------------------------------------