increased version to 1.7.10 (#490)

microsoft · Aug 18, 2023 · 992a263 · 992a263
1 parent 9feb2ef
commit 992a263
Show file tree

Hide file tree

Showing 6 changed files with 33 additions and 9 deletions.
diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
@@ -21,7 +21,7 @@
       ]
     },
     "microsoft.coyote.cli": {
-      "version": "1.7.9",
+      "version": "1.7.10",
       "commands": [
         "coyote"
       ]

diff --git a/CITATION.cff b/CITATION.cff
@@ -9,6 +9,26 @@ authors:
 - family-names: "Lal"
   given-names: "Akash"
 title: "Coyote"
-version: 1.7.9
+version: 1.7.10
 date-released: 2020-02-28
 url: "https://github.com/microsoft/coyote"
+preferred-citation:
+  type: article
+  authors:
+  - family-names: "Deligiannis"
+    given-names: "Pantazis"
+    orcid: "https://orcid.org/0000-0001-7582-4520"
+  - family-names: "Senthilnathan"
+    given-names: "Aditya"
+  - family-names: "Nayyar"
+    given-names: "Fahad"
+  - family-names: "Lovett"
+    given-names: "Chris"
+  - family-names: "Lal"
+    given-names: "Akash"
+  doi: "10.1007/978-3-031-30820-8_26"
+  journal: "International Conference on Tools and Algorithms for the Construction and Analysis of Systems"
+  start: 433
+  end: 452
+  title: "Industrial-Strength Controlled Concurrency Testing for Programs With Coyote"
+  year: 2023
diff --git a/Common/version.props b/Common/version.props
@@ -2,7 +2,7 @@
 <!-- This file may be overwritten by automation. Only values allowed here are VersionPrefix and VersionSuffix. -->
 <Project>
   <PropertyGroup>
-    <VersionPrefix>1.7.9</VersionPrefix>
+    <VersionPrefix>1.7.10</VersionPrefix>
     <VersionSuffix></VersionSuffix>
   </PropertyGroup>
 </Project>
diff --git a/History.md b/History.md
@@ -1,3 +1,7 @@
+## v1.7.10
+- Fixed an issue with `Actor` not halting as expected in certain scenarios after explicitly raising
+  a `HaltEvent` event.
+
 ## v1.7.9
 - Added the `Microsoft.Coyote.Rewriting.SkipRewriting` attribute that allows skipping the rewriting
   of a user-specified type.

diff --git a/Tests/compare-rewriting-diff-logs.ps1 b/Tests/compare-rewriting-diff-logs.ps1
@@ -13,11 +13,11 @@ $targets = [ordered]@{
 }
 
 $expected_hashes = [ordered]@{
-    "rewriting" = "BA74E117184BB5971098C06821603404C54BF0FA37EB393FCC2748FC7ABCB3E2"
-    "rewriting-helpers" = "556A68FF0849371E8AFD7A5159B6D2C53F566917D5F9741FCD1BA89C5F8B67CC"
-    "testing" = "8AE199B7410928ED4378B42C7183A8B6730898C248486D79C430063EB2C101A2"
-    "actors" = "65E9E6270A12BF675150B31ABB2D5888DAC5CC71ECB8523DD1B4657EA14928CB"
-    "actors-testing" = "503A3FDA7E0EB5A5B74E12A0810BC09BB59251FF7CFB5605434C2F0F5E521739"
+    "rewriting" = "4CDA15D6A718DA0290489A50906F1B2364E9B4562F72D48A59284299B783C5BF"
+    "rewriting-helpers" = "676906904C5AB80B10069113CA70F5D5EA26A0C2BFB8D6B4EAE46E602BF1AEAE"
+    "testing" = "0112C27DC0C301BA980E598C484CFABA4F881F5E91FDD74107ADE0002A6901A4"
+    "actors" = "492A23570BEDA4A9DF0D55DBCD7DB7B5D43A7FA1E9906BFF0CF98E477BBBBF55"
+    "actors-testing" = "C9E531EC9C367CFA9E44DCC1F9524D2D92F026E0744CC7C65FE016B621E5B659"
 }
 
 Write-Comment -prefix "." -text "Comparing the test rewriting diff logs" -color "yellow"

diff --git a/global.json b/global.json
@@ -1,5 +1,5 @@
 {
   "sdk": {
-    "version": "7.0.302"
+    "version": "7.0.400"
   }
 }