@hackage / PropaFP

Auto-active verification of floating-point programs

Latest0.1.2.0

Dependencies

library:PropaFP (17 dependencies)

@hackage / aern2-mp Multi-precision ball (interval) arithmetic
- Version: >=0.2.9.1 && <0.3
- License: BSD-3-Clause
@hackage / collect-errors Error monad with a Float instance
- Version: >=0.1.5 && <0.2
- License: BSD-3-Clause
@hackage / process Process libraries
- Version: >=1.6.13.2 && <1.7
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10.12.1 && <0.11
- License: BSD-3-Clause
@hackage / temporary Portable temporary file and directory support
- Version: >=1.3 && <1.4
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.6.4.1 && <0.7
- License: BSD-3-Clause
@hackage / extra Extra functions I use.
- Version: >=1.7.10 && <1.8
- License: BSD-3-Clause
@hackage / scientific Numbers represented using scientific notation
- Version: >=0.3.7.0 && <0.4
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.3.6.2 && <1.4
- License: BSD-3-Clause
@hackage / ghc The GHC API
- Version: >=9.0.2 && <9.1
- License: BSD-3-Clause
@hackage / mixed-types-num Alternative Prelude with numeric and logic expressions typed bottom-up
- Version: >=0.5.10 && <0.6
- License: BSD-3-Clause
@hackage / regex-tdfa Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)
- Version: >=1.3.1.2 && <1.4
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / QuickCheck Automatic testing of Haskell programs
- Version: >=2.14.2 && <2.15
- License: BSD-3-Clause
@hackage / aern2-mfun Multi-variate real function optimisation and proving
- Version: >=0.2.9 && <0.3
- License: BSD-3-Clause
@hackage / optparse-applicative Utilities and combinators for parsing command line options
- Version: >=0.16.1.0 && <0.17
- License: BSD-3-Clause
@hackage / binary Binary serialisation for Haskell values using lazy ByteStrings
- Version: >=0.8.8.0 && <0.9
- License: BSD-3-Clause

executable:propafp-prettify (18 dependencies)

executable:propafp-run-dreal (18 dependencies)

executable:propafp-run-lppaver (18 dependencies)

executable:propafp-run-metitarski (18 dependencies)

executable:propafp-translate-dreal (18 dependencies)

executable:propafp-translate-metitarski (18 dependencies)

test:PropaFP-test (18 dependencies)