Add a key-value-store with snapshot isolation - #27

Open

TurtleTony wants to merge 7 commits into

AlloyTools:masterfrom

TurtleTony:master

Commits on Jul 12, 2023

Add specification and verification of a key-value-store with snapshot isolation
TurtleTony
committed
601ab9f

Commits on Jul 13, 2023

Update key-value-store md based on feedback
TurtleTony
committed
c211ec1
Rename key-value-store close transaction to commit transaction
TurtleTony
committed
b1de344

Commits on Jul 19, 2023