Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Simplify spec SeqToSet definition | Tor Brede Vekterli | 2023-08-24 | 1 | -3/+3 |
* | Minor spec simplifications | Tor Brede Vekterli | 2023-08-22 | 1 | -5/+5 |
* | Add PlusCal/TLA+ spec for potential changes to bucket metadata synchronization | Tor Brede Vekterli | 2023-07-20 | 2 | -0/+667 |