Update dependency: haskell-backend/src/main/native/haskell-backend#1324
Merged
rv-jenkins merged 5 commits intomasterfrom _update-deps_haskell-backend_src_main_native_haskell-backendJun 6, 2020
+1-1
Commits
Commits on Jun 5, 2020
- committed
haskell-backend/src/main/native/haskell-backend: c8d22b29 - Update dependency: deps/k_release (#1868)
committed- committed
haskell-backend/src/main/native/haskell-backend: 201aa07b - Added simplification rule for orBool = false (#1871)
committedhaskell-backend/src/main/native/haskell-backend: fc5c8a95 - Argument for all path reachability using merged rules (#1866)
committed
