occam-verify-cli 1.0.656 → 1.0.657
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
@@ -153,9 +153,7 @@ function releaseContextFromDependency(dependency, context) {
|
|
|
153
153
|
releaseContext = releaseContextFromJSON(json, context);
|
|
154
154
|
} else {
|
|
155
155
|
projectName = dependencyName, project = loadProject(projectName, projectsDirectoryPath);
|
|
156
|
-
|
|
157
|
-
releaseContext = releaseContextFromProject(project, context);
|
|
158
|
-
}
|
|
156
|
+
releaseContext = releaseContextFromProject(project, context);
|
|
159
157
|
}
|
|
160
158
|
}
|
|
161
159
|
return [
|
|
@@ -169,4 +167,4 @@ var _default = {
|
|
|
169
167
|
releaseContextFromDependency: releaseContextFromDependency
|
|
170
168
|
};
|
|
171
169
|
|
|
172
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
170
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvcmVsZWFzZUNvbnRleHQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IHJlbGVhc2VDb250ZXh0VXRpbGl0aWVzIH0gZnJvbSBcIm9jY2FtLWxhbmd1YWdlc1wiO1xuaW1wb3J0IHsgZmlsZVN5c3RlbVV0aWxpdGllcyBhcyBvY2NhbUZpbGVTeXN0ZW1VdGlsaXRpZXMgfSBmcm9tIFwib2NjYW0tZmlsZS1zeXN0ZW1cIjtcbmltcG9ydCB7IHBhdGhVdGlsaXRpZXMsIGZpbGVTeXN0ZW1VdGlsaXRpZXMgYXMgbmVjZXNzYXJ5RmlsZVN5c3RlbVV0aWxpdGllcyB9IGZyb20gXCJuZWNlc3NhcnlcIjtcblxuY29uc3QgeyBsb2FkUHJvamVjdCB9ID0gb2NjYW1GaWxlU3lzdGVtVXRpbGl0aWVzLFxuICAgICAgeyBjb25jYXRlbmF0ZVBhdGhzIH0gPSBwYXRoVXRpbGl0aWVzLFxuICAgICAgeyByZWFkRmlsZSwgaXNFbnRyeUZpbGUsIGNoZWNrRW50cnlFeGlzdHMgfSA9IG5lY2Vzc2FyeUZpbGVTeXN0ZW1VdGlsaXRpZXMsXG4gICAgICB7IHJlbGVhc2VDb250ZXh0RnJvbUpTT04sIHJlbGVhc2VDb250ZXh0RnJvbVByb2plY3QgfSA9IHJlbGVhc2VDb250ZXh0VXRpbGl0aWVzO1xuXG5leHBvcnQgYXN5bmMgZnVuY3Rpb24gcmVsZWFzZUNvbnRleHRGcm9tRGVwZW5kZW5jeShkZXBlbmRlbmN5LCBjb250ZXh0KSB7XG4gIGxldCByZWxlYXNlQ29udGV4dCA9IG51bGw7XG5cbiAgY29uc3QgcHJvamVjdHNEaXJlY3RvcnlQYXRoID0gcHJvY2Vzcy5jd2QoKSwgLy8vXG4gICAgICAgIGRlcGVuZGVuY3lOYW1lID0gZGVwZW5kZW5jeS5nZXROYW1lKCksXG4gICAgICAgIGVudHJ5UGF0aCA9IGNvbmNhdGVuYXRlUGF0aHMocHJvamVjdHNEaXJlY3RvcnlQYXRoLCBkZXBlbmRlbmN5TmFtZSksXG4gICAgICAgIGVudHJ5RXhpc3RzID0gY2hlY2tFbnRyeUV4aXN0cyhlbnRyeVBhdGgpO1xuXG4gIGlmIChlbnRyeUV4aXN0cykge1xuICAgIGNvbnN0IGVudHJ5RmlsZSA9IGlzRW50cnlGaWxlKGVudHJ5UGF0aCk7XG5cbiAgICBpZiAoZW50cnlGaWxlKSB7XG4gICAgICBjb25zdCBmaWxlUGF0aCA9IGVudHJ5UGF0aCwgLy8vXG4gICAgICAgICAgICBjb250ZW50ID0gcmVhZEZpbGUoZmlsZVBhdGgpLFxuICAgICAgICAgICAganNvblN0cmluZyA9IGNvbnRlbnQsIC8vL1xuICAgICAgICAgICAganNvbiA9IEpTT04ucGFyc2UoanNvblN0cmluZyk7XG5cbiAgICAgIHJlbGVhc2VDb250ZXh0ID0gcmVsZWFzZUNvbnRleHRGcm9tSlNPTihqc29uLCBjb250ZXh0KTtcbiAgICB9IGVsc2Uge1xuICAgICAgY29uc3QgcHJvamVjdE5hbWUgPSBkZXBlbmRlbmN5TmFtZSwgLy8vXG4gICAgICAgICAgICBwcm9qZWN0ID0gbG9hZFByb2plY3QocHJvamVjdE5hbWUsIHByb2plY3RzRGlyZWN0b3J5UGF0aCk7XG5cbiAgICAgIHJlbGVhc2VDb250ZXh0ID0gcmVsZWFzZUNvbnRleHRGcm9tUHJvamVjdChwcm9qZWN0LCBjb250ZXh0KTtcbiAgICB9XG4gIH1cblxuICByZXR1cm4gcmVsZWFzZUNvbnRleHQ7XG59XG5cbmV4cG9ydCBkZWZhdWx0IHtcbiAgcmVsZWFzZUNvbnRleHRGcm9tRGVwZW5kZW5jeVxufTtcbiJdLCJuYW1lcyI6WyJyZWxlYXNlQ29udGV4dEZyb21EZXBlbmRlbmN5IiwibG9hZFByb2plY3QiLCJvY2NhbUZpbGVTeXN0ZW1VdGlsaXRpZXMiLCJjb25jYXRlbmF0ZVBhdGhzIiwicGF0aFV0aWxpdGllcyIsInJlYWRGaWxlIiwibmVjZXNzYXJ5RmlsZVN5c3RlbVV0aWxpdGllcyIsImlzRW50cnlGaWxlIiwiY2hlY2tFbnRyeUV4aXN0cyIsInJlbGVhc2VDb250ZXh0RnJvbUpTT04iLCJyZWxlYXNlQ29udGV4dFV0aWxpdGllcyIsInJlbGVhc2VDb250ZXh0RnJvbVByb2plY3QiLCJkZXBlbmRlbmN5IiwiY29udGV4dCIsInJlbGVhc2VDb250ZXh0IiwicHJvamVjdHNEaXJlY3RvcnlQYXRoIiwiZGVwZW5kZW5jeU5hbWUiLCJlbnRyeVBhdGgiLCJlbnRyeUV4aXN0cyIsImVudHJ5RmlsZSIsImZpbGVQYXRoIiwiY29udGVudCIsImpzb25TdHJpbmciLCJqc29uIiwicHJvamVjdE5hbWUiLCJwcm9qZWN0IiwicHJvY2VzcyIsImN3ZCIsImdldE5hbWUiLCJKU09OIiwicGFyc2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQXdDQTtlQUFBOztRQTdCc0JBO2VBQUFBOzs7OEJBVGtCOytCQUN3Qjt5QkFDbUI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFbkYsSUFBTSxBQUFFQyxjQUFnQkMsb0NBQXdCLENBQXhDRCxhQUNGLEFBQUVFLG1CQUFxQkMsd0JBQWEsQ0FBbENELGtCQUNBRSxXQUE0Q0MsOEJBQTRCLENBQXhFRCxVQUFVRSxjQUFrQ0QsOEJBQTRCLENBQTlEQyxhQUFhQyxtQkFBcUJGLDhCQUE0QixDQUFqREUsa0JBQ3ZCQyx5QkFBc0RDLHVDQUF1QixDQUE3RUQsd0JBQXdCRSw0QkFBOEJELHVDQUF1QixDQUFyREM7QUFFekIsU0FBZVgsNkJBQTZCWSxVQUFVLEVBQUVDLE9BQU87O1lBQ2hFQyxnQkFFRUMsdUJBQ0FDLGdCQUNBQyxXQUNBQyxhQUdFQyxXQUdFQyxVQUNBQyxTQUNBQyxZQUNBQyxNQUlBQyxhQUNBQzs7WUFuQk5YLGlCQUFpQjtZQUVmQyx3QkFBd0JXLFFBQVFDLEdBQUcsSUFDbkNYLGlCQUFpQkosV0FBV2dCLE9BQU8sSUFDbkNYLFlBQVlkLGlCQUFpQlksdUJBQXVCQyxpQkFDcERFLGNBQWNWLGlCQUFpQlM7WUFFckMsSUFBSUMsYUFBYTtnQkFDVEMsWUFBWVosWUFBWVU7Z0JBRTlCLElBQUlFLFdBQVc7b0JBQ1BDLFdBQVdILFdBQ1hJLFVBQVVoQixTQUFTZSxXQUNuQkUsYUFBYUQsU0FDYkUsT0FBT00sS0FBS0MsS0FBSyxDQUFDUjtvQkFFeEJSLGlCQUFpQkwsdUJBQXVCYyxNQUFNVjtnQkFDaEQsT0FBTztvQkFDQ1csY0FBY1IsZ0JBQ2RTLFVBQVV4QixZQUFZdUIsYUFBYVQ7b0JBRXpDRCxpQkFBaUJILDBCQUEwQmMsU0FBU1o7Z0JBQ3REO1lBQ0Y7WUFFQTs7Z0JBQU9DOzs7SUFDVDs7SUFFQSxXQUFlO0lBQ2JkLDhCQUFBQTtBQUNGIn0=
|
package/package.json
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "occam-verify-cli",
|
|
3
3
|
"author": "James Smith",
|
|
4
|
-
"version": "1.0.
|
|
4
|
+
"version": "1.0.657",
|
|
5
5
|
"license": "MIT, Anti-996",
|
|
6
6
|
"homepage": "https://github.com/djalbat/occam-verify-cli",
|
|
7
7
|
"description": "Occam's Verifier",
|
|
@@ -13,12 +13,12 @@
|
|
|
13
13
|
"argumentative": "^2.0.36",
|
|
14
14
|
"necessary": "^17.0.9",
|
|
15
15
|
"occam-file-system": "^6.0.505",
|
|
16
|
-
"occam-furtle": "^3.0.
|
|
16
|
+
"occam-furtle": "^3.0.126",
|
|
17
17
|
"occam-grammars": "^1.3.512",
|
|
18
|
-
"occam-languages": "^0.0.
|
|
18
|
+
"occam-languages": "^0.0.104",
|
|
19
19
|
"occam-lexers": "^23.1.34",
|
|
20
20
|
"occam-model": "^1.0.496",
|
|
21
|
-
"occam-nominal": "^1.0.
|
|
21
|
+
"occam-nominal": "^1.0.50",
|
|
22
22
|
"occam-parsers": "^23.1.42"
|
|
23
23
|
},
|
|
24
24
|
"devDependencies": {
|
|
@@ -31,9 +31,7 @@ export async function releaseContextFromDependency(dependency, context) {
|
|
|
31
31
|
const projectName = dependencyName, ///
|
|
32
32
|
project = loadProject(projectName, projectsDirectoryPath);
|
|
33
33
|
|
|
34
|
-
|
|
35
|
-
releaseContext = releaseContextFromProject(project, context);
|
|
36
|
-
}
|
|
34
|
+
releaseContext = releaseContextFromProject(project, context);
|
|
37
35
|
}
|
|
38
36
|
}
|
|
39
37
|
|