effectfully
effectfully
/benchmark validation
/benchmark lists
> The name of the transformation is self-explanatory: this is basically case-of-case transformation. The reason it is useful is because it can trigger case-of-known-constructor transformation on `case (constr t)` and...
Ah, I misunderstood, I thought you were saying it was already implemented for UPLC case-of-case.
- [ ] **Handling of names in NEAT tests** Currently in NEAT tests we use De Bruijn indices to represent variables. This has the advantage of playing well the whole...
- [ ] **Generate all the constants of a built-in type in NEAT tests** Currently we only generate a single constant per built-in type in NEAT tests. An excerpt from...
- [ ] **Check if making the NEAT type checker bidirectional is feasible and an improvement** The types AST used in NEAT generators represents type application like this: ``` data...
- [ ] **Can we use our regular AST for NEAT tests? Should we?** Currently we have an entire new AST of the whole Plutus Core language just so that...
- [ ] **Can we use `Arbitrary` with NEAT tests for generating constants? Should we?** The NEAT machinery insists on exhaustively generating all values satisfying a predicate, but do we...
- [ ] **Get stats on how much time it takes to run NEAT generators vs to run the actual properties** The NEAT generators are not very optimized, but is...