git.iko.soy/stackage
on master help sign in
liquid-fixpoint might pass tests now with new z3
761cc7bDan Burton
build-constraints.yaml−1
compare with master
unifiedsplit
@@ -5638,7 +5638,6 @@ expected-test-failures:
5638 - haskeline # https://github.com/commercialhaskell/stackage/issues/5439
5638 - haskeline # https://github.com/commercialhaskell/stackage/issues/5439
5639 - character-cases # https://github.com/aiya000/hs-character-cases/issues/3
5639 - character-cases # https://github.com/aiya000/hs-character-cases/issues/3
5640 - lz4-frame-conduit # https://github.com/nh2/lz4-frame-conduit/issues/3
5640 - lz4-frame-conduit # https://github.com/nh2/lz4-frame-conduit/issues/3
5641− - liquid-fixpoint # TODO: DanBurton
5642
5641
5643 # Compilation failures
5642 # Compilation failures
5644 - ListLike # No issue tracker, e-mail sent to maintainer
5643 - ListLike # No issue tracker, e-mail sent to maintainer