├── .gitattributes ├── .gitignore ├── .larabot.conf ├── .sbtopts ├── CHANGELOG.md ├── IDEAS.md ├── LICENSE ├── README.md ├── ROADMAP.md ├── TODO.md ├── project ├── build.properties └── plugins.sbt └── src ├── it ├── resources │ └── regression │ │ └── smtlib │ │ ├── parsing │ │ ├── eq_diamond100.smt2 │ │ └── eq_diamond50.smt2 │ │ └── solving │ │ ├── all │ │ ├── NEQ046_size3.smt2 │ │ ├── PEQ011_size5.smt2 │ │ ├── PEQ012_size3.smt2 │ │ ├── SEQ004_size5.smt2 │ │ ├── a20test0001.smt2 │ │ ├── array_free.smt2 │ │ ├── b159test0001.smt2 │ │ ├── bf7.smt2 │ │ ├── broken.smt2 │ │ ├── cl5_nebula_array_0001.fof.smt2 │ │ ├── define_fun1.smt2 │ │ ├── eq_diamond1.smt2 │ │ ├── eq_diamond2.smt2 │ │ ├── eq_diamond3.smt2 │ │ └── quaternion_ds1_symm_0818.fof.smt2 │ │ ├── cvc4 │ │ ├── define_fun2.smt2 │ │ ├── define_fun2.smt2.want │ │ ├── define_fun3.smt2 │ │ └── define_fun3.smt2.want │ │ └── z3 │ │ ├── NEQ004_size5.smt2 │ │ ├── NEQ006_size4.smt2 │ │ ├── NEQ016_size7.smt2 │ │ ├── PEQ002_size5.smt2 │ │ ├── PEQ010_size7.smt2 │ │ └── cmu-model15.smt2 └── scala │ └── smtlib │ └── it │ ├── ProcessInterpreterTests.scala │ ├── SmtLibRunnerTests.scala │ ├── TestHelpers.scala │ └── TheoriesBuilderTests.scala ├── main └── scala │ └── smtlib │ ├── Interpreter.scala │ ├── common │ ├── Binary.scala │ ├── Hexadecimal.scala │ ├── LinkedList.scala │ └── Positions.scala │ ├── drivers │ ├── Main.scala │ ├── SemanticsDriver.scala │ ├── cvc4 │ │ └── SemanticsDecorator.scala │ └── package.scala │ ├── extensions │ └── tip │ │ ├── Parser.scala │ │ └── Trees.scala │ ├── interpreters │ ├── CVC4Interpreter.scala │ ├── ProcessInterpreter.scala │ └── Z3Interpreter.scala │ ├── lexer │ ├── Lexer.scala │ └── Tokens.scala │ ├── parser │ ├── Parser.scala │ ├── ParserCommands.scala │ ├── ParserCommandsResponses.scala │ ├── ParserCommon.scala │ └── ParserTerms.scala │ ├── printer │ ├── Printer.scala │ ├── PrintingContext.scala │ ├── RecursivePrinter.scala │ └── TailPrinter.scala │ ├── theories │ ├── ArraysEx.scala │ ├── Constructors.scala │ ├── Core.scala │ ├── FixedSizeBitVectors.scala │ ├── Ints.scala │ ├── Operations.scala │ ├── Reals.scala │ ├── experimental │ │ ├── Sets.scala │ │ └── Strings.scala │ └── package.scala │ └── trees │ ├── TermsOps.scala │ ├── TreeTransformer.scala │ ├── Trees.scala │ └── TreesOps.scala └── test └── scala └── smtlib ├── common ├── BinaryTests.scala ├── HexadecimalTests.scala ├── LinkedListTests.scala └── SynchronousPipedReader.scala ├── lexer └── LexerTests.scala ├── parser ├── CommandsParserTests.scala ├── CommandsResponsesParserTests.scala ├── ParserTests.scala ├── TermsOpsTests.scala └── TreesOpsTests.scala ├── printer └── PrinterTests.scala └── theories ├── ArraysExTests.scala ├── CoreTests.scala ├── FixedSizeBitVectorsTests.scala ├── IntsTests.scala ├── RealsTests.scala └── experimental ├── SetsTests.scala └── StringsTests.scala /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | 3 | .*.swp 4 | *~ 5 | 6 | .metals 7 | -------------------------------------------------------------------------------- /.larabot.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/.larabot.conf -------------------------------------------------------------------------------- /.sbtopts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/.sbtopts -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /IDEAS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/IDEAS.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/README.md -------------------------------------------------------------------------------- /ROADMAP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/ROADMAP.md -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/TODO.md -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.6.2 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/parsing/eq_diamond100.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/parsing/eq_diamond100.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/parsing/eq_diamond50.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/parsing/eq_diamond50.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/all/NEQ046_size3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/all/NEQ046_size3.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/all/PEQ011_size5.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/all/PEQ011_size5.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/all/PEQ012_size3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/all/PEQ012_size3.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/all/SEQ004_size5.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/all/SEQ004_size5.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/all/a20test0001.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/all/a20test0001.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/all/array_free.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/all/array_free.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/all/b159test0001.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/all/b159test0001.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/all/bf7.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/all/bf7.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/all/broken.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/all/broken.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/all/cl5_nebula_array_0001.fof.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/all/cl5_nebula_array_0001.fof.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/all/define_fun1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/all/define_fun1.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/all/eq_diamond1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/all/eq_diamond1.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/all/eq_diamond2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/all/eq_diamond2.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/all/eq_diamond3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/all/eq_diamond3.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/all/quaternion_ds1_symm_0818.fof.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/all/quaternion_ds1_symm_0818.fof.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/cvc4/define_fun2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/cvc4/define_fun2.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/cvc4/define_fun2.smt2.want: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/cvc4/define_fun2.smt2.want -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/cvc4/define_fun3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/cvc4/define_fun3.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/cvc4/define_fun3.smt2.want: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/cvc4/define_fun3.smt2.want -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/z3/NEQ004_size5.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/z3/NEQ004_size5.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/z3/NEQ006_size4.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/z3/NEQ006_size4.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/z3/NEQ016_size7.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/z3/NEQ016_size7.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/z3/PEQ002_size5.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/z3/PEQ002_size5.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/z3/PEQ010_size7.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/z3/PEQ010_size7.smt2 -------------------------------------------------------------------------------- /src/it/resources/regression/smtlib/solving/z3/cmu-model15.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/resources/regression/smtlib/solving/z3/cmu-model15.smt2 -------------------------------------------------------------------------------- /src/it/scala/smtlib/it/ProcessInterpreterTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/scala/smtlib/it/ProcessInterpreterTests.scala -------------------------------------------------------------------------------- /src/it/scala/smtlib/it/SmtLibRunnerTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/scala/smtlib/it/SmtLibRunnerTests.scala -------------------------------------------------------------------------------- /src/it/scala/smtlib/it/TestHelpers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/scala/smtlib/it/TestHelpers.scala -------------------------------------------------------------------------------- /src/it/scala/smtlib/it/TheoriesBuilderTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/it/scala/smtlib/it/TheoriesBuilderTests.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/Interpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/Interpreter.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/common/Binary.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/common/Binary.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/common/Hexadecimal.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/common/Hexadecimal.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/common/LinkedList.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/common/LinkedList.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/common/Positions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/common/Positions.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/drivers/Main.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/drivers/Main.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/drivers/SemanticsDriver.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/drivers/SemanticsDriver.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/drivers/cvc4/SemanticsDecorator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/drivers/cvc4/SemanticsDecorator.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/drivers/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/drivers/package.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/extensions/tip/Parser.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/extensions/tip/Parser.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/extensions/tip/Trees.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/extensions/tip/Trees.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/interpreters/CVC4Interpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/interpreters/CVC4Interpreter.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/interpreters/ProcessInterpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/interpreters/ProcessInterpreter.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/interpreters/Z3Interpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/interpreters/Z3Interpreter.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/lexer/Lexer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/lexer/Lexer.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/lexer/Tokens.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/lexer/Tokens.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/parser/Parser.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/parser/Parser.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/parser/ParserCommands.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/parser/ParserCommands.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/parser/ParserCommandsResponses.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/parser/ParserCommandsResponses.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/parser/ParserCommon.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/parser/ParserCommon.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/parser/ParserTerms.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/parser/ParserTerms.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/printer/Printer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/printer/Printer.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/printer/PrintingContext.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/printer/PrintingContext.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/printer/RecursivePrinter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/printer/RecursivePrinter.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/printer/TailPrinter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/printer/TailPrinter.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/theories/ArraysEx.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/theories/ArraysEx.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/theories/Constructors.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/theories/Constructors.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/theories/Core.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/theories/Core.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/theories/FixedSizeBitVectors.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/theories/FixedSizeBitVectors.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/theories/Ints.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/theories/Ints.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/theories/Operations.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/theories/Operations.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/theories/Reals.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/theories/Reals.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/theories/experimental/Sets.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/theories/experimental/Sets.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/theories/experimental/Strings.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/theories/experimental/Strings.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/theories/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/theories/package.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/trees/TermsOps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/trees/TermsOps.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/trees/TreeTransformer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/trees/TreeTransformer.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/trees/Trees.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/trees/Trees.scala -------------------------------------------------------------------------------- /src/main/scala/smtlib/trees/TreesOps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/main/scala/smtlib/trees/TreesOps.scala -------------------------------------------------------------------------------- /src/test/scala/smtlib/common/BinaryTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/test/scala/smtlib/common/BinaryTests.scala -------------------------------------------------------------------------------- /src/test/scala/smtlib/common/HexadecimalTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/test/scala/smtlib/common/HexadecimalTests.scala -------------------------------------------------------------------------------- /src/test/scala/smtlib/common/LinkedListTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/test/scala/smtlib/common/LinkedListTests.scala -------------------------------------------------------------------------------- /src/test/scala/smtlib/common/SynchronousPipedReader.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/test/scala/smtlib/common/SynchronousPipedReader.scala -------------------------------------------------------------------------------- /src/test/scala/smtlib/lexer/LexerTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/test/scala/smtlib/lexer/LexerTests.scala -------------------------------------------------------------------------------- /src/test/scala/smtlib/parser/CommandsParserTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/test/scala/smtlib/parser/CommandsParserTests.scala -------------------------------------------------------------------------------- /src/test/scala/smtlib/parser/CommandsResponsesParserTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/test/scala/smtlib/parser/CommandsResponsesParserTests.scala -------------------------------------------------------------------------------- /src/test/scala/smtlib/parser/ParserTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/test/scala/smtlib/parser/ParserTests.scala -------------------------------------------------------------------------------- /src/test/scala/smtlib/parser/TermsOpsTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/test/scala/smtlib/parser/TermsOpsTests.scala -------------------------------------------------------------------------------- /src/test/scala/smtlib/parser/TreesOpsTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/test/scala/smtlib/parser/TreesOpsTests.scala -------------------------------------------------------------------------------- /src/test/scala/smtlib/printer/PrinterTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/test/scala/smtlib/printer/PrinterTests.scala -------------------------------------------------------------------------------- /src/test/scala/smtlib/theories/ArraysExTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/test/scala/smtlib/theories/ArraysExTests.scala -------------------------------------------------------------------------------- /src/test/scala/smtlib/theories/CoreTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/test/scala/smtlib/theories/CoreTests.scala -------------------------------------------------------------------------------- /src/test/scala/smtlib/theories/FixedSizeBitVectorsTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/test/scala/smtlib/theories/FixedSizeBitVectorsTests.scala -------------------------------------------------------------------------------- /src/test/scala/smtlib/theories/IntsTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/test/scala/smtlib/theories/IntsTests.scala -------------------------------------------------------------------------------- /src/test/scala/smtlib/theories/RealsTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/test/scala/smtlib/theories/RealsTests.scala -------------------------------------------------------------------------------- /src/test/scala/smtlib/theories/experimental/SetsTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/test/scala/smtlib/theories/experimental/SetsTests.scala -------------------------------------------------------------------------------- /src/test/scala/smtlib/theories/experimental/StringsTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regb/scala-smtlib/HEAD/src/test/scala/smtlib/theories/experimental/StringsTests.scala --------------------------------------------------------------------------------