@hackage copilot-verifier dependencies
106 results
@hackage/lens
Lenses, Folds and Traversals
@hackage/crux
Simple top-level library for Crucible Simulation
@hackage/prettyprinter
A modern, easy to use, well-documented, extensible pretty-printer.
@hackage/base
Core data structures and operations
@hackage/copilot-core
An intermediate representation for Copilot.
@hackage/filepath
Library for manipulating FilePaths in a cross platform way.
@hackage/parameterized-utils
Classes and data structures for working with data-kind indexed types
@hackage/crux-llvm
A verification tool for C programs.
@hackage/crucible
Crucible is a library for language-agnostic symbolic simulation
@hackage/mtl
Monad classes for transformers, using functional dependencies
@hackage/what4
Solver-agnostic symbolic values support for issuing queries
@hackage/copilot-theorem
k-induction for Copilot.
@hackage/crucible-llvm
Support for translating and executing LLVM code in Crucible
@hackage/text
An efficient packed Unicode text type.
@hackage/transformers
Concrete functor and monad transformers
@hackage/aeson
Fast JSON parsing and encoding
@hackage/bv-sized
a bitvector datatype that is parameterized by the vector width
@hackage/vector
Efficient Arrays
@hackage/containers
Assorted concrete container types
@hackage/panic
A convenient way to panic.
@hackage/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@hackage/llvm-pretty
A pretty printing library inspired by the llvm binding.
@hackage/copilot-c99
A compiler for Copilot targeting C99.
@hackage/lens
Lenses, Folds and Traversals
@hackage/copilot
A stream DSL for writing embedded C programs.
@hackage/copilot-language
A Haskell-embedded DSL for monitoring hard real-time distributed systems.
@hackage/crux
Simple top-level library for Crucible Simulation
@hackage/prettyprinter
A modern, easy to use, well-documented, extensible pretty-printer.
@hackage/base
Core data structures and operations
@hackage/copilot-core
An intermediate representation for Copilot.
@hackage/filepath
Library for manipulating FilePaths in a cross platform way.
@hackage/parameterized-utils
Classes and data structures for working with data-kind indexed types
@hackage/crux-llvm
A verification tool for C programs.
@hackage/copilot-prettyprinter
A prettyprinter of Copilot Specifications.
@hackage/crucible
Crucible is a library for language-agnostic symbolic simulation
@hackage/mtl
Monad classes for transformers, using functional dependencies
@hackage/what4
Solver-agnostic symbolic values support for issuing queries
@hackage/copilot-theorem
k-induction for Copilot.
@hackage/crucible-llvm
Support for translating and executing LLVM code in Crucible
@hackage/text
An efficient packed Unicode text type.
@hackage/transformers
Concrete functor and monad transformers
@hackage/aeson
Fast JSON parsing and encoding
@hackage/case-insensitive
Case insensitive string comparison
@hackage/bv-sized
a bitvector datatype that is parameterized by the vector width
@hackage/vector
Efficient Arrays
@hackage/containers
Assorted concrete container types
@hackage/panic
A convenient way to panic.
@hackage/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@hackage/copilot-verifier
System for verifying the correctness of generated Copilot programs
@hackage/llvm-pretty
A pretty printing library inspired by the llvm binding.
@hackage/copilot-c99
A compiler for Copilot targeting C99.
@hackage/lens
Lenses, Folds and Traversals
@hackage/crux
Simple top-level library for Crucible Simulation
@hackage/prettyprinter
A modern, easy to use, well-documented, extensible pretty-printer.
@hackage/base
Core data structures and operations
@hackage/copilot-core
An intermediate representation for Copilot.
@hackage/filepath
Library for manipulating FilePaths in a cross platform way.
@hackage/parameterized-utils
Classes and data structures for working with data-kind indexed types
@hackage/crux-llvm
A verification tool for C programs.
@hackage/crucible
Crucible is a library for language-agnostic symbolic simulation
@hackage/mtl
Monad classes for transformers, using functional dependencies
@hackage/what4
Solver-agnostic symbolic values support for issuing queries
@hackage/copilot-theorem
k-induction for Copilot.
@hackage/crucible-llvm
Support for translating and executing LLVM code in Crucible
@hackage/text
An efficient packed Unicode text type.
@hackage/transformers
Concrete functor and monad transformers
@hackage/aeson
Fast JSON parsing and encoding
@hackage/case-insensitive
Case insensitive string comparison
@hackage/bv-sized
a bitvector datatype that is parameterized by the vector width
@hackage/vector
Efficient Arrays
@hackage/containers
Assorted concrete container types
@hackage/panic
A convenient way to panic.
@hackage/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@hackage/optparse-applicative
Utilities and combinators for parsing command line options
@hackage/copilot-verifier
:copilot-verifier-examples
System for verifying the correctness of generated Copilot programs
@hackage/llvm-pretty
A pretty printing library inspired by the llvm binding.
@hackage/copilot-c99
A compiler for Copilot targeting C99.
@hackage/lens
Lenses, Folds and Traversals
@hackage/crux
Simple top-level library for Crucible Simulation
@hackage/silently
Prevent or capture writing to stdout and other handles.
@hackage/prettyprinter
A modern, easy to use, well-documented, extensible pretty-printer.
@hackage/tasty
Modern and extensible testing framework
@hackage/base
Core data structures and operations
@hackage/copilot-core
An intermediate representation for Copilot.
@hackage/filepath
Library for manipulating FilePaths in a cross platform way.
@hackage/parameterized-utils
Classes and data structures for working with data-kind indexed types
@hackage/crux-llvm
A verification tool for C programs.
@hackage/crucible
Crucible is a library for language-agnostic symbolic simulation
@hackage/mtl
Monad classes for transformers, using functional dependencies
@hackage/what4
Solver-agnostic symbolic values support for issuing queries
@hackage/copilot-theorem
k-induction for Copilot.
@hackage/tasty-expected-failure
Mark tasty tests as failure expected
@hackage/crucible-llvm
Support for translating and executing LLVM code in Crucible
@hackage/text
An efficient packed Unicode text type.
@hackage/transformers
Concrete functor and monad transformers
@hackage/aeson
Fast JSON parsing and encoding
@hackage/case-insensitive
Case insensitive string comparison
@hackage/bv-sized
a bitvector datatype that is parameterized by the vector width
@hackage/vector
Efficient Arrays
@hackage/containers
Assorted concrete container types
@hackage/panic
A convenient way to panic.
@hackage/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@hackage/copilot-verifier
System for verifying the correctness of generated Copilot programs
@hackage/tasty-hunit
HUnit support for the Tasty test framework.
@hackage/llvm-pretty
A pretty printing library inspired by the llvm binding.
@hackage/copilot-c99
A compiler for Copilot targeting C99.