Commit 000f13d

committed

Update fourmolu

1 parent 14fa260 commit 000f13dCopy full SHA for 000f13d

569 files changed

+67072

-64584

lines changed

kore
- Setup.hs
- app
  - exec
    - Main.hs
  - format
    - Main.hs
  - parser
    - Main.hs
  - prof
    - Main.hs
  - repl
    - Main.hs
  - share
    - GlobalMain.hs
- src
  - Changed.hs
  - Control/Monad
    - Counter.hs
  - Data
    - Graph
      - TopologicalSort.hs
    - Limit.hs
    - Sup.hs
  - Debug.hs
  - ErrorContext.hs
  - From.hs
  - Injection.hs
  - Kore
    - AST
      - ApplicativeKore.hs
      - AstWithLocation.hs
      - Common.hs
      - Error.hs
    - ASTVerifier
      - AliasVerifier.hs
      - AttributesVerifier.hs
      - DefinitionVerifier.hs
      - Error.hs
      - ModuleVerifier.hs
      - PatternVerifier
        PatternVerifier.hs
      - PatternVerifier.hs
      - SentenceVerifier.hs
      - SortVerifier.hs
      - Verifier.hs
    - Attribute
      - Assoc.hs
      - Attributes.hs
      - Axiom
        Concrete.hs
        Constructor.hs
        Symbolic.hs
        Unit.hs
      - Axiom.hs
      - Comm.hs
      - Constructor.hs
      - Function.hs
      - Functional.hs
      - Hook.hs
      - Idem.hs
      - Injective.hs
      - Label.hs
      - Location.hs
      - Null.hs
      - Overload.hs
      - Owise.hs
      - Parser.hs
      - Pattern
        ConstructorLike.hs
        Created.hs
        Defined.hs
        FreeVariables.hs
        Function.hs
        Functional.hs
        Simplified.hs
      - Pattern.hs
      - PredicatePattern.hs
      - Priority.hs
      - ProductionID.hs
      - RuleIndex.hs
      - Simplification.hs
      - SmtLemma.hs
      - Smthook.hs
      - Smtlib
        Smthook.hs
        Smtlib.hs
      - Smtlib.hs
      - Sort
        Concat.hs
        Constructors.hs
        ConstructorsBuilder.hs
        Element.hs
        HasDomainValues.hs
        Unit.hs
      - Sort.hs
      - SortInjection.hs
      - Source.hs
      - SourceLocation.hs
      - Subsort.hs
      - Symbol
        Anywhere.hs
        Klabel.hs
        Memo.hs
        NoEvaluators.hs
        SymbolKywd.hs
      - Symbol.hs
      - Synthetic.hs
      - Trusted.hs
      - UniqueId.hs
    - BugReport.hs
    - Builtin
      - AssocComm
        AssocComm.hs
        CeilSimplifier.hs
      - AssociativeCommutative.hs
      - Attributes.hs
      - Bool
        Bool.hs
      - Bool.hs
      - Builtin.hs
      - Encoding.hs
      - Endianness
        Endianness.hs
      - Endianness.hs
      - EqTerm.hs
      - Error.hs
      - External.hs
      - Inj.hs
      - Int
        Int.hs
      - Int.hs
      - InternalBytes
        InternalBytes.hs
      - InternalBytes.hs
      - KEqual.hs
      - Kreflection.hs
      - Krypto.hs
      - List
        List.hs
      - List.hs
      - Map
        Map.hs
      - Map.hs
      - Set
        Set.hs
      - Set.hs
      - Signedness
        Signedness.hs
      - Signedness.hs
      - String
        String.hs
      - String.hs
      - Symbols.hs
      - Verifiers.hs
    - Builtin.hs
    - Debug.hs
    - Equation
      - Application.hs
      - Equation.hs
      - Registry.hs
      - Sentence.hs
      - Simplification.hs
    - Equation.hs
    - Error.hs
    - Exec.hs
    - IndexedModule
      - Error.hs
      - IndexedModule.hs
      - MetadataTools.hs
      - MetadataToolsBuilder.hs
      - OverloadGraph.hs
      - Resolvers.hs
      - SortGraph.hs
    - Internal
      - Alias.hs
      - ApplicationSorts.hs
      - Condition.hs
      - Conditional.hs
      - Inj.hs
      - InternalBool.hs
      - InternalBytes.hs
      - InternalInt.hs
      - InternalList.hs
      - InternalMap.hs
      - InternalSet.hs
      - InternalString.hs
      - Key.hs
      - MultiAnd.hs
      - MultiOr.hs
      - NormalizedAc.hs
      - OrCondition.hs
      - OrPattern.hs
      - Pattern.hs
      - Predicate.hs
      - SideCondition
        SideCondition.hs
      - SideCondition.hs
      - Substitution.hs
      - Symbol.hs
      - TermLike
        Renaming.hs
        TermLike.hs
      - TermLike.hs
      - Variable.hs
    - Log
      - DebugAppliedRewriteRules.hs
      - DebugClaimState.hs
      - DebugEvaluateCondition.hs
      - DebugProven.hs
      - DebugSolver.hs
      - DebugSubstitutionSimplifier.hs
      - DebugUnification.hs
      - ErrorBottomTotalFunction.hs
      - ErrorDecidePredicateUnknown.hs
      - ErrorException.hs
      - ErrorParse.hs
      - ErrorRewriteLoop.hs
      - ErrorRewritesInstantiation.hs
      - ErrorRuleMergeDuplicate.hs
      - ErrorVerify.hs
      - InfoAttemptUnification.hs
      - InfoExecBreadth.hs
      - InfoExecDepth.hs
      - InfoProofDepth.hs
      - InfoReachability.hs
      - KoreLogOptions.hs
      - Registry.hs
      - SQLite.hs
      - WarnBoundedModelChecker.hs
      - WarnFunctionWithoutEvaluators.hs
      - WarnIfLowProductivity.hs
      - WarnRetrySolverQuery.hs
      - WarnStuckClaimState.hs
      - WarnSymbolSMTRepresentation.hs
      - WarnTrivialClaim.hs
    - Log.hs
    - ModelChecker
      - Bounded.hs
      - Simplification.hs
      - Step.hs
    - Options.hs
    - Parser
      - CString.hs
      - Lexer.hs
      - Parser.hs
      - ParserUtils.hs
    - Parser.hs
    - Reachability
      - AllPathClaim.hs
      - Claim.hs
      - ClaimState.hs
      - OnePathClaim.hs
      - Prim.hs
      - Prove.hs
      - SomeClaim.hs
    - Reachability.hs
    - Repl
      - Data.hs
      - Interpreter.hs
      - Parser.hs
      - State.hs
    - Repl.hs
    - Rewriting
      - RewritingVariable.hs
      - UnifyingRule.hs
    - Sort.hs
    - Step
      - AntiLeft.hs
      - Axiom
        EvaluationStrategy.hs
        Identifier.hs
        Matcher.hs
        Registry.hs
      - AxiomPattern.hs
      - ClaimPattern.hs
      - Function
        Evaluator.hs
        Memo.hs
      - Implication.hs
      - Remainder.hs
      - Result.hs
      - RewriteStep.hs
      - Rule
        Combine.hs
        Expand.hs
        Simplify.hs
      - Rule.hs
      - RulePattern.hs
      - SMT
        AST.hs
        Declaration
        All.hs
        Sorts.hs
        Symbols.hs
        Encoder.hs
        Evaluator.hs
        Lemma.hs
        Representation
        All.hs
        Resolve.hs
        Sorts.hs
        Symbols.hs
        Resolvers.hs
        Translate.hs
      - Search.hs
      - Simplification
        And.hs
        AndPredicates.hs
        AndTerms.hs
        Application.hs
        Bottom.hs
        Ceil.hs
        CeilSimplifier.hs
        Condition.hs
        Data.hs
        Defined.hs
        DomainValue.hs
        Equals.hs
        Exists.hs
        ExpandAlias.hs
        Floor.hs
        Forall.hs
        Iff.hs
        Implies.hs
        In.hs
        Inhabitant.hs
        Inj.hs
        InjSimplifier.hs
        InternalBool.hs
        InternalBytes.hs
        InternalInt.hs
        InternalList.hs
        InternalMap.hs
        InternalSet.hs
        InternalString.hs
        Mu.hs
        Next.hs
        NoConfusion.hs
        Not.hs
        NotSimplifier.hs
        Nu.hs
        Or.hs
        OrPattern.hs
        OverloadSimplifier.hs
        Overloading.hs
        Pattern.hs
        Rewrites.hs
        Rule.hs
        SetVariable.hs
        SimplificationType.hs
        Simplify.hs
        StringLiteral.hs
        SubstitutionSimplifier.hs
        TermLike.hs
        Top.hs
        Variable.hs
      - Step.hs
      - Strategy.hs
      - Substitution.hs
      - Transition.hs
    - Step.hs
    - Substitute.hs
    - Syntax
      - And.hs
      - Application.hs
      - Bottom.hs
      - Ceil.hs
      - Definition.hs
      - DomainValue.hs
      - Equals.hs
      - Exists.hs
      - Floor.hs
      - Forall.hs
      - Id.hs
      - Iff.hs
      - Implies.hs
      - In.hs
      - Inhabitant.hs
      - Module.hs
      - Mu.hs
      - Next.hs
      - Not.hs
      - Nu.hs
      - Or.hs
      - Pattern.hs
      - PatternF.hs
      - Rewrites.hs
      - Sentence.hs
      - StringLiteral.hs
      - Top.hs
      - Variable.hs
    - Syntax.hs
    - TopBottom.hs
    - Unification
      - Procedure.hs
      - SubstitutionNormalization.hs
      - SubstitutionSimplifier.hs
      - UnifierT.hs
      - Unify.hs
    - Unparser.hs
    - Variables
      - Binding.hs
      - Free.hs
      - Fresh.hs
      - Target.hs
    - Verified.hs
    - VersionInfo.hs
  - Log
    - Entry.hs
  - Log.hs
  - Logic.hs
  - Options
    - SMT.hs
  - Pair.hs
  - Prelude
    - Kore.hs
  - Pretty.hs
  - Prof.hs
  - SMT
    - AST.hs
    - SimpleSMT.hs
  - SMT.hs
  - SQL
    - ColumnDef.hs
    - Key.hs
    - Query.hs
    - SOP.hs
    - SQL.hs
  - SQL.hs
  - Stats.hs
- test/Test
  - ConsistentKore.hs
  - Data
    - Graph
      - TopologicalSort.hs
    - Limit.hs
    - Sup.hs
  - Debug.hs
  - Expect.hs
  - Injection.hs
  - Kore
    - AST
      - Common.hs
    - ASTVerifier
      - DefinitionVerifier
        Imports.hs
        PatternVerifier.hs
        SentenceVerifier.hs
        SortUsage.hs
        UniqueNames.hs
        UniqueSortVariables.hs
      - DefinitionVerifier.hs
    - Attribute
      - Assoc.hs
      - Axiom
        Concrete.hs
        Symbolic.hs
        Unit.hs
      - Comm.hs
      - Constructor.hs
      - Function.hs
      - Functional.hs
      - Hook.hs
      - Idem.hs
      - Injective.hs
      - Label.hs
      - Overload.hs
      - Owise.hs
      - Parser.hs
      - Pattern
        ConstructorLike.hs
        Defined.hs
        FreeVariables.hs
        Function.hs
        Functional.hs
        Sort.hs
      - Priority.hs
      - ProductionID.hs
      - Simplification.hs
      - Smtlib.hs
      - Sort
        ConstructorsBuilder.hs
        HasDomainValues.hs
        Unit.hs
      - SortInjection.hs
      - Subsort.hs
      - Symbol
        Anywhere.hs
        Klabel.hs
        Memo.hs
        NoEvaluators.hs
        SymbolKywd.hs
      - Symbol.hs
      - Trusted.hs
      - UniqueId.hs
    - BugReport.hs
    - Builtin
      - AssocComm
        CeilSimplifier.hs
      - AssociativeCommutative.hs
      - Bool.hs
      - Builtin.hs
      - Definition.hs
      - Encoding.hs
      - Endianness.hs
      - Inj.hs
      - Int.hs
      - InternalBytes.hs
      - KEqual.hs
      - Krypto.hs
      - List.hs
      - Map.hs
      - Set.hs
      - Signedness.hs
      - String.hs
    - Builtin.hs
    - Contains.hs
    - Equation
      - Application.hs
      - Common.hs
      - Sentence.hs
      - Simplification.hs
    - Error.hs
    - Exec.hs
    - IndexedModule
      - Error.hs
      - MockMetadataTools.hs
      - OverloadGraph.hs
      - Resolvers.hs
      - SortGraph.hs
    - Internal
      - ApplicationSorts.hs
      - Condition.hs
      - Key.hs
      - MultiAnd.hs
      - OrCondition.hs
      - OrPattern.hs
      - Pattern.hs
      - Predicate.hs
      - SideCondition.hs
      - Substitution.hs
      - Symbol.hs
      - TermLike.hs
    - Log
      - DebugEvaluateCondition.hs
      - ErrorBottomTotalFunction.hs
      - WarnFunctionWithoutEvaluators.hs
      - WarnSymbolSMTRepresentation.hs
    - Options.hs
    - Parser
      - Lexer.hs
      - Parser.hs
    - Parser.hs
    - Reachability
      - Claim.hs
      - MockAllPath.hs
      - OnePathStrategy.hs
      - Prove.hs
      - SomeClaim.hs
    - Repl
      - Graph.hs
      - Interpreter.hs
      - Parser.hs
    - Rewriting
      - RewritingVariable.hs
    - Step
      - AntiLeft.hs
      - Axiom
        EvaluationStrategy.hs
        Identifier.hs
        Matcher.hs
        Registry.hs
      - ClaimPattern.hs
      - Function
        Evaluator.hs
        Integration.hs
        Memo.hs
      - Implication.hs
      - MockSymbols.hs
      - Remainder.hs
      - RewriteStep.hs
      - Rule
        Combine.hs
        Common.hs
        Expand.hs
        Simplify.hs
      - Rule.hs
      - RulePattern.hs
      - SMT
        Builders.hs
        Evaluator.hs
        Helpers.hs
        Representation
        All.hs
        Builders.hs
        Helpers.hs
        Sorts.hs
        Symbols.hs
        Sorts.hs
        Symbols.hs
        Translate.hs
      - Simplification
        And.hs
        AndTerms.hs
        Application.hs
        Bottom.hs
        Ceil.hs
        Condition.hs
        DomainValue.hs
        Equals.hs
        Exists.hs
        Floor.hs
        Forall.hs
        Iff.hs
        Implies.hs
        InjSimplifier.hs
        Integration.hs
        IntegrationProperty.hs
        InternalList.hs
        InternalMap.hs
        InternalSet.hs
        Next.hs
        Not.hs
        Or.hs
        OrPattern.hs
        Overloading.hs
        Pattern.hs
        Rule.hs
        StringLiteral.hs
        SubstitutionSimplifier.hs
        TermLike.hs
        Top.hs
      - Simplification.hs
      - Strategy.hs
      - Transition.hs
    - Step.hs
    - Syntax
      - Id.hs
      - Variable.hs
    - TopBottom.hs
    - Unification
      - SubstitutionNormalization.hs
      - Unifier.hs
      - UnifierT.hs
    - Unparser.hs
    - Variables
      - Fresh.hs
      - Target.hs
      - V.hs
      - W.hs
    - With.hs
  - Kore.hs
  - Pretty.hs
  - SMT
    - AST.hs
  - SMT.hs
  - SQL.hs
  - Stats.hs
  - Tasty/HUnit
    - Ext.hs
  - Terse.hs
nix
- sources.json

569 files changed

+67072

-64584

lines changed

`‎kore/Setup.hs`

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,3 @@`
`1`	`1`	`import Distribution.Simple`
	`2`	`+`
`2`	`3`	`main = defaultMain`

Comments

(0)