Changelog of @hackage/copilot-verifier 4.5.1

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.