High level summary
Some minor improvements to the implementation and the test suite. Nothing really interesting to report this time around.
Low level summary
Features
- pull-4841 - Drop dependency on
cardano-prelude
- pull-4844 - Remove
era
type parameter fromMemoBytes
- pull-4837 - Added
NonZero
- pull-4857 - Made predicate failure and environment fields lazy
Testing
- pull-4827 - Add method
genSizedList
to class Foldy - pull-4839 - Bumped spec
- pull-4853 - Update comments about enabling conformance imp tests
- pull-4829 - Enable imp-conformance for ENACT
- pull-4838 - Change the structure of the GenT monad, to better track explanations.
- pull-4830 - Add randomised certs for imp-tests