Include test and benchmark dependencies

Licenses for copilot-verifier

Return to license list

License Packages
BSD-2-Clause
  • constraints
  • indexed-traversable
  • indexed-traversable-instances
  • invariant
  • lens
  • megaparsec
  • parsec
  • prettyprinter
  • prettyprinter-ansi-terminal
  • prettyprinter-compat-ansi-wl-pprint
  • semigroupoids
  • text
  • time
BSD-3-Clause
  • BoundedChan
  • Cabal
  • Cabal-syntax
  • Glob
  • IntervalMap
  • OneTuple
  • QuickCheck
  • SHA
  • StateVar
  • Win32
  • adjunctions
  • aeson
  • ansi-terminal
  • ansi-terminal-types
  • ansi-wl-pprint
  • array
  • assoc
  • async
  • attoparsec
  • base
  • base16-bytestring
  • base64-bytestring
  • bifunctors
  • bimap
  • binary
  • bitvec
  • bitwise
  • boomerang
  • boring
  • bv-sized
  • bytestring
  • case-insensitive
  • clock
  • comonad
  • concurrent-extra
  • containers
  • contravariant
  • copilot
  • copilot-c99
  • copilot-core
  • copilot-interpreter
  • copilot-language
  • copilot-libraries
  • copilot-prettyprinter
  • copilot-theorem
  • copilot-verifier
  • crucible
  • crucible-llvm
  • crucible-symio
  • crux
  • crux-llvm
  • cryptohash-sha256
  • data-array-byte
  • data-default
  • data-default-class
  • data-default-instances-containers
  • data-default-instances-dlist
  • data-default-instances-old-locale
  • data-fix
  • data-reify
  • deepseq
  • deriving-compat
  • directory
  • distributive
  • dlist
  • dotgen
  • entropy
  • exceptions
  • extra
  • fail
  • fgl
  • fgl-visualize
  • filemanip
  • filepath
  • fingertree
  • foldl
  • free
  • generic-deriving
  • generic-lens
  • generic-lens-core
  • generically
  • ghc-bignum
  • ghc-boot-th
  • ghc-prim
  • gitrev
  • hashable
  • hashtables
  • hostname
  • ieee754
  • indexed-profunctors
  • integer-conversion
  • integer-gmp
  • io-streams
  • itanium-abi
  • json
  • kan-extensions
  • libyaml
  • llvm-pretty
  • llvm-pretty-bc-parser
  • logict
  • managed
  • microlens
  • microlens-th
  • monadLib
  • mtl
  • nats
  • network
  • network-uri
  • old-locale
  • old-time
  • optional-args
  • optparse-applicative
  • ordered-containers
  • os-string
  • parallel
  • parameterized-utils
  • parser-combinators
  • pretty
  • primitive
  • process
  • profunctors
  • random
  • raw-strings-qq
  • reflection
  • resourcet
  • s-cargot
  • scientific
  • semialign
  • semigroups
  • simple-get-opt
  • split
  • splitmix
  • stm
  • strict
  • syb
  • tagged
  • template-haskell
  • temporary
  • terminal-size
  • text-iso8601
  • text-short
  • th-lift
  • th-lift-instances
  • these
  • time-compat
  • transformers
  • transformers-base
  • transformers-compat
  • turtle
  • unbounded-delays
  • uniplate
  • unix-compat
  • unordered-containers
  • utf8-string
  • uuid-types
  • vector
  • vector-algorithms
  • vector-stream
  • versions
  • void
  • websockets
  • what4
  • witherable
  • xml
  • yaml
  • zenc
  • zlib
  • zlib-bindings
ISC
  • config-schema
  • lumberjack
  • panic
  • th-abstraction
MIT
  • base-compat
  • base-orphans
  • call-stack
  • colour
  • conduit
  • config-value
  • ghcjs-base
  • haskell-lexer
  • integer-logarithms
  • jsaddle
  • language-c99
  • language-c99-simple
  • language-c99-util
  • libBF
  • libyaml-clib
  • mono-traversable
  • pretty-show
  • safe-exceptions
  • streaming-commons
  • unliftio
  • unliftio-core
Unknown
  • ghcjs-dom
Zlib
  • zlib-clib