@hackage PropaFP dependencies

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/containers

Assorted concrete container types

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

@haskell/binary

Binary serialisation for Haskell values using lazy ByteStrings

@haskell/base

Core data structures and operations

@hackage/scientific

Numbers represented using scientific notation

@hackage/regex-tdfa

Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

@hackage/mixed-types-num

Alternative Prelude with numeric and logic expressions typed bottom-up

@hackage/ghc

The GHC API

@hackage/extra

Extra functions I use.

@hackage/collect-errors

Error monad with a Float instance

@hackage/aern2-mp

Multi-precision ball (interval) arithmetic

@hackage/aern2-mfun

Multi-variate real function optimisation and proving

@hackage/QuickCheck

Automatic testing of Haskell programs

executable:propafp-prettify (17 dependencies)

@haskell/process

Process libraries

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/containers

Assorted concrete container types

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

@haskell/binary

Binary serialisation for Haskell values using lazy ByteStrings

@haskell/base

Core data structures and operations

@hackage/scientific

Numbers represented using scientific notation

@hackage/regex-tdfa

Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

@hackage/mixed-types-num

Alternative Prelude with numeric and logic expressions typed bottom-up

@hackage/ghc

The GHC API

@hackage/extra

Extra functions I use.

@hackage/collect-errors

Error monad with a Float instance

@hackage/aern2-mp

Multi-precision ball (interval) arithmetic

@hackage/aern2-mfun

Multi-variate real function optimisation and proving

@hackage/QuickCheck

Automatic testing of Haskell programs

@hackage/PropaFP

Auto-active verification of floating-point programs

executable:propafp-run-dreal (17 dependencies)

@haskell/process

Process libraries

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/containers

Assorted concrete container types

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

@haskell/binary

Binary serialisation for Haskell values using lazy ByteStrings

@haskell/base

Core data structures and operations

@hackage/scientific

Numbers represented using scientific notation

@hackage/regex-tdfa

Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

@hackage/mixed-types-num

Alternative Prelude with numeric and logic expressions typed bottom-up

@hackage/ghc

The GHC API

@hackage/extra

Extra functions I use.

@hackage/collect-errors

Error monad with a Float instance

@hackage/aern2-mp

Multi-precision ball (interval) arithmetic

@hackage/aern2-mfun

Multi-variate real function optimisation and proving

@hackage/QuickCheck

Automatic testing of Haskell programs

@hackage/PropaFP

Auto-active verification of floating-point programs

executable:propafp-run-lppaver (17 dependencies)

@haskell/process

Process libraries

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/containers

Assorted concrete container types

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

@haskell/binary

Binary serialisation for Haskell values using lazy ByteStrings

@haskell/base

Core data structures and operations

@hackage/scientific

Numbers represented using scientific notation

@hackage/regex-tdfa

Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

@hackage/mixed-types-num

Alternative Prelude with numeric and logic expressions typed bottom-up

@hackage/ghc

The GHC API

@hackage/extra

Extra functions I use.

@hackage/collect-errors

Error monad with a Float instance

@hackage/aern2-mp

Multi-precision ball (interval) arithmetic

@hackage/aern2-mfun

Multi-variate real function optimisation and proving

@hackage/QuickCheck

Automatic testing of Haskell programs

@hackage/PropaFP

Auto-active verification of floating-point programs

executable:propafp-run-metitarski (17 dependencies)

@haskell/process

Process libraries

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/containers

Assorted concrete container types

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

@haskell/binary

Binary serialisation for Haskell values using lazy ByteStrings

@haskell/base

Core data structures and operations

@hackage/scientific

Numbers represented using scientific notation

@hackage/regex-tdfa

Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

@hackage/mixed-types-num

Alternative Prelude with numeric and logic expressions typed bottom-up

@hackage/ghc

The GHC API

@hackage/extra

Extra functions I use.

@hackage/collect-errors

Error monad with a Float instance

@hackage/aern2-mp

Multi-precision ball (interval) arithmetic

@hackage/aern2-mfun

Multi-variate real function optimisation and proving

@hackage/QuickCheck

Automatic testing of Haskell programs

@hackage/PropaFP

Auto-active verification of floating-point programs

executable:propafp-translate-dreal (17 dependencies)

@haskell/process

Process libraries

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/containers

Assorted concrete container types

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

@haskell/binary

Binary serialisation for Haskell values using lazy ByteStrings

@haskell/base

Core data structures and operations

@hackage/scientific

Numbers represented using scientific notation

@hackage/regex-tdfa

Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

@hackage/mixed-types-num

Alternative Prelude with numeric and logic expressions typed bottom-up

@hackage/ghc

The GHC API

@hackage/extra

Extra functions I use.

@hackage/collect-errors

Error monad with a Float instance

@hackage/aern2-mp

Multi-precision ball (interval) arithmetic

@hackage/aern2-mfun

Multi-variate real function optimisation and proving

@hackage/QuickCheck

Automatic testing of Haskell programs

@hackage/PropaFP

Auto-active verification of floating-point programs

executable:propafp-translate-metitarski (17 dependencies)

@haskell/process

Process libraries

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/containers

Assorted concrete container types

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

@haskell/binary

Binary serialisation for Haskell values using lazy ByteStrings

@haskell/base

Core data structures and operations

@hackage/scientific

Numbers represented using scientific notation

@hackage/regex-tdfa

Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

@hackage/mixed-types-num

Alternative Prelude with numeric and logic expressions typed bottom-up

@hackage/ghc

The GHC API

@hackage/extra

Extra functions I use.

@hackage/collect-errors

Error monad with a Float instance

@hackage/aern2-mp

Multi-precision ball (interval) arithmetic

@hackage/aern2-mfun

Multi-variate real function optimisation and proving

@hackage/QuickCheck

Automatic testing of Haskell programs

@hackage/PropaFP

Auto-active verification of floating-point programs

test:PropaFP-test (17 dependencies)

@haskell/process

Process libraries

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/containers

Assorted concrete container types

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

@haskell/binary

Binary serialisation for Haskell values using lazy ByteStrings

@haskell/base

Core data structures and operations

@hackage/scientific

Numbers represented using scientific notation

@hackage/regex-tdfa

Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

@hackage/mixed-types-num

Alternative Prelude with numeric and logic expressions typed bottom-up

@hackage/ghc

The GHC API

@hackage/extra

Extra functions I use.

@hackage/collect-errors

Error monad with a Float instance

@hackage/aern2-mp

Multi-precision ball (interval) arithmetic

@hackage/aern2-mfun

Multi-variate real function optimisation and proving

@hackage/QuickCheck

Automatic testing of Haskell programs

@hackage/PropaFP

Auto-active verification of floating-point programs