contract-prover-4.0.0 --------------------- Version 4.0.0 Author Michael Hanus Synopsis A tool to verify contracts in FlatCurry programs Category Optimization Verification Dependencies base >= 3.0.0, < 4.0.0 containers >= 3.0.0, < 4.0.0 contracts >= 3.0.0, < 4.0.0 currypath >= 3.0.0, < 4.0.0 directory >= 3.0.0, < 4.0.0 filepath >= 3.0.0, < 4.0.0 flatcurry >= 3.0.0, < 5.0.0 flatcurry-smt ^2.0.0 flatcurry-annotated >= 3.3.0, < 4.0.0 flatcurry-type-annotated >= 3.3.0, < 4.0.0 io-extra >= 3.0.0, < 4.0.0 process >= 3.0.0, < 4.0.0 read-legacy >= 3.0.0, < 4.0.0 showflatcurry >= 3.0.0, < 4.0.0 transformers >= 3.0.0, < 4.0.0 wl-pprint >= 3.0.0, < 4.0.0 Executable Name curry-contracts Main module ContractProver Config module PackageConfig Test suite Directory examples Test script test.sh Test options -v Source Git https://github.com/curry-packages/contract-prover.git@v4.0.0 License BSD-3-Clause License file LICENSE