Cabal revisions of crucible-debug-0.1.2.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-cabal-version: 2.4-name: crucible-debug-version: 0.1.2.0-author: Galois Inc.-maintainer: langston@galois.com-build-type: Simple-license: BSD-3-Clause-license-file: LICENSE-category: Language-synopsis: An interactive debugger for Crucible programs-description:- An interactive debugger for Crucible programs.--extra-doc-files: README.md, CHANGELOG.md-extra-source-files:- LICENSE- test-data/**/*.txt--common shared- -- Specifying -Wall and -Werror can cause the project to fail to build on- -- newer versions of GHC simply due to new warnings being added to -Wall. To- -- prevent this from happening we manually list which warnings should be- -- considered errors. We also list some warnings that are not in -Wall, though- -- try to avoid "opinionated" warnings (though this judgement is clearly- -- subjective).- --- -- Warnings are grouped by the GHC version that introduced them, and then- -- alphabetically.- --- -- A list of warnings and the GHC version in which they were introduced is- -- available here:- -- https://ghc.gitlab.haskell.org/ghc/doc/users_guide/using-warnings.html-- -- Since GHC 9.6 or earlier:- ghc-options:- -Wall- -Werror=ambiguous-fields- -Werror=compat-unqualified-imports- -Werror=deferred-type-errors- -Werror=deprecated-flags- -Werror=deprecations- -Werror=deriving-defaults- -Werror=deriving-typeable- -Werror=dodgy-foreign-imports- -Werror=duplicate-exports- -Werror=empty-enumerations- -Werror=gadt-mono-local-binds- -Werror=identities- -Werror=inaccessible-code- -Werror=incomplete-patterns- -Werror=incomplete-record-updates- -Werror=incomplete-uni-patterns- -Werror=inline-rule-shadowing- -Werror=misplaced-pragmas- -Werror=missed-extra-shared-lib- -Werror=missing-exported-signatures- -Werror=missing-fields- -Werror=missing-home-modules- -Werror=missing-methods- -Werror=missing-pattern-synonym-signatures- -Werror=missing-signatures- -Werror=name-shadowing- -Werror=noncanonical-monad-instances- -Werror=noncanonical-monoid-instances- -Werror=operator-whitespace- -Werror=operator-whitespace-ext-conflict- -Werror=orphans- -Werror=overflowed-literals- -Werror=overlapping-patterns- -Werror=partial-fields- -Werror=partial-type-signatures- -Werror=redundant-bang-patterns- -Werror=redundant-record-wildcards- -Werror=redundant-strictness-flags- -Werror=simplifiable-class-constraints- -Werror=star-binder- -Werror=star-is-type- -Werror=tabs- -Werror=type-defaults- -Werror=typed-holes- -Werror=type-equality-out-of-scope- -Werror=type-equality-requires-operators- -Werror=unicode-bidirectional-format-characters- -Werror=unrecognised-pragmas- -Werror=unrecognised-warning-flags- -Werror=unsupported-calling-conventions- -Werror=unsupported-llvm-version- -Werror=unused-do-bind- -Werror=unused-imports- -Werror=unused-record-wildcards- -Werror=warnings-deprecations- -Werror=wrong-do-bind-- if impl(ghc < 9.8)- ghc-options:- -Werror=forall-identifier-- if impl(ghc >= 9.8)- ghc-options:- -Werror=incomplete-export-warnings- -Werror=inconsistent-flags-- if impl(ghc >= 9.10)- ghc-options:- -Werror=badly-staged-types- -Werror=data-kinds-tc- -Werror=deprecated-type-abstractions- -Werror=incomplete-record-selectors-- ghc-prof-options: -O2 -fprof-auto-top- default-language: Haskell2010--library- import: shared-- build-depends:- base >= 4.13 && < 4.21,- containers,- crucible,- crucible-syntax,- directory,- extra,- filepath,- isocline,- lens,- megaparsec,- mtl,- parameterized-utils,- prettyprinter,- ring-buffer,- text,- vector,- what4,-- hs-source-dirs: src-- exposed-modules:- Lang.Crucible.Debug- Lang.Crucible.Debug.Inputs- Lang.Crucible.Debug.Outputs- Lang.Crucible.Pretty-- other-modules:- Lang.Crucible.Debug.Arg- Lang.Crucible.Debug.Arg.Type- Lang.Crucible.Debug.Breakpoint- Lang.Crucible.Debug.Command- Lang.Crucible.Debug.Command.Base- Lang.Crucible.Debug.Commands- Lang.Crucible.Debug.Complete- Lang.Crucible.Debug.Context- Lang.Crucible.Debug.Eval- Lang.Crucible.Debug.Override- Lang.Crucible.Debug.Personality- Lang.Crucible.Debug.Regex- Lang.Crucible.Debug.Response- Lang.Crucible.Debug.Statement- Lang.Crucible.Debug.Style- Lang.Crucible.Debug.Trace--test-suite crucible-debug-tests- import: shared- type: exitcode-stdio-1.0- main-is: Test.hs- hs-source-dirs: test- build-depends:- base,- bytestring,- crucible-debug,- directory,- prettyprinter,- tasty,- tasty-golden,- text,--executable crucible-debug- import: shared- hs-source-dirs: app- main-is: Main.hs- build-depends:- base >= 4.13,- crucible-debug,- text,+cabal-version: 2.4 +name: crucible-debug +version: 0.1.2.0 +x-revision: 1 +author: Galois Inc. +maintainer: langston@galois.com +build-type: Simple +license: BSD-3-Clause +license-file: LICENSE +category: Language +synopsis: An interactive debugger for Crucible programs +description: + An interactive debugger for Crucible programs. + +extra-doc-files: README.md, CHANGELOG.md +extra-source-files: + LICENSE + test-data/**/*.txt + +common shared + -- Specifying -Wall and -Werror can cause the project to fail to build on + -- newer versions of GHC simply due to new warnings being added to -Wall. To + -- prevent this from happening we manually list which warnings should be + -- considered errors. We also list some warnings that are not in -Wall, though + -- try to avoid "opinionated" warnings (though this judgement is clearly + -- subjective). + -- + -- Warnings are grouped by the GHC version that introduced them, and then + -- alphabetically. + -- + -- A list of warnings and the GHC version in which they were introduced is + -- available here: + -- https://ghc.gitlab.haskell.org/ghc/doc/users_guide/using-warnings.html + + -- Since GHC 9.6 or earlier: + ghc-options: + -Wall + -Werror=ambiguous-fields + -Werror=compat-unqualified-imports + -Werror=deferred-type-errors + -Werror=deprecated-flags + -Werror=deprecations + -Werror=deriving-defaults + -Werror=deriving-typeable + -Werror=dodgy-foreign-imports + -Werror=duplicate-exports + -Werror=empty-enumerations + -Werror=gadt-mono-local-binds + -Werror=identities + -Werror=inaccessible-code + -Werror=incomplete-patterns + -Werror=incomplete-record-updates + -Werror=incomplete-uni-patterns + -Werror=inline-rule-shadowing + -Werror=misplaced-pragmas + -Werror=missed-extra-shared-lib + -Werror=missing-exported-signatures + -Werror=missing-fields + -Werror=missing-home-modules + -Werror=missing-methods + -Werror=missing-pattern-synonym-signatures + -Werror=missing-signatures + -Werror=name-shadowing + -Werror=noncanonical-monad-instances + -Werror=noncanonical-monoid-instances + -Werror=operator-whitespace + -Werror=operator-whitespace-ext-conflict + -Werror=orphans + -Werror=overflowed-literals + -Werror=overlapping-patterns + -Werror=partial-fields + -Werror=partial-type-signatures + -Werror=redundant-bang-patterns + -Werror=redundant-record-wildcards + -Werror=redundant-strictness-flags + -Werror=simplifiable-class-constraints + -Werror=star-binder + -Werror=star-is-type + -Werror=tabs + -Werror=type-defaults + -Werror=typed-holes + -Werror=type-equality-out-of-scope + -Werror=type-equality-requires-operators + -Werror=unicode-bidirectional-format-characters + -Werror=unrecognised-pragmas + -Werror=unrecognised-warning-flags + -Werror=unsupported-calling-conventions + -Werror=unsupported-llvm-version + -Werror=unused-do-bind + -Werror=unused-imports + -Werror=unused-record-wildcards + -Werror=warnings-deprecations + -Werror=wrong-do-bind + + if impl(ghc < 9.8) + ghc-options: + -Werror=forall-identifier + + if impl(ghc >= 9.8) + ghc-options: + -Werror=incomplete-export-warnings + -Werror=inconsistent-flags + + if impl(ghc >= 9.10) + ghc-options: + -Werror=badly-staged-types + -Werror=data-kinds-tc + -Werror=deprecated-type-abstractions + -Werror=incomplete-record-selectors + + ghc-prof-options: -O2 -fprof-auto-top + default-language: Haskell2010 + +library + import: shared + + build-depends: + base >= 4.13 && < 4.21, + containers, + crucible >= 0.8, + crucible-syntax, + directory, + extra, + filepath, + isocline, + lens, + megaparsec, + mtl, + parameterized-utils, + prettyprinter, + ring-buffer, + text, + vector, + what4, + + hs-source-dirs: src + + exposed-modules: + Lang.Crucible.Debug + Lang.Crucible.Debug.Inputs + Lang.Crucible.Debug.Outputs + Lang.Crucible.Pretty + + other-modules: + Lang.Crucible.Debug.Arg + Lang.Crucible.Debug.Arg.Type + Lang.Crucible.Debug.Breakpoint + Lang.Crucible.Debug.Command + Lang.Crucible.Debug.Command.Base + Lang.Crucible.Debug.Commands + Lang.Crucible.Debug.Complete + Lang.Crucible.Debug.Context + Lang.Crucible.Debug.Eval + Lang.Crucible.Debug.Override + Lang.Crucible.Debug.Personality + Lang.Crucible.Debug.Regex + Lang.Crucible.Debug.Response + Lang.Crucible.Debug.Statement + Lang.Crucible.Debug.Style + Lang.Crucible.Debug.Trace + +test-suite crucible-debug-tests + import: shared + type: exitcode-stdio-1.0 + main-is: Test.hs + hs-source-dirs: test + build-depends: + base, + bytestring, + crucible-debug, + directory, + prettyprinter, + tasty, + tasty-golden, + text, + +executable crucible-debug + import: shared + hs-source-dirs: app + main-is: Main.hs + build-depends: + base >= 4.13, + crucible-debug, + text,