aboutsummaryrefslogtreecommitdiffstats
path: root/storage/specs
Commit message (Expand)AuthorAgeFilesLines
* Simplify spec SeqToSet definitionTor Brede Vekterli2023-08-241-3/+3
* Minor spec simplificationsTor Brede Vekterli2023-08-221-5/+5
* Add PlusCal/TLA+ spec for potential changes to bucket metadata synchronizationTor Brede Vekterli2023-07-202-0/+667