Move Souffle bindings to souffle.js

CHANGELOG.md

@@ -9,7 +9,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ### Added
 - Allow running Misti without Souffle installation: Issue [#45](https://github.com/nowarp/misti/issues/45)
-- `--souffle-binary` CLI option
+- `--souffle-binary` CLI option to specify path to the Souffle executable
+- `--souffle-verbose` CLI option to include comments to the generated Souffle files: PR [#120](https://github.com/nowarp/misti/pull/120)
 - Benchmarks for executing detectors. Use e.g. `yarn benchmark ./test/good/sample-jetton.tact`.
 - Public API to handle Tact stdlib paths
 - Detector templates and the `--new-detector` CLI option: PR [#105](https://github.com/nowarp/misti/pull/105)
@@ -18,6 +19,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Asynchronous detectors and Souffle execution: PR [#118](https://github.com/nowarp/misti/pull/118)
 
 ### Changed
+- Moved Souffle bindings to a its own repository https://github.com/nowarp/souffle.js: PR [#120](https://github.com/nowarp/misti/pull/120)
 
 ### Fixed
 - Adjust option names in Config and JSONSchema

cspell.json

@@ -79,6 +79,7 @@
     "graphviz",
     "idxs",
     "unmarshalled",
+    "unmarshal",
     "fixpoints",
     "Datalog",
     "lvalues",

package.json

@@ -40,6 +40,7 @@
     "misti": "./bin/misti"
   },
   "dependencies": {
+    "@nowarp/souffle": "^0.1.2",
     "@tact-lang/compiler": "^1.4.4",
     "@types/benchmark": "^2.1.5",
     "@types/fs-extra": "^11.0.4",

src/cli.ts

@@ -42,12 +42,17 @@ export function createMistiCommand(): Command {
     )
     .option(
       "--souffle-binary <path>",
-      "Path to Soufflé binary. Default value: `souffle`.",
+      "Path to Soufflé binary. Default: `souffle`.",
       undefined,
     )
     .option(
       "--souffle-path <path>",
-      "Directory to save generated Soufflé files. If not set, a temporary directory will be used.",
+      "Directory to save generated Soufflé files. If not set, a temporary directory will be used. Default: `/tmp/misti/souffle`",
+      undefined,
+    )
+    .option(
+      "--souffle-verbose",
+      "If set, generates more readable Soufflé files instead of making the result source code smaller.",
       undefined,
     )
     .option(