From 8a62a76259c63defd2fe702e97adec702c7472dc Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 13 Sep 2023 11:27:31 +0000 Subject: [PATCH 01/15] deps/k_release: Set Version 6.0.93 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 452ca39512..71858d966e 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.87 +6.0.93 From f6a0bd612ec9351d269860a3b5066daf7d9393b7 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 13 Sep 2023 17:00:55 +0000 Subject: [PATCH 02/15] deps/k_release: Set Version 6.0.94 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 71858d966e..241f2cb536 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.93 +6.0.94 From 67bf6868744f3026366777ce367b508e00f636ad Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 14 Sep 2023 16:41:55 +0000 Subject: [PATCH 03/15] deps/k_release: Set Version 6.0.95 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 241f2cb536..1b857cee77 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.94 +6.0.95 From 7bb19743c186b61cfb405278b6bc46dd40652c41 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 15 Sep 2023 00:32:23 +0000 Subject: [PATCH 04/15] deps/k_release: Set Version 6.0.97 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 1b857cee77..e7d9913b9d 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.95 +6.0.97 From a61781503afccae80ccc2551961bb5d9bc07d62d Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 15 Sep 2023 19:37:07 +0000 Subject: [PATCH 05/15] deps/k_release: Set Version 6.0.99 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index e7d9913b9d..7f5364117e 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.97 +6.0.99 From 1f1ed4437539f30174e26b43d5869dc55dd32eca Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 19 Sep 2023 17:27:17 +0000 Subject: [PATCH 06/15] deps/k_release: Set Version 6.0.102 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 7f5364117e..a46efc95bf 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.99 +6.0.102 From 688ff6607e53b7b8cc6cdc28c752b721833e9577 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 20 Sep 2023 20:06:08 +0000 Subject: [PATCH 07/15] deps/k_release: Set Version 6.0.103 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index a46efc95bf..8aae7630aa 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.102 +6.0.103 From 04fee24a763595e0eb9214651d867c3094f4f357 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 20 Sep 2023 22:31:27 +0000 Subject: [PATCH 08/15] deps/k_release: Set Version 6.0.107 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 8aae7630aa..070dc6db51 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.103 +6.0.107 From 6e35d8f76e30bab8b631c2b4630caa02f2f120b9 Mon Sep 17 00:00:00 2001 From: Georgy Lukyanov Date: Fri, 29 Sep 2023 10:42:52 +0200 Subject: [PATCH 09/15] deps/k_release: Set Version 6.0.117 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 070dc6db51..045f8a6f4e 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.107 +6.0.117 From 7c680a799843cbaed736a095626807b810f26e81 Mon Sep 17 00:00:00 2001 From: Georgy Lukyanov Date: Fri, 29 Sep 2023 11:14:09 +0200 Subject: [PATCH 10/15] deps/k_release: Manually set K Version to 6.0.106 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 045f8a6f4e..5e8141d76a 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.117 +6.0.106 From 4a794d4abc69469d652df065ef10d23d535c62f3 Mon Sep 17 00:00:00 2001 From: Georgy Lukyanov Date: Fri, 29 Sep 2023 12:09:38 +0200 Subject: [PATCH 11/15] deps/k_release: Manually set K Version to 6.0.112 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 5e8141d76a..9d582a7f92 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.106 +6.0.112 From 42170f3c200266b1dfbdc94b3f7c8f34257f664d Mon Sep 17 00:00:00 2001 From: Georgy Lukyanov Date: Fri, 29 Sep 2023 12:33:43 +0200 Subject: [PATCH 12/15] deps/k_release: Manually set K Version to 6.0.108 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 9d582a7f92..441346f5e1 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.112 +6.0.108 From 89a3933b0addb835814296c2a22972c595a3296c Mon Sep 17 00:00:00 2001 From: Georgy Lukyanov Date: Fri, 29 Sep 2023 13:04:07 +0200 Subject: [PATCH 13/15] Update test output --- test/imp/max-symbolic.imp.out.golden | 30 ++++++++++++++-------------- 1 file changed, 15 insertions(+), 15 deletions(-) diff --git a/test/imp/max-symbolic.imp.out.golden b/test/imp/max-symbolic.imp.out.golden index 4890297523..d176363edf 100644 --- a/test/imp/max-symbolic.imp.out.golden +++ b/test/imp/max-symbolic.imp.out.golden @@ -3,7 +3,7 @@ . - max |-> ?_I:Int + max |-> ?_I0:Int x |-> ?_I:Int y |-> ?_I0:Int z |-> ?_I1:Int @@ -13,13 +13,13 @@ { false #Equals - ?_I:Int <=Int ?_I0:Int + ?_I0:Int <=Int ?_I1:Int } #And { - false + true #Equals - ?_I:Int <=Int ?_I1:Int + ?_I:Int <=Int ?_I0:Int } #Or @@ -27,7 +27,7 @@ . - max |-> ?_I0:Int + max |-> ?_I1:Int x |-> ?_I:Int y |-> ?_I0:Int z |-> ?_I1:Int @@ -37,13 +37,13 @@ { false #Equals - ?_I0:Int <=Int ?_I1:Int + ?_I:Int <=Int ?_I0:Int } #And { true #Equals - ?_I:Int <=Int ?_I0:Int + ?_I:Int <=Int ?_I1:Int } #Or @@ -59,15 +59,15 @@ #And { - false + true #Equals - ?_I:Int <=Int ?_I0:Int + ?_I0:Int <=Int ?_I1:Int } #And { true #Equals - ?_I:Int <=Int ?_I1:Int + ?_I:Int <=Int ?_I0:Int } #Or @@ -75,7 +75,7 @@ . - max |-> ?_I1:Int + max |-> ?_I:Int x |-> ?_I:Int y |-> ?_I0:Int z |-> ?_I1:Int @@ -83,13 +83,13 @@ #And { - true + false #Equals - ?_I0:Int <=Int ?_I1:Int + ?_I:Int <=Int ?_I0:Int } #And { - true + false #Equals - ?_I:Int <=Int ?_I0:Int + ?_I:Int <=Int ?_I1:Int } From 0f1cd3cc10899c0f5e9f23666954e4fc197d1af0 Mon Sep 17 00:00:00 2001 From: Georgy Lukyanov Date: Fri, 29 Sep 2023 13:19:41 +0200 Subject: [PATCH 14/15] Update test output --- test/smt-none/program.test.out.golden | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/test/smt-none/program.test.out.golden b/test/smt-none/program.test.out.golden index 1e1d8ab5aa..e2f42e4b3c 100644 --- a/test/smt-none/program.test.out.golden +++ b/test/smt-none/program.test.out.golden @@ -1,13 +1,3 @@ - - . - - #And - { - ?T1:Type - #Equals - ?T2:Type - } -#Or #Not ( { ?T1:Type #Equals @@ -17,3 +7,13 @@ ?T1:Type = ?T2:Type ~> . +#Or + + . + + #And + { + ?T1:Type + #Equals + ?T2:Type + } From 8d3efd3896ab48ed9376ba87d68a04e08c191b4c Mon Sep 17 00:00:00 2001 From: Georgy Lukyanov Date: Fri, 29 Sep 2023 14:21:17 +0200 Subject: [PATCH 15/15] Update another test output --- test/issue-2010/1.test.out.golden | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/test/issue-2010/1.test.out.golden b/test/issue-2010/1.test.out.golden index f2d06cfce3..9b22e92fcd 100644 --- a/test/issue-2010/1.test.out.golden +++ b/test/issue-2010/1.test.out.golden @@ -1,19 +1,19 @@ - true ~> . + I:Int ~> . #And { - None + Some I:Int #Equals f ( ) } #Or - I:Int ~> . + true ~> . #And { - Some I:Int + None #Equals f ( ) }