packages feed

copilot-verifier 4.3 → 4.4

raw patch · 2 files changed

+11/−8 lines, 2 filesdep ~copilotdep ~copilot-c99dep ~copilot-corePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: copilot, copilot-c99, copilot-core, copilot-language, copilot-libraries, copilot-prettyprinter, copilot-theorem

API changes (from Hackage documentation)

- Copilot.Verifier.Examples.ShouldPass.FPOps: mkSpecFor :: forall a proxy. (RealFloat a, Typed a) => proxy a -> String -> Spec
+ Copilot.Verifier.Examples.ShouldPass.FPOps: mkSpecFor :: (RealFloat a, Typed a) => proxy a -> String -> Spec

Files

CHANGELOG view
@@ -1,3 +1,6 @@+2025-05-08+        * Version bump (4.4). (#85)+ 2025-03-10         * Version bump (4.3). (#82)         * Add `smtSolver` option to `VerifierOptions`. (#78)
copilot-verifier.cabal view
@@ -1,6 +1,6 @@ Cabal-version: 2.2 Name:          copilot-verifier-Version:       4.3+Version:       4.4 Author:        Galois Inc. Maintainer:    rscott@galois.com Copyright:     (c) Galois, Inc 2021-2024@@ -45,9 +45,9 @@     bv-sized >= 1.0.0 && < 1.1,     bytestring,     containers >= 0.5.9.0,-    copilot-c99 >= 4.3 && < 4.4,-    copilot-core >= 4.3 && < 4.4,-    copilot-theorem >= 4.3 && < 4.4,+    copilot-c99 >= 4.4 && < 4.5,+    copilot-core >= 4.4 && < 4.5,+    copilot-theorem >= 4.4 && < 4.5,     crucible >= 0.7.1 && < 0.8,     crucible-llvm >= 0.7 && < 0.8,     crux >= 0.7.1 && < 0.8,@@ -80,10 +80,10 @@   hs-source-dirs: examples   build-depends:     case-insensitive,-    copilot >= 4.3 && < 4.4,-    copilot-language >= 4.3 && < 4.4,-    copilot-libraries >= 4.3 && < 4.4,-    copilot-prettyprinter >= 4.3 && < 4.4,+    copilot >= 4.4 && < 4.5,+    copilot-language >= 4.4 && < 4.5,+    copilot-libraries >= 4.4 && < 4.5,+    copilot-prettyprinter >= 4.4 && < 4.5,     copilot-verifier   exposed-modules:     Copilot.Verifier.Examples