2025-11-07
        * Version bump (4.6). (#679)

2025-09-07
        * Version bump (4.5.1). (#666)

2025-07-07
        * Version bump (4.5). (#642)
        * Include `copilot-verifier` in mainline `copilot` repo. (#622)

2025-05-08
        * Version bump (4.4). (copilot-verifier#85)

2025-03-10
        * Version bump (4.3). (copilot-verifier#82)
        * Add `smtSolver` option to `VerifierOptions`. (copilot-verifier#78)
        * Add `smtFloatMode` option to `VerifierOptions`. (copilot-verifier#79)

2025-01-20
        * Version bump (4.2). (copilot-verifier#76)
        * Reject specs that use multiple triggers with the same name.
          (copilot-verifier#74)

2024-11-08
        * Version bump (4.1). (copilot-verifier#72)

2024-09-09
        * Version bump (4.0). (copilot-verifier#69)
        * Support verifying programs that use array updates.
          (copilot-verifier#63)
        * Support verifying programs that use struct updates.
          (copilot-verifier#57)

2024-08-03
        * Support building with `crucible-llvm-0.7` and `crux-llvm-0.9`.
          (copilot-verifier#64)
        * Support GHC 9.4 through 9.8. (copilot-verifier#65)

2024-07-30
        * When using `Noisy` verbosity, always log proof goals related to the
          core correspondence proof, even if the goals are trivial.
          (copilot-verifier#51)
        * When using `Noisy` verbosity, log more information about which proof
          goals arise before or after calling the `step()` function.
          (copilot-verifier#52)

2024-07-11
        * Version bump (3.20). (copilot-verifier#58)

2024-03-08
        * Version bump (3.19). (copilot-verifier#53)
        * Provide more detailed feedback upon a successful run of the verifier.
        * Make the examples build with Copilot 3.19. (copilot-verifier#53)

2024-02-06
        * Initial release of `copilot-verifier`.
