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`.