spec: Refactor votekeeper using quint's new sum types#76
Merged
romac merged 28 commits intomainfrom hvanz/votekeeper-sum-typesDec 8, 2023
+691-557
Commits
Commits on Nov 20, 2023
- committed
- committed
Commits on Nov 21, 2023
- committed
- committed
Commits on Nov 22, 2023
Commits on Nov 28, 2023
Commits on Nov 30, 2023
- committed
Commits on Dec 6, 2023
- committed
- committed
- committed
Commits on Dec 7, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- committed
Commits on Dec 8, 2023
- committed
- committed
- committed
- committed
- committed
- committed