From 2c154ee8b1c2c1808b68a2c603af9b0cdf4c5246 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 9 Sep 2024 12:16:39 -0400 Subject: [PATCH 1/2] Bump version to 4.0. Refs #69. --- copilot-verifier/copilot-verifier.cabal | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/copilot-verifier/copilot-verifier.cabal b/copilot-verifier/copilot-verifier.cabal index dec767b..d862a44 100644 --- a/copilot-verifier/copilot-verifier.cabal +++ b/copilot-verifier/copilot-verifier.cabal @@ -1,6 +1,6 @@ Cabal-version: 2.2 Name: copilot-verifier -Version: 3.20 +Version: 4.0 Author: Galois Inc. Maintainer: rscott@galois.com Copyright: (c) Galois, Inc 2021-2024 From 1344d1b0451384e77fa5fabacb26c87b247aae9f Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 9 Sep 2024 12:17:19 -0400 Subject: [PATCH 2/2] Document changes in the CHANGELOG. Refs #69. --- copilot-verifier/CHANGELOG | 1 + 1 file changed, 1 insertion(+) diff --git a/copilot-verifier/CHANGELOG b/copilot-verifier/CHANGELOG index 2b1b699..b66d619 100644 --- a/copilot-verifier/CHANGELOG +++ b/copilot-verifier/CHANGELOG @@ -1,4 +1,5 @@ 2024-09-09 + * Version bump (4.0). (#69) * Support verifying programs that use array updates. (#63) * Support verifying programs that use struct updates. (#57)