occam-verify-cli 0.0.802 → 0.0.803
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.
- package/lib/assignment/equality.js +1 -1
- package/lib/assignment/metavariable.js +1 -1
- package/lib/assignment/variable.js +1 -1
- package/lib/axiom.js +1 -1
- package/lib/axiomLemmaTheoremConjecture.js +1 -1
- package/lib/collection.js +1 -1
- package/lib/combinator.js +1 -1
- package/lib/conclusion.js +1 -1
- package/lib/conjecture.js +1 -1
- package/lib/consequent.js +1 -1
- package/lib/constants.js +1 -1
- package/lib/constructor.js +1 -1
- package/lib/context/file.js +1 -1
- package/lib/context/local.js +1 -1
- package/lib/context/localMeta.js +1 -1
- package/lib/context/release.js +1 -1
- package/lib/equality.js +1 -1
- package/lib/index.js +1 -1
- package/lib/label.js +1 -1
- package/lib/lemma.js +1 -1
- package/lib/log.js +1 -1
- package/lib/metaType.js +1 -1
- package/lib/metaTypeNames.js +1 -1
- package/lib/metaTypes.js +1 -1
- package/lib/metavariable.js +1 -1
- package/lib/mixins/context.js +1 -1
- package/lib/node/metastatement/bracketed.js +1 -1
- package/lib/node/statement/bracketed.js +1 -1
- package/lib/node/statement/combinator/bracketed.js +1 -1
- package/lib/ocmbinator/bracketed.js +1 -1
- package/lib/permutationsMatrix.js +1 -1
- package/lib/premise.js +1 -1
- package/lib/releaseContext/create.js +1 -1
- package/lib/releaseContext/initialise.js +1 -1
- package/lib/rule.js +1 -1
- package/lib/ruleNames.js +1 -1
- package/lib/step/metaproof.js +1 -1
- package/lib/step/proof.js +1 -1
- package/lib/substitution/metastatementForMetavariable.js +1 -1
- package/lib/substitution/statementForMetavariable.js +1 -1
- package/lib/substitution/termForVariable.js +1 -1
- package/lib/supposition.js +1 -1
- package/lib/term.js +1 -1
- package/lib/theorem.js +1 -1
- package/lib/tokens/statement/combinator/bracketed.js +1 -1
- package/lib/type.js +1 -1
- package/lib/typeNames.js +1 -1
- package/lib/utilities/array.js +1 -1
- package/lib/utilities/assignments.js +1 -1
- package/lib/utilities/collection.js +1 -1
- package/lib/utilities/customGrammar.js +1 -1
- package/lib/utilities/lineIndex.js +1 -1
- package/lib/utilities/metaproof.js +1 -1
- package/lib/utilities/node.js +1 -1
- package/lib/utilities/permutations.js +1 -1
- package/lib/utilities/proof.js +1 -1
- package/lib/utilities/query.js +1 -1
- package/lib/utilities/string.js +1 -1
- package/lib/utilities/terminalNodes.js +1 -1
- package/lib/utilities/tokens.js +1 -1
- package/lib/variable.js +1 -1
- package/lib/verifier/node/metastatement.js +1 -1
- package/lib/verifier/node/statementAsCombinator.js +1 -1
- package/lib/verifier/node/termAsConstructor.js +1 -1
- package/lib/verifier/node.js +1 -1
- package/lib/verifier/nodes/equality.js +1 -1
- package/lib/verifier/nodes/metastatementForMetavariable.js +1 -1
- package/lib/verifier/nodes/statement.js +1 -1
- package/lib/verifier/nodes/statementForMetavariable.js +1 -1
- package/lib/verifier/nodes/term.js +1 -1
- package/lib/verifier/nodes/termForVariable.js +1 -1
- package/lib/verifier/nodes.js +1 -1
- package/lib/verify/axiom.js +1 -1
- package/lib/verify/conclusion.js +1 -1
- package/lib/verify/conjecture.js +1 -1
- package/lib/verify/consequent.js +1 -1
- package/lib/verify/declaration/combinator.js +1 -1
- package/lib/verify/declaration/constructor.js +1 -1
- package/lib/verify/declaration/metavariable.js +1 -1
- package/lib/verify/declaration/topLevel.js +1 -1
- package/lib/verify/declaration/type.js +1 -1
- package/lib/verify/declaration/variable.js +1 -1
- package/lib/verify/derivation.js +1 -1
- package/lib/verify/equality.js +1 -1
- package/lib/verify/file.js +1 -1
- package/lib/verify/files.js +1 -1
- package/lib/verify/givenType.js +1 -1
- package/lib/verify/givenVariable.js +1 -1
- package/lib/verify/label.js +1 -1
- package/lib/verify/labels.js +1 -1
- package/lib/verify/lemma.js +1 -1
- package/lib/verify/metastatement/qualified.js +1 -1
- package/lib/verify/metastatement/unqualified.js +1 -1
- package/lib/verify/metastatement.js +1 -1
- package/lib/verify/metavariable.js +1 -1
- package/lib/verify/premise.js +1 -1
- package/lib/verify/premises.js +1 -1
- package/lib/verify/proof.js +1 -1
- package/lib/verify/release.js +1 -1
- package/lib/verify/rule.js +1 -1
- package/lib/verify/ruleDerivation.js +1 -1
- package/lib/verify/ruleProof.js +1 -1
- package/lib/verify/statement/qualified.js +1 -1
- package/lib/verify/statement/unqualified.js +1 -1
- package/lib/verify/statement.js +1 -1
- package/lib/verify/statementAsCombinator.js +1 -1
- package/lib/verify/supposition.js +1 -1
- package/lib/verify/suppositions.js +1 -1
- package/lib/verify/term.js +1 -1
- package/lib/verify/termAndGivenType.js +1 -1
- package/lib/verify/termAsConstructor.js +1 -1
- package/lib/verify/terms.js +1 -1
- package/lib/verify/theorem.js +1 -1
- package/lib/verify/type.js +1 -1
- package/lib/verify/typeAssertion.js +1 -1
- package/lib/verify/variable.js +1 -1
- package/package.json +4 -4
package/lib/verify/variable.js
CHANGED
|
@@ -51,4 +51,4 @@ function verifyVariable(variableNode, typeNode, fileContext) {
|
|
|
51
51
|
return variableVerified;
|
|
52
52
|
}
|
|
53
53
|
|
|
54
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
54
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvdmFyaWFibGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBWYXJpYWJsZSBmcm9tIFwiLi4vdmFyaWFibGVcIjtcbmltcG9ydCBWYXJpYWJsZUFzc2lnbm1lbnQgZnJvbSBcIi4uL2Fzc2lnbm1lbnQvdmFyaWFibGVcIjtcblxuaW1wb3J0IHsgb2JqZWN0VHlwZSB9IGZyb20gXCIuLi90eXBlXCI7XG5pbXBvcnQgeyB0eXBlTmFtZUZyb21UeXBlTm9kZSB9IGZyb20gXCIuLi91dGlsaXRpZXMvcXVlcnlcIjtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdmVyaWZ5VmFyaWFibGUodmFyaWFibGVOb2RlLCB0eXBlTm9kZSwgZmlsZUNvbnRleHQpIHtcbiAgbGV0IHZhcmlhYmxlVmVyaWZpZWQgPSBmYWxzZTtcblxuICBjb25zdCB2YXJpYWJsZVN0cmluZyA9IGZpbGVDb250ZXh0Lm5vZGVBc1N0cmluZyh2YXJpYWJsZU5vZGUpO1xuXG4gIGZpbGVDb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke3ZhcmlhYmxlU3RyaW5nfScgdmFyaWFibGUuLi5gLCB2YXJpYWJsZU5vZGUpO1xuXG4gIGNvbnN0IHZhcmlhYmxlUHJlc2VudCA9IGZpbGVDb250ZXh0LmlzVmFyaWFibGVQcmVzZW50QnlWYXJpYWJsZU5vZGUodmFyaWFibGVOb2RlKTtcblxuICBpZiAodmFyaWFibGVQcmVzZW50KSB7XG4gICAgZmlsZUNvbnRleHQuZGVidWcoYFRoZSB2YXJpYWJsZSAnJHt2YXJpYWJsZVN0cmluZ30nIGlzIGFscmVhZHkgcHJlc2VudC5gLCB2YXJpYWJsZU5vZGUpO1xuICB9IGVsc2Uge1xuICAgIGxldCB2YXJpYWJsZTtcblxuICAgIGNvbnN0IHR5cGVOYW1lID0gdHlwZU5hbWVGcm9tVHlwZU5vZGUodHlwZU5vZGUpO1xuICAgIFxuICAgIGlmICh0eXBlTmFtZSA9PT0gbnVsbCkge1xuICAgICAgY29uc3QgdHlwZSA9IG9iamVjdFR5cGU7XG5cbiAgICAgIHZhcmlhYmxlID0gVmFyaWFibGUuZnJvbVZhcmlhYmxlTm9kZUFuZFR5cGUodmFyaWFibGVOb2RlLCB0eXBlKTtcbiAgICB9IGVsc2Uge1xuICAgICAgY29uc3QgdHlwZSA9IGZpbGVDb250ZXh0LmZpbmRUeXBlQnlUeXBlTmFtZSh0eXBlTmFtZSk7XG5cbiAgICAgIGlmICh0eXBlID09PSBudWxsKSB7XG4gICAgICAgIGZpbGVDb250ZXh0LmRlYnVnKGBUaGUgJyR7dmFyaWFibGVTdHJpbmd9JyB2YXJpYWJsZSdzICcke3R5cGVOYW1lfScgdHlwZSBpcyBub3QgcHJlc2VudC5gLCB2YXJpYWJsZU5vZGUpO1xuICAgICAgfSBlbHNlIHtcbiAgICAgICAgdmFyaWFibGUgPSBWYXJpYWJsZS5mcm9tVmFyaWFibGVOb2RlQW5kVHlwZSh2YXJpYWJsZU5vZGUsIHR5cGUpO1xuICAgICAgfVxuICAgIH1cblxuICAgIGlmICh2YXJpYWJsZSAhPT0gbnVsbCkge1xuICAgICAgY29uc3QgdmFyaWFibGVBc3NpZ25tZW50ID0gVmFyaWFibGVBc3NpZ25tZW50LmZyb21WYXJpYWJsZSh2YXJpYWJsZSksXG4gICAgICAgICAgICB2YXJpYWJsZUFzc2lnbmVkID0gdmFyaWFibGVBc3NpZ25tZW50LmFzc2lnbihmaWxlQ29udGV4dCk7XG5cbiAgICAgIGlmICh2YXJpYWJsZUFzc2lnbmVkKSB7XG4gICAgICAgIHZhcmlhYmxlVmVyaWZpZWQgPSB0cnVlO1xuICAgICAgfVxuICAgIH1cbiAgfVxuXG4gIGlmICh2YXJpYWJsZVZlcmlmaWVkKSB7XG4gICAgZmlsZUNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHt2YXJpYWJsZVN0cmluZ30nIHZhcmlhYmxlLmAsIHZhcmlhYmxlTm9kZSk7XG4gIH1cblxuICByZXR1cm4gdmFyaWFibGVWZXJpZmllZDtcbn1cbiJdLCJuYW1lcyI6WyJ2ZXJpZnlWYXJpYWJsZSIsInZhcmlhYmxlTm9kZSIsInR5cGVOb2RlIiwiZmlsZUNvbnRleHQiLCJ2YXJpYWJsZVZlcmlmaWVkIiwidmFyaWFibGVTdHJpbmciLCJub2RlQXNTdHJpbmciLCJ0cmFjZSIsInZhcmlhYmxlUHJlc2VudCIsImlzVmFyaWFibGVQcmVzZW50QnlWYXJpYWJsZU5vZGUiLCJkZWJ1ZyIsInZhcmlhYmxlIiwidHlwZU5hbWUiLCJ0eXBlTmFtZUZyb21UeXBlTm9kZSIsInR5cGUiLCJvYmplY3RUeXBlIiwiVmFyaWFibGUiLCJmcm9tVmFyaWFibGVOb2RlQW5kVHlwZSIsImZpbmRUeXBlQnlUeXBlTmFtZSIsInZhcmlhYmxlQXNzaWdubWVudCIsIlZhcmlhYmxlQXNzaWdubWVudCIsImZyb21WYXJpYWJsZSIsInZhcmlhYmxlQXNzaWduZWQiLCJhc3NpZ24iXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVFBOzs7ZUFBd0JBOzs7K0RBTkg7Z0VBQ1U7b0JBRUo7cUJBQ1U7Ozs7OztBQUV0QixTQUFTQSxlQUFlQyxZQUFZLEVBQUVDLFFBQVEsRUFBRUMsV0FBVztJQUN4RSxJQUFJQyxtQkFBbUI7SUFFdkIsSUFBTUMsaUJBQWlCRixZQUFZRyxZQUFZLENBQUNMO0lBRWhERSxZQUFZSSxLQUFLLENBQUMsQUFBQyxrQkFBZ0MsT0FBZkYsZ0JBQWUsa0JBQWdCSjtJQUVuRSxJQUFNTyxrQkFBa0JMLFlBQVlNLCtCQUErQixDQUFDUjtJQUVwRSxJQUFJTyxpQkFBaUI7UUFDbkJMLFlBQVlPLEtBQUssQ0FBQyxBQUFDLGlCQUErQixPQUFmTCxnQkFBZSwwQkFBd0JKO0lBQzVFLE9BQU87UUFDTCxJQUFJVTtRQUVKLElBQU1DLFdBQVdDLElBQUFBLDJCQUFvQixFQUFDWDtRQUV0QyxJQUFJVSxhQUFhLE1BQU07WUFDckIsSUFBTUUsT0FBT0MsZ0JBQVU7WUFFdkJKLFdBQVdLLGlCQUFRLENBQUNDLHVCQUF1QixDQUFDaEIsY0FBY2E7UUFDNUQsT0FBTztZQUNMLElBQU1BLFFBQU9YLFlBQVllLGtCQUFrQixDQUFDTjtZQUU1QyxJQUFJRSxVQUFTLE1BQU07Z0JBQ2pCWCxZQUFZTyxLQUFLLENBQUMsQUFBQyxRQUFzQ0UsT0FBL0JQLGdCQUFlLGtCQUF5QixPQUFUTyxVQUFTLDJCQUF5Qlg7WUFDN0YsT0FBTztnQkFDTFUsV0FBV0ssaUJBQVEsQ0FBQ0MsdUJBQXVCLENBQUNoQixjQUFjYTtZQUM1RDtRQUNGO1FBRUEsSUFBSUgsYUFBYSxNQUFNO1lBQ3JCLElBQU1RLHFCQUFxQkMsa0JBQWtCLENBQUNDLFlBQVksQ0FBQ1YsV0FDckRXLG1CQUFtQkgsbUJBQW1CSSxNQUFNLENBQUNwQjtZQUVuRCxJQUFJbUIsa0JBQWtCO2dCQUNwQmxCLG1CQUFtQjtZQUNyQjtRQUNGO0lBQ0Y7SUFFQSxJQUFJQSxrQkFBa0I7UUFDcEJELFlBQVlPLEtBQUssQ0FBQyxBQUFDLG9CQUFrQyxPQUFmTCxnQkFBZSxnQkFBY0o7SUFDckU7SUFFQSxPQUFPRztBQUNUIn0=
|
package/package.json
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "occam-verify-cli",
|
|
3
3
|
"author": "James Smith",
|
|
4
|
-
"version": "0.0.
|
|
4
|
+
"version": "0.0.803",
|
|
5
5
|
"license": "MIT, Anti-996",
|
|
6
6
|
"homepage": "https://github.com/djalbat/occam-verify-cli",
|
|
7
7
|
"description": "Occam's Verifier",
|
|
@@ -12,9 +12,9 @@
|
|
|
12
12
|
"dependencies": {
|
|
13
13
|
"argumentative": "^2.0.28",
|
|
14
14
|
"necessary": "^14.0.1",
|
|
15
|
-
"occam-custom-grammars": "^5.0.
|
|
16
|
-
"occam-entities": "^1.0.
|
|
17
|
-
"occam-file-system": "^6.0.
|
|
15
|
+
"occam-custom-grammars": "^5.0.709",
|
|
16
|
+
"occam-entities": "^1.0.110",
|
|
17
|
+
"occam-file-system": "^6.0.156",
|
|
18
18
|
"occam-grammar-utilities": "^8.0.197",
|
|
19
19
|
"occam-query": "^3.1.174"
|
|
20
20
|
},
|