├── .gitattributes ├── .github └── workflows │ ├── build-and-run-tests.yml │ ├── release.yml │ └── run-long-tests.yml ├── .gitignore ├── COPYRIGHT_HEADER.txt ├── LICENSE ├── NOTICE ├── README.md ├── Requirements.md ├── detekt.yml ├── docs ├── advanced-usage.md ├── custom-expressions.md └── getting-started.md ├── examples ├── README.md ├── build.gradle.kts ├── settings.gradle.kts └── src │ └── main │ ├── java │ └── Sudoku.java │ └── kotlin │ ├── AdvancedExamples.kt │ ├── CustomExpressions.kt │ ├── GettingStartedExample.kt │ └── Sudoku.kt ├── gradle └── wrapper │ ├── gradle-wrapper.jar │ └── gradle-wrapper.properties ├── gradlew ├── gradlew.bat ├── ksmt-bitwuzla ├── bindings-native │ ├── CMakeLists.txt │ ├── bitwuzla_extension.c │ ├── bitwuzla_extension.h │ ├── bitwuzla_jni.cpp │ └── bitwuzla_jni.hpp ├── build.gradle.kts ├── dist │ ├── bitwuzla-linux64-1.0.zip │ ├── bitwuzla-osx-arm64-1.0.zip │ ├── bitwuzla-win64-1.0.zip │ └── build.md ├── ksmt-bitwuzla-core │ ├── build.gradle.kts │ └── src │ │ ├── main │ │ └── kotlin │ │ │ ├── io │ │ │ └── ksmt │ │ │ │ └── solver │ │ │ │ └── bitwuzla │ │ │ │ ├── BitUtils.kt │ │ │ │ ├── KBitwuzlaContext.kt │ │ │ │ ├── KBitwuzlaExprConverter.kt │ │ │ │ ├── KBitwuzlaExprInternalizer.kt │ │ │ │ ├── KBitwuzlaInternalizationAxioms.kt │ │ │ │ ├── KBitwuzlaModel.kt │ │ │ │ ├── KBitwuzlaNativeLibraryLoader.kt │ │ │ │ ├── KBitwuzlaSolver.kt │ │ │ │ ├── KBitwuzlaSolverConfiguration.kt │ │ │ │ └── KBitwuzlaUninterpretedSortValueContext.kt │ │ │ └── org │ │ │ └── ksmt │ │ │ └── solver │ │ │ └── bitwuzla │ │ │ └── bindings │ │ │ ├── ArrayValue.kt │ │ │ ├── BitwuzlaBVBase.kt │ │ │ ├── BitwuzlaKind.kt │ │ │ ├── BitwuzlaNativeException.kt │ │ │ ├── BitwuzlaOption.kt │ │ │ ├── BitwuzlaResult.kt │ │ │ ├── BitwuzlaRoundingMode.kt │ │ │ ├── FpValue.kt │ │ │ ├── FunValue.kt │ │ │ └── Native.kt │ │ └── test │ │ └── kotlin │ │ └── io │ │ └── ksmt │ │ └── solver │ │ └── bitwuzla │ │ ├── ConverterTest.kt │ │ ├── Example.kt │ │ └── SolverTest.kt └── ksmt-bitwuzla-native │ ├── build.gradle.kts │ └── src │ ├── linux-x64 │ └── kotlin │ │ └── io │ │ └── ksmt │ │ └── solver │ │ └── bitwuzla │ │ └── KBitwuzlaNativeLibraryLoaderLinuxX64.kt │ ├── mac-arm │ └── kotlin │ │ └── io │ │ └── ksmt │ │ └── solver │ │ └── bitwuzla │ │ └── KBitwuzlaNativeLibraryLoaderMacArm.kt │ └── windows-x64 │ └── kotlin │ └── io │ └── ksmt │ └── solver │ └── bitwuzla │ └── KBitwuzlaNativeLibraryLoaderWindowsX64.kt ├── ksmt-core ├── build.gradle.kts └── src │ ├── main │ └── kotlin │ │ └── io │ │ └── ksmt │ │ ├── KAst.kt │ │ ├── KContext.kt │ │ ├── cache │ │ ├── AstCache.kt │ │ ├── AstInterner.kt │ │ ├── CacheRemoveHandler.kt │ │ ├── CacheUtils.kt │ │ ├── InternerUtils.kt │ │ ├── KInternedObject.kt │ │ └── weak │ │ │ ├── ConcurrentWeakCache.kt │ │ │ ├── ConcurrentWeakHashMapCache.kt │ │ │ ├── ConcurrentWeakInterner.kt │ │ │ ├── WeakCache.kt │ │ │ ├── WeakCacheKey.kt │ │ │ ├── WeakHashMapCache.kt │ │ │ ├── WeakInterner.kt │ │ │ └── WeakInternerKey.kt │ │ ├── decl │ │ ├── Arith.kt │ │ ├── Array.kt │ │ ├── Bool.kt │ │ ├── Integer.kt │ │ ├── KBitVecExprsDecl.kt │ │ ├── KConstDecl.kt │ │ ├── KDecl.kt │ │ ├── KDeclVisitor.kt │ │ ├── KFloatingPointDecl.kt │ │ ├── KFpRoundingModeDecl.kt │ │ ├── KFuncDecl.kt │ │ ├── KParameterizedFuncDecl.kt │ │ ├── KUninterpretedDecl.kt │ │ ├── KUninterpretedSortValueDecl.kt │ │ └── Real.kt │ │ ├── expr │ │ ├── Arith.kt │ │ ├── Array.kt │ │ ├── Bool.kt │ │ ├── Integer.kt │ │ ├── KApp.kt │ │ ├── KBitVecExprs.kt │ │ ├── KExpr.kt │ │ ├── KFloatingPointExpr.kt │ │ ├── KFpRoundingMode.kt │ │ ├── KInterpretedValue.kt │ │ ├── KQuantifier.kt │ │ ├── KUninterpretedSortValue.kt │ │ ├── Quantifier.kt │ │ ├── Real.kt │ │ ├── printer │ │ │ ├── ExpressionPrinter.kt │ │ │ ├── ExpressionPrinterWithLetBindings.kt │ │ │ └── PrinterParams.kt │ │ ├── rewrite │ │ │ ├── KExprSubstitutor.kt │ │ │ ├── KExprUninterpretedDeclCollector.kt │ │ │ └── simplify │ │ │ │ ├── ArithSimplification.kt │ │ │ │ ├── ArithSimplificationRules.kt │ │ │ │ ├── ArraySimplification.kt │ │ │ │ ├── ArraySimplificationRules.kt │ │ │ │ ├── BoolSimplification.kt │ │ │ │ ├── BoolSimplificationRules.kt │ │ │ │ ├── BvSimplification.kt │ │ │ │ ├── BvSimplificationRules.kt │ │ │ │ ├── ExpressionOrdering.kt │ │ │ │ ├── FpSimplification.kt │ │ │ │ ├── FpSimplificationRules.kt │ │ │ │ ├── KArithExprSimplifier.kt │ │ │ │ ├── KArrayExprSimplifier.kt │ │ │ │ ├── KBoolExprSimplifier.kt │ │ │ │ ├── KBvExprSimplifier.kt │ │ │ │ ├── KExprSimplifier.kt │ │ │ │ ├── KExprSimplifierBase.kt │ │ │ │ ├── KFpExprSimplifier.kt │ │ │ │ ├── Rules.md │ │ │ │ └── SimplifierUtils.kt │ │ └── transformer │ │ │ ├── KNonRecursiveTransformer.kt │ │ │ ├── KNonRecursiveTransformerBase.kt │ │ │ ├── KNonRecursiveVisitor.kt │ │ │ ├── KNonRecursiveVisitorBase.kt │ │ │ ├── KTransformer.kt │ │ │ ├── KTransformerBase.kt │ │ │ └── KVisitor.kt │ │ ├── parser │ │ ├── KSMTLibParseException.kt │ │ └── KSMTLibParser.kt │ │ ├── solver │ │ ├── KModel.kt │ │ ├── KSolver.kt │ │ ├── KSolverConfiguration.kt │ │ ├── KSolverException.kt │ │ ├── KSolverStatus.kt │ │ ├── KSolverUniversalConfigurationBuilder.kt │ │ ├── KSolverUnsupportedFeatureException.kt │ │ ├── KSolverUnsupportedParameterException.kt │ │ ├── KTheory.kt │ │ ├── model │ │ │ ├── KFuncInterp.kt │ │ │ ├── KFuncInterpEntry.kt │ │ │ ├── KModelEvaluator.kt │ │ │ ├── KModelImpl.kt │ │ │ └── KNativeSolverModel.kt │ │ └── util │ │ │ ├── KExprConverterBase.kt │ │ │ ├── KExprConverterUtils.kt │ │ │ ├── KExprIntInternalizerBase.kt │ │ │ ├── KExprInternalizerBase.kt │ │ │ ├── KExprInternalizerUtils.kt │ │ │ ├── KExprLongConverterBase.kt │ │ │ └── KExprLongInternalizerBase.kt │ │ ├── sort │ │ ├── KSort.kt │ │ └── KSortVisitor.kt │ │ └── utils │ │ ├── ArithUtils.kt │ │ ├── BvUtils.kt │ │ ├── ContextUtils.kt │ │ ├── DefaultValueSampler.kt │ │ ├── FpUtils.kt │ │ ├── KExprTheoryRequirement.kt │ │ ├── Utils.kt │ │ └── library │ │ ├── NativeLibraryLoader.kt │ │ ├── NativeLibraryLoaderArm.kt │ │ ├── NativeLibraryLoaderLinux.kt │ │ ├── NativeLibraryLoaderMac.kt │ │ ├── NativeLibraryLoaderUtils.kt │ │ ├── NativeLibraryLoaderWindows.kt │ │ └── NativeLibraryLoaderX64.kt │ └── test │ └── kotlin │ └── io │ └── ksmt │ ├── ArithSimplifyTest.kt │ ├── ArraySimplifyTest.kt │ ├── BoolSimplifyTest.kt │ ├── BvEvalTest.kt │ ├── BvSimplifyTest.kt │ ├── CustomBvEvalTest.kt │ ├── ExpressionEvalTest.kt │ ├── ExpressionSimplifyTest.kt │ ├── ExpressionSortTest.kt │ ├── ExpressionVisitorTest.kt │ ├── FpEvalTest.kt │ ├── ModelEvaluationTest.kt │ ├── NestedTransformationTest.kt │ ├── SimplifierTest.kt │ └── expr │ └── rewrite │ └── simplify │ └── ExpressionOrderingTest.kt ├── ksmt-cvc5 ├── build.gradle.kts ├── dist │ ├── build.md │ ├── cvc5-1.3.0.jar │ ├── cvc5-native-linux-x86-64-1.3.0.zip │ ├── cvc5-native-osx-arm64-1.3.0.zip │ └── cvc5-native-win-x86-64-1.3.0.zip ├── ksmt-cvc5-core │ ├── build.gradle.kts │ └── src │ │ ├── main │ │ └── kotlin │ │ │ └── io │ │ │ └── ksmt │ │ │ └── solver │ │ │ └── cvc5 │ │ │ ├── KCvc5Context.kt │ │ │ ├── KCvc5DeclInternalizer.kt │ │ │ ├── KCvc5ExprConverter.kt │ │ │ ├── KCvc5ExprInternalizer.kt │ │ │ ├── KCvc5Maps.kt │ │ │ ├── KCvc5Model.kt │ │ │ ├── KCvc5NativeLibraryLoader.kt │ │ │ ├── KCvc5Solver.kt │ │ │ ├── KCvc5SolverConfiguration.kt │ │ │ ├── KCvc5SortInternalizer.kt │ │ │ └── KCvc5TermManager.kt │ │ └── test │ │ └── kotlin │ │ └── io │ │ └── ksmt │ │ └── solver │ │ └── cvc5 │ │ ├── IncrementalApiTest.kt │ │ ├── LogicTest.kt │ │ └── UninterpretedSortValueTest.kt └── ksmt-cvc5-native │ ├── build.gradle.kts │ └── src │ ├── linux-x64 │ └── kotlin │ │ └── io │ │ └── ksmt │ │ └── solver │ │ └── cvc5 │ │ └── KCvc5NativeLibraryLoaderLinuxX64.kt │ ├── mac-arm │ └── kotlin │ │ └── io │ │ └── ksmt │ │ └── solver │ │ └── cvc5 │ │ └── KCvc5NativeLibraryLoaderMacArm.kt │ └── windows-x64 │ └── kotlin │ └── io │ └── ksmt │ └── solver │ └── cvc5 │ └── KCvc5NativeLibraryLoaderWindowsX64.kt ├── ksmt-runner ├── build.gradle.kts ├── solver-generator │ ├── build.gradle.kts │ └── src │ │ └── main │ │ └── kotlin │ │ └── SolverUtilsGenerator.kt └── src │ ├── main │ ├── kotlin │ │ └── io │ │ │ └── ksmt │ │ │ ├── runner │ │ │ ├── core │ │ │ │ ├── ChildProcessBase.kt │ │ │ │ ├── KsmtRdCoroutineScope.kt │ │ │ │ ├── KsmtWorkerArgs.kt │ │ │ │ ├── KsmtWorkerBase.kt │ │ │ │ ├── KsmtWorkerFactory.kt │ │ │ │ ├── KsmtWorkerPool.kt │ │ │ │ ├── KsmtWorkerSession.kt │ │ │ │ ├── Lifetimed.kt │ │ │ │ ├── LoggerFactory.kt │ │ │ │ ├── RdServer.kt │ │ │ │ ├── RdServerProcess.kt │ │ │ │ ├── Utils.kt │ │ │ │ ├── WorkerInitializationFailedException.kt │ │ │ │ └── process │ │ │ │ │ ├── DebugThreadBasedProcessStub.kt │ │ │ │ │ ├── NormalProcess.kt │ │ │ │ │ └── ProcessWrapper.kt │ │ │ ├── generated │ │ │ │ ├── SolverUtils.kt │ │ │ │ └── models │ │ │ │ │ ├── SolverProtocolModel.Generated.kt │ │ │ │ │ ├── SolverProtocolRoot.Generated.kt │ │ │ │ │ ├── SyncProtocolModel.Generated.kt │ │ │ │ │ ├── SyncProtocolRoot.Generated.kt │ │ │ │ │ ├── TestProtocolModel.Generated.kt │ │ │ │ │ └── TestProtocolRoot.Generated.kt │ │ │ └── serializer │ │ │ │ ├── AstDeserializer.kt │ │ │ │ ├── AstKind.kt │ │ │ │ ├── AstSerializationCtx.kt │ │ │ │ ├── AstSerializer.kt │ │ │ │ ├── ExprKind.kt │ │ │ │ ├── ExprKindMapper.kt │ │ │ │ ├── SerializerUtils.kt │ │ │ │ └── SortKind.kt │ │ │ └── solver │ │ │ ├── async │ │ │ └── KAsyncSolver.kt │ │ │ ├── portfolio │ │ │ ├── KPortfolioSolver.kt │ │ │ └── KPortfolioSolverManager.kt │ │ │ └── runner │ │ │ ├── KSolverExecutorException.kt │ │ │ ├── KSolverRunner.kt │ │ │ ├── KSolverRunnerExecutor.kt │ │ │ ├── KSolverRunnerManager.kt │ │ │ ├── KSolverRunnerUniversalConfigurator.kt │ │ │ ├── KSolverState.kt │ │ │ ├── KSolverWorker.kt │ │ │ └── KSolverWorkerProcess.kt │ └── rdgen │ │ └── io │ │ └── ksmt │ │ └── runner │ │ └── models │ │ ├── SolverProtocolModel.kt │ │ ├── SyncProtocolModel.kt │ │ ├── TestProtocolModel.kt │ │ └── Utils.kt │ └── test │ └── kotlin │ └── io │ └── ksmt │ └── solver │ └── runner │ ├── CustomSolverTest.kt │ ├── PortfolioSolverTest.kt │ ├── SolverRunnerTest.kt │ └── WorkerDebugTest.kt ├── ksmt-symfpu ├── build.gradle.kts └── src │ ├── main │ └── kotlin │ │ └── io │ │ └── ksmt │ │ └── symfpu │ │ ├── operations │ │ ├── Add.kt │ │ ├── Compare.kt │ │ ├── Convert.kt │ │ ├── Divide.kt │ │ ├── FusedMultiplyAdd.kt │ │ ├── Multiply.kt │ │ ├── OptionalPackedFp.kt │ │ ├── Packed.kt │ │ ├── Predicates.kt │ │ ├── Remainder.kt │ │ ├── Round.kt │ │ ├── Sqrt.kt │ │ ├── UnpackedFp.kt │ │ └── Utils.kt │ │ └── solver │ │ ├── FpToBvTransformer.kt │ │ ├── KSymFpuModel.kt │ │ └── KSymFpuSolver.kt │ └── test │ └── kotlin │ └── io │ └── ksmt │ └── symfpu │ ├── ArraySymFpuTest.kt │ ├── FpToBvTransformerTest.kt │ └── ModelTest.kt ├── ksmt-test ├── build.gradle.kts └── src │ ├── jmh │ └── kotlin │ │ └── io │ │ └── ksmt │ │ └── benchmark │ │ ├── ExpressionCreationBenchmark.kt │ │ └── ExpressionTransformationBenchmark.kt │ ├── main │ └── kotlin │ │ └── io │ │ └── ksmt │ │ └── test │ │ ├── RandomExpressionGenerator.kt │ │ ├── SmtLibParseError.kt │ │ ├── TestRunner.kt │ │ ├── TestWorker.kt │ │ └── TestWorkerProcess.kt │ └── test │ └── kotlin │ └── io │ └── ksmt │ └── test │ ├── CheckWithAssumptionsTest.kt │ ├── ContextAstInterningTest.kt │ ├── ModelGenerationTest.kt │ ├── MultiIndexedArrayTest.kt │ ├── TestBvOverflowChecks.kt │ ├── UninterpretedSortValuesTest.kt │ └── benchmarks │ ├── BenchmarksBasedTest.kt │ ├── BitwuzlaBenchmarksBasedTest.kt │ ├── ContextMemoryUsageBenchmarksBasedTest.kt │ ├── Cvc5BenchmarksBasedTest.kt │ ├── FpBenchmarks.kt │ ├── PortfolioBenchmarksBasedTest.kt │ ├── SerializerBenchmarksBasedTest.kt │ ├── SimplifierBenchmarksBasedTest.kt │ ├── SymFpuBenchmarksBasedTest.kt │ ├── YicesBenchmarksBasedTest.kt │ ├── Z3BenchmarksBasedTest.kt │ └── Z3ConverterBenchmark.kt ├── ksmt-yices ├── bindings-native │ ├── build.sh │ ├── macos_build.sh │ └── yices-bindings-patch.patch ├── build.gradle.kts ├── dist │ ├── build.md │ ├── com.sri.yices.jar │ ├── macos │ │ ├── build.sh │ │ └── libgmp_build.sh │ ├── yices-native-linux-x86-64-0.0.zip │ ├── yices-native-osx-arm64-0.0.zip │ └── yices-native-win32-x86-64-0.0.zip ├── ksmt-yices-core │ ├── build.gradle.kts │ └── src │ │ ├── main │ │ └── kotlin │ │ │ └── io │ │ │ └── ksmt │ │ │ └── solver │ │ │ └── yices │ │ │ ├── KYicesContext.kt │ │ │ ├── KYicesDeclSortInternalizer.kt │ │ │ ├── KYicesExprConverter.kt │ │ │ ├── KYicesExprInternalizer.kt │ │ │ ├── KYicesModel.kt │ │ │ ├── KYicesNativeLibraryLoader.kt │ │ │ ├── KYicesSolver.kt │ │ │ ├── KYicesSolverConfiguration.kt │ │ │ ├── KYicesSortInternalizer.kt │ │ │ ├── TermUtils.kt │ │ │ └── Util.kt │ │ └── test │ │ └── kotlin │ │ └── io │ │ └── ksmt │ │ └── solver │ │ └── yices │ │ ├── LogicTest.kt │ │ └── SolverTest.kt └── ksmt-yices-native │ ├── build.gradle.kts │ └── src │ ├── linux-x64 │ └── kotlin │ │ └── io │ │ └── ksmt │ │ └── solver │ │ └── yices │ │ └── KYicesNativeLibraryLoaderLinuxX64.kt │ ├── mac-arm │ └── kotlin │ │ └── io │ │ └── ksmt │ │ └── solver │ │ └── yices │ │ └── KYicesNativeLibraryLoaderMacArm.kt │ └── windows-x64 │ └── kotlin │ └── io │ └── ksmt │ └── solver │ └── yices │ └── KYicesNativeLibraryLoaderWindowsX64.kt ├── ksmt-z3 ├── build.gradle.kts ├── dist │ └── z3-native-linux-x86-64-4.15.3.zip ├── ksmt-z3-core │ ├── build.gradle.kts │ └── src │ │ ├── main │ │ └── kotlin │ │ │ ├── com │ │ │ └── microsoft │ │ │ │ └── z3 │ │ │ │ ├── UnsafeApi.kt │ │ │ │ └── Util.kt │ │ │ └── io │ │ │ └── ksmt │ │ │ └── solver │ │ │ └── z3 │ │ │ ├── ExpressionUninterpretedValuesTracker.kt │ │ │ ├── KZ3Context.kt │ │ │ ├── KZ3DeclInternalizer.kt │ │ │ ├── KZ3ExprConverter.kt │ │ │ ├── KZ3ExprInternalizer.kt │ │ │ ├── KZ3Model.kt │ │ │ ├── KZ3NativeLibraryLoader.kt │ │ │ ├── KZ3SMTLibParser.kt │ │ │ ├── KZ3Solver.kt │ │ │ ├── KZ3SolverConfiguration.kt │ │ │ └── KZ3SortInternalizer.kt │ │ └── test │ │ └── kotlin │ │ └── io │ │ └── ksmt │ │ └── solver │ │ └── z3 │ │ ├── ArrayTest.kt │ │ ├── BitVecTest.kt │ │ ├── Example.kt │ │ ├── FloatingPointTest.kt │ │ ├── IncrementalApiTest.kt │ │ ├── LogicTest.kt │ │ ├── ParserTest.kt │ │ └── UninterpretedSortValueTest.kt └── ksmt-z3-native │ ├── build.gradle.kts │ └── src │ ├── linux-arm │ └── kotlin │ │ └── io │ │ └── ksmt │ │ └── solver │ │ └── z3 │ │ └── KZ3NativeLibraryLoaderLinuxArm.kt │ ├── linux-x64 │ └── kotlin │ │ └── io │ │ └── ksmt │ │ └── solver │ │ └── z3 │ │ └── KZ3NativeLibraryLoaderLinuxX64.kt │ ├── mac-arm │ └── kotlin │ │ └── io │ │ └── ksmt │ │ └── solver │ │ └── z3 │ │ └── KZ3NativeLibraryLoaderMacArm.kt │ ├── mac-x64 │ └── kotlin │ │ └── io │ │ └── ksmt │ │ └── solver │ │ └── z3 │ │ └── KZ3NativeLibraryLoaderMacX64.kt │ └── windows-x64 │ └── kotlin │ └── io │ └── ksmt │ └── solver │ └── z3 │ └── KZ3NativeLibraryLoaderWindowsX64.kt ├── settings.gradle.kts └── version.properties /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/workflows/build-and-run-tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/.github/workflows/build-and-run-tests.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.github/workflows/run-long-tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/.github/workflows/run-long-tests.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/.gitignore -------------------------------------------------------------------------------- /COPYRIGHT_HEADER.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/COPYRIGHT_HEADER.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/LICENSE -------------------------------------------------------------------------------- /NOTICE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/NOTICE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/README.md -------------------------------------------------------------------------------- /Requirements.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/Requirements.md -------------------------------------------------------------------------------- /detekt.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/detekt.yml -------------------------------------------------------------------------------- /docs/advanced-usage.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/docs/advanced-usage.md -------------------------------------------------------------------------------- /docs/custom-expressions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/docs/custom-expressions.md -------------------------------------------------------------------------------- /docs/getting-started.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/docs/getting-started.md -------------------------------------------------------------------------------- /examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/examples/README.md -------------------------------------------------------------------------------- /examples/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/examples/build.gradle.kts -------------------------------------------------------------------------------- /examples/settings.gradle.kts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/src/main/java/Sudoku.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/examples/src/main/java/Sudoku.java -------------------------------------------------------------------------------- /examples/src/main/kotlin/AdvancedExamples.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/examples/src/main/kotlin/AdvancedExamples.kt -------------------------------------------------------------------------------- /examples/src/main/kotlin/CustomExpressions.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/examples/src/main/kotlin/CustomExpressions.kt -------------------------------------------------------------------------------- /examples/src/main/kotlin/GettingStartedExample.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/examples/src/main/kotlin/GettingStartedExample.kt -------------------------------------------------------------------------------- /examples/src/main/kotlin/Sudoku.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/examples/src/main/kotlin/Sudoku.kt -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/gradlew -------------------------------------------------------------------------------- /gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/gradlew.bat -------------------------------------------------------------------------------- /ksmt-bitwuzla/bindings-native/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/bindings-native/CMakeLists.txt -------------------------------------------------------------------------------- /ksmt-bitwuzla/bindings-native/bitwuzla_extension.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/bindings-native/bitwuzla_extension.c -------------------------------------------------------------------------------- /ksmt-bitwuzla/bindings-native/bitwuzla_extension.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/bindings-native/bitwuzla_extension.h -------------------------------------------------------------------------------- /ksmt-bitwuzla/bindings-native/bitwuzla_jni.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/bindings-native/bitwuzla_jni.cpp -------------------------------------------------------------------------------- /ksmt-bitwuzla/bindings-native/bitwuzla_jni.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/bindings-native/bitwuzla_jni.hpp -------------------------------------------------------------------------------- /ksmt-bitwuzla/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/build.gradle.kts -------------------------------------------------------------------------------- /ksmt-bitwuzla/dist/bitwuzla-linux64-1.0.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/dist/bitwuzla-linux64-1.0.zip -------------------------------------------------------------------------------- /ksmt-bitwuzla/dist/bitwuzla-osx-arm64-1.0.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/dist/bitwuzla-osx-arm64-1.0.zip -------------------------------------------------------------------------------- /ksmt-bitwuzla/dist/bitwuzla-win64-1.0.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/dist/bitwuzla-win64-1.0.zip -------------------------------------------------------------------------------- /ksmt-bitwuzla/dist/build.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/dist/build.md -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/build.gradle.kts -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/BitUtils.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/BitUtils.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaContext.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaContext.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaExprConverter.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaExprConverter.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaExprInternalizer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaExprInternalizer.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaInternalizationAxioms.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaInternalizationAxioms.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaModel.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaModel.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaNativeLibraryLoader.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaNativeLibraryLoader.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaSolver.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaSolver.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaSolverConfiguration.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaSolverConfiguration.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaUninterpretedSortValueContext.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaUninterpretedSortValueContext.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/ArrayValue.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/ArrayValue.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/BitwuzlaBVBase.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/BitwuzlaBVBase.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/BitwuzlaKind.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/BitwuzlaKind.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/BitwuzlaNativeException.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/BitwuzlaNativeException.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/BitwuzlaOption.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/BitwuzlaOption.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/BitwuzlaResult.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/BitwuzlaResult.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/BitwuzlaRoundingMode.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/BitwuzlaRoundingMode.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/FpValue.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/FpValue.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/FunValue.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/FunValue.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/Native.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/org/ksmt/solver/bitwuzla/bindings/Native.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/test/kotlin/io/ksmt/solver/bitwuzla/ConverterTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/test/kotlin/io/ksmt/solver/bitwuzla/ConverterTest.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/test/kotlin/io/ksmt/solver/bitwuzla/Example.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/test/kotlin/io/ksmt/solver/bitwuzla/Example.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-core/src/test/kotlin/io/ksmt/solver/bitwuzla/SolverTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-core/src/test/kotlin/io/ksmt/solver/bitwuzla/SolverTest.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-native/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-native/build.gradle.kts -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-native/src/linux-x64/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaNativeLibraryLoaderLinuxX64.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-native/src/linux-x64/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaNativeLibraryLoaderLinuxX64.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-native/src/mac-arm/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaNativeLibraryLoaderMacArm.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-native/src/mac-arm/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaNativeLibraryLoaderMacArm.kt -------------------------------------------------------------------------------- /ksmt-bitwuzla/ksmt-bitwuzla-native/src/windows-x64/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaNativeLibraryLoaderWindowsX64.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-bitwuzla/ksmt-bitwuzla-native/src/windows-x64/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaNativeLibraryLoaderWindowsX64.kt -------------------------------------------------------------------------------- /ksmt-core/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/build.gradle.kts -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/KAst.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/KAst.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/KContext.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/KContext.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/cache/AstCache.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/cache/AstCache.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/cache/AstInterner.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/cache/AstInterner.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/cache/CacheRemoveHandler.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/cache/CacheRemoveHandler.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/cache/CacheUtils.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/cache/CacheUtils.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/cache/InternerUtils.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/cache/InternerUtils.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/cache/KInternedObject.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/cache/KInternedObject.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/cache/weak/ConcurrentWeakCache.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/cache/weak/ConcurrentWeakCache.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/cache/weak/ConcurrentWeakHashMapCache.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/cache/weak/ConcurrentWeakHashMapCache.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/cache/weak/ConcurrentWeakInterner.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/cache/weak/ConcurrentWeakInterner.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/cache/weak/WeakCache.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/cache/weak/WeakCache.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/cache/weak/WeakCacheKey.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/cache/weak/WeakCacheKey.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/cache/weak/WeakHashMapCache.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/cache/weak/WeakHashMapCache.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/cache/weak/WeakInterner.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/cache/weak/WeakInterner.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/cache/weak/WeakInternerKey.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/cache/weak/WeakInternerKey.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/decl/Arith.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/decl/Arith.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/decl/Array.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/decl/Array.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/decl/Bool.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/decl/Bool.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/decl/Integer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/decl/Integer.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/decl/KBitVecExprsDecl.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/decl/KBitVecExprsDecl.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/decl/KConstDecl.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/decl/KConstDecl.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/decl/KDecl.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/decl/KDecl.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/decl/KDeclVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/decl/KDeclVisitor.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/decl/KFloatingPointDecl.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/decl/KFloatingPointDecl.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/decl/KFpRoundingModeDecl.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/decl/KFpRoundingModeDecl.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/decl/KFuncDecl.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/decl/KFuncDecl.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/decl/KParameterizedFuncDecl.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/decl/KParameterizedFuncDecl.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/decl/KUninterpretedDecl.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/decl/KUninterpretedDecl.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/decl/KUninterpretedSortValueDecl.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/decl/KUninterpretedSortValueDecl.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/decl/Real.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/decl/Real.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/Arith.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/Arith.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/Array.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/Array.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/Bool.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/Bool.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/Integer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/Integer.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/KApp.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/KApp.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/KBitVecExprs.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/KBitVecExprs.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/KExpr.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/KExpr.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/KFloatingPointExpr.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/KFloatingPointExpr.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/KFpRoundingMode.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/KFpRoundingMode.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/KInterpretedValue.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/KInterpretedValue.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/KQuantifier.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/KQuantifier.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/KUninterpretedSortValue.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/KUninterpretedSortValue.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/Quantifier.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/Quantifier.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/Real.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/Real.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/printer/ExpressionPrinter.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/printer/ExpressionPrinter.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/printer/ExpressionPrinterWithLetBindings.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/printer/ExpressionPrinterWithLetBindings.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/printer/PrinterParams.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/printer/PrinterParams.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/KExprSubstitutor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/KExprSubstitutor.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/KExprUninterpretedDeclCollector.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/KExprUninterpretedDeclCollector.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/ArithSimplification.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/ArithSimplification.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/ArithSimplificationRules.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/ArithSimplificationRules.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/ArraySimplification.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/ArraySimplification.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/ArraySimplificationRules.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/ArraySimplificationRules.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/BoolSimplification.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/BoolSimplification.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/BoolSimplificationRules.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/BoolSimplificationRules.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/BvSimplification.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/BvSimplification.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/BvSimplificationRules.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/BvSimplificationRules.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/ExpressionOrdering.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/ExpressionOrdering.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/FpSimplification.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/FpSimplification.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/FpSimplificationRules.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/FpSimplificationRules.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/KArithExprSimplifier.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/KArithExprSimplifier.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/KArrayExprSimplifier.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/KArrayExprSimplifier.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/KBoolExprSimplifier.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/KBoolExprSimplifier.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/KBvExprSimplifier.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/KBvExprSimplifier.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/KExprSimplifier.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/KExprSimplifier.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/KExprSimplifierBase.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/KExprSimplifierBase.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/KFpExprSimplifier.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/KFpExprSimplifier.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/Rules.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/Rules.md -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/SimplifierUtils.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/SimplifierUtils.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/transformer/KNonRecursiveTransformer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/transformer/KNonRecursiveTransformer.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/transformer/KNonRecursiveTransformerBase.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/transformer/KNonRecursiveTransformerBase.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/transformer/KNonRecursiveVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/transformer/KNonRecursiveVisitor.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/transformer/KNonRecursiveVisitorBase.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/transformer/KNonRecursiveVisitorBase.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/transformer/KTransformer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/transformer/KTransformer.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/transformer/KTransformerBase.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/transformer/KTransformerBase.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/expr/transformer/KVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/expr/transformer/KVisitor.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/parser/KSMTLibParseException.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/parser/KSMTLibParseException.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/parser/KSMTLibParser.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/parser/KSMTLibParser.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/KModel.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/KModel.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/KSolver.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/KSolver.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/KSolverConfiguration.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/KSolverConfiguration.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/KSolverException.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/KSolverException.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/KSolverStatus.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/KSolverStatus.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/KSolverUniversalConfigurationBuilder.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/KSolverUniversalConfigurationBuilder.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/KSolverUnsupportedFeatureException.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/KSolverUnsupportedFeatureException.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/KSolverUnsupportedParameterException.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/KSolverUnsupportedParameterException.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/KTheory.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/KTheory.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/model/KFuncInterp.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/model/KFuncInterp.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/model/KFuncInterpEntry.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/model/KFuncInterpEntry.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/model/KModelEvaluator.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/model/KModelEvaluator.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/model/KModelImpl.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/model/KModelImpl.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/model/KNativeSolverModel.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/model/KNativeSolverModel.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/util/KExprConverterBase.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/util/KExprConverterBase.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/util/KExprConverterUtils.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/util/KExprConverterUtils.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/util/KExprIntInternalizerBase.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/util/KExprIntInternalizerBase.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/util/KExprInternalizerBase.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/util/KExprInternalizerBase.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/util/KExprInternalizerUtils.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/util/KExprInternalizerUtils.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/util/KExprLongConverterBase.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/util/KExprLongConverterBase.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/solver/util/KExprLongInternalizerBase.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/solver/util/KExprLongInternalizerBase.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/sort/KSort.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/sort/KSort.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/sort/KSortVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/sort/KSortVisitor.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/utils/ArithUtils.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/utils/ArithUtils.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/utils/BvUtils.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/utils/BvUtils.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/utils/ContextUtils.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/utils/ContextUtils.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/utils/DefaultValueSampler.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/utils/DefaultValueSampler.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/utils/FpUtils.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/utils/FpUtils.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/utils/KExprTheoryRequirement.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/utils/KExprTheoryRequirement.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/utils/Utils.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/utils/Utils.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/utils/library/NativeLibraryLoader.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/utils/library/NativeLibraryLoader.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/utils/library/NativeLibraryLoaderArm.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/utils/library/NativeLibraryLoaderArm.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/utils/library/NativeLibraryLoaderLinux.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/utils/library/NativeLibraryLoaderLinux.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/utils/library/NativeLibraryLoaderMac.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/utils/library/NativeLibraryLoaderMac.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/utils/library/NativeLibraryLoaderUtils.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/utils/library/NativeLibraryLoaderUtils.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/utils/library/NativeLibraryLoaderWindows.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/utils/library/NativeLibraryLoaderWindows.kt -------------------------------------------------------------------------------- /ksmt-core/src/main/kotlin/io/ksmt/utils/library/NativeLibraryLoaderX64.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/main/kotlin/io/ksmt/utils/library/NativeLibraryLoaderX64.kt -------------------------------------------------------------------------------- /ksmt-core/src/test/kotlin/io/ksmt/ArithSimplifyTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/test/kotlin/io/ksmt/ArithSimplifyTest.kt -------------------------------------------------------------------------------- /ksmt-core/src/test/kotlin/io/ksmt/ArraySimplifyTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/test/kotlin/io/ksmt/ArraySimplifyTest.kt -------------------------------------------------------------------------------- /ksmt-core/src/test/kotlin/io/ksmt/BoolSimplifyTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/test/kotlin/io/ksmt/BoolSimplifyTest.kt -------------------------------------------------------------------------------- /ksmt-core/src/test/kotlin/io/ksmt/BvEvalTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/test/kotlin/io/ksmt/BvEvalTest.kt -------------------------------------------------------------------------------- /ksmt-core/src/test/kotlin/io/ksmt/BvSimplifyTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/test/kotlin/io/ksmt/BvSimplifyTest.kt -------------------------------------------------------------------------------- /ksmt-core/src/test/kotlin/io/ksmt/CustomBvEvalTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/test/kotlin/io/ksmt/CustomBvEvalTest.kt -------------------------------------------------------------------------------- /ksmt-core/src/test/kotlin/io/ksmt/ExpressionEvalTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/test/kotlin/io/ksmt/ExpressionEvalTest.kt -------------------------------------------------------------------------------- /ksmt-core/src/test/kotlin/io/ksmt/ExpressionSimplifyTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/test/kotlin/io/ksmt/ExpressionSimplifyTest.kt -------------------------------------------------------------------------------- /ksmt-core/src/test/kotlin/io/ksmt/ExpressionSortTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/test/kotlin/io/ksmt/ExpressionSortTest.kt -------------------------------------------------------------------------------- /ksmt-core/src/test/kotlin/io/ksmt/ExpressionVisitorTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/test/kotlin/io/ksmt/ExpressionVisitorTest.kt -------------------------------------------------------------------------------- /ksmt-core/src/test/kotlin/io/ksmt/FpEvalTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/test/kotlin/io/ksmt/FpEvalTest.kt -------------------------------------------------------------------------------- /ksmt-core/src/test/kotlin/io/ksmt/ModelEvaluationTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/test/kotlin/io/ksmt/ModelEvaluationTest.kt -------------------------------------------------------------------------------- /ksmt-core/src/test/kotlin/io/ksmt/NestedTransformationTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/test/kotlin/io/ksmt/NestedTransformationTest.kt -------------------------------------------------------------------------------- /ksmt-core/src/test/kotlin/io/ksmt/SimplifierTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/test/kotlin/io/ksmt/SimplifierTest.kt -------------------------------------------------------------------------------- /ksmt-core/src/test/kotlin/io/ksmt/expr/rewrite/simplify/ExpressionOrderingTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-core/src/test/kotlin/io/ksmt/expr/rewrite/simplify/ExpressionOrderingTest.kt -------------------------------------------------------------------------------- /ksmt-cvc5/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/build.gradle.kts -------------------------------------------------------------------------------- /ksmt-cvc5/dist/build.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/dist/build.md -------------------------------------------------------------------------------- /ksmt-cvc5/dist/cvc5-1.3.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/dist/cvc5-1.3.0.jar -------------------------------------------------------------------------------- /ksmt-cvc5/dist/cvc5-native-linux-x86-64-1.3.0.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/dist/cvc5-native-linux-x86-64-1.3.0.zip -------------------------------------------------------------------------------- /ksmt-cvc5/dist/cvc5-native-osx-arm64-1.3.0.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/dist/cvc5-native-osx-arm64-1.3.0.zip -------------------------------------------------------------------------------- /ksmt-cvc5/dist/cvc5-native-win-x86-64-1.3.0.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/dist/cvc5-native-win-x86-64-1.3.0.zip -------------------------------------------------------------------------------- /ksmt-cvc5/ksmt-cvc5-core/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/ksmt-cvc5-core/build.gradle.kts -------------------------------------------------------------------------------- /ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5Context.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5Context.kt -------------------------------------------------------------------------------- /ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5DeclInternalizer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5DeclInternalizer.kt -------------------------------------------------------------------------------- /ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5ExprConverter.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5ExprConverter.kt -------------------------------------------------------------------------------- /ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5ExprInternalizer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5ExprInternalizer.kt -------------------------------------------------------------------------------- /ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5Maps.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5Maps.kt -------------------------------------------------------------------------------- /ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5Model.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5Model.kt -------------------------------------------------------------------------------- /ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5NativeLibraryLoader.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5NativeLibraryLoader.kt -------------------------------------------------------------------------------- /ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5Solver.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5Solver.kt -------------------------------------------------------------------------------- /ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5SolverConfiguration.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5SolverConfiguration.kt -------------------------------------------------------------------------------- /ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5SortInternalizer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5SortInternalizer.kt -------------------------------------------------------------------------------- /ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5TermManager.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/ksmt-cvc5-core/src/main/kotlin/io/ksmt/solver/cvc5/KCvc5TermManager.kt -------------------------------------------------------------------------------- /ksmt-cvc5/ksmt-cvc5-core/src/test/kotlin/io/ksmt/solver/cvc5/IncrementalApiTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/ksmt-cvc5-core/src/test/kotlin/io/ksmt/solver/cvc5/IncrementalApiTest.kt -------------------------------------------------------------------------------- /ksmt-cvc5/ksmt-cvc5-core/src/test/kotlin/io/ksmt/solver/cvc5/LogicTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/ksmt-cvc5-core/src/test/kotlin/io/ksmt/solver/cvc5/LogicTest.kt -------------------------------------------------------------------------------- /ksmt-cvc5/ksmt-cvc5-core/src/test/kotlin/io/ksmt/solver/cvc5/UninterpretedSortValueTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/ksmt-cvc5-core/src/test/kotlin/io/ksmt/solver/cvc5/UninterpretedSortValueTest.kt -------------------------------------------------------------------------------- /ksmt-cvc5/ksmt-cvc5-native/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/ksmt-cvc5-native/build.gradle.kts -------------------------------------------------------------------------------- /ksmt-cvc5/ksmt-cvc5-native/src/linux-x64/kotlin/io/ksmt/solver/cvc5/KCvc5NativeLibraryLoaderLinuxX64.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/ksmt-cvc5-native/src/linux-x64/kotlin/io/ksmt/solver/cvc5/KCvc5NativeLibraryLoaderLinuxX64.kt -------------------------------------------------------------------------------- /ksmt-cvc5/ksmt-cvc5-native/src/mac-arm/kotlin/io/ksmt/solver/cvc5/KCvc5NativeLibraryLoaderMacArm.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/ksmt-cvc5-native/src/mac-arm/kotlin/io/ksmt/solver/cvc5/KCvc5NativeLibraryLoaderMacArm.kt -------------------------------------------------------------------------------- /ksmt-cvc5/ksmt-cvc5-native/src/windows-x64/kotlin/io/ksmt/solver/cvc5/KCvc5NativeLibraryLoaderWindowsX64.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-cvc5/ksmt-cvc5-native/src/windows-x64/kotlin/io/ksmt/solver/cvc5/KCvc5NativeLibraryLoaderWindowsX64.kt -------------------------------------------------------------------------------- /ksmt-runner/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/build.gradle.kts -------------------------------------------------------------------------------- /ksmt-runner/solver-generator/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/solver-generator/build.gradle.kts -------------------------------------------------------------------------------- /ksmt-runner/solver-generator/src/main/kotlin/SolverUtilsGenerator.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/solver-generator/src/main/kotlin/SolverUtilsGenerator.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/core/ChildProcessBase.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/core/ChildProcessBase.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/core/KsmtRdCoroutineScope.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/core/KsmtRdCoroutineScope.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/core/KsmtWorkerArgs.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/core/KsmtWorkerArgs.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/core/KsmtWorkerBase.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/core/KsmtWorkerBase.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/core/KsmtWorkerFactory.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/core/KsmtWorkerFactory.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/core/KsmtWorkerPool.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/core/KsmtWorkerPool.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/core/KsmtWorkerSession.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/core/KsmtWorkerSession.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/core/Lifetimed.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/core/Lifetimed.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/core/LoggerFactory.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/core/LoggerFactory.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/core/RdServer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/core/RdServer.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/core/RdServerProcess.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/core/RdServerProcess.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/core/Utils.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/core/Utils.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/core/WorkerInitializationFailedException.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/core/WorkerInitializationFailedException.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/core/process/DebugThreadBasedProcessStub.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/core/process/DebugThreadBasedProcessStub.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/core/process/NormalProcess.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/core/process/NormalProcess.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/core/process/ProcessWrapper.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/core/process/ProcessWrapper.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/generated/SolverUtils.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/generated/SolverUtils.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/generated/models/SolverProtocolModel.Generated.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/generated/models/SolverProtocolModel.Generated.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/generated/models/SolverProtocolRoot.Generated.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/generated/models/SolverProtocolRoot.Generated.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/generated/models/SyncProtocolModel.Generated.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/generated/models/SyncProtocolModel.Generated.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/generated/models/SyncProtocolRoot.Generated.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/generated/models/SyncProtocolRoot.Generated.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/generated/models/TestProtocolModel.Generated.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/generated/models/TestProtocolModel.Generated.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/generated/models/TestProtocolRoot.Generated.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/generated/models/TestProtocolRoot.Generated.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/serializer/AstDeserializer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/serializer/AstDeserializer.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/serializer/AstKind.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/serializer/AstKind.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/serializer/AstSerializationCtx.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/serializer/AstSerializationCtx.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/serializer/AstSerializer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/serializer/AstSerializer.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/serializer/ExprKind.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/serializer/ExprKind.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/serializer/ExprKindMapper.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/serializer/ExprKindMapper.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/serializer/SerializerUtils.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/serializer/SerializerUtils.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/runner/serializer/SortKind.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/runner/serializer/SortKind.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/solver/async/KAsyncSolver.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/solver/async/KAsyncSolver.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/solver/portfolio/KPortfolioSolver.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/solver/portfolio/KPortfolioSolver.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/solver/portfolio/KPortfolioSolverManager.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/solver/portfolio/KPortfolioSolverManager.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/solver/runner/KSolverExecutorException.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/solver/runner/KSolverExecutorException.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/solver/runner/KSolverRunner.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/solver/runner/KSolverRunner.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/solver/runner/KSolverRunnerExecutor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/solver/runner/KSolverRunnerExecutor.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/solver/runner/KSolverRunnerManager.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/solver/runner/KSolverRunnerManager.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/solver/runner/KSolverRunnerUniversalConfigurator.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/solver/runner/KSolverRunnerUniversalConfigurator.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/solver/runner/KSolverState.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/solver/runner/KSolverState.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/solver/runner/KSolverWorker.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/solver/runner/KSolverWorker.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/kotlin/io/ksmt/solver/runner/KSolverWorkerProcess.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/kotlin/io/ksmt/solver/runner/KSolverWorkerProcess.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/rdgen/io/ksmt/runner/models/SolverProtocolModel.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/rdgen/io/ksmt/runner/models/SolverProtocolModel.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/rdgen/io/ksmt/runner/models/SyncProtocolModel.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/rdgen/io/ksmt/runner/models/SyncProtocolModel.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/rdgen/io/ksmt/runner/models/TestProtocolModel.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/rdgen/io/ksmt/runner/models/TestProtocolModel.kt -------------------------------------------------------------------------------- /ksmt-runner/src/main/rdgen/io/ksmt/runner/models/Utils.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/main/rdgen/io/ksmt/runner/models/Utils.kt -------------------------------------------------------------------------------- /ksmt-runner/src/test/kotlin/io/ksmt/solver/runner/CustomSolverTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/test/kotlin/io/ksmt/solver/runner/CustomSolverTest.kt -------------------------------------------------------------------------------- /ksmt-runner/src/test/kotlin/io/ksmt/solver/runner/PortfolioSolverTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/test/kotlin/io/ksmt/solver/runner/PortfolioSolverTest.kt -------------------------------------------------------------------------------- /ksmt-runner/src/test/kotlin/io/ksmt/solver/runner/SolverRunnerTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/test/kotlin/io/ksmt/solver/runner/SolverRunnerTest.kt -------------------------------------------------------------------------------- /ksmt-runner/src/test/kotlin/io/ksmt/solver/runner/WorkerDebugTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-runner/src/test/kotlin/io/ksmt/solver/runner/WorkerDebugTest.kt -------------------------------------------------------------------------------- /ksmt-symfpu/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/build.gradle.kts -------------------------------------------------------------------------------- /ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Add.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Add.kt -------------------------------------------------------------------------------- /ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Compare.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Compare.kt -------------------------------------------------------------------------------- /ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Convert.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Convert.kt -------------------------------------------------------------------------------- /ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Divide.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Divide.kt -------------------------------------------------------------------------------- /ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/FusedMultiplyAdd.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/FusedMultiplyAdd.kt -------------------------------------------------------------------------------- /ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Multiply.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Multiply.kt -------------------------------------------------------------------------------- /ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/OptionalPackedFp.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/OptionalPackedFp.kt -------------------------------------------------------------------------------- /ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Packed.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Packed.kt -------------------------------------------------------------------------------- /ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Predicates.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Predicates.kt -------------------------------------------------------------------------------- /ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Remainder.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Remainder.kt -------------------------------------------------------------------------------- /ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Round.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Round.kt -------------------------------------------------------------------------------- /ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Sqrt.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Sqrt.kt -------------------------------------------------------------------------------- /ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/UnpackedFp.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/UnpackedFp.kt -------------------------------------------------------------------------------- /ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Utils.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/operations/Utils.kt -------------------------------------------------------------------------------- /ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/solver/FpToBvTransformer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/solver/FpToBvTransformer.kt -------------------------------------------------------------------------------- /ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/solver/KSymFpuModel.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/solver/KSymFpuModel.kt -------------------------------------------------------------------------------- /ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/solver/KSymFpuSolver.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/main/kotlin/io/ksmt/symfpu/solver/KSymFpuSolver.kt -------------------------------------------------------------------------------- /ksmt-symfpu/src/test/kotlin/io/ksmt/symfpu/ArraySymFpuTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/test/kotlin/io/ksmt/symfpu/ArraySymFpuTest.kt -------------------------------------------------------------------------------- /ksmt-symfpu/src/test/kotlin/io/ksmt/symfpu/FpToBvTransformerTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/test/kotlin/io/ksmt/symfpu/FpToBvTransformerTest.kt -------------------------------------------------------------------------------- /ksmt-symfpu/src/test/kotlin/io/ksmt/symfpu/ModelTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-symfpu/src/test/kotlin/io/ksmt/symfpu/ModelTest.kt -------------------------------------------------------------------------------- /ksmt-test/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/build.gradle.kts -------------------------------------------------------------------------------- /ksmt-test/src/jmh/kotlin/io/ksmt/benchmark/ExpressionCreationBenchmark.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/jmh/kotlin/io/ksmt/benchmark/ExpressionCreationBenchmark.kt -------------------------------------------------------------------------------- /ksmt-test/src/jmh/kotlin/io/ksmt/benchmark/ExpressionTransformationBenchmark.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/jmh/kotlin/io/ksmt/benchmark/ExpressionTransformationBenchmark.kt -------------------------------------------------------------------------------- /ksmt-test/src/main/kotlin/io/ksmt/test/RandomExpressionGenerator.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/main/kotlin/io/ksmt/test/RandomExpressionGenerator.kt -------------------------------------------------------------------------------- /ksmt-test/src/main/kotlin/io/ksmt/test/SmtLibParseError.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/main/kotlin/io/ksmt/test/SmtLibParseError.kt -------------------------------------------------------------------------------- /ksmt-test/src/main/kotlin/io/ksmt/test/TestRunner.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/main/kotlin/io/ksmt/test/TestRunner.kt -------------------------------------------------------------------------------- /ksmt-test/src/main/kotlin/io/ksmt/test/TestWorker.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/main/kotlin/io/ksmt/test/TestWorker.kt -------------------------------------------------------------------------------- /ksmt-test/src/main/kotlin/io/ksmt/test/TestWorkerProcess.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/main/kotlin/io/ksmt/test/TestWorkerProcess.kt -------------------------------------------------------------------------------- /ksmt-test/src/test/kotlin/io/ksmt/test/CheckWithAssumptionsTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/test/kotlin/io/ksmt/test/CheckWithAssumptionsTest.kt -------------------------------------------------------------------------------- /ksmt-test/src/test/kotlin/io/ksmt/test/ContextAstInterningTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/test/kotlin/io/ksmt/test/ContextAstInterningTest.kt -------------------------------------------------------------------------------- /ksmt-test/src/test/kotlin/io/ksmt/test/ModelGenerationTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/test/kotlin/io/ksmt/test/ModelGenerationTest.kt -------------------------------------------------------------------------------- /ksmt-test/src/test/kotlin/io/ksmt/test/MultiIndexedArrayTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/test/kotlin/io/ksmt/test/MultiIndexedArrayTest.kt -------------------------------------------------------------------------------- /ksmt-test/src/test/kotlin/io/ksmt/test/TestBvOverflowChecks.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/test/kotlin/io/ksmt/test/TestBvOverflowChecks.kt -------------------------------------------------------------------------------- /ksmt-test/src/test/kotlin/io/ksmt/test/UninterpretedSortValuesTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/test/kotlin/io/ksmt/test/UninterpretedSortValuesTest.kt -------------------------------------------------------------------------------- /ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/BenchmarksBasedTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/BenchmarksBasedTest.kt -------------------------------------------------------------------------------- /ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/BitwuzlaBenchmarksBasedTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/BitwuzlaBenchmarksBasedTest.kt -------------------------------------------------------------------------------- /ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/ContextMemoryUsageBenchmarksBasedTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/ContextMemoryUsageBenchmarksBasedTest.kt -------------------------------------------------------------------------------- /ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/Cvc5BenchmarksBasedTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/Cvc5BenchmarksBasedTest.kt -------------------------------------------------------------------------------- /ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/FpBenchmarks.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/FpBenchmarks.kt -------------------------------------------------------------------------------- /ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/PortfolioBenchmarksBasedTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/PortfolioBenchmarksBasedTest.kt -------------------------------------------------------------------------------- /ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/SerializerBenchmarksBasedTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/SerializerBenchmarksBasedTest.kt -------------------------------------------------------------------------------- /ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/SimplifierBenchmarksBasedTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/SimplifierBenchmarksBasedTest.kt -------------------------------------------------------------------------------- /ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/SymFpuBenchmarksBasedTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/SymFpuBenchmarksBasedTest.kt -------------------------------------------------------------------------------- /ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/YicesBenchmarksBasedTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/YicesBenchmarksBasedTest.kt -------------------------------------------------------------------------------- /ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/Z3BenchmarksBasedTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/Z3BenchmarksBasedTest.kt -------------------------------------------------------------------------------- /ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/Z3ConverterBenchmark.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-test/src/test/kotlin/io/ksmt/test/benchmarks/Z3ConverterBenchmark.kt -------------------------------------------------------------------------------- /ksmt-yices/bindings-native/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/bindings-native/build.sh -------------------------------------------------------------------------------- /ksmt-yices/bindings-native/macos_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/bindings-native/macos_build.sh -------------------------------------------------------------------------------- /ksmt-yices/bindings-native/yices-bindings-patch.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/bindings-native/yices-bindings-patch.patch -------------------------------------------------------------------------------- /ksmt-yices/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/build.gradle.kts -------------------------------------------------------------------------------- /ksmt-yices/dist/build.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/dist/build.md -------------------------------------------------------------------------------- /ksmt-yices/dist/com.sri.yices.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/dist/com.sri.yices.jar -------------------------------------------------------------------------------- /ksmt-yices/dist/macos/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/dist/macos/build.sh -------------------------------------------------------------------------------- /ksmt-yices/dist/macos/libgmp_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/dist/macos/libgmp_build.sh -------------------------------------------------------------------------------- /ksmt-yices/dist/yices-native-linux-x86-64-0.0.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/dist/yices-native-linux-x86-64-0.0.zip -------------------------------------------------------------------------------- /ksmt-yices/dist/yices-native-osx-arm64-0.0.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/dist/yices-native-osx-arm64-0.0.zip -------------------------------------------------------------------------------- /ksmt-yices/dist/yices-native-win32-x86-64-0.0.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/dist/yices-native-win32-x86-64-0.0.zip -------------------------------------------------------------------------------- /ksmt-yices/ksmt-yices-core/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/ksmt-yices-core/build.gradle.kts -------------------------------------------------------------------------------- /ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/KYicesContext.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/KYicesContext.kt -------------------------------------------------------------------------------- /ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/KYicesDeclSortInternalizer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/KYicesDeclSortInternalizer.kt -------------------------------------------------------------------------------- /ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/KYicesExprConverter.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/KYicesExprConverter.kt -------------------------------------------------------------------------------- /ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/KYicesExprInternalizer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/KYicesExprInternalizer.kt -------------------------------------------------------------------------------- /ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/KYicesModel.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/KYicesModel.kt -------------------------------------------------------------------------------- /ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/KYicesNativeLibraryLoader.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/KYicesNativeLibraryLoader.kt -------------------------------------------------------------------------------- /ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/KYicesSolver.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/KYicesSolver.kt -------------------------------------------------------------------------------- /ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/KYicesSolverConfiguration.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/KYicesSolverConfiguration.kt -------------------------------------------------------------------------------- /ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/KYicesSortInternalizer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/KYicesSortInternalizer.kt -------------------------------------------------------------------------------- /ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/TermUtils.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/TermUtils.kt -------------------------------------------------------------------------------- /ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/Util.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/ksmt-yices-core/src/main/kotlin/io/ksmt/solver/yices/Util.kt -------------------------------------------------------------------------------- /ksmt-yices/ksmt-yices-core/src/test/kotlin/io/ksmt/solver/yices/LogicTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/ksmt-yices-core/src/test/kotlin/io/ksmt/solver/yices/LogicTest.kt -------------------------------------------------------------------------------- /ksmt-yices/ksmt-yices-core/src/test/kotlin/io/ksmt/solver/yices/SolverTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/ksmt-yices-core/src/test/kotlin/io/ksmt/solver/yices/SolverTest.kt -------------------------------------------------------------------------------- /ksmt-yices/ksmt-yices-native/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/ksmt-yices-native/build.gradle.kts -------------------------------------------------------------------------------- /ksmt-yices/ksmt-yices-native/src/linux-x64/kotlin/io/ksmt/solver/yices/KYicesNativeLibraryLoaderLinuxX64.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/ksmt-yices-native/src/linux-x64/kotlin/io/ksmt/solver/yices/KYicesNativeLibraryLoaderLinuxX64.kt -------------------------------------------------------------------------------- /ksmt-yices/ksmt-yices-native/src/mac-arm/kotlin/io/ksmt/solver/yices/KYicesNativeLibraryLoaderMacArm.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/ksmt-yices-native/src/mac-arm/kotlin/io/ksmt/solver/yices/KYicesNativeLibraryLoaderMacArm.kt -------------------------------------------------------------------------------- /ksmt-yices/ksmt-yices-native/src/windows-x64/kotlin/io/ksmt/solver/yices/KYicesNativeLibraryLoaderWindowsX64.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-yices/ksmt-yices-native/src/windows-x64/kotlin/io/ksmt/solver/yices/KYicesNativeLibraryLoaderWindowsX64.kt -------------------------------------------------------------------------------- /ksmt-z3/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/build.gradle.kts -------------------------------------------------------------------------------- /ksmt-z3/dist/z3-native-linux-x86-64-4.15.3.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/dist/z3-native-linux-x86-64-4.15.3.zip -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/build.gradle.kts -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/main/kotlin/com/microsoft/z3/UnsafeApi.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/main/kotlin/com/microsoft/z3/UnsafeApi.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/main/kotlin/com/microsoft/z3/Util.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/main/kotlin/com/microsoft/z3/Util.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/ExpressionUninterpretedValuesTracker.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/ExpressionUninterpretedValuesTracker.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3Context.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3Context.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3DeclInternalizer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3DeclInternalizer.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3ExprConverter.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3ExprConverter.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3ExprInternalizer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3ExprInternalizer.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3Model.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3Model.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3NativeLibraryLoader.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3NativeLibraryLoader.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3SMTLibParser.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3SMTLibParser.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3Solver.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3Solver.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3SolverConfiguration.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3SolverConfiguration.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3SortInternalizer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/main/kotlin/io/ksmt/solver/z3/KZ3SortInternalizer.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/test/kotlin/io/ksmt/solver/z3/ArrayTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/test/kotlin/io/ksmt/solver/z3/ArrayTest.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/test/kotlin/io/ksmt/solver/z3/BitVecTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/test/kotlin/io/ksmt/solver/z3/BitVecTest.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/test/kotlin/io/ksmt/solver/z3/Example.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/test/kotlin/io/ksmt/solver/z3/Example.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/test/kotlin/io/ksmt/solver/z3/FloatingPointTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/test/kotlin/io/ksmt/solver/z3/FloatingPointTest.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/test/kotlin/io/ksmt/solver/z3/IncrementalApiTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/test/kotlin/io/ksmt/solver/z3/IncrementalApiTest.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/test/kotlin/io/ksmt/solver/z3/LogicTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/test/kotlin/io/ksmt/solver/z3/LogicTest.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/test/kotlin/io/ksmt/solver/z3/ParserTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/test/kotlin/io/ksmt/solver/z3/ParserTest.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-core/src/test/kotlin/io/ksmt/solver/z3/UninterpretedSortValueTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-core/src/test/kotlin/io/ksmt/solver/z3/UninterpretedSortValueTest.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-native/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-native/build.gradle.kts -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-native/src/linux-arm/kotlin/io/ksmt/solver/z3/KZ3NativeLibraryLoaderLinuxArm.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-native/src/linux-arm/kotlin/io/ksmt/solver/z3/KZ3NativeLibraryLoaderLinuxArm.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-native/src/linux-x64/kotlin/io/ksmt/solver/z3/KZ3NativeLibraryLoaderLinuxX64.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-native/src/linux-x64/kotlin/io/ksmt/solver/z3/KZ3NativeLibraryLoaderLinuxX64.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-native/src/mac-arm/kotlin/io/ksmt/solver/z3/KZ3NativeLibraryLoaderMacArm.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-native/src/mac-arm/kotlin/io/ksmt/solver/z3/KZ3NativeLibraryLoaderMacArm.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-native/src/mac-x64/kotlin/io/ksmt/solver/z3/KZ3NativeLibraryLoaderMacX64.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-native/src/mac-x64/kotlin/io/ksmt/solver/z3/KZ3NativeLibraryLoaderMacX64.kt -------------------------------------------------------------------------------- /ksmt-z3/ksmt-z3-native/src/windows-x64/kotlin/io/ksmt/solver/z3/KZ3NativeLibraryLoaderWindowsX64.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/ksmt-z3/ksmt-z3-native/src/windows-x64/kotlin/io/ksmt/solver/z3/KZ3NativeLibraryLoaderWindowsX64.kt -------------------------------------------------------------------------------- /settings.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/ksmt/HEAD/settings.gradle.kts -------------------------------------------------------------------------------- /version.properties: -------------------------------------------------------------------------------- 1 | kotlin=1.7.20 2 | detekt=1.20.0 3 | --------------------------------------------------------------------------------