The code for the replicated state machine library vRSM and the key-value store
vKV are in the vrsm directory. Inside, there are packages for
primary/backup replica servers (replica), a config service (configservice), a
storage library (storage), a clerk (clerk), and some applications
including the key-value store vKV (apps).
The proofs for all of this code are in the Perennial repository.
The Grove artifact is in its own repository (with its own README) here. It includes a specific commit of this repository as a git submodule. The artifact repository describes how to run the experiments described in the SOSP'23 paper.