What's Changed
- Adapt to MC#1354 by @4ever2 in #68
- Port SigmaProtocol changes from jasmin branch by @4ever2 in #73
- Add documentation, clarification and optimization of the joy of state separating proofs by @ErVinuelas in #57
- Towards nominals by @4ever2 in #70
- Added some examples missed in the README by @ErVinuelas in #78
- Adapt to MC#1439 by @Tragicus in #86
- Add new assumptions and move the DDH by @ErVinuelas in #81
- Add nominal features by @MarkusKL in #82
- Reversible coercion from choice_type by @MarkusKL in #77
- Adapt to MC#1439 by @Tragicus in #88
- Drop support for Coq 8.18 by @4ever2 in #84
- More invariants by @MarkusKL in #90
- Drop support for Coq 8.19 by @4ever2 in #85
- Update to use the new chList by @ErVinuelas in #93
- Adapt to math-comp/math-comp#1433 by @pi8027 in #96
- Support Rocq 9.1 by @4ever2 in #91
- Simpler nominal semantics proof by @MarkusKL in #97
New Contributors
- @ErVinuelas made their first contribution in #57
- @pi8027 made their first contribution in #96
Full Changelog: v0.2.4...v0.3.0
Contributors
pi8027, 4ever2, and 3 other contributors