Rewrite proof decoding code to not use a separate map#1462
Merged
tomaka merged 29 commits intosmol-dot:mainfrom tomaka:rewrite-proof-decodingDec 21, 2023
+1,156-699
Commits
Commits on Dec 11, 2023
Commits on Dec 12, 2023
- committed
Commits on Dec 21, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed