From bc51ecf155733abf0947ba49a996001e08324a5c Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 5 Jun 2020 13:23:36 +0000 Subject: [PATCH 1/5] haskell-backend/src/main/native/haskell-backend: 62d182b2 - Remove hie.yaml (#1864) --- haskell-backend/src/main/native/haskell-backend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index 83be63a4f51..62d182b2e7b 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 83be63a4f518d58a93dfe67c489812e3d0f5cf6a +Subproject commit 62d182b2e7bdb5ae03808e683a1297dfed6982a4 From b2480c133abb7197f93c1b764f65e6bb9fc055a2 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 5 Jun 2020 15:26:01 +0000 Subject: [PATCH 2/5] haskell-backend/src/main/native/haskell-backend: c8d22b29 - Update dependency: deps/k_release (#1868) --- haskell-backend/src/main/native/haskell-backend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index 62d182b2e7b..c8d22b290b0 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 62d182b2e7bdb5ae03808e683a1297dfed6982a4 +Subproject commit c8d22b290b0de444bc815d5a04b59e18ff09f073 From 143e4286ac18fdadf91c2258a6d1001f91ae066b Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 5 Jun 2020 17:23:53 +0000 Subject: [PATCH 3/5] haskell-backend/src/main/native/haskell-backend: 0aaca590 - Simplification rule for in .Set (#1870) --- haskell-backend/src/main/native/haskell-backend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index c8d22b290b0..0aaca5902d4 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit c8d22b290b0de444bc815d5a04b59e18ff09f073 +Subproject commit 0aaca5902d4563c35ff0ff57d32be909c7c5e3c7 From 4bf88d9d676907cfea74a5ebc51a0c335c100422 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 5 Jun 2020 18:53:04 +0000 Subject: [PATCH 4/5] haskell-backend/src/main/native/haskell-backend: 201aa07b - Added simplification rule for orBool = false (#1871) --- haskell-backend/src/main/native/haskell-backend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index 0aaca5902d4..201aa07bd14 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 0aaca5902d4563c35ff0ff57d32be909c7c5e3c7 +Subproject commit 201aa07bd143ed9e6166c6adc8df405ad0004f6e From 1b6c8d7d4b9a1e2d4b9d2329c890ce916598c2fb Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 5 Jun 2020 20:21:03 +0000 Subject: [PATCH 5/5] haskell-backend/src/main/native/haskell-backend: fc5c8a95 - Argument for all path reachability using merged rules (#1866) --- haskell-backend/src/main/native/haskell-backend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index 201aa07bd14..fc5c8a951cc 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 201aa07bd143ed9e6166c6adc8df405ad0004f6e +Subproject commit fc5c8a951cc2327d95c7e10a130e908f616156cd