├── .gitignore ├── Bld ├── Drops │ └── .gitignore ├── FormulaBuild │ ├── FormulaBuild.sln │ └── FormulaBuild │ │ ├── App.config │ │ ├── FormulaBuild.csproj │ │ ├── FormulaBuilder.cs │ │ ├── GardensPointBuilder.cs │ │ ├── Program.cs │ │ ├── Properties │ │ └── AssemblyInfo.cs │ │ ├── SourceDownloader.cs │ │ └── Z3Builder.cs ├── build.bat ├── z3Buildx64.bat └── z3Buildx86.bat ├── Doc ├── .gitignore ├── Latex │ ├── ACM-SIG-Alt │ │ └── LatexIntegration.tex │ └── LNCS │ │ └── LatexIntegration.tex ├── Licenses │ ├── license_formula.txt │ ├── license_gplex.txt │ ├── license_gppg.txt │ ├── license_z3.txt │ └── readme.txt ├── Manual.pdf └── Samples │ ├── DataGraphs.4ml │ ├── dfa.4ml │ ├── graphs.4ml │ ├── ldp.4ml │ └── lfl.4ml ├── Ext ├── .gitignore ├── GPLEX │ ├── .gitignore │ ├── boot │ │ ├── gplex.exe │ │ ├── gppg.exe │ │ └── license.txt │ └── gplex45.exe ├── GPPG │ ├── .gitignore │ └── gppg45.exe └── Z3 │ └── .gitignore ├── LICENSE ├── README.md ├── SECURITY.md ├── Src ├── CommandLine │ ├── CommandInterface.cs │ ├── CommandLine.csproj │ ├── CommandLine.sln │ ├── CommandLineProgram.cs │ ├── IChooser.cs │ ├── IMessageSink.cs │ ├── OptionParser.cs │ ├── Options.cs │ ├── Properties │ │ └── AssemblyInfo.cs │ ├── TaskManager.cs │ └── app.config ├── Core │ ├── API │ │ ├── ASTQueries │ │ │ ├── ASTSchema.cs │ │ │ ├── Constants.cs │ │ │ ├── NodePred.cs │ │ │ ├── NodePredAtom.cs │ │ │ ├── NodePredFactory.cs │ │ │ ├── NodePredFalse.cs │ │ │ ├── NodePredOr.cs │ │ │ └── NodePredStar.cs │ │ ├── Base │ │ │ ├── AST.cs │ │ │ ├── ASTComputation.cs │ │ │ ├── ASTComputation2.cs │ │ │ ├── ASTComputationBase.cs │ │ │ ├── ASTComputationUpDown.cs │ │ │ ├── ASTConcr.cs │ │ │ ├── ASTEnumerator.cs │ │ │ ├── Builder.cs │ │ │ ├── BuilderRef.cs │ │ │ ├── ChildInfo.cs │ │ │ ├── CompositeLocator.cs │ │ │ ├── Constants.cs │ │ │ ├── Env.cs │ │ │ ├── EnvParams.cs │ │ │ ├── Factory.cs │ │ │ ├── Flag.cs │ │ │ ├── IInternalClonable.cs │ │ │ ├── Locator.cs │ │ │ ├── ModelFactLocator.cs │ │ │ ├── NodeTermLocator.cs │ │ │ ├── Printing.cs │ │ │ ├── ProgramName.cs │ │ │ ├── ProofTree.cs │ │ │ └── Span.cs │ │ ├── Generators │ │ │ ├── CSharpAlias.cs │ │ │ ├── CSharpDataModelGen.cs │ │ │ ├── GeneratorOptions.cs │ │ │ └── ICSharpTerm.cs │ │ ├── Nodes │ │ │ ├── Body.cs │ │ │ ├── CardPair.cs │ │ │ ├── Cnst.cs │ │ │ ├── Compr.cs │ │ │ ├── ConDecl.cs │ │ │ ├── Config.cs │ │ │ ├── ContractItem.cs │ │ │ ├── Domain.cs │ │ │ ├── Enum.cs │ │ │ ├── Field.cs │ │ │ ├── Find.cs │ │ │ ├── Folder.cs │ │ │ ├── FuncTerm.cs │ │ │ ├── Id.cs │ │ │ ├── Machine.cs │ │ │ ├── MapDecl.cs │ │ │ ├── ModApply.cs │ │ │ ├── ModRef.cs │ │ │ ├── Model.cs │ │ │ ├── ModelFact.cs │ │ │ ├── Node.cs │ │ │ ├── Param.cs │ │ │ ├── Program.cs │ │ │ ├── Property.cs │ │ │ ├── Quote.cs │ │ │ ├── QuoteRun.cs │ │ │ ├── Range.cs │ │ │ ├── RelConstr.cs │ │ │ ├── Rule.cs │ │ │ ├── Setting.cs │ │ │ ├── Step.cs │ │ │ ├── TSystem.cs │ │ │ ├── Transform.cs │ │ │ ├── Union.cs │ │ │ ├── UnnDecl.cs │ │ │ └── Update.cs │ │ ├── Parser │ │ │ ├── Parser.cs │ │ │ ├── ShiftReduceParserCode.cs │ │ │ ├── lexer.lex │ │ │ └── parser.y │ │ ├── Plugins │ │ │ ├── IQuoteParser.cs │ │ │ ├── ISearchStrategy.cs │ │ │ ├── QuoteStream.cs │ │ │ └── SourcePositioner.cs │ │ └── Results │ │ │ ├── ApplyResult.cs │ │ │ ├── GenerateResult.cs │ │ │ ├── InstallResult.cs │ │ │ ├── InstallStatus.cs │ │ │ ├── ObjectGraphResult.cs │ │ │ ├── ParseResult.cs │ │ │ ├── QueryResult.cs │ │ │ ├── ReloadResult.cs │ │ │ ├── RenderResult.cs │ │ │ └── SolveResult.cs │ ├── Common │ │ ├── ByteMap.cs │ │ ├── Composites │ │ │ ├── CoreTSystem.cs │ │ │ ├── StepResult.cs │ │ │ └── StepResultMap.cs │ │ ├── DependencyCollection.cs │ │ ├── EquivalenceRelation.cs │ │ ├── Extras │ │ │ ├── BitMethods.cs │ │ │ ├── CompiledNodeMethods.cs │ │ │ ├── EnumerableMethods.cs │ │ │ ├── MessageHelpers.cs │ │ │ └── Z3Utilities.cs │ │ ├── FixedDomMap.cs │ │ ├── ImmutableArray.cs │ │ ├── ImmutableCollection.cs │ │ ├── Impossible.cs │ │ ├── IntIntervals.cs │ │ ├── LiftedBool.cs │ │ ├── LiftedInt.cs │ │ ├── LiftedRational.cs │ │ ├── Map.cs │ │ ├── MutableTuple.cs │ │ ├── PartiallyOrderedCollection.cs │ │ ├── Rational.cs │ │ ├── Rules │ │ │ ├── ActivationStatistics.cs │ │ │ ├── Bindable.cs │ │ │ ├── CoreRule.cs │ │ │ ├── CoreSubRule.cs │ │ │ ├── Derivation.cs │ │ │ ├── Executer.cs │ │ │ ├── ExecuterStatistics.cs │ │ │ ├── FindData.cs │ │ │ ├── Matcher.cs │ │ │ ├── RuleTable.cs │ │ │ └── Unifier.cs │ │ ├── Set.cs │ │ ├── SuccessToken.cs │ │ ├── Symbols │ │ │ ├── Constants.cs │ │ │ ├── Namespace.cs │ │ │ ├── OpLibrary.cs │ │ │ ├── SizeExpr.cs │ │ │ ├── Symbol.cs │ │ │ ├── SymbolTable.cs │ │ │ └── SymbolTypes │ │ │ │ ├── BaseCnstSymb.cs │ │ │ │ ├── BaseOpSymb.cs │ │ │ │ ├── BaseSortSymb.cs │ │ │ │ ├── ConSymb.cs │ │ │ │ ├── MapSymb.cs │ │ │ │ ├── UnnSortSymb.cs │ │ │ │ ├── UnnSymb.cs │ │ │ │ ├── UserCnstSymb.cs │ │ │ │ ├── UserSortSymb.cs │ │ │ │ └── UserSymbol.cs │ │ ├── Terms │ │ │ ├── AppFreeCanUnn.cs │ │ │ ├── BinnedUnion.cs │ │ │ ├── CanUnnDef.cs │ │ │ ├── SubtermMatcher.cs │ │ │ ├── Term.cs │ │ │ ├── TermIndex.cs │ │ │ ├── TermPrinting.cs │ │ │ ├── TermState.cs │ │ │ └── TypeEnvironment.cs │ │ └── Unit.cs │ ├── Compiler │ │ ├── Action.cs │ │ ├── ActionSet.cs │ │ ├── Compiler.cs │ │ ├── ComprehensionData.cs │ │ ├── Configuration.cs │ │ ├── ConstraintSystem.cs │ │ ├── FactSet.cs │ │ ├── Loader.cs │ │ ├── Location.cs │ │ ├── ModuleData.cs │ │ ├── Optimizer.cs │ │ └── Renderer.cs │ ├── Core.csproj │ ├── Core.sln │ ├── Properties │ │ └── AssemblyInfo.cs │ └── Solver │ │ ├── CardRange.cs │ │ ├── CardSystem.cs │ │ ├── Cardinality.cs │ │ ├── Execution │ │ ├── Activation.cs │ │ ├── DecisionStack.cs │ │ ├── ShapeTrie.cs │ │ ├── SymElement.cs │ │ ├── SymExecuter.cs │ │ ├── SymFixpoint.cs │ │ └── TermEncIndex.cs │ │ ├── ISolver.cs │ │ ├── OldPrinter.cs │ │ ├── SearchState.cs │ │ ├── Solver.cs │ │ ├── Strategies │ │ └── OATStrategy.cs │ │ └── TypeEmbedding │ │ ├── ConstructorEmbedding.cs │ │ ├── EnumEmbedding.cs │ │ ├── ITypeEmbedding.cs │ │ ├── IntRangeEmbedding.cs │ │ ├── IntegerEmbedding.cs │ │ ├── NaturalEmbedding.cs │ │ ├── NegIntegerEmbedding.cs │ │ ├── PosIntegerEmbedding.cs │ │ ├── RealEmbedding.cs │ │ ├── SingletonEmbedding.cs │ │ ├── StringEmbedding.cs │ │ ├── TypeEmbedder.cs │ │ └── UnionEmbedding.cs ├── Extensions │ ├── Extensions.sln │ ├── Extensionsx64.sln │ ├── FormulaCodeGenerator │ │ ├── CodeGeneratorRegistrationAttribute.cs │ │ ├── Constants.cs │ │ ├── FormulaCodeGenerator.csproj │ │ ├── FormulaCodeGeneratorPackage.cs │ │ ├── ProgressReporter.cs │ │ ├── Properties │ │ │ └── AssemblyInfo.cs │ │ ├── Resources.Designer.cs │ │ ├── Resources.resx │ │ ├── Resources │ │ │ └── Package.ico │ │ ├── VSPackage.resx │ │ └── source.extension.vsixmanifest │ └── FormulaCodeGeneratorTask │ │ ├── FormulaCodeGeneratorTask.Targets │ │ ├── FormulaCodeGeneratorTask.csproj │ │ ├── GenerateItem.cs │ │ ├── Properties │ │ └── AssemblyInfo.cs │ │ ├── SetupVsBinaries.cmd │ │ └── Task.cs ├── More │ └── Sahvy │ │ ├── App.config │ │ ├── BoundingBox.cs │ │ ├── Domain │ │ └── SHSystem.4ml │ │ ├── DoubleInterval.cs │ │ ├── Examples │ │ ├── ACC.4ml │ │ ├── Diabetic.4ml │ │ ├── OneWatertank.4ml │ │ ├── TwoWatertanks.4ml │ │ └── sin.4ml │ │ ├── FPExtension.cs │ │ ├── Flowpipe.cs │ │ ├── FormulaSystem.cs │ │ ├── IntegerInterval.cs │ │ ├── Log.cs │ │ ├── Plot3d.cs │ │ ├── Program.cs │ │ ├── Properties │ │ └── AssemblyInfo.cs │ │ ├── README.txt │ │ ├── SHSystem.cs │ │ ├── SafetyLanguage.cs │ │ ├── Sahvy.csproj │ │ ├── Sahvy.sln │ │ ├── State.cs │ │ ├── TaylorExpansion.cs │ │ └── TextRender.cs └── Utilities │ └── FormulaToTex │ ├── App.config │ ├── FormulaLangInt.sty │ ├── FormulaToTex.csproj │ ├── FormulaToTex.sln │ ├── Program.cs │ └── Properties │ └── AssemblyInfo.cs └── Tst ├── Tests ├── API │ └── LittleFuncLang │ │ ├── App.config │ │ ├── LittleFuncLang.4ml │ │ ├── LittleFuncLang.csproj │ │ ├── LittleFuncLang.sln │ │ ├── Program.cs │ │ ├── Properties │ │ └── AssemblyInfo.cs │ │ ├── acc_0.txt │ │ └── testconfig.txt ├── Declarations │ └── TypeDeclErrors │ │ ├── acc_0.txt │ │ ├── testconfig.txt │ │ └── tests.4ml ├── Functions │ ├── acc_0.txt │ ├── testconfig.txt │ └── tests.4ml ├── Parsers │ ├── ListParser │ │ ├── ListParser.cs │ │ ├── ListParser.csproj │ │ ├── ListParser.sln │ │ └── Properties │ │ │ └── AssemblyInfo.cs │ ├── PostRenderErrors │ │ ├── acc_0.txt │ │ ├── testconfig.txt │ │ └── tests.4ml │ └── RenderErrors │ │ ├── acc_0.txt │ │ ├── testconfig.txt │ │ └── tests.4ml ├── Queries │ └── Lists │ │ ├── acc_0.txt │ │ ├── testconfig.txt │ │ └── tests.4ml ├── Rules │ ├── Coercible │ │ ├── acc_0.txt │ │ ├── testconfig.txt │ │ └── tests.4ml │ └── Uncoercible │ │ ├── acc_0.txt │ │ ├── testconfig.txt │ │ └── tests.4ml └── TypeSystem │ ├── CanonicalForms │ ├── acc_0.txt │ ├── testconfig.txt │ └── tests.4ml │ ├── InequalitiesSat │ ├── acc_0.txt │ ├── testconfig.txt │ └── tests.4ml │ ├── InequalitiesUnsat │ ├── acc_0.txt │ ├── testconfig.txt │ └── tests.4ml │ ├── InterpretedSat │ ├── acc_0.txt │ ├── testconfig.txt │ └── tests.4ml │ ├── InterpretedUnsat │ ├── acc_0.txt │ ├── testconfig.txt │ └── tests.4ml │ ├── InterpretedWidened │ ├── acc_0.txt │ ├── testconfig.txt │ └── tests.4ml │ ├── OtherSat │ ├── acc_0.txt │ ├── testconfig.txt │ └── tests.4ml │ ├── OtherUnsat │ ├── acc_0.txt │ ├── testconfig.txt │ └── tests.4ml │ ├── UnificationSat │ ├── acc_0.txt │ ├── testconfig.txt │ └── tests.4ml │ └── UnificationUnsat │ ├── acc_0.txt │ ├── testconfig.txt │ └── tests.4ml ├── Tools ├── Check │ ├── App.config │ ├── Check.csproj │ ├── Check.sln │ ├── Checker.cs │ ├── OptionParser.cs │ ├── Options.cs │ ├── Program.cs │ └── Properties │ │ └── AssemblyInfo.cs └── Test │ ├── App.config │ ├── Program.cs │ ├── Properties │ └── AssemblyInfo.cs │ ├── Test.csproj │ └── Test.sln └── test.bat /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/.gitignore -------------------------------------------------------------------------------- /Bld/Drops/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | 3 | !.gitignore -------------------------------------------------------------------------------- /Bld/FormulaBuild/FormulaBuild.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Bld/FormulaBuild/FormulaBuild.sln -------------------------------------------------------------------------------- /Bld/FormulaBuild/FormulaBuild/App.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Bld/FormulaBuild/FormulaBuild/App.config -------------------------------------------------------------------------------- /Bld/FormulaBuild/FormulaBuild/FormulaBuild.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Bld/FormulaBuild/FormulaBuild/FormulaBuild.csproj -------------------------------------------------------------------------------- /Bld/FormulaBuild/FormulaBuild/FormulaBuilder.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Bld/FormulaBuild/FormulaBuild/FormulaBuilder.cs -------------------------------------------------------------------------------- /Bld/FormulaBuild/FormulaBuild/GardensPointBuilder.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Bld/FormulaBuild/FormulaBuild/GardensPointBuilder.cs -------------------------------------------------------------------------------- /Bld/FormulaBuild/FormulaBuild/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Bld/FormulaBuild/FormulaBuild/Program.cs -------------------------------------------------------------------------------- /Bld/FormulaBuild/FormulaBuild/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Bld/FormulaBuild/FormulaBuild/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Bld/FormulaBuild/FormulaBuild/SourceDownloader.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Bld/FormulaBuild/FormulaBuild/SourceDownloader.cs -------------------------------------------------------------------------------- /Bld/FormulaBuild/FormulaBuild/Z3Builder.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Bld/FormulaBuild/FormulaBuild/Z3Builder.cs -------------------------------------------------------------------------------- /Bld/build.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Bld/build.bat -------------------------------------------------------------------------------- /Bld/z3Buildx64.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Bld/z3Buildx64.bat -------------------------------------------------------------------------------- /Bld/z3Buildx86.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Bld/z3Buildx86.bat -------------------------------------------------------------------------------- /Doc/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Doc/.gitignore -------------------------------------------------------------------------------- /Doc/Latex/ACM-SIG-Alt/LatexIntegration.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Doc/Latex/ACM-SIG-Alt/LatexIntegration.tex -------------------------------------------------------------------------------- /Doc/Latex/LNCS/LatexIntegration.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Doc/Latex/LNCS/LatexIntegration.tex -------------------------------------------------------------------------------- /Doc/Licenses/license_formula.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Doc/Licenses/license_formula.txt -------------------------------------------------------------------------------- /Doc/Licenses/license_gplex.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Doc/Licenses/license_gplex.txt -------------------------------------------------------------------------------- /Doc/Licenses/license_gppg.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Doc/Licenses/license_gppg.txt -------------------------------------------------------------------------------- /Doc/Licenses/license_z3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Doc/Licenses/license_z3.txt -------------------------------------------------------------------------------- /Doc/Licenses/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Doc/Licenses/readme.txt -------------------------------------------------------------------------------- /Doc/Manual.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Doc/Manual.pdf -------------------------------------------------------------------------------- /Doc/Samples/DataGraphs.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Doc/Samples/DataGraphs.4ml -------------------------------------------------------------------------------- /Doc/Samples/dfa.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Doc/Samples/dfa.4ml -------------------------------------------------------------------------------- /Doc/Samples/graphs.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Doc/Samples/graphs.4ml -------------------------------------------------------------------------------- /Doc/Samples/ldp.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Doc/Samples/ldp.4ml -------------------------------------------------------------------------------- /Doc/Samples/lfl.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Doc/Samples/lfl.4ml -------------------------------------------------------------------------------- /Ext/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Ext/.gitignore -------------------------------------------------------------------------------- /Ext/GPLEX/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Ext/GPLEX/.gitignore -------------------------------------------------------------------------------- /Ext/GPLEX/boot/gplex.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Ext/GPLEX/boot/gplex.exe -------------------------------------------------------------------------------- /Ext/GPLEX/boot/gppg.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Ext/GPLEX/boot/gppg.exe -------------------------------------------------------------------------------- /Ext/GPLEX/boot/license.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Ext/GPLEX/boot/license.txt -------------------------------------------------------------------------------- /Ext/GPLEX/gplex45.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Ext/GPLEX/gplex45.exe -------------------------------------------------------------------------------- /Ext/GPPG/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | 3 | !.gitignore -------------------------------------------------------------------------------- /Ext/GPPG/gppg45.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Ext/GPPG/gppg45.exe -------------------------------------------------------------------------------- /Ext/Z3/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | 3 | !.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/README.md -------------------------------------------------------------------------------- /SECURITY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/SECURITY.md -------------------------------------------------------------------------------- /Src/CommandLine/CommandInterface.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/CommandLine/CommandInterface.cs -------------------------------------------------------------------------------- /Src/CommandLine/CommandLine.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/CommandLine/CommandLine.csproj -------------------------------------------------------------------------------- /Src/CommandLine/CommandLine.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/CommandLine/CommandLine.sln -------------------------------------------------------------------------------- /Src/CommandLine/CommandLineProgram.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/CommandLine/CommandLineProgram.cs -------------------------------------------------------------------------------- /Src/CommandLine/IChooser.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/CommandLine/IChooser.cs -------------------------------------------------------------------------------- /Src/CommandLine/IMessageSink.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/CommandLine/IMessageSink.cs -------------------------------------------------------------------------------- /Src/CommandLine/OptionParser.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/CommandLine/OptionParser.cs -------------------------------------------------------------------------------- /Src/CommandLine/Options.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/CommandLine/Options.cs -------------------------------------------------------------------------------- /Src/CommandLine/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/CommandLine/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Src/CommandLine/TaskManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/CommandLine/TaskManager.cs -------------------------------------------------------------------------------- /Src/CommandLine/app.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/CommandLine/app.config -------------------------------------------------------------------------------- /Src/Core/API/ASTQueries/ASTSchema.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/ASTQueries/ASTSchema.cs -------------------------------------------------------------------------------- /Src/Core/API/ASTQueries/Constants.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/ASTQueries/Constants.cs -------------------------------------------------------------------------------- /Src/Core/API/ASTQueries/NodePred.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/ASTQueries/NodePred.cs -------------------------------------------------------------------------------- /Src/Core/API/ASTQueries/NodePredAtom.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/ASTQueries/NodePredAtom.cs -------------------------------------------------------------------------------- /Src/Core/API/ASTQueries/NodePredFactory.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/ASTQueries/NodePredFactory.cs -------------------------------------------------------------------------------- /Src/Core/API/ASTQueries/NodePredFalse.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/ASTQueries/NodePredFalse.cs -------------------------------------------------------------------------------- /Src/Core/API/ASTQueries/NodePredOr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/ASTQueries/NodePredOr.cs -------------------------------------------------------------------------------- /Src/Core/API/ASTQueries/NodePredStar.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/ASTQueries/NodePredStar.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/AST.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/AST.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/ASTComputation.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/ASTComputation.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/ASTComputation2.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/ASTComputation2.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/ASTComputationBase.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/ASTComputationBase.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/ASTComputationUpDown.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/ASTComputationUpDown.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/ASTConcr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/ASTConcr.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/ASTEnumerator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/ASTEnumerator.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/Builder.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/Builder.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/BuilderRef.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/BuilderRef.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/ChildInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/ChildInfo.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/CompositeLocator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/CompositeLocator.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/Constants.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/Constants.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/Env.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/Env.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/EnvParams.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/EnvParams.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/Factory.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/Factory.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/Flag.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/Flag.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/IInternalClonable.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/IInternalClonable.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/Locator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/Locator.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/ModelFactLocator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/ModelFactLocator.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/NodeTermLocator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/NodeTermLocator.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/Printing.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/Printing.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/ProgramName.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/ProgramName.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/ProofTree.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/ProofTree.cs -------------------------------------------------------------------------------- /Src/Core/API/Base/Span.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Base/Span.cs -------------------------------------------------------------------------------- /Src/Core/API/Generators/CSharpAlias.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Generators/CSharpAlias.cs -------------------------------------------------------------------------------- /Src/Core/API/Generators/CSharpDataModelGen.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Generators/CSharpDataModelGen.cs -------------------------------------------------------------------------------- /Src/Core/API/Generators/GeneratorOptions.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Generators/GeneratorOptions.cs -------------------------------------------------------------------------------- /Src/Core/API/Generators/ICSharpTerm.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Generators/ICSharpTerm.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Body.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Body.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/CardPair.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/CardPair.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Cnst.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Cnst.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Compr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Compr.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/ConDecl.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/ConDecl.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Config.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Config.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/ContractItem.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/ContractItem.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Domain.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Domain.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Enum.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Enum.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Field.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Field.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Find.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Find.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Folder.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Folder.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/FuncTerm.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/FuncTerm.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Id.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Id.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Machine.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Machine.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/MapDecl.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/MapDecl.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/ModApply.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/ModApply.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/ModRef.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/ModRef.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Model.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Model.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/ModelFact.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/ModelFact.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Node.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Node.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Param.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Param.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Program.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Property.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Property.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Quote.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Quote.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/QuoteRun.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/QuoteRun.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Range.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Range.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/RelConstr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/RelConstr.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Rule.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Rule.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Setting.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Setting.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Step.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Step.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/TSystem.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/TSystem.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Transform.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Transform.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Union.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Union.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/UnnDecl.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/UnnDecl.cs -------------------------------------------------------------------------------- /Src/Core/API/Nodes/Update.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Nodes/Update.cs -------------------------------------------------------------------------------- /Src/Core/API/Parser/Parser.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Parser/Parser.cs -------------------------------------------------------------------------------- /Src/Core/API/Parser/ShiftReduceParserCode.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Parser/ShiftReduceParserCode.cs -------------------------------------------------------------------------------- /Src/Core/API/Parser/lexer.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Parser/lexer.lex -------------------------------------------------------------------------------- /Src/Core/API/Parser/parser.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Parser/parser.y -------------------------------------------------------------------------------- /Src/Core/API/Plugins/IQuoteParser.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Plugins/IQuoteParser.cs -------------------------------------------------------------------------------- /Src/Core/API/Plugins/ISearchStrategy.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Plugins/ISearchStrategy.cs -------------------------------------------------------------------------------- /Src/Core/API/Plugins/QuoteStream.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Plugins/QuoteStream.cs -------------------------------------------------------------------------------- /Src/Core/API/Plugins/SourcePositioner.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Plugins/SourcePositioner.cs -------------------------------------------------------------------------------- /Src/Core/API/Results/ApplyResult.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Results/ApplyResult.cs -------------------------------------------------------------------------------- /Src/Core/API/Results/GenerateResult.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Results/GenerateResult.cs -------------------------------------------------------------------------------- /Src/Core/API/Results/InstallResult.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Results/InstallResult.cs -------------------------------------------------------------------------------- /Src/Core/API/Results/InstallStatus.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Results/InstallStatus.cs -------------------------------------------------------------------------------- /Src/Core/API/Results/ObjectGraphResult.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Results/ObjectGraphResult.cs -------------------------------------------------------------------------------- /Src/Core/API/Results/ParseResult.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Results/ParseResult.cs -------------------------------------------------------------------------------- /Src/Core/API/Results/QueryResult.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Results/QueryResult.cs -------------------------------------------------------------------------------- /Src/Core/API/Results/ReloadResult.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Results/ReloadResult.cs -------------------------------------------------------------------------------- /Src/Core/API/Results/RenderResult.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Results/RenderResult.cs -------------------------------------------------------------------------------- /Src/Core/API/Results/SolveResult.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/API/Results/SolveResult.cs -------------------------------------------------------------------------------- /Src/Core/Common/ByteMap.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/ByteMap.cs -------------------------------------------------------------------------------- /Src/Core/Common/Composites/CoreTSystem.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Composites/CoreTSystem.cs -------------------------------------------------------------------------------- /Src/Core/Common/Composites/StepResult.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Composites/StepResult.cs -------------------------------------------------------------------------------- /Src/Core/Common/Composites/StepResultMap.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Composites/StepResultMap.cs -------------------------------------------------------------------------------- /Src/Core/Common/DependencyCollection.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/DependencyCollection.cs -------------------------------------------------------------------------------- /Src/Core/Common/EquivalenceRelation.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/EquivalenceRelation.cs -------------------------------------------------------------------------------- /Src/Core/Common/Extras/BitMethods.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Extras/BitMethods.cs -------------------------------------------------------------------------------- /Src/Core/Common/Extras/CompiledNodeMethods.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Extras/CompiledNodeMethods.cs -------------------------------------------------------------------------------- /Src/Core/Common/Extras/EnumerableMethods.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Extras/EnumerableMethods.cs -------------------------------------------------------------------------------- /Src/Core/Common/Extras/MessageHelpers.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Extras/MessageHelpers.cs -------------------------------------------------------------------------------- /Src/Core/Common/Extras/Z3Utilities.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Extras/Z3Utilities.cs -------------------------------------------------------------------------------- /Src/Core/Common/FixedDomMap.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/FixedDomMap.cs -------------------------------------------------------------------------------- /Src/Core/Common/ImmutableArray.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/ImmutableArray.cs -------------------------------------------------------------------------------- /Src/Core/Common/ImmutableCollection.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/ImmutableCollection.cs -------------------------------------------------------------------------------- /Src/Core/Common/Impossible.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Impossible.cs -------------------------------------------------------------------------------- /Src/Core/Common/IntIntervals.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/IntIntervals.cs -------------------------------------------------------------------------------- /Src/Core/Common/LiftedBool.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/LiftedBool.cs -------------------------------------------------------------------------------- /Src/Core/Common/LiftedInt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/LiftedInt.cs -------------------------------------------------------------------------------- /Src/Core/Common/LiftedRational.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/LiftedRational.cs -------------------------------------------------------------------------------- /Src/Core/Common/Map.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Map.cs -------------------------------------------------------------------------------- /Src/Core/Common/MutableTuple.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/MutableTuple.cs -------------------------------------------------------------------------------- /Src/Core/Common/PartiallyOrderedCollection.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/PartiallyOrderedCollection.cs -------------------------------------------------------------------------------- /Src/Core/Common/Rational.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Rational.cs -------------------------------------------------------------------------------- /Src/Core/Common/Rules/ActivationStatistics.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Rules/ActivationStatistics.cs -------------------------------------------------------------------------------- /Src/Core/Common/Rules/Bindable.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Rules/Bindable.cs -------------------------------------------------------------------------------- /Src/Core/Common/Rules/CoreRule.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Rules/CoreRule.cs -------------------------------------------------------------------------------- /Src/Core/Common/Rules/CoreSubRule.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Rules/CoreSubRule.cs -------------------------------------------------------------------------------- /Src/Core/Common/Rules/Derivation.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Rules/Derivation.cs -------------------------------------------------------------------------------- /Src/Core/Common/Rules/Executer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Rules/Executer.cs -------------------------------------------------------------------------------- /Src/Core/Common/Rules/ExecuterStatistics.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Rules/ExecuterStatistics.cs -------------------------------------------------------------------------------- /Src/Core/Common/Rules/FindData.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Rules/FindData.cs -------------------------------------------------------------------------------- /Src/Core/Common/Rules/Matcher.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Rules/Matcher.cs -------------------------------------------------------------------------------- /Src/Core/Common/Rules/RuleTable.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Rules/RuleTable.cs -------------------------------------------------------------------------------- /Src/Core/Common/Rules/Unifier.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Rules/Unifier.cs -------------------------------------------------------------------------------- /Src/Core/Common/Set.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Set.cs -------------------------------------------------------------------------------- /Src/Core/Common/SuccessToken.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/SuccessToken.cs -------------------------------------------------------------------------------- /Src/Core/Common/Symbols/Constants.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Symbols/Constants.cs -------------------------------------------------------------------------------- /Src/Core/Common/Symbols/Namespace.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Symbols/Namespace.cs -------------------------------------------------------------------------------- /Src/Core/Common/Symbols/OpLibrary.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Symbols/OpLibrary.cs -------------------------------------------------------------------------------- /Src/Core/Common/Symbols/SizeExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Symbols/SizeExpr.cs -------------------------------------------------------------------------------- /Src/Core/Common/Symbols/Symbol.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Symbols/Symbol.cs -------------------------------------------------------------------------------- /Src/Core/Common/Symbols/SymbolTable.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Symbols/SymbolTable.cs -------------------------------------------------------------------------------- /Src/Core/Common/Symbols/SymbolTypes/BaseCnstSymb.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Symbols/SymbolTypes/BaseCnstSymb.cs -------------------------------------------------------------------------------- /Src/Core/Common/Symbols/SymbolTypes/BaseOpSymb.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Symbols/SymbolTypes/BaseOpSymb.cs -------------------------------------------------------------------------------- /Src/Core/Common/Symbols/SymbolTypes/BaseSortSymb.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Symbols/SymbolTypes/BaseSortSymb.cs -------------------------------------------------------------------------------- /Src/Core/Common/Symbols/SymbolTypes/ConSymb.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Symbols/SymbolTypes/ConSymb.cs -------------------------------------------------------------------------------- /Src/Core/Common/Symbols/SymbolTypes/MapSymb.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Symbols/SymbolTypes/MapSymb.cs -------------------------------------------------------------------------------- /Src/Core/Common/Symbols/SymbolTypes/UnnSortSymb.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Symbols/SymbolTypes/UnnSortSymb.cs -------------------------------------------------------------------------------- /Src/Core/Common/Symbols/SymbolTypes/UnnSymb.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Symbols/SymbolTypes/UnnSymb.cs -------------------------------------------------------------------------------- /Src/Core/Common/Symbols/SymbolTypes/UserCnstSymb.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Symbols/SymbolTypes/UserCnstSymb.cs -------------------------------------------------------------------------------- /Src/Core/Common/Symbols/SymbolTypes/UserSortSymb.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Symbols/SymbolTypes/UserSortSymb.cs -------------------------------------------------------------------------------- /Src/Core/Common/Symbols/SymbolTypes/UserSymbol.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Symbols/SymbolTypes/UserSymbol.cs -------------------------------------------------------------------------------- /Src/Core/Common/Terms/AppFreeCanUnn.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Terms/AppFreeCanUnn.cs -------------------------------------------------------------------------------- /Src/Core/Common/Terms/BinnedUnion.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Terms/BinnedUnion.cs -------------------------------------------------------------------------------- /Src/Core/Common/Terms/CanUnnDef.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Terms/CanUnnDef.cs -------------------------------------------------------------------------------- /Src/Core/Common/Terms/SubtermMatcher.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Terms/SubtermMatcher.cs -------------------------------------------------------------------------------- /Src/Core/Common/Terms/Term.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Terms/Term.cs -------------------------------------------------------------------------------- /Src/Core/Common/Terms/TermIndex.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Terms/TermIndex.cs -------------------------------------------------------------------------------- /Src/Core/Common/Terms/TermPrinting.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Terms/TermPrinting.cs -------------------------------------------------------------------------------- /Src/Core/Common/Terms/TermState.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Terms/TermState.cs -------------------------------------------------------------------------------- /Src/Core/Common/Terms/TypeEnvironment.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Terms/TypeEnvironment.cs -------------------------------------------------------------------------------- /Src/Core/Common/Unit.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Common/Unit.cs -------------------------------------------------------------------------------- /Src/Core/Compiler/Action.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Compiler/Action.cs -------------------------------------------------------------------------------- /Src/Core/Compiler/ActionSet.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Compiler/ActionSet.cs -------------------------------------------------------------------------------- /Src/Core/Compiler/Compiler.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Compiler/Compiler.cs -------------------------------------------------------------------------------- /Src/Core/Compiler/ComprehensionData.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Compiler/ComprehensionData.cs -------------------------------------------------------------------------------- /Src/Core/Compiler/Configuration.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Compiler/Configuration.cs -------------------------------------------------------------------------------- /Src/Core/Compiler/ConstraintSystem.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Compiler/ConstraintSystem.cs -------------------------------------------------------------------------------- /Src/Core/Compiler/FactSet.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Compiler/FactSet.cs -------------------------------------------------------------------------------- /Src/Core/Compiler/Loader.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Compiler/Loader.cs -------------------------------------------------------------------------------- /Src/Core/Compiler/Location.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Compiler/Location.cs -------------------------------------------------------------------------------- /Src/Core/Compiler/ModuleData.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Compiler/ModuleData.cs -------------------------------------------------------------------------------- /Src/Core/Compiler/Optimizer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Compiler/Optimizer.cs -------------------------------------------------------------------------------- /Src/Core/Compiler/Renderer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Compiler/Renderer.cs -------------------------------------------------------------------------------- /Src/Core/Core.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Core.csproj -------------------------------------------------------------------------------- /Src/Core/Core.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Core.sln -------------------------------------------------------------------------------- /Src/Core/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Src/Core/Solver/CardRange.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/CardRange.cs -------------------------------------------------------------------------------- /Src/Core/Solver/CardSystem.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/CardSystem.cs -------------------------------------------------------------------------------- /Src/Core/Solver/Cardinality.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/Cardinality.cs -------------------------------------------------------------------------------- /Src/Core/Solver/Execution/Activation.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/Execution/Activation.cs -------------------------------------------------------------------------------- /Src/Core/Solver/Execution/DecisionStack.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/Execution/DecisionStack.cs -------------------------------------------------------------------------------- /Src/Core/Solver/Execution/ShapeTrie.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/Execution/ShapeTrie.cs -------------------------------------------------------------------------------- /Src/Core/Solver/Execution/SymElement.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/Execution/SymElement.cs -------------------------------------------------------------------------------- /Src/Core/Solver/Execution/SymExecuter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/Execution/SymExecuter.cs -------------------------------------------------------------------------------- /Src/Core/Solver/Execution/SymFixpoint.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/Execution/SymFixpoint.cs -------------------------------------------------------------------------------- /Src/Core/Solver/Execution/TermEncIndex.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/Execution/TermEncIndex.cs -------------------------------------------------------------------------------- /Src/Core/Solver/ISolver.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/ISolver.cs -------------------------------------------------------------------------------- /Src/Core/Solver/OldPrinter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/OldPrinter.cs -------------------------------------------------------------------------------- /Src/Core/Solver/SearchState.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/SearchState.cs -------------------------------------------------------------------------------- /Src/Core/Solver/Solver.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/Solver.cs -------------------------------------------------------------------------------- /Src/Core/Solver/Strategies/OATStrategy.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/Strategies/OATStrategy.cs -------------------------------------------------------------------------------- /Src/Core/Solver/TypeEmbedding/ConstructorEmbedding.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/TypeEmbedding/ConstructorEmbedding.cs -------------------------------------------------------------------------------- /Src/Core/Solver/TypeEmbedding/EnumEmbedding.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/TypeEmbedding/EnumEmbedding.cs -------------------------------------------------------------------------------- /Src/Core/Solver/TypeEmbedding/ITypeEmbedding.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/TypeEmbedding/ITypeEmbedding.cs -------------------------------------------------------------------------------- /Src/Core/Solver/TypeEmbedding/IntRangeEmbedding.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/TypeEmbedding/IntRangeEmbedding.cs -------------------------------------------------------------------------------- /Src/Core/Solver/TypeEmbedding/IntegerEmbedding.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/TypeEmbedding/IntegerEmbedding.cs -------------------------------------------------------------------------------- /Src/Core/Solver/TypeEmbedding/NaturalEmbedding.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/TypeEmbedding/NaturalEmbedding.cs -------------------------------------------------------------------------------- /Src/Core/Solver/TypeEmbedding/NegIntegerEmbedding.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/TypeEmbedding/NegIntegerEmbedding.cs -------------------------------------------------------------------------------- /Src/Core/Solver/TypeEmbedding/PosIntegerEmbedding.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/TypeEmbedding/PosIntegerEmbedding.cs -------------------------------------------------------------------------------- /Src/Core/Solver/TypeEmbedding/RealEmbedding.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/TypeEmbedding/RealEmbedding.cs -------------------------------------------------------------------------------- /Src/Core/Solver/TypeEmbedding/SingletonEmbedding.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/TypeEmbedding/SingletonEmbedding.cs -------------------------------------------------------------------------------- /Src/Core/Solver/TypeEmbedding/StringEmbedding.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/TypeEmbedding/StringEmbedding.cs -------------------------------------------------------------------------------- /Src/Core/Solver/TypeEmbedding/TypeEmbedder.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/TypeEmbedding/TypeEmbedder.cs -------------------------------------------------------------------------------- /Src/Core/Solver/TypeEmbedding/UnionEmbedding.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Core/Solver/TypeEmbedding/UnionEmbedding.cs -------------------------------------------------------------------------------- /Src/Extensions/Extensions.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Extensions/Extensions.sln -------------------------------------------------------------------------------- /Src/Extensions/Extensionsx64.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Extensions/Extensionsx64.sln -------------------------------------------------------------------------------- /Src/Extensions/FormulaCodeGenerator/CodeGeneratorRegistrationAttribute.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Extensions/FormulaCodeGenerator/CodeGeneratorRegistrationAttribute.cs -------------------------------------------------------------------------------- /Src/Extensions/FormulaCodeGenerator/Constants.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Extensions/FormulaCodeGenerator/Constants.cs -------------------------------------------------------------------------------- /Src/Extensions/FormulaCodeGenerator/FormulaCodeGenerator.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Extensions/FormulaCodeGenerator/FormulaCodeGenerator.csproj -------------------------------------------------------------------------------- /Src/Extensions/FormulaCodeGenerator/FormulaCodeGeneratorPackage.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Extensions/FormulaCodeGenerator/FormulaCodeGeneratorPackage.cs -------------------------------------------------------------------------------- /Src/Extensions/FormulaCodeGenerator/ProgressReporter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Extensions/FormulaCodeGenerator/ProgressReporter.cs -------------------------------------------------------------------------------- /Src/Extensions/FormulaCodeGenerator/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Extensions/FormulaCodeGenerator/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Src/Extensions/FormulaCodeGenerator/Resources.Designer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Extensions/FormulaCodeGenerator/Resources.Designer.cs -------------------------------------------------------------------------------- /Src/Extensions/FormulaCodeGenerator/Resources.resx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Extensions/FormulaCodeGenerator/Resources.resx -------------------------------------------------------------------------------- /Src/Extensions/FormulaCodeGenerator/Resources/Package.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Extensions/FormulaCodeGenerator/Resources/Package.ico -------------------------------------------------------------------------------- /Src/Extensions/FormulaCodeGenerator/VSPackage.resx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Extensions/FormulaCodeGenerator/VSPackage.resx -------------------------------------------------------------------------------- /Src/Extensions/FormulaCodeGenerator/source.extension.vsixmanifest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Extensions/FormulaCodeGenerator/source.extension.vsixmanifest -------------------------------------------------------------------------------- /Src/Extensions/FormulaCodeGeneratorTask/FormulaCodeGeneratorTask.Targets: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Extensions/FormulaCodeGeneratorTask/FormulaCodeGeneratorTask.Targets -------------------------------------------------------------------------------- /Src/Extensions/FormulaCodeGeneratorTask/FormulaCodeGeneratorTask.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Extensions/FormulaCodeGeneratorTask/FormulaCodeGeneratorTask.csproj -------------------------------------------------------------------------------- /Src/Extensions/FormulaCodeGeneratorTask/GenerateItem.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Extensions/FormulaCodeGeneratorTask/GenerateItem.cs -------------------------------------------------------------------------------- /Src/Extensions/FormulaCodeGeneratorTask/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Extensions/FormulaCodeGeneratorTask/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Src/Extensions/FormulaCodeGeneratorTask/SetupVsBinaries.cmd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Extensions/FormulaCodeGeneratorTask/SetupVsBinaries.cmd -------------------------------------------------------------------------------- /Src/Extensions/FormulaCodeGeneratorTask/Task.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Extensions/FormulaCodeGeneratorTask/Task.cs -------------------------------------------------------------------------------- /Src/More/Sahvy/App.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/App.config -------------------------------------------------------------------------------- /Src/More/Sahvy/BoundingBox.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/BoundingBox.cs -------------------------------------------------------------------------------- /Src/More/Sahvy/Domain/SHSystem.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/Domain/SHSystem.4ml -------------------------------------------------------------------------------- /Src/More/Sahvy/DoubleInterval.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/DoubleInterval.cs -------------------------------------------------------------------------------- /Src/More/Sahvy/Examples/ACC.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/Examples/ACC.4ml -------------------------------------------------------------------------------- /Src/More/Sahvy/Examples/Diabetic.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/Examples/Diabetic.4ml -------------------------------------------------------------------------------- /Src/More/Sahvy/Examples/OneWatertank.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/Examples/OneWatertank.4ml -------------------------------------------------------------------------------- /Src/More/Sahvy/Examples/TwoWatertanks.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/Examples/TwoWatertanks.4ml -------------------------------------------------------------------------------- /Src/More/Sahvy/Examples/sin.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/Examples/sin.4ml -------------------------------------------------------------------------------- /Src/More/Sahvy/FPExtension.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/FPExtension.cs -------------------------------------------------------------------------------- /Src/More/Sahvy/Flowpipe.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/Flowpipe.cs -------------------------------------------------------------------------------- /Src/More/Sahvy/FormulaSystem.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/FormulaSystem.cs -------------------------------------------------------------------------------- /Src/More/Sahvy/IntegerInterval.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/IntegerInterval.cs -------------------------------------------------------------------------------- /Src/More/Sahvy/Log.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/Log.cs -------------------------------------------------------------------------------- /Src/More/Sahvy/Plot3d.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/Plot3d.cs -------------------------------------------------------------------------------- /Src/More/Sahvy/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/Program.cs -------------------------------------------------------------------------------- /Src/More/Sahvy/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Src/More/Sahvy/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/README.txt -------------------------------------------------------------------------------- /Src/More/Sahvy/SHSystem.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/SHSystem.cs -------------------------------------------------------------------------------- /Src/More/Sahvy/SafetyLanguage.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/SafetyLanguage.cs -------------------------------------------------------------------------------- /Src/More/Sahvy/Sahvy.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/Sahvy.csproj -------------------------------------------------------------------------------- /Src/More/Sahvy/Sahvy.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/Sahvy.sln -------------------------------------------------------------------------------- /Src/More/Sahvy/State.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/State.cs -------------------------------------------------------------------------------- /Src/More/Sahvy/TaylorExpansion.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/TaylorExpansion.cs -------------------------------------------------------------------------------- /Src/More/Sahvy/TextRender.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/More/Sahvy/TextRender.cs -------------------------------------------------------------------------------- /Src/Utilities/FormulaToTex/App.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Utilities/FormulaToTex/App.config -------------------------------------------------------------------------------- /Src/Utilities/FormulaToTex/FormulaLangInt.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Utilities/FormulaToTex/FormulaLangInt.sty -------------------------------------------------------------------------------- /Src/Utilities/FormulaToTex/FormulaToTex.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Utilities/FormulaToTex/FormulaToTex.csproj -------------------------------------------------------------------------------- /Src/Utilities/FormulaToTex/FormulaToTex.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Utilities/FormulaToTex/FormulaToTex.sln -------------------------------------------------------------------------------- /Src/Utilities/FormulaToTex/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Utilities/FormulaToTex/Program.cs -------------------------------------------------------------------------------- /Src/Utilities/FormulaToTex/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Src/Utilities/FormulaToTex/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Tst/Tests/API/LittleFuncLang/App.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/API/LittleFuncLang/App.config -------------------------------------------------------------------------------- /Tst/Tests/API/LittleFuncLang/LittleFuncLang.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/API/LittleFuncLang/LittleFuncLang.4ml -------------------------------------------------------------------------------- /Tst/Tests/API/LittleFuncLang/LittleFuncLang.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/API/LittleFuncLang/LittleFuncLang.csproj -------------------------------------------------------------------------------- /Tst/Tests/API/LittleFuncLang/LittleFuncLang.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/API/LittleFuncLang/LittleFuncLang.sln -------------------------------------------------------------------------------- /Tst/Tests/API/LittleFuncLang/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/API/LittleFuncLang/Program.cs -------------------------------------------------------------------------------- /Tst/Tests/API/LittleFuncLang/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/API/LittleFuncLang/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Tst/Tests/API/LittleFuncLang/acc_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/API/LittleFuncLang/acc_0.txt -------------------------------------------------------------------------------- /Tst/Tests/API/LittleFuncLang/testconfig.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/API/LittleFuncLang/testconfig.txt -------------------------------------------------------------------------------- /Tst/Tests/Declarations/TypeDeclErrors/acc_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Declarations/TypeDeclErrors/acc_0.txt -------------------------------------------------------------------------------- /Tst/Tests/Declarations/TypeDeclErrors/testconfig.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Declarations/TypeDeclErrors/testconfig.txt -------------------------------------------------------------------------------- /Tst/Tests/Declarations/TypeDeclErrors/tests.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Declarations/TypeDeclErrors/tests.4ml -------------------------------------------------------------------------------- /Tst/Tests/Functions/acc_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Functions/acc_0.txt -------------------------------------------------------------------------------- /Tst/Tests/Functions/testconfig.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Functions/testconfig.txt -------------------------------------------------------------------------------- /Tst/Tests/Functions/tests.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Functions/tests.4ml -------------------------------------------------------------------------------- /Tst/Tests/Parsers/ListParser/ListParser.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Parsers/ListParser/ListParser.cs -------------------------------------------------------------------------------- /Tst/Tests/Parsers/ListParser/ListParser.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Parsers/ListParser/ListParser.csproj -------------------------------------------------------------------------------- /Tst/Tests/Parsers/ListParser/ListParser.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Parsers/ListParser/ListParser.sln -------------------------------------------------------------------------------- /Tst/Tests/Parsers/ListParser/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Parsers/ListParser/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Tst/Tests/Parsers/PostRenderErrors/acc_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Parsers/PostRenderErrors/acc_0.txt -------------------------------------------------------------------------------- /Tst/Tests/Parsers/PostRenderErrors/testconfig.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Parsers/PostRenderErrors/testconfig.txt -------------------------------------------------------------------------------- /Tst/Tests/Parsers/PostRenderErrors/tests.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Parsers/PostRenderErrors/tests.4ml -------------------------------------------------------------------------------- /Tst/Tests/Parsers/RenderErrors/acc_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Parsers/RenderErrors/acc_0.txt -------------------------------------------------------------------------------- /Tst/Tests/Parsers/RenderErrors/testconfig.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Parsers/RenderErrors/testconfig.txt -------------------------------------------------------------------------------- /Tst/Tests/Parsers/RenderErrors/tests.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Parsers/RenderErrors/tests.4ml -------------------------------------------------------------------------------- /Tst/Tests/Queries/Lists/acc_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Queries/Lists/acc_0.txt -------------------------------------------------------------------------------- /Tst/Tests/Queries/Lists/testconfig.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Queries/Lists/testconfig.txt -------------------------------------------------------------------------------- /Tst/Tests/Queries/Lists/tests.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Queries/Lists/tests.4ml -------------------------------------------------------------------------------- /Tst/Tests/Rules/Coercible/acc_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Rules/Coercible/acc_0.txt -------------------------------------------------------------------------------- /Tst/Tests/Rules/Coercible/testconfig.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Rules/Coercible/testconfig.txt -------------------------------------------------------------------------------- /Tst/Tests/Rules/Coercible/tests.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Rules/Coercible/tests.4ml -------------------------------------------------------------------------------- /Tst/Tests/Rules/Uncoercible/acc_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Rules/Uncoercible/acc_0.txt -------------------------------------------------------------------------------- /Tst/Tests/Rules/Uncoercible/testconfig.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Rules/Uncoercible/testconfig.txt -------------------------------------------------------------------------------- /Tst/Tests/Rules/Uncoercible/tests.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/Rules/Uncoercible/tests.4ml -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/CanonicalForms/acc_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/CanonicalForms/acc_0.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/CanonicalForms/testconfig.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/CanonicalForms/testconfig.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/CanonicalForms/tests.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/CanonicalForms/tests.4ml -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/InequalitiesSat/acc_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/InequalitiesSat/acc_0.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/InequalitiesSat/testconfig.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/InequalitiesSat/testconfig.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/InequalitiesSat/tests.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/InequalitiesSat/tests.4ml -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/InequalitiesUnsat/acc_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/InequalitiesUnsat/acc_0.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/InequalitiesUnsat/testconfig.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/InequalitiesUnsat/testconfig.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/InequalitiesUnsat/tests.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/InequalitiesUnsat/tests.4ml -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/InterpretedSat/acc_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/InterpretedSat/acc_0.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/InterpretedSat/testconfig.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/InterpretedSat/testconfig.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/InterpretedSat/tests.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/InterpretedSat/tests.4ml -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/InterpretedUnsat/acc_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/InterpretedUnsat/acc_0.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/InterpretedUnsat/testconfig.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/InterpretedUnsat/testconfig.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/InterpretedUnsat/tests.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/InterpretedUnsat/tests.4ml -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/InterpretedWidened/acc_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/InterpretedWidened/acc_0.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/InterpretedWidened/testconfig.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/InterpretedWidened/testconfig.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/InterpretedWidened/tests.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/InterpretedWidened/tests.4ml -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/OtherSat/acc_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/OtherSat/acc_0.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/OtherSat/testconfig.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/OtherSat/testconfig.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/OtherSat/tests.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/OtherSat/tests.4ml -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/OtherUnsat/acc_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/OtherUnsat/acc_0.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/OtherUnsat/testconfig.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/OtherUnsat/testconfig.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/OtherUnsat/tests.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/OtherUnsat/tests.4ml -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/UnificationSat/acc_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/UnificationSat/acc_0.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/UnificationSat/testconfig.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/UnificationSat/testconfig.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/UnificationSat/tests.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/UnificationSat/tests.4ml -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/UnificationUnsat/acc_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/UnificationUnsat/acc_0.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/UnificationUnsat/testconfig.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/UnificationUnsat/testconfig.txt -------------------------------------------------------------------------------- /Tst/Tests/TypeSystem/UnificationUnsat/tests.4ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tests/TypeSystem/UnificationUnsat/tests.4ml -------------------------------------------------------------------------------- /Tst/Tools/Check/App.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tools/Check/App.config -------------------------------------------------------------------------------- /Tst/Tools/Check/Check.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tools/Check/Check.csproj -------------------------------------------------------------------------------- /Tst/Tools/Check/Check.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tools/Check/Check.sln -------------------------------------------------------------------------------- /Tst/Tools/Check/Checker.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tools/Check/Checker.cs -------------------------------------------------------------------------------- /Tst/Tools/Check/OptionParser.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tools/Check/OptionParser.cs -------------------------------------------------------------------------------- /Tst/Tools/Check/Options.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tools/Check/Options.cs -------------------------------------------------------------------------------- /Tst/Tools/Check/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tools/Check/Program.cs -------------------------------------------------------------------------------- /Tst/Tools/Check/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tools/Check/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Tst/Tools/Test/App.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tools/Test/App.config -------------------------------------------------------------------------------- /Tst/Tools/Test/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tools/Test/Program.cs -------------------------------------------------------------------------------- /Tst/Tools/Test/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tools/Test/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Tst/Tools/Test/Test.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tools/Test/Test.csproj -------------------------------------------------------------------------------- /Tst/Tools/Test/Test.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/Tools/Test/Test.sln -------------------------------------------------------------------------------- /Tst/test.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/formula/HEAD/Tst/test.bat --------------------------------------------------------------------------------