GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-27 11:13:48 +03:00
Code Issues Projects Releases Wiki Activity

Update what4 dependency to 1.3 (#1346)

Browse Source 
Among other things, `what4-1.3` includes a bugfix that allows `what4` to
correctly invoke modern versions of Boolector.
This commit is contained in:
Ryan Scott 2022-04-25 12:59:58 -04:00 committed by GitHub
parent 31bfcc63f9
commit 0035d0bcf4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
cabal.GHC-8.10.7.config
View File

@ -294,7 +294,7 @@ constraints: any.Cabal ==3.2.1.0,
any.warp-tls ==3.3.2,
any.wcwidth ==0.0.2,
wcwidth -cli +split-base,
any.what4 ==1.2.1,
any.what4 ==1.3,
what4 -drealtestdisable -solvertests -stptestdisable,
any.witherable ==0.4.2,
any.word8 ==0.1.3,
@ -306,4 +306,4 @@ constraints: any.Cabal ==3.2.1.0,
any.zlib ==0.6.2.3,
zlib -bundled-c-zlib -non-blocking-ffi -pkg-config,
any.zlib-bindings ==0.1.1.5
index-state: hackage.haskell.org 2022-01-13T19:44:37Z
index-state: hackage.haskell.org 2022-04-21T14:15:08Z

4
cabal.GHC-8.8.4.config
View File

@ -295,7 +295,7 @@ constraints: any.Cabal ==3.0.1.0,
any.warp-tls ==3.3.2,
any.wcwidth ==0.0.2,
wcwidth -cli +split-base,
any.what4 ==1.2.1,
any.what4 ==1.3,
what4 -drealtestdisable -solvertests -stptestdisable,
any.witherable ==0.4.2,
any.word8 ==0.1.3,
@ -307,4 +307,4 @@ constraints: any.Cabal ==3.0.1.0,
any.zlib ==0.6.2.3,
zlib -bundled-c-zlib -non-blocking-ffi -pkg-config,
any.zlib-bindings ==0.1.1.5
index-state: hackage.haskell.org 2022-01-13T19:44:37Z
index-state: hackage.haskell.org 2022-04-21T14:15:08Z

4
cabal.GHC-9.0.2.config
View File

@ -295,7 +295,7 @@ constraints: any.Cabal ==3.4.1.0,
any.warp-tls ==3.3.2,
any.wcwidth ==0.0.2,
wcwidth -cli +split-base,
any.what4 ==1.2.1,
any.what4 ==1.3,
what4 -drealtestdisable -solvertests -stptestdisable,
any.witherable ==0.4.2,
any.word8 ==0.1.3,
@ -307,4 +307,4 @@ constraints: any.Cabal ==3.4.1.0,
any.zlib ==0.6.2.3,
zlib -bundled-c-zlib -non-blocking-ffi -pkg-config,
any.zlib-bindings ==0.1.1.5
index-state: hackage.haskell.org 2022-01-13T19:44:37Z
index-state: hackage.haskell.org 2022-04-21T14:15:08Z

2
cryptol.cabal
View File

@ -74,7 +74,7 @@ library
mtl >= 2.2.1,
time >= 1.6.0.1,
panic >= 0.3,
what4 >= 1.2 && < 1.3
what4 >= 1.3 && < 1.4
if impl(ghc >= 9.0)
build-depends: ghc-bignum >= 1.0 && < 1.3