v0.4
Pre-release
Pre-release
Changelog
- Fuzzer and quotient rewrite
- Oracle timeout
- Time and oracle call statistics
- ANTLR4 export more stable
- Dune installs
quotient_poirot - Heuristic save can be disabled
- Can set a minimal interval between two oracle calls
- By default, save the previous oracle calls
- Bugfixes