├── .cirrus.yml ├── .clang-format ├── CHANGELOG.rst ├── CMakeLists.txt ├── CONTRIBUTING.rst ├── LICENSE ├── NEWS ├── README.rst ├── common ├── environ.h ├── escape.cc ├── escape.h ├── help.c ├── help.h └── isa.h ├── doc ├── bitwise-operators.rst ├── internals-atomics.rst ├── internals-hash-function.rst ├── internals-reference-counted-pointers.rst ├── internals-seen-state-set.rst ├── internals-warts.rst ├── intro-to-murphi.rst ├── introduction.rst ├── murphi-idioms.rst ├── performance.rst ├── properties.rst ├── release-checklist.rst ├── toy-model-checker.py └── vs-cmurphi.rst ├── librumur ├── CMakeLists.txt ├── include │ └── rumur │ │ ├── Boolean.h │ │ ├── Comment.h │ │ ├── Decl.h │ │ ├── Expr.h │ │ ├── Function.h │ │ ├── Model.h │ │ ├── Node.h │ │ ├── Number.h │ │ ├── Property.h │ │ ├── Ptr.h │ │ ├── Rule.h │ │ ├── Stmt.h │ │ ├── Symtab.h │ │ ├── TypeExpr.h │ │ ├── except.h │ │ ├── indexer.h │ │ ├── parse.h │ │ ├── resolve-symbols.h │ │ ├── rumur.h │ │ ├── sanitise_rule_names.h │ │ ├── scanner.h │ │ ├── traverse.h │ │ ├── validate.h │ │ └── version.h ├── rumurConfig.cmake └── src │ ├── Boolean.cc │ ├── Comment.cc │ ├── Decl.cc │ ├── Expr.cc │ ├── Function.cc │ ├── Model.cc │ ├── Node.cc │ ├── Number.cc │ ├── Property.cc │ ├── Rule.cc │ ├── Stmt.cc │ ├── TypeExpr.cc │ ├── except.cc │ ├── indexer.cc │ ├── lexer.l │ ├── make-version.py │ ├── parse.cc │ ├── parser.yy │ ├── resolve-symbols.cc │ ├── sanitise_rule_names.cc │ ├── traverse.cc │ └── validate.cc ├── misc ├── _murphi2c ├── _murphi2murphi ├── _murphi2smv ├── _murphi2xml ├── _rumur ├── install-macports.sh ├── murphi-mode.el ├── murphi.vim ├── murphi2xml.rng ├── package-for-debian.sh ├── pending-queue-4k.m ├── pending-queue.m ├── read-raw.smt2 ├── sudoku.m ├── verifier.rng ├── write-raw.smt2 ├── xxd.py └── zebra-puzzle.m ├── murphi-format ├── CMakeLists.txt ├── doc │ └── murphi-format.1 └── src │ ├── compiler.h │ ├── debug.h │ ├── format.c │ ├── format.h │ ├── lex.h │ ├── lex_free.c │ ├── lex_get_token.c │ ├── lex_new.c │ ├── main.c │ └── resources.h ├── murphi2c ├── CMakeLists.txt ├── doc │ └── murphi2c.1 ├── resources │ ├── README.rst │ ├── c_prefix.c │ └── h_prefix.h └── src │ ├── CLikeGenerator.cc │ ├── CLikeGenerator.h │ ├── CodeGenerator.cc │ ├── CodeGenerator.h │ ├── check.cc │ ├── check.h │ ├── compares_complex_values.cc │ ├── compares_complex_values.h │ ├── generate_c.cc │ ├── generate_c.h │ ├── generate_h.cc │ ├── generate_h.h │ ├── main.cc │ ├── options.cc │ ├── options.h │ └── resources.h ├── murphi2murphi ├── CMakeLists.txt ├── doc │ └── murphi2murphi.1 └── src │ ├── DecomposeComplexComparisons.cc │ ├── DecomposeComplexComparisons.h │ ├── ExplicitSemicolons.cc │ ├── ExplicitSemicolons.h │ ├── Pipeline.cc │ ├── Pipeline.h │ ├── Printer.cc │ ├── Printer.h │ ├── RemoveLiveness.cc │ ├── RemoveLiveness.h │ ├── Stage.cc │ ├── Stage.h │ ├── SwitchToIf.cc │ ├── SwitchToIf.h │ ├── ToAscii.cc │ ├── ToAscii.h │ ├── main.cc │ ├── options.cc │ ├── options.h │ └── resources.h ├── murphi2smv ├── CMakeLists.txt ├── doc │ └── murphi2smv.1 └── src │ ├── codegen.cc │ ├── codegen.h │ ├── main.cc │ ├── options.h │ ├── pick_numeric_type.cc │ ├── pick_numeric_type.h │ └── resources.h ├── murphi2uclid ├── CMakeLists.txt ├── doc │ └── murphi2uclid.1 └── src │ ├── check.cc │ ├── check.h │ ├── codegen.cc │ ├── codegen.h │ ├── is_one_step.h │ ├── main.cc │ ├── options.h │ ├── pick_numeric_type.cc │ ├── pick_numeric_type.h │ └── resources.h ├── murphi2xml ├── CMakeLists.txt ├── doc │ └── murphi2xml.1 └── src │ ├── XMLPrinter.cc │ ├── XMLPrinter.h │ ├── main.cc │ └── resources.h ├── rumur ├── CMakeLists.txt ├── doc │ ├── rumur-run.1 │ └── rumur.1 ├── resources │ ├── README.rst │ ├── header.c │ └── includes.c └── src │ ├── ValueType.cc │ ├── ValueType.h │ ├── assume-statements-count.cc │ ├── assume-statements-count.h │ ├── generate-allocations.cc │ ├── generate-cover-array.cc │ ├── generate-decl.cc │ ├── generate-expr.cc │ ├── generate-function.cc │ ├── generate-model.cc │ ├── generate-print.cc │ ├── generate-property.cc │ ├── generate-quantifier.cc │ ├── generate-stmt.cc │ ├── generate.h │ ├── has-start-state.cc │ ├── has-start-state.h │ ├── log.cc │ ├── log.h │ ├── main.cc │ ├── max-simple-width.cc │ ├── max-simple-width.h │ ├── optimise-field-ordering.cc │ ├── optimise-field-ordering.h │ ├── options.cc │ ├── options.h │ ├── output.cc │ ├── prints-scalarsets.cc │ ├── prints-scalarsets.h │ ├── process.cc │ ├── process.h │ ├── resources.h │ ├── rumur-run │ ├── smt │ ├── define-enum-members.cc │ ├── define-enum-members.h │ ├── define-records.cc │ ├── define-records.h │ ├── except.h │ ├── logic.cc │ ├── logic.h │ ├── simplify.cc │ ├── simplify.h │ ├── solver.cc │ ├── solver.h │ ├── translate.cc │ ├── translate.h │ ├── typeexpr-to-smt.cc │ └── typeexpr-to-smt.h │ ├── symmetry-reduction.cc │ ├── symmetry-reduction.h │ ├── utils.cc │ └── utils.h ├── share ├── CMakeLists.txt ├── README.rst ├── _list ├── _set ├── test_list.m ├── test_set.m ├── v2025.01.04 │ └── list ├── v2025.01.05 │ └── list ├── v2025.02.02 │ ├── _list │ └── _set └── v2025.08.31 │ ├── _list │ └── _set └── tests ├── 193.m ├── README.rst ├── alias-and-field.m ├── alias-in-bound.m ├── alias-in-bound2.m ├── alias-literal.m ├── alias-of-alias-rule.m ├── alias-of-alias-rule2.m ├── alias-of-alias-stmt.m ├── amp-amp-and.m ├── and-mixed.m ├── and-return.m ├── apartment.m ├── arithmetic-on-heterogeneous-ranges.m ├── array-assignment.m ├── assert-record.m ├── assert-syntax.m ├── assertion-type-limits.m ├── assume-in-ruleset.m ├── assume-statement.m ├── assume-statement2.m ├── assume-statement3.m ├── assume-statement4.m ├── bad-alias.m ├── bad-array-index.m ├── bad-element-lhs-in-or.m ├── bad-enum-print.m ├── bad-expr-type-ref.m ├── bad-field-lhs-in-or.m ├── bad-field.m ├── bad-function-call.m ├── bad-function-parameter.m ├── bad-invariant-number.m ├── bad-lvalue.m ├── basic-aliasrule.m ├── basic-const.m ├── basic-invariant.m ├── basic-ruleset.m ├── basic-ruleset2.m ├── basic-sandbox.m ├── bfs-vs-dfs.m ├── bitwise-and-enum.m ├── bitwise-and.m ├── bitwise-not-enum.m ├── bitwise-not.m ├── bitwise-or-enum.m ├── bitwise-or.m ├── bitwise-xor-enum.m ├── bitwise-xor.m ├── boolean-array-index.m ├── boolean-array.m ├── boolean-case.m ├── boolean-const.m ├── boolean-literal-case.m ├── boolean-shadow.m ├── bound-basic.m ├── bound-illegal.m ├── bound-limit.m ├── bound-limit2.m ├── bound-unused.m ├── call-no-lvalue.m ├── cex-boolean-startstate.m ├── cex-boolean.m ├── cex-enum-startstate.m ├── cex-enum.m ├── clear-complex.m ├── clear-simple.m ├── comment-escape.m ├── compare-array.m ├── compare-record.m ├── const-enum.m ├── const-folding.m ├── const-folding2.m ├── const-folding3.m ├── const-folding4.m ├── const-folding5.m ├── const-folding6.m ├── const-of-function-call.m ├── cover-basic.m ├── cover-basic2.m ├── cover-miss.m ├── cover-multiple.m ├── cover-stmt-miss.m ├── cover-stmt.m ├── cover-trivial.m ├── diff-trace-arrays.m ├── differing-range-passed-to-function.m ├── differing-type-return.m ├── differing-type-return3.m ├── disabled ├── differing-type-return2.m ├── rule-no-begin.m ├── smt-array-compare.m ├── smt-div2.m └── smt-mod2.m ├── division.m ├── double-semicolon.m ├── double-semicolon2.m ├── duplicate-enum-members.m ├── duplicate-enum-members2.m ├── duplicate-record-fields.m ├── duplicate-startstate.m ├── duplicate-state-fields.m ├── enum-local-var.m ├── error-statement.m ├── error-string-injection.m ├── escaping-expressions.m ├── for-step-0-dynamic.m ├── for-step-0.m ├── for-step-1.m ├── for-step-neg-1.m ├── for-step-neg-overflow.m ├── for-step-neg-overflow2.m ├── for-step-neg.m ├── for-variants.m ├── fox-goose-beans.m ├── function-and-field.m ├── function-call-in-if.m ├── function-in-guard.m ├── function-modifying.m ├── function-modifying2.m ├── function-order.m ├── function-param-intact.m ├── function-return-ignored.m ├── function1.m ├── identifier-case.m ├── identifier-case2.m ├── identifier-case3.m ├── illegal-array-index.m ├── index-out-of-range.m ├── invariant-failure-message.m ├── invariant-syntax.m ├── isundefined-array.m ├── isundefined-basic.m ├── isundefined-decl.m ├── isundefined-element.m ├── isundefined-function.m ├── isundefined-record.m ├── isundefined-rvalue.m ├── isundefined-rvalue2.m ├── keyword-case.m ├── liveness-in-ruleset.m ├── liveness-in-ruleset2.m ├── liveness-miss1.m ├── liveness-miss2.m ├── liveness-miss3.m ├── liveness-statement.m ├── loop-variable-nonzero-start.m ├── lsh-basic.m ├── lsh-boolean.m ├── lsh-boolean2.m ├── lsh-enum.m ├── lsh-enum2.m ├── math-operators.m ├── mixed-aliases.m ├── mod-neg-1.m ├── mod-neg-1_2.m ├── multiple-const-decl.m ├── multiple-deadlocks.m ├── multiple-errors.m ├── multiple-parameters.m ├── multiple-parameters2.m ├── multiple-type-decls.m ├── multiplication.m ├── murphi-comment-ls ├── CMakeLists.txt ├── README └── main.cc ├── named-assert.m ├── negate-complex.m ├── negate-value-type.m ├── negation-of-range.m ├── negative-numbers.m ├── no-cex-bug.m ├── no-cex-bug2.m ├── non-boolean-condition.m ├── non-const-parameters.m ├── octal-literal.m ├── octal-literal2.m ├── only-booleans.m ├── only-enum.m ├── only-range-and-array.m ├── only-range-and-untouched-array.m ├── only-range-and-unused-array.m ├── or-mixed.m ├── or-return.m ├── out-of-range-function-parameter.m ├── out-of-range-function-parameter2.m ├── pack-state-off.m ├── pipe-pipe-or.m ├── procedure-call-in-expr.m ├── put-stmt.m ├── put-stmt2.m ├── put-stmt3.m ├── put-stmt4.m ├── put-string-injection.m ├── quantifier-signed-range.m ├── range-and.m ├── read-slice.m ├── read-undefined.m ├── read-undefined2.m ├── read-undefined3.m ├── recursion1.m ├── recursion2.m ├── recursion3.m ├── recursion4.m ├── recursion5.m ├── reference-function-parameter.m ├── reference-function-parameter2.m ├── reference-function-parameter3.m ├── regression-bad-assumption-check.m ├── return-expression-from-rule.m ├── return-from-rule.m ├── return-from-ruleset.m ├── return-from-startstate.m ├── return-record-in-guard.m ├── rsh-and.m ├── rsh-basic.m ├── rsh-boolean.m ├── rsh-boolean2.m ├── rsh-enum.m ├── rsh-enum2.m ├── rule-duplicate-name.m ├── ruleset-invariant.m ├── ruleset-startstate.m ├── ruleset-trace.m ├── ruleset-trace2.m ├── ruleset-trace3.m ├── scalarset-cex.m ├── scalarset-put.m ├── scalarset-schedules-off-2.m ├── scalarset-schedules-off.m ├── scalarset-trivial.m ├── scalarset-undefined.m ├── section-order.m ├── section-order10.m ├── section-order2.m ├── section-order3.m ├── section-order4.m ├── section-order5.m ├── section-order6.m ├── section-order7.m ├── section-order8.m ├── section-order9.m ├── simple-deadlock.m ├── smart-quotes.m ├── smt-add.m ├── smt-array-bool-index.m ├── smt-array-bool-value-and-index.m ├── smt-array-bool-value.m ├── smt-array-enum-index.m ├── smt-array-enum-index2.m ├── smt-array-enum-value-and-index.m ├── smt-array-enum-value-and-index2.m ├── smt-array-enum-value.m ├── smt-array-enum-value2.m ├── smt-array-of-record.m ├── smt-array-range.m ├── smt-array-range2.m ├── smt-bool-literal.m ├── smt-bv-add.m ├── smt-bv-band.m ├── smt-bv-bitwise-not.m ├── smt-bv-bor.m ├── smt-bv-div.m ├── smt-bv-div2.m ├── smt-bv-exists.m ├── smt-bv-exists2.m ├── smt-bv-exists3.m ├── smt-bv-exists4.m ├── smt-bv-forall.m ├── smt-bv-forall2.m ├── smt-bv-forall3.m ├── smt-bv-forall4.m ├── smt-bv-geq.m ├── smt-bv-gt.m ├── smt-bv-leq.m ├── smt-bv-lsh.m ├── smt-bv-lt.m ├── smt-bv-mod.m ├── smt-bv-mod2.m ├── smt-bv-mul.m ├── smt-bv-neg.m ├── smt-bv-negative-literal.m ├── smt-bv-rsh.m ├── smt-bv-sub.m ├── smt-bv-xor.m ├── smt-const.m ├── smt-div.m ├── smt-enum-typeexprid.m ├── smt-enum.m ├── smt-enum2-typeexprid.m ├── smt-enum2-typeexprid2.m ├── smt-enum2.m ├── smt-exists.m ├── smt-exists2.m ├── smt-exists3.m ├── smt-exists4.m ├── smt-forall.m ├── smt-forall2.m ├── smt-forall3.m ├── smt-forall4.m ├── smt-geq.m ├── smt-gt.m ├── smt-leq.m ├── smt-lt.m ├── smt-mod.m ├── smt-mul.m ├── smt-neg.m ├── smt-negative-literal.m ├── smt-nested-array.m ├── smt-range.m ├── smt-record-bool-field.m ├── smt-record-bool-field2.m ├── smt-record-enum-field.m ├── smt-record-enum-field2.m ├── smt-record-of-array.m ├── smt-record-range-field.m ├── smt-record-range-field2.m ├── smt-shadowed-decl.m ├── smt-simplify.m ├── smt-sub.m ├── smt-typedecl-boolean.m ├── smt-typeexprid.m ├── smt-typeexprid2.m ├── state-reorder.m ├── string-escape1.m ├── string-escape2.m ├── string-escape3.m ├── string-injection.m ├── switch-nested.m ├── switch-stmt1.m ├── switch-stmt2.m ├── switch-stmt3.m ├── ternary-operator.m ├── tests.py ├── trivial-function.m ├── two-enums.m ├── type-shadowing.m ├── type-shadowing2.m ├── uint64-model.m ├── uint64-model2.m ├── undefine-aggregate.m ├── unicode-assignment.m ├── unicode-div.m ├── unicode-div2.m ├── unicode-mul.m ├── unicode-sub.m ├── unused-record.m ├── var-case.m ├── while-stmt1.m ├── while-stmt2.m ├── while-stmt3.m ├── while-stmt4.m ├── while-stmt5.m ├── write-out-of-range.m ├── write-out-of-range2.m ├── write-out-of-range3.m ├── xml-escape-increment.m └── xor-mixed.m /.cirrus.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/.cirrus.yml -------------------------------------------------------------------------------- /.clang-format: -------------------------------------------------------------------------------- 1 | --- 2 | BasedOnStyle: LLVM 3 | -------------------------------------------------------------------------------- /CHANGELOG.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/CHANGELOG.rst -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /CONTRIBUTING.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/CONTRIBUTING.rst -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/LICENSE -------------------------------------------------------------------------------- /NEWS: -------------------------------------------------------------------------------- 1 | CHANGELOG.rst -------------------------------------------------------------------------------- /README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/README.rst -------------------------------------------------------------------------------- /common/environ.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/common/environ.h -------------------------------------------------------------------------------- /common/escape.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/common/escape.cc -------------------------------------------------------------------------------- /common/escape.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/common/escape.h -------------------------------------------------------------------------------- /common/help.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/common/help.c -------------------------------------------------------------------------------- /common/help.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/common/help.h -------------------------------------------------------------------------------- /common/isa.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/common/isa.h -------------------------------------------------------------------------------- /doc/bitwise-operators.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/doc/bitwise-operators.rst -------------------------------------------------------------------------------- /doc/internals-atomics.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/doc/internals-atomics.rst -------------------------------------------------------------------------------- /doc/internals-hash-function.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/doc/internals-hash-function.rst -------------------------------------------------------------------------------- /doc/internals-reference-counted-pointers.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/doc/internals-reference-counted-pointers.rst -------------------------------------------------------------------------------- /doc/internals-seen-state-set.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/doc/internals-seen-state-set.rst -------------------------------------------------------------------------------- /doc/internals-warts.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/doc/internals-warts.rst -------------------------------------------------------------------------------- /doc/intro-to-murphi.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/doc/intro-to-murphi.rst -------------------------------------------------------------------------------- /doc/introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/doc/introduction.rst -------------------------------------------------------------------------------- /doc/murphi-idioms.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/doc/murphi-idioms.rst -------------------------------------------------------------------------------- /doc/performance.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/doc/performance.rst -------------------------------------------------------------------------------- /doc/properties.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/doc/properties.rst -------------------------------------------------------------------------------- /doc/release-checklist.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/doc/release-checklist.rst -------------------------------------------------------------------------------- /doc/toy-model-checker.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/doc/toy-model-checker.py -------------------------------------------------------------------------------- /doc/vs-cmurphi.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/doc/vs-cmurphi.rst -------------------------------------------------------------------------------- /librumur/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/CMakeLists.txt -------------------------------------------------------------------------------- /librumur/include/rumur/Boolean.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/Boolean.h -------------------------------------------------------------------------------- /librumur/include/rumur/Comment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/Comment.h -------------------------------------------------------------------------------- /librumur/include/rumur/Decl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/Decl.h -------------------------------------------------------------------------------- /librumur/include/rumur/Expr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/Expr.h -------------------------------------------------------------------------------- /librumur/include/rumur/Function.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/Function.h -------------------------------------------------------------------------------- /librumur/include/rumur/Model.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/Model.h -------------------------------------------------------------------------------- /librumur/include/rumur/Node.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/Node.h -------------------------------------------------------------------------------- /librumur/include/rumur/Number.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/Number.h -------------------------------------------------------------------------------- /librumur/include/rumur/Property.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/Property.h -------------------------------------------------------------------------------- /librumur/include/rumur/Ptr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/Ptr.h -------------------------------------------------------------------------------- /librumur/include/rumur/Rule.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/Rule.h -------------------------------------------------------------------------------- /librumur/include/rumur/Stmt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/Stmt.h -------------------------------------------------------------------------------- /librumur/include/rumur/Symtab.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/Symtab.h -------------------------------------------------------------------------------- /librumur/include/rumur/TypeExpr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/TypeExpr.h -------------------------------------------------------------------------------- /librumur/include/rumur/except.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/except.h -------------------------------------------------------------------------------- /librumur/include/rumur/indexer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/indexer.h -------------------------------------------------------------------------------- /librumur/include/rumur/parse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/parse.h -------------------------------------------------------------------------------- /librumur/include/rumur/resolve-symbols.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/resolve-symbols.h -------------------------------------------------------------------------------- /librumur/include/rumur/rumur.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/rumur.h -------------------------------------------------------------------------------- /librumur/include/rumur/sanitise_rule_names.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/sanitise_rule_names.h -------------------------------------------------------------------------------- /librumur/include/rumur/scanner.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/scanner.h -------------------------------------------------------------------------------- /librumur/include/rumur/traverse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/traverse.h -------------------------------------------------------------------------------- /librumur/include/rumur/validate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/validate.h -------------------------------------------------------------------------------- /librumur/include/rumur/version.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/include/rumur/version.h -------------------------------------------------------------------------------- /librumur/rumurConfig.cmake: -------------------------------------------------------------------------------- 1 | include(${CMAKE_CURRENT_LIST_DIR}/librumurConfig.cmake) 2 | -------------------------------------------------------------------------------- /librumur/src/Boolean.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/Boolean.cc -------------------------------------------------------------------------------- /librumur/src/Comment.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/Comment.cc -------------------------------------------------------------------------------- /librumur/src/Decl.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/Decl.cc -------------------------------------------------------------------------------- /librumur/src/Expr.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/Expr.cc -------------------------------------------------------------------------------- /librumur/src/Function.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/Function.cc -------------------------------------------------------------------------------- /librumur/src/Model.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/Model.cc -------------------------------------------------------------------------------- /librumur/src/Node.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/Node.cc -------------------------------------------------------------------------------- /librumur/src/Number.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/Number.cc -------------------------------------------------------------------------------- /librumur/src/Property.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/Property.cc -------------------------------------------------------------------------------- /librumur/src/Rule.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/Rule.cc -------------------------------------------------------------------------------- /librumur/src/Stmt.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/Stmt.cc -------------------------------------------------------------------------------- /librumur/src/TypeExpr.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/TypeExpr.cc -------------------------------------------------------------------------------- /librumur/src/except.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/except.cc -------------------------------------------------------------------------------- /librumur/src/indexer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/indexer.cc -------------------------------------------------------------------------------- /librumur/src/lexer.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/lexer.l -------------------------------------------------------------------------------- /librumur/src/make-version.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/make-version.py -------------------------------------------------------------------------------- /librumur/src/parse.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/parse.cc -------------------------------------------------------------------------------- /librumur/src/parser.yy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/parser.yy -------------------------------------------------------------------------------- /librumur/src/resolve-symbols.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/resolve-symbols.cc -------------------------------------------------------------------------------- /librumur/src/sanitise_rule_names.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/sanitise_rule_names.cc -------------------------------------------------------------------------------- /librumur/src/traverse.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/traverse.cc -------------------------------------------------------------------------------- /librumur/src/validate.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/librumur/src/validate.cc -------------------------------------------------------------------------------- /misc/_murphi2c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/misc/_murphi2c -------------------------------------------------------------------------------- /misc/_murphi2murphi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/misc/_murphi2murphi -------------------------------------------------------------------------------- /misc/_murphi2smv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/misc/_murphi2smv -------------------------------------------------------------------------------- /misc/_murphi2xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/misc/_murphi2xml -------------------------------------------------------------------------------- /misc/_rumur: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/misc/_rumur -------------------------------------------------------------------------------- /misc/install-macports.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/misc/install-macports.sh -------------------------------------------------------------------------------- /misc/murphi-mode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/misc/murphi-mode.el -------------------------------------------------------------------------------- /misc/murphi.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/misc/murphi.vim -------------------------------------------------------------------------------- /misc/murphi2xml.rng: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/misc/murphi2xml.rng -------------------------------------------------------------------------------- /misc/package-for-debian.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/misc/package-for-debian.sh -------------------------------------------------------------------------------- /misc/pending-queue-4k.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/misc/pending-queue-4k.m -------------------------------------------------------------------------------- /misc/pending-queue.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/misc/pending-queue.m -------------------------------------------------------------------------------- /misc/read-raw.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/misc/read-raw.smt2 -------------------------------------------------------------------------------- /misc/sudoku.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/misc/sudoku.m -------------------------------------------------------------------------------- /misc/verifier.rng: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/misc/verifier.rng -------------------------------------------------------------------------------- /misc/write-raw.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/misc/write-raw.smt2 -------------------------------------------------------------------------------- /misc/xxd.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/misc/xxd.py -------------------------------------------------------------------------------- /misc/zebra-puzzle.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/misc/zebra-puzzle.m -------------------------------------------------------------------------------- /murphi-format/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi-format/CMakeLists.txt -------------------------------------------------------------------------------- /murphi-format/doc/murphi-format.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi-format/doc/murphi-format.1 -------------------------------------------------------------------------------- /murphi-format/src/compiler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi-format/src/compiler.h -------------------------------------------------------------------------------- /murphi-format/src/debug.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi-format/src/debug.h -------------------------------------------------------------------------------- /murphi-format/src/format.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi-format/src/format.c -------------------------------------------------------------------------------- /murphi-format/src/format.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi-format/src/format.h -------------------------------------------------------------------------------- /murphi-format/src/lex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi-format/src/lex.h -------------------------------------------------------------------------------- /murphi-format/src/lex_free.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi-format/src/lex_free.c -------------------------------------------------------------------------------- /murphi-format/src/lex_get_token.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi-format/src/lex_get_token.c -------------------------------------------------------------------------------- /murphi-format/src/lex_new.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi-format/src/lex_new.c -------------------------------------------------------------------------------- /murphi-format/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi-format/src/main.c -------------------------------------------------------------------------------- /murphi-format/src/resources.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi-format/src/resources.h -------------------------------------------------------------------------------- /murphi2c/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/CMakeLists.txt -------------------------------------------------------------------------------- /murphi2c/doc/murphi2c.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/doc/murphi2c.1 -------------------------------------------------------------------------------- /murphi2c/resources/README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/resources/README.rst -------------------------------------------------------------------------------- /murphi2c/resources/c_prefix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/resources/c_prefix.c -------------------------------------------------------------------------------- /murphi2c/resources/h_prefix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/resources/h_prefix.h -------------------------------------------------------------------------------- /murphi2c/src/CLikeGenerator.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/src/CLikeGenerator.cc -------------------------------------------------------------------------------- /murphi2c/src/CLikeGenerator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/src/CLikeGenerator.h -------------------------------------------------------------------------------- /murphi2c/src/CodeGenerator.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/src/CodeGenerator.cc -------------------------------------------------------------------------------- /murphi2c/src/CodeGenerator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/src/CodeGenerator.h -------------------------------------------------------------------------------- /murphi2c/src/check.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/src/check.cc -------------------------------------------------------------------------------- /murphi2c/src/check.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/src/check.h -------------------------------------------------------------------------------- /murphi2c/src/compares_complex_values.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/src/compares_complex_values.cc -------------------------------------------------------------------------------- /murphi2c/src/compares_complex_values.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/src/compares_complex_values.h -------------------------------------------------------------------------------- /murphi2c/src/generate_c.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/src/generate_c.cc -------------------------------------------------------------------------------- /murphi2c/src/generate_c.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/src/generate_c.h -------------------------------------------------------------------------------- /murphi2c/src/generate_h.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/src/generate_h.cc -------------------------------------------------------------------------------- /murphi2c/src/generate_h.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/src/generate_h.h -------------------------------------------------------------------------------- /murphi2c/src/main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/src/main.cc -------------------------------------------------------------------------------- /murphi2c/src/options.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/src/options.cc -------------------------------------------------------------------------------- /murphi2c/src/options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/src/options.h -------------------------------------------------------------------------------- /murphi2c/src/resources.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2c/src/resources.h -------------------------------------------------------------------------------- /murphi2murphi/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/CMakeLists.txt -------------------------------------------------------------------------------- /murphi2murphi/doc/murphi2murphi.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/doc/murphi2murphi.1 -------------------------------------------------------------------------------- /murphi2murphi/src/DecomposeComplexComparisons.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/DecomposeComplexComparisons.cc -------------------------------------------------------------------------------- /murphi2murphi/src/DecomposeComplexComparisons.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/DecomposeComplexComparisons.h -------------------------------------------------------------------------------- /murphi2murphi/src/ExplicitSemicolons.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/ExplicitSemicolons.cc -------------------------------------------------------------------------------- /murphi2murphi/src/ExplicitSemicolons.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/ExplicitSemicolons.h -------------------------------------------------------------------------------- /murphi2murphi/src/Pipeline.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/Pipeline.cc -------------------------------------------------------------------------------- /murphi2murphi/src/Pipeline.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/Pipeline.h -------------------------------------------------------------------------------- /murphi2murphi/src/Printer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/Printer.cc -------------------------------------------------------------------------------- /murphi2murphi/src/Printer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/Printer.h -------------------------------------------------------------------------------- /murphi2murphi/src/RemoveLiveness.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/RemoveLiveness.cc -------------------------------------------------------------------------------- /murphi2murphi/src/RemoveLiveness.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/RemoveLiveness.h -------------------------------------------------------------------------------- /murphi2murphi/src/Stage.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/Stage.cc -------------------------------------------------------------------------------- /murphi2murphi/src/Stage.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/Stage.h -------------------------------------------------------------------------------- /murphi2murphi/src/SwitchToIf.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/SwitchToIf.cc -------------------------------------------------------------------------------- /murphi2murphi/src/SwitchToIf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/SwitchToIf.h -------------------------------------------------------------------------------- /murphi2murphi/src/ToAscii.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/ToAscii.cc -------------------------------------------------------------------------------- /murphi2murphi/src/ToAscii.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/ToAscii.h -------------------------------------------------------------------------------- /murphi2murphi/src/main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/main.cc -------------------------------------------------------------------------------- /murphi2murphi/src/options.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/options.cc -------------------------------------------------------------------------------- /murphi2murphi/src/options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/options.h -------------------------------------------------------------------------------- /murphi2murphi/src/resources.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2murphi/src/resources.h -------------------------------------------------------------------------------- /murphi2smv/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2smv/CMakeLists.txt -------------------------------------------------------------------------------- /murphi2smv/doc/murphi2smv.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2smv/doc/murphi2smv.1 -------------------------------------------------------------------------------- /murphi2smv/src/codegen.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2smv/src/codegen.cc -------------------------------------------------------------------------------- /murphi2smv/src/codegen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2smv/src/codegen.h -------------------------------------------------------------------------------- /murphi2smv/src/main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2smv/src/main.cc -------------------------------------------------------------------------------- /murphi2smv/src/options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2smv/src/options.h -------------------------------------------------------------------------------- /murphi2smv/src/pick_numeric_type.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2smv/src/pick_numeric_type.cc -------------------------------------------------------------------------------- /murphi2smv/src/pick_numeric_type.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2smv/src/pick_numeric_type.h -------------------------------------------------------------------------------- /murphi2smv/src/resources.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2smv/src/resources.h -------------------------------------------------------------------------------- /murphi2uclid/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2uclid/CMakeLists.txt -------------------------------------------------------------------------------- /murphi2uclid/doc/murphi2uclid.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2uclid/doc/murphi2uclid.1 -------------------------------------------------------------------------------- /murphi2uclid/src/check.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2uclid/src/check.cc -------------------------------------------------------------------------------- /murphi2uclid/src/check.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2uclid/src/check.h -------------------------------------------------------------------------------- /murphi2uclid/src/codegen.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2uclid/src/codegen.cc -------------------------------------------------------------------------------- /murphi2uclid/src/codegen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2uclid/src/codegen.h -------------------------------------------------------------------------------- /murphi2uclid/src/is_one_step.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2uclid/src/is_one_step.h -------------------------------------------------------------------------------- /murphi2uclid/src/main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2uclid/src/main.cc -------------------------------------------------------------------------------- /murphi2uclid/src/options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2uclid/src/options.h -------------------------------------------------------------------------------- /murphi2uclid/src/pick_numeric_type.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2uclid/src/pick_numeric_type.cc -------------------------------------------------------------------------------- /murphi2uclid/src/pick_numeric_type.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2uclid/src/pick_numeric_type.h -------------------------------------------------------------------------------- /murphi2uclid/src/resources.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2uclid/src/resources.h -------------------------------------------------------------------------------- /murphi2xml/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2xml/CMakeLists.txt -------------------------------------------------------------------------------- /murphi2xml/doc/murphi2xml.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2xml/doc/murphi2xml.1 -------------------------------------------------------------------------------- /murphi2xml/src/XMLPrinter.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2xml/src/XMLPrinter.cc -------------------------------------------------------------------------------- /murphi2xml/src/XMLPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2xml/src/XMLPrinter.h -------------------------------------------------------------------------------- /murphi2xml/src/main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2xml/src/main.cc -------------------------------------------------------------------------------- /murphi2xml/src/resources.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/murphi2xml/src/resources.h -------------------------------------------------------------------------------- /rumur/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/CMakeLists.txt -------------------------------------------------------------------------------- /rumur/doc/rumur-run.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/doc/rumur-run.1 -------------------------------------------------------------------------------- /rumur/doc/rumur.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/doc/rumur.1 -------------------------------------------------------------------------------- /rumur/resources/README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/resources/README.rst -------------------------------------------------------------------------------- /rumur/resources/header.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/resources/header.c -------------------------------------------------------------------------------- /rumur/resources/includes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/resources/includes.c -------------------------------------------------------------------------------- /rumur/src/ValueType.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/ValueType.cc -------------------------------------------------------------------------------- /rumur/src/ValueType.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/ValueType.h -------------------------------------------------------------------------------- /rumur/src/assume-statements-count.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/assume-statements-count.cc -------------------------------------------------------------------------------- /rumur/src/assume-statements-count.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/assume-statements-count.h -------------------------------------------------------------------------------- /rumur/src/generate-allocations.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/generate-allocations.cc -------------------------------------------------------------------------------- /rumur/src/generate-cover-array.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/generate-cover-array.cc -------------------------------------------------------------------------------- /rumur/src/generate-decl.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/generate-decl.cc -------------------------------------------------------------------------------- /rumur/src/generate-expr.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/generate-expr.cc -------------------------------------------------------------------------------- /rumur/src/generate-function.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/generate-function.cc -------------------------------------------------------------------------------- /rumur/src/generate-model.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/generate-model.cc -------------------------------------------------------------------------------- /rumur/src/generate-print.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/generate-print.cc -------------------------------------------------------------------------------- /rumur/src/generate-property.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/generate-property.cc -------------------------------------------------------------------------------- /rumur/src/generate-quantifier.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/generate-quantifier.cc -------------------------------------------------------------------------------- /rumur/src/generate-stmt.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/generate-stmt.cc -------------------------------------------------------------------------------- /rumur/src/generate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/generate.h -------------------------------------------------------------------------------- /rumur/src/has-start-state.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/has-start-state.cc -------------------------------------------------------------------------------- /rumur/src/has-start-state.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/has-start-state.h -------------------------------------------------------------------------------- /rumur/src/log.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/log.cc -------------------------------------------------------------------------------- /rumur/src/log.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/log.h -------------------------------------------------------------------------------- /rumur/src/main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/main.cc -------------------------------------------------------------------------------- /rumur/src/max-simple-width.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/max-simple-width.cc -------------------------------------------------------------------------------- /rumur/src/max-simple-width.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/max-simple-width.h -------------------------------------------------------------------------------- /rumur/src/optimise-field-ordering.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/optimise-field-ordering.cc -------------------------------------------------------------------------------- /rumur/src/optimise-field-ordering.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/optimise-field-ordering.h -------------------------------------------------------------------------------- /rumur/src/options.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/options.cc -------------------------------------------------------------------------------- /rumur/src/options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/options.h -------------------------------------------------------------------------------- /rumur/src/output.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/output.cc -------------------------------------------------------------------------------- /rumur/src/prints-scalarsets.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/prints-scalarsets.cc -------------------------------------------------------------------------------- /rumur/src/prints-scalarsets.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/prints-scalarsets.h -------------------------------------------------------------------------------- /rumur/src/process.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/process.cc -------------------------------------------------------------------------------- /rumur/src/process.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/process.h -------------------------------------------------------------------------------- /rumur/src/resources.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/resources.h -------------------------------------------------------------------------------- /rumur/src/rumur-run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/rumur-run -------------------------------------------------------------------------------- /rumur/src/smt/define-enum-members.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/smt/define-enum-members.cc -------------------------------------------------------------------------------- /rumur/src/smt/define-enum-members.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/smt/define-enum-members.h -------------------------------------------------------------------------------- /rumur/src/smt/define-records.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/smt/define-records.cc -------------------------------------------------------------------------------- /rumur/src/smt/define-records.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/smt/define-records.h -------------------------------------------------------------------------------- /rumur/src/smt/except.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/smt/except.h -------------------------------------------------------------------------------- /rumur/src/smt/logic.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/smt/logic.cc -------------------------------------------------------------------------------- /rumur/src/smt/logic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/smt/logic.h -------------------------------------------------------------------------------- /rumur/src/smt/simplify.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/smt/simplify.cc -------------------------------------------------------------------------------- /rumur/src/smt/simplify.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/smt/simplify.h -------------------------------------------------------------------------------- /rumur/src/smt/solver.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/smt/solver.cc -------------------------------------------------------------------------------- /rumur/src/smt/solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/smt/solver.h -------------------------------------------------------------------------------- /rumur/src/smt/translate.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/smt/translate.cc -------------------------------------------------------------------------------- /rumur/src/smt/translate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/smt/translate.h -------------------------------------------------------------------------------- /rumur/src/smt/typeexpr-to-smt.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/smt/typeexpr-to-smt.cc -------------------------------------------------------------------------------- /rumur/src/smt/typeexpr-to-smt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/smt/typeexpr-to-smt.h -------------------------------------------------------------------------------- /rumur/src/symmetry-reduction.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/symmetry-reduction.cc -------------------------------------------------------------------------------- /rumur/src/symmetry-reduction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/symmetry-reduction.h -------------------------------------------------------------------------------- /rumur/src/utils.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/utils.cc -------------------------------------------------------------------------------- /rumur/src/utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/rumur/src/utils.h -------------------------------------------------------------------------------- /share/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/share/CMakeLists.txt -------------------------------------------------------------------------------- /share/README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/share/README.rst -------------------------------------------------------------------------------- /share/_list: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/share/_list -------------------------------------------------------------------------------- /share/_set: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/share/_set -------------------------------------------------------------------------------- /share/test_list.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/share/test_list.m -------------------------------------------------------------------------------- /share/test_set.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/share/test_set.m -------------------------------------------------------------------------------- /share/v2025.01.04/list: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/share/v2025.01.04/list -------------------------------------------------------------------------------- /share/v2025.01.05/list: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/share/v2025.01.05/list -------------------------------------------------------------------------------- /share/v2025.02.02/_list: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/share/v2025.02.02/_list -------------------------------------------------------------------------------- /share/v2025.02.02/_set: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/share/v2025.02.02/_set -------------------------------------------------------------------------------- /share/v2025.08.31/_list: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/share/v2025.08.31/_list -------------------------------------------------------------------------------- /share/v2025.08.31/_set: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/share/v2025.08.31/_set -------------------------------------------------------------------------------- /tests/193.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/193.m -------------------------------------------------------------------------------- /tests/README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/README.rst -------------------------------------------------------------------------------- /tests/alias-and-field.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/alias-and-field.m -------------------------------------------------------------------------------- /tests/alias-in-bound.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/alias-in-bound.m -------------------------------------------------------------------------------- /tests/alias-in-bound2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/alias-in-bound2.m -------------------------------------------------------------------------------- /tests/alias-literal.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/alias-literal.m -------------------------------------------------------------------------------- /tests/alias-of-alias-rule.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/alias-of-alias-rule.m -------------------------------------------------------------------------------- /tests/alias-of-alias-rule2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/alias-of-alias-rule2.m -------------------------------------------------------------------------------- /tests/alias-of-alias-stmt.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/alias-of-alias-stmt.m -------------------------------------------------------------------------------- /tests/amp-amp-and.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/amp-amp-and.m -------------------------------------------------------------------------------- /tests/and-mixed.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/and-mixed.m -------------------------------------------------------------------------------- /tests/and-return.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/and-return.m -------------------------------------------------------------------------------- /tests/apartment.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/apartment.m -------------------------------------------------------------------------------- /tests/arithmetic-on-heterogeneous-ranges.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/arithmetic-on-heterogeneous-ranges.m -------------------------------------------------------------------------------- /tests/array-assignment.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/array-assignment.m -------------------------------------------------------------------------------- /tests/assert-record.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/assert-record.m -------------------------------------------------------------------------------- /tests/assert-syntax.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/assert-syntax.m -------------------------------------------------------------------------------- /tests/assertion-type-limits.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/assertion-type-limits.m -------------------------------------------------------------------------------- /tests/assume-in-ruleset.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/assume-in-ruleset.m -------------------------------------------------------------------------------- /tests/assume-statement.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/assume-statement.m -------------------------------------------------------------------------------- /tests/assume-statement2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/assume-statement2.m -------------------------------------------------------------------------------- /tests/assume-statement3.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/assume-statement3.m -------------------------------------------------------------------------------- /tests/assume-statement4.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/assume-statement4.m -------------------------------------------------------------------------------- /tests/bad-alias.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bad-alias.m -------------------------------------------------------------------------------- /tests/bad-array-index.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bad-array-index.m -------------------------------------------------------------------------------- /tests/bad-element-lhs-in-or.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bad-element-lhs-in-or.m -------------------------------------------------------------------------------- /tests/bad-enum-print.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bad-enum-print.m -------------------------------------------------------------------------------- /tests/bad-expr-type-ref.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bad-expr-type-ref.m -------------------------------------------------------------------------------- /tests/bad-field-lhs-in-or.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bad-field-lhs-in-or.m -------------------------------------------------------------------------------- /tests/bad-field.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bad-field.m -------------------------------------------------------------------------------- /tests/bad-function-call.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bad-function-call.m -------------------------------------------------------------------------------- /tests/bad-function-parameter.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bad-function-parameter.m -------------------------------------------------------------------------------- /tests/bad-invariant-number.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bad-invariant-number.m -------------------------------------------------------------------------------- /tests/bad-lvalue.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bad-lvalue.m -------------------------------------------------------------------------------- /tests/basic-aliasrule.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/basic-aliasrule.m -------------------------------------------------------------------------------- /tests/basic-const.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/basic-const.m -------------------------------------------------------------------------------- /tests/basic-invariant.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/basic-invariant.m -------------------------------------------------------------------------------- /tests/basic-ruleset.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/basic-ruleset.m -------------------------------------------------------------------------------- /tests/basic-ruleset2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/basic-ruleset2.m -------------------------------------------------------------------------------- /tests/basic-sandbox.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/basic-sandbox.m -------------------------------------------------------------------------------- /tests/bfs-vs-dfs.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bfs-vs-dfs.m -------------------------------------------------------------------------------- /tests/bitwise-and-enum.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bitwise-and-enum.m -------------------------------------------------------------------------------- /tests/bitwise-and.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bitwise-and.m -------------------------------------------------------------------------------- /tests/bitwise-not-enum.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bitwise-not-enum.m -------------------------------------------------------------------------------- /tests/bitwise-not.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bitwise-not.m -------------------------------------------------------------------------------- /tests/bitwise-or-enum.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bitwise-or-enum.m -------------------------------------------------------------------------------- /tests/bitwise-or.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bitwise-or.m -------------------------------------------------------------------------------- /tests/bitwise-xor-enum.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bitwise-xor-enum.m -------------------------------------------------------------------------------- /tests/bitwise-xor.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bitwise-xor.m -------------------------------------------------------------------------------- /tests/boolean-array-index.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/boolean-array-index.m -------------------------------------------------------------------------------- /tests/boolean-array.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/boolean-array.m -------------------------------------------------------------------------------- /tests/boolean-case.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/boolean-case.m -------------------------------------------------------------------------------- /tests/boolean-const.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/boolean-const.m -------------------------------------------------------------------------------- /tests/boolean-literal-case.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/boolean-literal-case.m -------------------------------------------------------------------------------- /tests/boolean-shadow.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/boolean-shadow.m -------------------------------------------------------------------------------- /tests/bound-basic.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bound-basic.m -------------------------------------------------------------------------------- /tests/bound-illegal.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bound-illegal.m -------------------------------------------------------------------------------- /tests/bound-limit.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bound-limit.m -------------------------------------------------------------------------------- /tests/bound-limit2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bound-limit2.m -------------------------------------------------------------------------------- /tests/bound-unused.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/bound-unused.m -------------------------------------------------------------------------------- /tests/call-no-lvalue.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/call-no-lvalue.m -------------------------------------------------------------------------------- /tests/cex-boolean-startstate.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/cex-boolean-startstate.m -------------------------------------------------------------------------------- /tests/cex-boolean.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/cex-boolean.m -------------------------------------------------------------------------------- /tests/cex-enum-startstate.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/cex-enum-startstate.m -------------------------------------------------------------------------------- /tests/cex-enum.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/cex-enum.m -------------------------------------------------------------------------------- /tests/clear-complex.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/clear-complex.m -------------------------------------------------------------------------------- /tests/clear-simple.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/clear-simple.m -------------------------------------------------------------------------------- /tests/comment-escape.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/comment-escape.m -------------------------------------------------------------------------------- /tests/compare-array.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/compare-array.m -------------------------------------------------------------------------------- /tests/compare-record.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/compare-record.m -------------------------------------------------------------------------------- /tests/const-enum.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/const-enum.m -------------------------------------------------------------------------------- /tests/const-folding.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/const-folding.m -------------------------------------------------------------------------------- /tests/const-folding2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/const-folding2.m -------------------------------------------------------------------------------- /tests/const-folding3.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/const-folding3.m -------------------------------------------------------------------------------- /tests/const-folding4.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/const-folding4.m -------------------------------------------------------------------------------- /tests/const-folding5.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/const-folding5.m -------------------------------------------------------------------------------- /tests/const-folding6.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/const-folding6.m -------------------------------------------------------------------------------- /tests/const-of-function-call.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/const-of-function-call.m -------------------------------------------------------------------------------- /tests/cover-basic.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/cover-basic.m -------------------------------------------------------------------------------- /tests/cover-basic2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/cover-basic2.m -------------------------------------------------------------------------------- /tests/cover-miss.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/cover-miss.m -------------------------------------------------------------------------------- /tests/cover-multiple.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/cover-multiple.m -------------------------------------------------------------------------------- /tests/cover-stmt-miss.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/cover-stmt-miss.m -------------------------------------------------------------------------------- /tests/cover-stmt.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/cover-stmt.m -------------------------------------------------------------------------------- /tests/cover-trivial.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/cover-trivial.m -------------------------------------------------------------------------------- /tests/diff-trace-arrays.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/diff-trace-arrays.m -------------------------------------------------------------------------------- /tests/differing-range-passed-to-function.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/differing-range-passed-to-function.m -------------------------------------------------------------------------------- /tests/differing-type-return.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/differing-type-return.m -------------------------------------------------------------------------------- /tests/differing-type-return3.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/differing-type-return3.m -------------------------------------------------------------------------------- /tests/disabled/differing-type-return2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/disabled/differing-type-return2.m -------------------------------------------------------------------------------- /tests/disabled/rule-no-begin.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/disabled/rule-no-begin.m -------------------------------------------------------------------------------- /tests/disabled/smt-array-compare.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/disabled/smt-array-compare.m -------------------------------------------------------------------------------- /tests/disabled/smt-div2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/disabled/smt-div2.m -------------------------------------------------------------------------------- /tests/disabled/smt-mod2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/disabled/smt-mod2.m -------------------------------------------------------------------------------- /tests/division.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/division.m -------------------------------------------------------------------------------- /tests/double-semicolon.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/double-semicolon.m -------------------------------------------------------------------------------- /tests/double-semicolon2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/double-semicolon2.m -------------------------------------------------------------------------------- /tests/duplicate-enum-members.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/duplicate-enum-members.m -------------------------------------------------------------------------------- /tests/duplicate-enum-members2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/duplicate-enum-members2.m -------------------------------------------------------------------------------- /tests/duplicate-record-fields.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/duplicate-record-fields.m -------------------------------------------------------------------------------- /tests/duplicate-startstate.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/duplicate-startstate.m -------------------------------------------------------------------------------- /tests/duplicate-state-fields.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/duplicate-state-fields.m -------------------------------------------------------------------------------- /tests/enum-local-var.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/enum-local-var.m -------------------------------------------------------------------------------- /tests/error-statement.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/error-statement.m -------------------------------------------------------------------------------- /tests/error-string-injection.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/error-string-injection.m -------------------------------------------------------------------------------- /tests/escaping-expressions.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/escaping-expressions.m -------------------------------------------------------------------------------- /tests/for-step-0-dynamic.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/for-step-0-dynamic.m -------------------------------------------------------------------------------- /tests/for-step-0.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/for-step-0.m -------------------------------------------------------------------------------- /tests/for-step-1.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/for-step-1.m -------------------------------------------------------------------------------- /tests/for-step-neg-1.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/for-step-neg-1.m -------------------------------------------------------------------------------- /tests/for-step-neg-overflow.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/for-step-neg-overflow.m -------------------------------------------------------------------------------- /tests/for-step-neg-overflow2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/for-step-neg-overflow2.m -------------------------------------------------------------------------------- /tests/for-step-neg.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/for-step-neg.m -------------------------------------------------------------------------------- /tests/for-variants.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/for-variants.m -------------------------------------------------------------------------------- /tests/fox-goose-beans.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/fox-goose-beans.m -------------------------------------------------------------------------------- /tests/function-and-field.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/function-and-field.m -------------------------------------------------------------------------------- /tests/function-call-in-if.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/function-call-in-if.m -------------------------------------------------------------------------------- /tests/function-in-guard.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/function-in-guard.m -------------------------------------------------------------------------------- /tests/function-modifying.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/function-modifying.m -------------------------------------------------------------------------------- /tests/function-modifying2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/function-modifying2.m -------------------------------------------------------------------------------- /tests/function-order.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/function-order.m -------------------------------------------------------------------------------- /tests/function-param-intact.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/function-param-intact.m -------------------------------------------------------------------------------- /tests/function-return-ignored.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/function-return-ignored.m -------------------------------------------------------------------------------- /tests/function1.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/function1.m -------------------------------------------------------------------------------- /tests/identifier-case.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/identifier-case.m -------------------------------------------------------------------------------- /tests/identifier-case2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/identifier-case2.m -------------------------------------------------------------------------------- /tests/identifier-case3.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/identifier-case3.m -------------------------------------------------------------------------------- /tests/illegal-array-index.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/illegal-array-index.m -------------------------------------------------------------------------------- /tests/index-out-of-range.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/index-out-of-range.m -------------------------------------------------------------------------------- /tests/invariant-failure-message.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/invariant-failure-message.m -------------------------------------------------------------------------------- /tests/invariant-syntax.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/invariant-syntax.m -------------------------------------------------------------------------------- /tests/isundefined-array.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/isundefined-array.m -------------------------------------------------------------------------------- /tests/isundefined-basic.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/isundefined-basic.m -------------------------------------------------------------------------------- /tests/isundefined-decl.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/isundefined-decl.m -------------------------------------------------------------------------------- /tests/isundefined-element.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/isundefined-element.m -------------------------------------------------------------------------------- /tests/isundefined-function.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/isundefined-function.m -------------------------------------------------------------------------------- /tests/isundefined-record.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/isundefined-record.m -------------------------------------------------------------------------------- /tests/isundefined-rvalue.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/isundefined-rvalue.m -------------------------------------------------------------------------------- /tests/isundefined-rvalue2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/isundefined-rvalue2.m -------------------------------------------------------------------------------- /tests/keyword-case.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/keyword-case.m -------------------------------------------------------------------------------- /tests/liveness-in-ruleset.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/liveness-in-ruleset.m -------------------------------------------------------------------------------- /tests/liveness-in-ruleset2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/liveness-in-ruleset2.m -------------------------------------------------------------------------------- /tests/liveness-miss1.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/liveness-miss1.m -------------------------------------------------------------------------------- /tests/liveness-miss2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/liveness-miss2.m -------------------------------------------------------------------------------- /tests/liveness-miss3.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/liveness-miss3.m -------------------------------------------------------------------------------- /tests/liveness-statement.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/liveness-statement.m -------------------------------------------------------------------------------- /tests/loop-variable-nonzero-start.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/loop-variable-nonzero-start.m -------------------------------------------------------------------------------- /tests/lsh-basic.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/lsh-basic.m -------------------------------------------------------------------------------- /tests/lsh-boolean.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/lsh-boolean.m -------------------------------------------------------------------------------- /tests/lsh-boolean2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/lsh-boolean2.m -------------------------------------------------------------------------------- /tests/lsh-enum.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/lsh-enum.m -------------------------------------------------------------------------------- /tests/lsh-enum2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/lsh-enum2.m -------------------------------------------------------------------------------- /tests/math-operators.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/math-operators.m -------------------------------------------------------------------------------- /tests/mixed-aliases.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/mixed-aliases.m -------------------------------------------------------------------------------- /tests/mod-neg-1.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/mod-neg-1.m -------------------------------------------------------------------------------- /tests/mod-neg-1_2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/mod-neg-1_2.m -------------------------------------------------------------------------------- /tests/multiple-const-decl.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/multiple-const-decl.m -------------------------------------------------------------------------------- /tests/multiple-deadlocks.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/multiple-deadlocks.m -------------------------------------------------------------------------------- /tests/multiple-errors.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/multiple-errors.m -------------------------------------------------------------------------------- /tests/multiple-parameters.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/multiple-parameters.m -------------------------------------------------------------------------------- /tests/multiple-parameters2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/multiple-parameters2.m -------------------------------------------------------------------------------- /tests/multiple-type-decls.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/multiple-type-decls.m -------------------------------------------------------------------------------- /tests/multiplication.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/multiplication.m -------------------------------------------------------------------------------- /tests/murphi-comment-ls/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/murphi-comment-ls/CMakeLists.txt -------------------------------------------------------------------------------- /tests/murphi-comment-ls/README: -------------------------------------------------------------------------------- 1 | test application for ../../librumur/include/Comment.h 2 | -------------------------------------------------------------------------------- /tests/murphi-comment-ls/main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/murphi-comment-ls/main.cc -------------------------------------------------------------------------------- /tests/named-assert.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/named-assert.m -------------------------------------------------------------------------------- /tests/negate-complex.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/negate-complex.m -------------------------------------------------------------------------------- /tests/negate-value-type.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/negate-value-type.m -------------------------------------------------------------------------------- /tests/negation-of-range.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/negation-of-range.m -------------------------------------------------------------------------------- /tests/negative-numbers.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/negative-numbers.m -------------------------------------------------------------------------------- /tests/no-cex-bug.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/no-cex-bug.m -------------------------------------------------------------------------------- /tests/no-cex-bug2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/no-cex-bug2.m -------------------------------------------------------------------------------- /tests/non-boolean-condition.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/non-boolean-condition.m -------------------------------------------------------------------------------- /tests/non-const-parameters.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/non-const-parameters.m -------------------------------------------------------------------------------- /tests/octal-literal.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/octal-literal.m -------------------------------------------------------------------------------- /tests/octal-literal2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/octal-literal2.m -------------------------------------------------------------------------------- /tests/only-booleans.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/only-booleans.m -------------------------------------------------------------------------------- /tests/only-enum.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/only-enum.m -------------------------------------------------------------------------------- /tests/only-range-and-array.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/only-range-and-array.m -------------------------------------------------------------------------------- /tests/only-range-and-untouched-array.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/only-range-and-untouched-array.m -------------------------------------------------------------------------------- /tests/only-range-and-unused-array.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/only-range-and-unused-array.m -------------------------------------------------------------------------------- /tests/or-mixed.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/or-mixed.m -------------------------------------------------------------------------------- /tests/or-return.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/or-return.m -------------------------------------------------------------------------------- /tests/out-of-range-function-parameter.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/out-of-range-function-parameter.m -------------------------------------------------------------------------------- /tests/out-of-range-function-parameter2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/out-of-range-function-parameter2.m -------------------------------------------------------------------------------- /tests/pack-state-off.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/pack-state-off.m -------------------------------------------------------------------------------- /tests/pipe-pipe-or.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/pipe-pipe-or.m -------------------------------------------------------------------------------- /tests/procedure-call-in-expr.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/procedure-call-in-expr.m -------------------------------------------------------------------------------- /tests/put-stmt.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/put-stmt.m -------------------------------------------------------------------------------- /tests/put-stmt2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/put-stmt2.m -------------------------------------------------------------------------------- /tests/put-stmt3.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/put-stmt3.m -------------------------------------------------------------------------------- /tests/put-stmt4.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/put-stmt4.m -------------------------------------------------------------------------------- /tests/put-string-injection.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/put-string-injection.m -------------------------------------------------------------------------------- /tests/quantifier-signed-range.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/quantifier-signed-range.m -------------------------------------------------------------------------------- /tests/range-and.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/range-and.m -------------------------------------------------------------------------------- /tests/read-slice.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/read-slice.m -------------------------------------------------------------------------------- /tests/read-undefined.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/read-undefined.m -------------------------------------------------------------------------------- /tests/read-undefined2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/read-undefined2.m -------------------------------------------------------------------------------- /tests/read-undefined3.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/read-undefined3.m -------------------------------------------------------------------------------- /tests/recursion1.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/recursion1.m -------------------------------------------------------------------------------- /tests/recursion2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/recursion2.m -------------------------------------------------------------------------------- /tests/recursion3.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/recursion3.m -------------------------------------------------------------------------------- /tests/recursion4.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/recursion4.m -------------------------------------------------------------------------------- /tests/recursion5.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/recursion5.m -------------------------------------------------------------------------------- /tests/reference-function-parameter.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/reference-function-parameter.m -------------------------------------------------------------------------------- /tests/reference-function-parameter2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/reference-function-parameter2.m -------------------------------------------------------------------------------- /tests/reference-function-parameter3.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/reference-function-parameter3.m -------------------------------------------------------------------------------- /tests/regression-bad-assumption-check.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/regression-bad-assumption-check.m -------------------------------------------------------------------------------- /tests/return-expression-from-rule.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/return-expression-from-rule.m -------------------------------------------------------------------------------- /tests/return-from-rule.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/return-from-rule.m -------------------------------------------------------------------------------- /tests/return-from-ruleset.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/return-from-ruleset.m -------------------------------------------------------------------------------- /tests/return-from-startstate.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/return-from-startstate.m -------------------------------------------------------------------------------- /tests/return-record-in-guard.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/return-record-in-guard.m -------------------------------------------------------------------------------- /tests/rsh-and.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/rsh-and.m -------------------------------------------------------------------------------- /tests/rsh-basic.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/rsh-basic.m -------------------------------------------------------------------------------- /tests/rsh-boolean.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/rsh-boolean.m -------------------------------------------------------------------------------- /tests/rsh-boolean2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/rsh-boolean2.m -------------------------------------------------------------------------------- /tests/rsh-enum.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/rsh-enum.m -------------------------------------------------------------------------------- /tests/rsh-enum2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/rsh-enum2.m -------------------------------------------------------------------------------- /tests/rule-duplicate-name.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/rule-duplicate-name.m -------------------------------------------------------------------------------- /tests/ruleset-invariant.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/ruleset-invariant.m -------------------------------------------------------------------------------- /tests/ruleset-startstate.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/ruleset-startstate.m -------------------------------------------------------------------------------- /tests/ruleset-trace.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/ruleset-trace.m -------------------------------------------------------------------------------- /tests/ruleset-trace2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/ruleset-trace2.m -------------------------------------------------------------------------------- /tests/ruleset-trace3.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/ruleset-trace3.m -------------------------------------------------------------------------------- /tests/scalarset-cex.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/scalarset-cex.m -------------------------------------------------------------------------------- /tests/scalarset-put.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/scalarset-put.m -------------------------------------------------------------------------------- /tests/scalarset-schedules-off-2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/scalarset-schedules-off-2.m -------------------------------------------------------------------------------- /tests/scalarset-schedules-off.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/scalarset-schedules-off.m -------------------------------------------------------------------------------- /tests/scalarset-trivial.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/scalarset-trivial.m -------------------------------------------------------------------------------- /tests/scalarset-undefined.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/scalarset-undefined.m -------------------------------------------------------------------------------- /tests/section-order.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/section-order.m -------------------------------------------------------------------------------- /tests/section-order10.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/section-order10.m -------------------------------------------------------------------------------- /tests/section-order2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/section-order2.m -------------------------------------------------------------------------------- /tests/section-order3.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/section-order3.m -------------------------------------------------------------------------------- /tests/section-order4.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/section-order4.m -------------------------------------------------------------------------------- /tests/section-order5.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/section-order5.m -------------------------------------------------------------------------------- /tests/section-order6.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/section-order6.m -------------------------------------------------------------------------------- /tests/section-order7.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/section-order7.m -------------------------------------------------------------------------------- /tests/section-order8.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/section-order8.m -------------------------------------------------------------------------------- /tests/section-order9.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/section-order9.m -------------------------------------------------------------------------------- /tests/simple-deadlock.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/simple-deadlock.m -------------------------------------------------------------------------------- /tests/smart-quotes.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smart-quotes.m -------------------------------------------------------------------------------- /tests/smt-add.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-add.m -------------------------------------------------------------------------------- /tests/smt-array-bool-index.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-array-bool-index.m -------------------------------------------------------------------------------- /tests/smt-array-bool-value-and-index.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-array-bool-value-and-index.m -------------------------------------------------------------------------------- /tests/smt-array-bool-value.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-array-bool-value.m -------------------------------------------------------------------------------- /tests/smt-array-enum-index.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-array-enum-index.m -------------------------------------------------------------------------------- /tests/smt-array-enum-index2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-array-enum-index2.m -------------------------------------------------------------------------------- /tests/smt-array-enum-value-and-index.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-array-enum-value-and-index.m -------------------------------------------------------------------------------- /tests/smt-array-enum-value-and-index2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-array-enum-value-and-index2.m -------------------------------------------------------------------------------- /tests/smt-array-enum-value.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-array-enum-value.m -------------------------------------------------------------------------------- /tests/smt-array-enum-value2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-array-enum-value2.m -------------------------------------------------------------------------------- /tests/smt-array-of-record.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-array-of-record.m -------------------------------------------------------------------------------- /tests/smt-array-range.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-array-range.m -------------------------------------------------------------------------------- /tests/smt-array-range2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-array-range2.m -------------------------------------------------------------------------------- /tests/smt-bool-literal.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bool-literal.m -------------------------------------------------------------------------------- /tests/smt-bv-add.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-add.m -------------------------------------------------------------------------------- /tests/smt-bv-band.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-band.m -------------------------------------------------------------------------------- /tests/smt-bv-bitwise-not.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-bitwise-not.m -------------------------------------------------------------------------------- /tests/smt-bv-bor.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-bor.m -------------------------------------------------------------------------------- /tests/smt-bv-div.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-div.m -------------------------------------------------------------------------------- /tests/smt-bv-div2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-div2.m -------------------------------------------------------------------------------- /tests/smt-bv-exists.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-exists.m -------------------------------------------------------------------------------- /tests/smt-bv-exists2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-exists2.m -------------------------------------------------------------------------------- /tests/smt-bv-exists3.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-exists3.m -------------------------------------------------------------------------------- /tests/smt-bv-exists4.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-exists4.m -------------------------------------------------------------------------------- /tests/smt-bv-forall.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-forall.m -------------------------------------------------------------------------------- /tests/smt-bv-forall2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-forall2.m -------------------------------------------------------------------------------- /tests/smt-bv-forall3.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-forall3.m -------------------------------------------------------------------------------- /tests/smt-bv-forall4.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-forall4.m -------------------------------------------------------------------------------- /tests/smt-bv-geq.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-geq.m -------------------------------------------------------------------------------- /tests/smt-bv-gt.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-gt.m -------------------------------------------------------------------------------- /tests/smt-bv-leq.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-leq.m -------------------------------------------------------------------------------- /tests/smt-bv-lsh.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-lsh.m -------------------------------------------------------------------------------- /tests/smt-bv-lt.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-lt.m -------------------------------------------------------------------------------- /tests/smt-bv-mod.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-mod.m -------------------------------------------------------------------------------- /tests/smt-bv-mod2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-mod2.m -------------------------------------------------------------------------------- /tests/smt-bv-mul.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-mul.m -------------------------------------------------------------------------------- /tests/smt-bv-neg.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-neg.m -------------------------------------------------------------------------------- /tests/smt-bv-negative-literal.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-negative-literal.m -------------------------------------------------------------------------------- /tests/smt-bv-rsh.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-rsh.m -------------------------------------------------------------------------------- /tests/smt-bv-sub.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-sub.m -------------------------------------------------------------------------------- /tests/smt-bv-xor.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-bv-xor.m -------------------------------------------------------------------------------- /tests/smt-const.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-const.m -------------------------------------------------------------------------------- /tests/smt-div.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-div.m -------------------------------------------------------------------------------- /tests/smt-enum-typeexprid.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-enum-typeexprid.m -------------------------------------------------------------------------------- /tests/smt-enum.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-enum.m -------------------------------------------------------------------------------- /tests/smt-enum2-typeexprid.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-enum2-typeexprid.m -------------------------------------------------------------------------------- /tests/smt-enum2-typeexprid2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-enum2-typeexprid2.m -------------------------------------------------------------------------------- /tests/smt-enum2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-enum2.m -------------------------------------------------------------------------------- /tests/smt-exists.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-exists.m -------------------------------------------------------------------------------- /tests/smt-exists2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-exists2.m -------------------------------------------------------------------------------- /tests/smt-exists3.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-exists3.m -------------------------------------------------------------------------------- /tests/smt-exists4.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-exists4.m -------------------------------------------------------------------------------- /tests/smt-forall.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-forall.m -------------------------------------------------------------------------------- /tests/smt-forall2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-forall2.m -------------------------------------------------------------------------------- /tests/smt-forall3.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-forall3.m -------------------------------------------------------------------------------- /tests/smt-forall4.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-forall4.m -------------------------------------------------------------------------------- /tests/smt-geq.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-geq.m -------------------------------------------------------------------------------- /tests/smt-gt.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-gt.m -------------------------------------------------------------------------------- /tests/smt-leq.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-leq.m -------------------------------------------------------------------------------- /tests/smt-lt.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-lt.m -------------------------------------------------------------------------------- /tests/smt-mod.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-mod.m -------------------------------------------------------------------------------- /tests/smt-mul.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-mul.m -------------------------------------------------------------------------------- /tests/smt-neg.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-neg.m -------------------------------------------------------------------------------- /tests/smt-negative-literal.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-negative-literal.m -------------------------------------------------------------------------------- /tests/smt-nested-array.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-nested-array.m -------------------------------------------------------------------------------- /tests/smt-range.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-range.m -------------------------------------------------------------------------------- /tests/smt-record-bool-field.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-record-bool-field.m -------------------------------------------------------------------------------- /tests/smt-record-bool-field2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-record-bool-field2.m -------------------------------------------------------------------------------- /tests/smt-record-enum-field.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-record-enum-field.m -------------------------------------------------------------------------------- /tests/smt-record-enum-field2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-record-enum-field2.m -------------------------------------------------------------------------------- /tests/smt-record-of-array.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-record-of-array.m -------------------------------------------------------------------------------- /tests/smt-record-range-field.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-record-range-field.m -------------------------------------------------------------------------------- /tests/smt-record-range-field2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-record-range-field2.m -------------------------------------------------------------------------------- /tests/smt-shadowed-decl.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-shadowed-decl.m -------------------------------------------------------------------------------- /tests/smt-simplify.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-simplify.m -------------------------------------------------------------------------------- /tests/smt-sub.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-sub.m -------------------------------------------------------------------------------- /tests/smt-typedecl-boolean.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-typedecl-boolean.m -------------------------------------------------------------------------------- /tests/smt-typeexprid.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-typeexprid.m -------------------------------------------------------------------------------- /tests/smt-typeexprid2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/smt-typeexprid2.m -------------------------------------------------------------------------------- /tests/state-reorder.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/state-reorder.m -------------------------------------------------------------------------------- /tests/string-escape1.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/string-escape1.m -------------------------------------------------------------------------------- /tests/string-escape2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/string-escape2.m -------------------------------------------------------------------------------- /tests/string-escape3.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/string-escape3.m -------------------------------------------------------------------------------- /tests/string-injection.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/string-injection.m -------------------------------------------------------------------------------- /tests/switch-nested.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/switch-nested.m -------------------------------------------------------------------------------- /tests/switch-stmt1.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/switch-stmt1.m -------------------------------------------------------------------------------- /tests/switch-stmt2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/switch-stmt2.m -------------------------------------------------------------------------------- /tests/switch-stmt3.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/switch-stmt3.m -------------------------------------------------------------------------------- /tests/ternary-operator.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/ternary-operator.m -------------------------------------------------------------------------------- /tests/tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/tests.py -------------------------------------------------------------------------------- /tests/trivial-function.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/trivial-function.m -------------------------------------------------------------------------------- /tests/two-enums.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/two-enums.m -------------------------------------------------------------------------------- /tests/type-shadowing.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/type-shadowing.m -------------------------------------------------------------------------------- /tests/type-shadowing2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/type-shadowing2.m -------------------------------------------------------------------------------- /tests/uint64-model.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/uint64-model.m -------------------------------------------------------------------------------- /tests/uint64-model2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/uint64-model2.m -------------------------------------------------------------------------------- /tests/undefine-aggregate.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/undefine-aggregate.m -------------------------------------------------------------------------------- /tests/unicode-assignment.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/unicode-assignment.m -------------------------------------------------------------------------------- /tests/unicode-div.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/unicode-div.m -------------------------------------------------------------------------------- /tests/unicode-div2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/unicode-div2.m -------------------------------------------------------------------------------- /tests/unicode-mul.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/unicode-mul.m -------------------------------------------------------------------------------- /tests/unicode-sub.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/unicode-sub.m -------------------------------------------------------------------------------- /tests/unused-record.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/unused-record.m -------------------------------------------------------------------------------- /tests/var-case.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/var-case.m -------------------------------------------------------------------------------- /tests/while-stmt1.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/while-stmt1.m -------------------------------------------------------------------------------- /tests/while-stmt2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/while-stmt2.m -------------------------------------------------------------------------------- /tests/while-stmt3.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/while-stmt3.m -------------------------------------------------------------------------------- /tests/while-stmt4.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/while-stmt4.m -------------------------------------------------------------------------------- /tests/while-stmt5.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/while-stmt5.m -------------------------------------------------------------------------------- /tests/write-out-of-range.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/write-out-of-range.m -------------------------------------------------------------------------------- /tests/write-out-of-range2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/write-out-of-range2.m -------------------------------------------------------------------------------- /tests/write-out-of-range3.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/write-out-of-range3.m -------------------------------------------------------------------------------- /tests/xml-escape-increment.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/xml-escape-increment.m -------------------------------------------------------------------------------- /tests/xor-mixed.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Smattr/rumur/HEAD/tests/xor-mixed.m --------------------------------------------------------------------------------