This directory contains the Verus code for a persistent-memory append-only log
Install Verus from https://github.com/verus-lang/verus.
To verify the log, cd to the pmemlog/ directory and run the following.
cd src
cargo verus verify
pmemlog
Directory actions
More options
Directory actions
More options
pmemlog
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||