Skip to content

Commit 9021bcc

Browse files
authored
Merge pull request #73 from Copilot-Language/T72-copilot-verifier-4.1
Require building with Copilot 4.1. Refs #72.
2 parents e366e4b + 073ae58 commit 9021bcc

File tree

2 files changed

+10
-7
lines changed

2 files changed

+10
-7
lines changed

copilot-verifier/CHANGELOG

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
2024-11-08
2+
* Version bump (4.1). (#72)
3+
14
2024-09-09
25
* Version bump (4.0). (#69)
36
* Support verifying programs that use array updates. (#63)

copilot-verifier/copilot-verifier.cabal

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
Cabal-version: 2.2
22
Name: copilot-verifier
3-
Version: 4.0
3+
Version: 4.1
44
Author: Galois Inc.
55
Maintainer: [email protected]
66
Copyright: (c) Galois, Inc 2021-2024
@@ -45,9 +45,9 @@ common bldflags
4545
bv-sized >= 1.0.0 && < 1.1,
4646
bytestring,
4747
containers >= 0.5.9.0,
48-
copilot-c99 >= 4.0 && < 4.1,
49-
copilot-core >= 4.0 && < 4.1,
50-
copilot-theorem >= 4.0 && < 4.1,
48+
copilot-c99 >= 4.1 && < 4.2,
49+
copilot-core >= 4.1 && < 4.2,
50+
copilot-theorem >= 4.1 && < 4.2,
5151
crucible >= 0.7.1 && < 0.8,
5252
crucible-llvm >= 0.7 && < 0.8,
5353
crux >= 0.7.1 && < 0.8,
@@ -78,9 +78,9 @@ library copilot-verifier-examples
7878
hs-source-dirs: examples
7979
build-depends:
8080
case-insensitive,
81-
copilot >= 4.0 && < 4.1,
82-
copilot-language >= 4.0 && < 4.1,
83-
copilot-prettyprinter >= 4.0 && < 4.1,
81+
copilot >= 4.1 && < 4.2,
82+
copilot-language >= 4.1 && < 4.2,
83+
copilot-prettyprinter >= 4.1 && < 4.2,
8484
copilot-verifier
8585
exposed-modules:
8686
Copilot.Verifier.Examples

0 commit comments

Comments
 (0)