From 8db0d48afb0dcb976a4c1f9eb3d871ac07f6fb8a Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 1 Feb 2024 13:55:54 -0500 Subject: [PATCH 01/14] Mention #1873 in CHANGES.md --- CHANGES.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index d722ae64cb..3911f4fab8 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -24,6 +24,12 @@ * Add `jvm_ghost_value` and `mir_ghost_value` commands in addition to the existing `llvm_ghost_value` command. +* SAW now includes an experimental `set_solver_cache_path` command, which + caches the results of tactics which call out to automated provers. This can + save a considerable amount of time when repeatedly running proof scripts. For + more information, see the + [manual](https://github.com/GaloisInc/saw-script/blob/master/doc/manual/manual.md#caching-solver-results). + # Version 1.0 -- 2023-06-26 ## New Features From 8244c4eb6134e911af2ef9808d33b0bd6b89ceed Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 1 Feb 2024 13:59:02 -0500 Subject: [PATCH 02/14] Mention #1880 in CHANGES.md --- CHANGES.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 3911f4fab8..994602b8c7 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -30,6 +30,11 @@ more information, see the [manual](https://github.com/GaloisInc/saw-script/blob/master/doc/manual/manual.md#caching-solver-results). +* Add experimental support for verifying hardware circuits via VHDL and Yosys. + There is now a family of experimental `yosys_*` commands that support this. + For more information, see the + [manual](https://github.com/GaloisInc/saw-script/blob/master/doc/manual/manual.md#analyzing-hardware-circuits-using-yosys). + # Version 1.0 -- 2023-06-26 ## New Features From ea7f3eb2d809e82539edcceeebb0ea3b62a55713 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 1 Feb 2024 14:57:40 -0500 Subject: [PATCH 03/14] Mention #2007 in CHANGES.md --- CHANGES.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 994602b8c7..03d3c18b48 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -35,6 +35,9 @@ For more information, see the [manual](https://github.com/GaloisInc/saw-script/blob/master/doc/manual/manual.md#analyzing-hardware-circuits-using-yosys). +* Extend `llvm_verify_x86` in order to handle x86 functions that spill arguments + to the stack. + # Version 1.0 -- 2023-06-26 ## New Features From 9b815bd5e47799d868294bf3bb0ba2f088d493db Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 1 Feb 2024 14:59:10 -0500 Subject: [PATCH 04/14] Mention #1986 in CHANGES.md --- CHANGES.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 03d3c18b48..7792056d46 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -38,6 +38,9 @@ * Extend `llvm_verify_x86` in order to handle x86 functions that spill arguments to the stack. +* Fix a bug in which SAW failed to expand type synonyms used in the definition + of another type synonym. + # Version 1.0 -- 2023-06-26 ## New Features From 0c278411cb38d0515a8507f4126146a88d838494 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 1 Feb 2024 15:00:53 -0500 Subject: [PATCH 05/14] Mention Apple Clang bitcode fix in CHANGES.md --- CHANGES.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 7792056d46..9b3d20e6f8 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -38,9 +38,14 @@ * Extend `llvm_verify_x86` in order to handle x86 functions that spill arguments to the stack. +## Bug fixes + * Fix a bug in which SAW failed to expand type synonyms used in the definition of another type synonym. +* Fix a bug in which SAW would fail to load LLVM bitcode files produced by Apple + Clang on macOS. + # Version 1.0 -- 2023-06-26 ## New Features From 13972cef54e34b0d9e2f3fb6cc6e1b501b32c2a3 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 1 Feb 2024 15:09:09 -0500 Subject: [PATCH 06/14] CHANGES.md: Mention closed issues and PRs --- CHANGES.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 9b3d20e6f8..a398b4b0ec 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -46,6 +46,20 @@ * Fix a bug in which SAW would fail to load LLVM bitcode files produced by Apple Clang on macOS. +* Overall, closed issues #1818, #1822, #1824, #1828, #1834, #1839, #1842, + #1843, #1847, #1852, #1854, #1856, 1857, #1859, #1864, #1870, #1875, #1883, + #1884, #1888, #1892, #1894, #1897, #1900, #1909, #1914, #1917, #1923, #1927, + #1929, #1932, #1938, #1942, #1945, #1961, #1968, #1970, #1973, #1985, #2003, + and #2005. + +* Overall, merged pull requests #1882, #1885, #1889, #1890, #1891, #1893, + #1898, #1899, #1904, #1905, #1907, #1908, #1911, #1913, #1915, #1916, #1919, + #1920, #1921, #1922, #1924, #1925, #1928, #1930, #1931, #1933, #1934, #1935, + #1936, #1937, #1939, #1940, #1941, #1943, #1947, #1948, #1949, #1950, #1951, + #1952, #1955, #1958, #1959, #1962, #1963, #1969, #1971, #1972, #1974, #1986, + #1986, #1987, #1991, #1992, #1993, #2001, #2004, #2006, #2007, #2008, #2009, + #2010, #2011, #2012, #2013, #2014, #2015, #2020, #2021, #2022, and #2024. + # Version 1.0 -- 2023-06-26 ## New Features From ba26734b8835ba430cd3f4ab9c36951d7c963d3b Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 5 Feb 2024 15:57:37 -0500 Subject: [PATCH 07/14] Bump llvm-pretty, llvm-pretty-bc-parser submodules --- deps/llvm-pretty | 2 +- deps/llvm-pretty-bc-parser | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/deps/llvm-pretty b/deps/llvm-pretty index 34cf64c697..780e7c01cb 160000 --- a/deps/llvm-pretty +++ b/deps/llvm-pretty @@ -1 +1 @@ -Subproject commit 34cf64c69700020667fcd440bc3490af0a165962 +Subproject commit 780e7c01cbd0b85172f11ea8edf0d7bbe6a84967 diff --git a/deps/llvm-pretty-bc-parser b/deps/llvm-pretty-bc-parser index 39b4a5ff26..395754789b 160000 --- a/deps/llvm-pretty-bc-parser +++ b/deps/llvm-pretty-bc-parser @@ -1 +1 @@ -Subproject commit 39b4a5ff26ad88f7db250185cc5b471fac50141d +Subproject commit 395754789b2f1b1f3ffae22383f9522a3e44d68e From 0788d4b876c00c75d893373fb607a22b5cca9c4f Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 5 Feb 2024 15:59:24 -0500 Subject: [PATCH 08/14] Regenerate cabal.GHC-*.config files --- cabal.GHC-9.2.8.config | 14 +++++++------- cabal.GHC-9.4.8.config | 14 +++++++------- cabal.GHC-9.6.3.config | 14 +++++++------- 3 files changed, 21 insertions(+), 21 deletions(-) diff --git a/cabal.GHC-9.2.8.config b/cabal.GHC-9.2.8.config index 56547308e5..89b3869fe6 100644 --- a/cabal.GHC-9.2.8.config +++ b/cabal.GHC-9.2.8.config @@ -40,7 +40,7 @@ constraints: any.BoundedChan ==1.0.3.0, attoparsec -developer, any.attoparsec-aeson ==2.1.0.0, any.auto-update ==0.1.6, - any.barbies ==2.0.5.0, + any.barbies ==2.1.1.0, any.base ==4.16.4.0, any.base-compat ==0.12.3, any.base-compat-batteries ==0.12.3, @@ -293,7 +293,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.quickcheck-instances ==0.3.30, quickcheck-instances -bytestring-builder, any.quickcheck-io ==0.2.0, - any.random ==1.2.1.1, + any.random ==1.2.1.2, any.raw-strings-qq ==1.1, any.recv ==0.1.0, any.reflection ==2.1.7, @@ -306,7 +306,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.rts ==1.0.2, any.s-cargot ==0.1.6.0, s-cargot -build-example, - any.safe ==0.3.20, + any.safe ==0.3.21, any.safe-exceptions ==0.1.7.4, any.sbv ==10.2, any.scientific ==0.3.7.0, @@ -336,7 +336,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.streaming-commons ==0.2.2.6, streaming-commons -use-bytestring-builder, any.strict ==0.5, - any.string-interpolate ==0.3.2.1, + any.string-interpolate ==0.3.3.0, string-interpolate -bytestring-builder -extended-benchmarks -text-builder, any.syb ==0.7.2.4, any.tagged ==0.8.8, @@ -410,7 +410,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.vector-binary-instances ==0.2.5.2, any.vector-stream ==0.1.0.1, any.vector-th-unbox ==0.2.2, - any.versions ==6.0.4, + any.versions ==6.0.5, any.void ==0.7.3, void -safe, any.wai ==3.2.4, @@ -419,7 +419,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.wai-logger ==2.4.0, any.warp ==3.3.31, warp +allow-sendfilefd -network-bytestring -warp-debug +x509, - any.warp-tls ==3.4.3, + any.warp-tls ==3.4.4, any.weigh ==0.0.17, what4 -drealtestdisable -solvertests -stptestdisable, any.witherable ==0.4.2, @@ -433,4 +433,4 @@ constraints: any.BoundedChan ==1.0.3.0, any.zlib ==0.6.3.0, zlib -bundled-c-zlib -non-blocking-ffi -pkg-config, any.zlib-bindings ==0.1.1.5 -index-state: hackage.haskell.org 2024-01-15T23:27:26Z +index-state: hackage.haskell.org 2024-02-05T11:57:43Z diff --git a/cabal.GHC-9.4.8.config b/cabal.GHC-9.4.8.config index 97c2fc01e3..f37044221f 100644 --- a/cabal.GHC-9.4.8.config +++ b/cabal.GHC-9.4.8.config @@ -41,7 +41,7 @@ constraints: any.BoundedChan ==1.0.3.0, attoparsec -developer, any.attoparsec-aeson ==2.1.0.0, any.auto-update ==0.1.6, - any.barbies ==2.0.5.0, + any.barbies ==2.1.1.0, any.base ==4.17.2.1, any.base-compat ==0.12.3, any.base-compat-batteries ==0.12.3, @@ -293,7 +293,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.quickcheck-instances ==0.3.30, quickcheck-instances -bytestring-builder, any.quickcheck-io ==0.2.0, - any.random ==1.2.1.1, + any.random ==1.2.1.2, any.raw-strings-qq ==1.1, any.recv ==0.1.0, any.reflection ==2.1.7, @@ -306,7 +306,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.rts ==1.0.2, any.s-cargot ==0.1.6.0, s-cargot -build-example, - any.safe ==0.3.20, + any.safe ==0.3.21, any.safe-exceptions ==0.1.7.4, any.sbv ==10.2, any.scientific ==0.3.7.0, @@ -336,7 +336,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.streaming-commons ==0.2.2.6, streaming-commons -use-bytestring-builder, any.strict ==0.5, - any.string-interpolate ==0.3.2.1, + any.string-interpolate ==0.3.3.0, string-interpolate -bytestring-builder -extended-benchmarks -text-builder, any.syb ==0.7.2.4, any.tagged ==0.8.8, @@ -410,7 +410,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.vector-binary-instances ==0.2.5.2, any.vector-stream ==0.1.0.1, any.vector-th-unbox ==0.2.2, - any.versions ==6.0.4, + any.versions ==6.0.5, any.void ==0.7.3, void -safe, any.wai ==3.2.4, @@ -419,7 +419,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.wai-logger ==2.4.0, any.warp ==3.3.31, warp +allow-sendfilefd -network-bytestring -warp-debug +x509, - any.warp-tls ==3.4.3, + any.warp-tls ==3.4.4, any.weigh ==0.0.17, what4 -drealtestdisable -solvertests -stptestdisable, any.witherable ==0.4.2, @@ -433,4 +433,4 @@ constraints: any.BoundedChan ==1.0.3.0, any.zlib ==0.6.3.0, zlib -bundled-c-zlib -non-blocking-ffi -pkg-config, any.zlib-bindings ==0.1.1.5 -index-state: hackage.haskell.org 2024-01-15T23:27:26Z +index-state: hackage.haskell.org 2024-02-05T11:57:43Z diff --git a/cabal.GHC-9.6.3.config b/cabal.GHC-9.6.3.config index a942452b35..f526d7bf42 100644 --- a/cabal.GHC-9.6.3.config +++ b/cabal.GHC-9.6.3.config @@ -41,7 +41,7 @@ constraints: any.BoundedChan ==1.0.3.0, attoparsec -developer, any.attoparsec-aeson ==2.1.0.0, any.auto-update ==0.1.6, - any.barbies ==2.0.5.0, + any.barbies ==2.1.1.0, any.base ==4.18.1.0, any.base-compat ==0.12.3, any.base-compat-batteries ==0.12.3, @@ -291,7 +291,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.quickcheck-instances ==0.3.30, quickcheck-instances -bytestring-builder, any.quickcheck-io ==0.2.0, - any.random ==1.2.1.1, + any.random ==1.2.1.2, any.raw-strings-qq ==1.1, any.recv ==0.1.0, any.reflection ==2.1.7, @@ -304,7 +304,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.rts ==1.0.2, any.s-cargot ==0.1.6.0, s-cargot -build-example, - any.safe ==0.3.20, + any.safe ==0.3.21, any.safe-exceptions ==0.1.7.4, any.sbv ==10.2, any.scientific ==0.3.7.0, @@ -334,7 +334,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.streaming-commons ==0.2.2.6, streaming-commons -use-bytestring-builder, any.strict ==0.5, - any.string-interpolate ==0.3.2.1, + any.string-interpolate ==0.3.3.0, string-interpolate -bytestring-builder -extended-benchmarks -text-builder, any.syb ==0.7.2.4, any.tagged ==0.8.8, @@ -408,7 +408,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.vector-binary-instances ==0.2.5.2, any.vector-stream ==0.1.0.1, any.vector-th-unbox ==0.2.2, - any.versions ==6.0.4, + any.versions ==6.0.5, any.void ==0.7.3, void -safe, any.wai ==3.2.4, @@ -417,7 +417,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.wai-logger ==2.4.0, any.warp ==3.3.31, warp +allow-sendfilefd -network-bytestring -warp-debug +x509, - any.warp-tls ==3.4.3, + any.warp-tls ==3.4.4, any.weigh ==0.0.17, what4 -drealtestdisable -solvertests -stptestdisable, any.witherable ==0.4.2, @@ -431,4 +431,4 @@ constraints: any.BoundedChan ==1.0.3.0, any.zlib ==0.6.3.0, zlib -bundled-c-zlib -non-blocking-ffi -pkg-config, any.zlib-bindings ==0.1.1.5 -index-state: hackage.haskell.org 2024-01-15T23:27:26Z +index-state: hackage.haskell.org 2024-02-05T11:57:43Z From e35a971121064a61eb56579efc7ac7fe3d6ee1a4 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 1 Feb 2024 15:11:28 -0500 Subject: [PATCH 09/14] Bump changelog versions to 1.1 --- CHANGES.md | 2 +- saw-remote-api/CHANGELOG.md | 2 +- saw-remote-api/python/CHANGELOG.md | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index a398b4b0ec..dc02c0045c 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,4 +1,4 @@ -# Nightly -- ????-??-?? +# Version 1.1 -- ????-??-?? ## New Features * SAW now supports loading and reasoning about Cryptol declarations that make use of numeric constraint guards. For more information on numeric constraint guards, see the [relavent section of the Cryptol reference manual](https://galoisinc.github.io/cryptol/master/BasicSyntax.html#numeric-constraint-guards). diff --git a/saw-remote-api/CHANGELOG.md b/saw-remote-api/CHANGELOG.md index c404cbe6d4..bc26748294 100644 --- a/saw-remote-api/CHANGELOG.md +++ b/saw-remote-api/CHANGELOG.md @@ -1,6 +1,6 @@ # Revision history for saw-remote-api -## next -- TBA +## 1.1.0 -- TBA * Add remote API support for SAW's experimental MIR verification support: diff --git a/saw-remote-api/python/CHANGELOG.md b/saw-remote-api/python/CHANGELOG.md index 53c757fbf8..3381def4d3 100644 --- a/saw-remote-api/python/CHANGELOG.md +++ b/saw-remote-api/python/CHANGELOG.md @@ -1,6 +1,6 @@ # Revision history for saw-client -## next -- TBA +## 1.1.0 -- TBA * Add Python bindings for SAW's experimental MIR verification support: From 79704953952747abc5e095f5e46d43df8e7369af Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 1 Feb 2024 15:19:16 -0500 Subject: [PATCH 10/14] Release dates for changelogs --- CHANGES.md | 2 +- saw-remote-api/CHANGELOG.md | 2 +- saw-remote-api/python/CHANGELOG.md | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index dc02c0045c..547839ce0e 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,4 +1,4 @@ -# Version 1.1 -- ????-??-?? +# Version 1.1 -- 2024-02-05 ## New Features * SAW now supports loading and reasoning about Cryptol declarations that make use of numeric constraint guards. For more information on numeric constraint guards, see the [relavent section of the Cryptol reference manual](https://galoisinc.github.io/cryptol/master/BasicSyntax.html#numeric-constraint-guards). diff --git a/saw-remote-api/CHANGELOG.md b/saw-remote-api/CHANGELOG.md index bc26748294..8a9b614559 100644 --- a/saw-remote-api/CHANGELOG.md +++ b/saw-remote-api/CHANGELOG.md @@ -1,6 +1,6 @@ # Revision history for saw-remote-api -## 1.1.0 -- TBA +## 1.1.0 -- 2024-02-05 * Add remote API support for SAW's experimental MIR verification support: diff --git a/saw-remote-api/python/CHANGELOG.md b/saw-remote-api/python/CHANGELOG.md index 3381def4d3..d618bf3617 100644 --- a/saw-remote-api/python/CHANGELOG.md +++ b/saw-remote-api/python/CHANGELOG.md @@ -1,6 +1,6 @@ # Revision history for saw-client -## 1.1.0 -- TBA +## 1.1.0 -- 2024-02-05 * Add Python bindings for SAW's experimental MIR verification support: From 362788ba18205a1989311c76cff520ebba1bab63 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 1 Feb 2024 15:22:09 -0500 Subject: [PATCH 11/14] Bump release versions to 1.1 --- saw-remote-api/python/pyproject.toml | 2 +- saw-remote-api/saw-remote-api.cabal | 2 +- saw-script.cabal | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/saw-remote-api/python/pyproject.toml b/saw-remote-api/python/pyproject.toml index 7677b432bd..531d2a06ba 100644 --- a/saw-remote-api/python/pyproject.toml +++ b/saw-remote-api/python/pyproject.toml @@ -1,6 +1,6 @@ [tool.poetry] name = "saw-client" -version = "1.0.0" +version = "1.1.0" readme = "README.md" description = "SAW client for the SAW RPC server" authors = ["Galois, Inc. "] diff --git a/saw-remote-api/saw-remote-api.cabal b/saw-remote-api/saw-remote-api.cabal index d477bfa175..25e2b51ab7 100644 --- a/saw-remote-api/saw-remote-api.cabal +++ b/saw-remote-api/saw-remote-api.cabal @@ -4,7 +4,7 @@ cabal-version: 2.4 -- http://haskell.org/cabal/users-guide/ name: saw-remote-api -version: 1.0.0 +version: 1.1.0 -- synopsis: -- description: -- bug-reports: diff --git a/saw-script.cabal b/saw-script.cabal index 7804376543..345dbafe7f 100644 --- a/saw-script.cabal +++ b/saw-script.cabal @@ -1,6 +1,6 @@ Cabal-version: 2.4 Name: saw-script -Version: 1.0.0.99 +Version: 1.1 Author: Galois Inc. Maintainer: atomb@galois.com Build-type: Custom From 7eb6694319de7b199f5170a60fdfcb0ae385a5f0 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 1 Feb 2024 15:23:30 -0500 Subject: [PATCH 12/14] Bump crucible, cryptol submodules to 0.8.*, 3.1.* series --- deps/crucible | 2 +- deps/cryptol | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/deps/crucible b/deps/crucible index c4e01c5306..9a5d6cc32c 160000 --- a/deps/crucible +++ b/deps/crucible @@ -1 +1 @@ -Subproject commit c4e01c5306e4af2aacc860fd1201cc3a4f8188f4 +Subproject commit 9a5d6cc32c8351722ab8b489a634b78f62337805 diff --git a/deps/cryptol b/deps/cryptol index 9be52cc23b..65397a491b 160000 --- a/deps/cryptol +++ b/deps/cryptol @@ -1 +1 @@ -Subproject commit 9be52cc23b9d052ebdb7726954df179f259e9932 +Subproject commit 65397a491bddc3b4e8f41053106ce8859387d662 From 5c16c876f35f0abdf0b412a5387e220b15b7f990 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 5 Feb 2024 15:53:54 -0500 Subject: [PATCH 13/14] saw-remote-api: Pin to version 3.1.0 of Cryptol Python bindings --- saw-remote-api/python/poetry.lock | 12 ++++++------ saw-remote-api/python/pyproject.toml | 2 +- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/saw-remote-api/python/poetry.lock b/saw-remote-api/python/poetry.lock index 45a41d9d29..7e51c5521c 100644 --- a/saw-remote-api/python/poetry.lock +++ b/saw-remote-api/python/poetry.lock @@ -1,4 +1,4 @@ -# This file is automatically @generated by Poetry 1.6.1 and should not be changed by hand. +# This file is automatically @generated by Poetry 1.5.1 and should not be changed by hand. [[package]] name = "argo-client" @@ -171,13 +171,13 @@ files = [ [[package]] name = "cryptol" -version = "3.0.0" -description = "Cryptol client for the Cryptol 2.13 RPC server" +version = "3.1.0" +description = "Cryptol client for the Cryptol RPC server" optional = false python-versions = ">=3.8.0,<4" files = [ - {file = "cryptol-3.0.0-py3-none-any.whl", hash = "sha256:3235e5d90750c97747f7f1db9c23fc3a75aa7b72d1d7cd92403a5dd8434fc929"}, - {file = "cryptol-3.0.0.tar.gz", hash = "sha256:95eba40009c15826fea34d5964f752bf49bc6165dd3df7ae18ed8a635be9f8a7"}, + {file = "cryptol-3.1.0-py3-none-any.whl", hash = "sha256:05ad03b80357c7589c925a5b09e8a9a3f11f6d471d726a1c1488d5742b0a2dba"}, + {file = "cryptol-3.1.0.tar.gz", hash = "sha256:101a74b381d65d2529b8b31b450f7c585cdb9f3a67a0a3a909ee46414cf23167"}, ] [package.dependencies] @@ -385,4 +385,4 @@ zstd = ["zstandard (>=0.18.0)"] [metadata] lock-version = "2.0" python-versions = "^3.8" -content-hash = "10ff740f6f3d75ad166908c0eb46e73ed65a13af67879ff507c95089ed103e0c" +content-hash = "6c8444689066b1662f0c642fa4088b85c9e593523c9301f3e23a6e473ab4ed43" diff --git a/saw-remote-api/python/pyproject.toml b/saw-remote-api/python/pyproject.toml index 531d2a06ba..a043aefadf 100644 --- a/saw-remote-api/python/pyproject.toml +++ b/saw-remote-api/python/pyproject.toml @@ -14,7 +14,7 @@ include = [ python = "^3.8" requests = "^2.25.1" BitVector = "^3.4.9" -cryptol = "3.0.0" # { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true } +cryptol = "3.1.0" # { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true } argo-client = "0.0.11" lmdb = "^1.4.1" cbor2 = "^5.4.6" From 00f7ee0c503f01d6b3e044c6faa4fb4576aa3da5 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 1 Feb 2024 15:29:46 -0500 Subject: [PATCH 14/14] Bump development versions to 1.1.0.99 --- saw-remote-api/python/pyproject.toml | 2 +- saw-remote-api/saw-remote-api.cabal | 2 +- saw-script.cabal | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/saw-remote-api/python/pyproject.toml b/saw-remote-api/python/pyproject.toml index a043aefadf..706a68bc48 100644 --- a/saw-remote-api/python/pyproject.toml +++ b/saw-remote-api/python/pyproject.toml @@ -1,6 +1,6 @@ [tool.poetry] name = "saw-client" -version = "1.1.0" +version = "1.1.0.99" readme = "README.md" description = "SAW client for the SAW RPC server" authors = ["Galois, Inc. "] diff --git a/saw-remote-api/saw-remote-api.cabal b/saw-remote-api/saw-remote-api.cabal index 25e2b51ab7..886db5b3ae 100644 --- a/saw-remote-api/saw-remote-api.cabal +++ b/saw-remote-api/saw-remote-api.cabal @@ -4,7 +4,7 @@ cabal-version: 2.4 -- http://haskell.org/cabal/users-guide/ name: saw-remote-api -version: 1.1.0 +version: 1.1.0.99 -- synopsis: -- description: -- bug-reports: diff --git a/saw-script.cabal b/saw-script.cabal index 345dbafe7f..66dc58faf7 100644 --- a/saw-script.cabal +++ b/saw-script.cabal @@ -1,6 +1,6 @@ Cabal-version: 2.4 Name: saw-script -Version: 1.1 +Version: 1.1.0.99 Author: Galois Inc. Maintainer: atomb@galois.com Build-type: Custom