The latest version of tasty-checklist is 1.0.6.0-0.
lib:tasty-checklist
Modules
Dependencies
- base lib:base >=4.10 && <5
- exceptions lib:exceptions >=0.10 && <0.11
- parameterized-utils lib:parameterized-utils >=2.1.0 && <2.2
- text lib:text >=1.2 && <1.3
Reverse dependencies
Direct only. Not exhaustive.
- named-text test:namedTests
- tasty-checklist test:checklistDocTests
- tasty-checklist test:checklistTests
- tasty-prelude lib:tasty-prelude
- what4 test:config-test
- what4 test:expr-builder-smtlib2
- what4 test:online-solver-test