1 file changed
+1
-1
lines changed- .github/workflows/book.yml+1-1
- .github/workflows/ci.yml+23-24
- .github/workflows/docs.yml+2-2
- CHANGES.md+3
- src/Cryptol/REPL/Command.hs+28-1
- src/Cryptol/TypeCheck/Solver/Numeric.hs+7-6
- src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs+57-13
- tests/constraint-guards/type-sig-constraint.icry.stdout+1-1
- tests/enum/BasicEnums.cry+1-1
- tests/enum/Sanity.icry.stdout+1-1
- tests/issues/issue1617.icry.stdout+1-1
- tests/issues/issue_1696.cry+5
- tests/issues/issue_1696.icry+1
- tests/issues/issue_1696.icry.stdout+18
- tests/modsys/functors/T029.icry.stdout+1-1
0 commit comments