feat: Support Tact 1.5.1

Bugfix release, no changes needed

CHANGELOG.md

@@ -20,6 +20,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - The `--detectors` CLI option can be used to quickly run Misti with the specified detectors, e.g., `yarn misti --detectors ReadOnlyVariables,./examples/implicit-init/implicitInit.ts:ImplicitInit`
 - Asynchronous detectors and Souffle execution: PR [#118](https://github.com/nowarp/misti/pull/118)
 - Supported Tact 1.5.0: Issue [#33](https://github.com/nowarp/misti/issues/33)
+- Supported Tact 1.5.1
 
 ### Changed
 - Moved Souffle bindings to a its own repository https://github.com/nowarp/souffle.js: PR [#120](https://github.com/nowarp/misti/pull/120)

README.md

@@ -2,7 +2,7 @@
 Misti is a static analysis tool designed for smart contracts on the [TON blockchain](https://ton.org/).
 
 **Language Support:**
-- [Tact](https://tact-lang.org/) 1.5.0 is supported.
+- [Tact](https://tact-lang.org/) 1.5.1 is supported.
 - Support for [FunC](https://docs.ton.org/develop/func/overview) [is planned](https://github.com/nowarp/misti/issues/56).
 
 ## Getting Started

package.json

@@ -41,7 +41,7 @@
   },
   "dependencies": {
     "@nowarp/souffle": "^0.1.2",
-    "@tact-lang/compiler": "^1.5.0",
+    "@tact-lang/compiler": "^1.5.1",
     "@types/benchmark": "^2.1.5",
     "@types/fs-extra": "^11.0.4",
     "@types/js-yaml": "^4.0.9",

yarn.lock

@@ -1223,13 +1223,13 @@
   dependencies:
     defer-to-connect "^2.0.1"
 
-"@tact-lang/compiler@^1.5.0":
-  version "1.5.0"
-  resolved "https://registry.yarnpkg.com/@tact-lang/compiler/-/compiler-1.5.0.tgz#1a3c3c9faf32c41fbab269db9fe2af24b7f9c360"
-  integrity sha512-VN/E81VDwwyoE6H8NrX2Sfp63Y3N0Jdk349tg48YjdoTmyDEpiEbpHajfRoy04ZoxLKwbOD6213qflyv9g52Mw==
+"@tact-lang/compiler@^1.5.1":
+  version "1.5.1"
+  resolved "https://registry.yarnpkg.com/@tact-lang/compiler/-/compiler-1.5.1.tgz#2b82dd6f26c741989bf6270ccaf706f728ede5ac"
+  integrity sha512-pzszIP3vtDLMYT2dVO9U0siLBxxjgFUig95uKb/u2Y+MOByoBMyBIRxJlw1IoQUXYIFKGTPpBIhS3bHcLCkNTQ==
   dependencies:
     "@tact-lang/opcode" "^0.0.16"
-    "@ton/core" "0.57.0"
+    "@ton/core" "0.58.1"
     "@ton/crypto" "^3.2.0"
     blockstore-core "1.0.5"
     change-case "^4.1.2"
@@ -1248,10 +1248,10 @@
   resolved "https://registry.yarnpkg.com/@tact-lang/opcode/-/opcode-0.0.16.tgz#cc9e4117ce706d8bb6e054a520bab719f70adf96"
   integrity sha512-YJTUjoDOy+e+FHHppJiF+uWJ2IMjVknB9VQ5n78pknCE129DazCb/nFXnw0wVRDVcn8Tn59ky+pmjiQjQOjEbw==
 
-"@ton/core@0.57.0":
-  version "0.57.0"
-  resolved "https://registry.yarnpkg.com/@ton/core/-/core-0.57.0.tgz#fdf2d32848a3d1135b890e9a5bd8295e958a4a81"
-  integrity sha512-UOehEXEV5yqi+17qmmWdD01YfVgQlYtitSm5OfN/WMg6PAMkt+Uf91JRC4mdPNtkKDhyKuujJuhYs6QiOsHPfw==
+"@ton/core@0.58.1":
+  version "0.58.1"
+  resolved "https://registry.yarnpkg.com/@ton/core/-/core-0.58.1.tgz#f6f2ecef6a7149bcd23825bfbb454f116d54363f"
+  integrity sha512-zydh42iT6E3U3Ky/DhTFqJMN/ycKKzbsHASY257Qr2sZn97G/MOcHFizPfMnbJJgx0H9iHX6mdyMvp1IKBVAFA==
   dependencies:
     symbol.inspect "1.0.1"