diff --git a/deps/cryptol b/deps/cryptol index 8b97cf4a8a..cffdcdd049 160000 --- a/deps/cryptol +++ b/deps/cryptol @@ -1 +1 @@ -Subproject commit 8b97cf4a8a16b511c52bc0664e4ee2feff3d874a +Subproject commit cffdcdd04963e11c60d8a234b297c02a7e5a06ca diff --git a/saw-remote-api/CHANGELOG.md b/saw-remote-api/CHANGELOG.md index 48ff3f1520..2257fc8e25 100644 --- a/saw-remote-api/CHANGELOG.md +++ b/saw-remote-api/CHANGELOG.md @@ -1,5 +1,11 @@ # Revision history for saw-remote-api -## 0.1.0.0 -- YYYY-mm-dd -* First version. Released on an unsuspecting world. +## 0.9.1 -- YYYY-MM-DD + +* NEW CHANGELOG ENTRIES SINCE 0.9.0 GO HERE + + +## 0.9.0 -- 2021-11-19 + +* v0.9 release diff --git a/saw-remote-api/python/CHANGELOG.md b/saw-remote-api/python/CHANGELOG.md new file mode 100644 index 0000000000..9301d02422 --- /dev/null +++ b/saw-remote-api/python/CHANGELOG.md @@ -0,0 +1,10 @@ +# Revision history for saw-client + +## 0.9.1 -- YYYY-MM-DD + +* NEW CHANGELOG ENTRIES SINCE 0.9.0 GO HERE + + +## 0.9.0 -- 2021-11-19 + +* v0.9 release diff --git a/saw-remote-api/python/poetry.lock b/saw-remote-api/python/poetry.lock index 6cda5a4333..9e42ce7fb7 100644 --- a/saw-remote-api/python/poetry.lock +++ b/saw-remote-api/python/poetry.lock @@ -1,6 +1,6 @@ [[package]] name = "argo-client" -version = "0.0.7" +version = "0.0.9" description = "A JSON RPC client library." category = "main" optional = false @@ -20,7 +20,7 @@ python-versions = "*" [[package]] name = "certifi" -version = "2021.5.30" +version = "2021.10.8" description = "Python package for providing Mozilla's CA Bundle." category = "main" optional = false @@ -28,7 +28,7 @@ python-versions = "*" [[package]] name = "charset-normalizer" -version = "2.0.4" +version = "2.0.7" description = "The Real First Universal Charset Detector. Open, modern and actively maintained alternative to Chardet." category = "main" optional = false @@ -39,25 +39,20 @@ unicode_backport = ["unicodedata2"] [[package]] name = "cryptol" -version = "2.11.5" -description = "Cryptol client for the Cryptol 2.11 RPC server" +version = "2.12.0" +description = "Cryptol client for the Cryptol 2.12 RPC server" category = "main" optional = false python-versions = ">=3.7.0" -develop = true [package.dependencies] -argo-client = "0.0.7" -BitVector = "^3.4.9" -requests = "^2.25.1" - -[package.source] -type = "directory" -url = "../../deps/cryptol/cryptol-remote-api/python" +argo-client = "0.0.9" +BitVector = ">=3.4.9,<4.0.0" +requests = ">=2.25.1,<3.0.0" [[package]] name = "idna" -version = "3.2" +version = "3.3" description = "Internationalized Domain Names in Applications (IDNA)" category = "main" optional = false @@ -115,15 +110,15 @@ python-versions = "*" [[package]] name = "typing-extensions" -version = "3.10.0.2" -description = "Backported and Experimental Type Hints for Python 3.5+" +version = "4.0.0" +description = "Backported and Experimental Type Hints for Python 3.6+" category = "main" optional = false -python-versions = "*" +python-versions = ">=3.6" [[package]] name = "urllib3" -version = "1.26.6" +version = "1.26.7" description = "HTTP library with thread-safe connection pooling, file post, and more." category = "main" optional = false @@ -137,28 +132,31 @@ socks = ["PySocks (>=1.5.6,!=1.5.7,<2.0)"] [metadata] lock-version = "1.1" python-versions = "^3.8" -content-hash = "d1ec6c507e7a1f0f935f625feec468b2291974cc537e2891f1f0bbfcc70416bb" +content-hash = "2e8d483be348117d70d8a2683748a807483cb4fba322c2be61dfe826bd7ef9fd" [metadata.files] argo-client = [ - {file = "argo-client-0.0.7.tar.gz", hash = "sha256:f3d54416448fff0162b1b669ca7ae1d846b8197fd77b7809f78ceb7f1b2675fb"}, - {file = "argo_client-0.0.7-py3-none-any.whl", hash = "sha256:0149c5fc5a008cdaabd3764af0bcadce3efb07fdf6e1fb6fca86fc9cda5560d8"}, + {file = "argo-client-0.0.9.tar.gz", hash = "sha256:762e16d7428046ecf1d4fd50d877cba9a3c21eac260806030876f76acac81325"}, + {file = "argo_client-0.0.9-py3-none-any.whl", hash = "sha256:c482e3ba3346c7677fc1c8a470b173ba0d59736d6c628b0193a13b8e3aeeb9f1"}, ] bitvector = [ {file = "BitVector-3.5.0.tar.gz", hash = "sha256:cac2fbccf11e325115827ed7be03e5fd62615227b0bbf3fa5a18a842a221839c"}, ] certifi = [ - {file = "certifi-2021.5.30-py2.py3-none-any.whl", hash = "sha256:50b1e4f8446b06f41be7dd6338db18e0990601dce795c2b1686458aa7e8fa7d8"}, - {file = "certifi-2021.5.30.tar.gz", hash = "sha256:2bbf76fd432960138b3ef6dda3dde0544f27cbf8546c458e60baf371917ba9ee"}, + {file = "certifi-2021.10.8-py2.py3-none-any.whl", hash = "sha256:d62a0163eb4c2344ac042ab2bdf75399a71a2d8c7d47eac2e2ee91b9d6339569"}, + {file = "certifi-2021.10.8.tar.gz", hash = "sha256:78884e7c1d4b00ce3cea67b44566851c4343c120abd683433ce934a68ea58872"}, ] charset-normalizer = [ - {file = "charset-normalizer-2.0.4.tar.gz", hash = "sha256:f23667ebe1084be45f6ae0538e4a5a865206544097e4e8bbcacf42cd02a348f3"}, - {file = "charset_normalizer-2.0.4-py3-none-any.whl", hash = "sha256:0c8911edd15d19223366a194a513099a302055a962bca2cec0f54b8b63175d8b"}, + {file = "charset-normalizer-2.0.7.tar.gz", hash = "sha256:e019de665e2bcf9c2b64e2e5aa025fa991da8720daa3c1138cadd2fd1856aed0"}, + {file = "charset_normalizer-2.0.7-py3-none-any.whl", hash = "sha256:f7af805c321bfa1ce6714c51f254e0d5bb5e5834039bc17db7ebe3a4cec9492b"}, +] +cryptol = [ + {file = "cryptol-2.12.0-py3-none-any.whl", hash = "sha256:32230c361f79bfd621c7c7872d338c8e315d55c368c38730fa792d4626321204"}, + {file = "cryptol-2.12.0.tar.gz", hash = "sha256:bedde0bc55fff411bfd9575b5fd77890ce855a921340d2e805453c64fbae652e"}, ] -cryptol = [] idna = [ - {file = "idna-3.2-py3-none-any.whl", hash = "sha256:14475042e284991034cb48e06f6851428fb14c4dc953acd9be9a5e95c7b6dd7a"}, - {file = "idna-3.2.tar.gz", hash = "sha256:467fbad99067910785144ce333826c71fb0e63a425657295239737f7ecd125f3"}, + {file = "idna-3.3-py3-none-any.whl", hash = "sha256:84d9dd047ffa80596e0f246e2eab0b391788b0503584e8945f2368256d2735ff"}, + {file = "idna-3.3.tar.gz", hash = "sha256:9d643ff0a55b762d5cdb124b8eaa99c66322e2157b69160bc32796e824360e6d"}, ] mypy = [ {file = "mypy-0.812-cp35-cp35m-macosx_10_9_x86_64.whl", hash = "sha256:a26f8ec704e5a7423c8824d425086705e381b4f1dfdef6e3a1edab7ba174ec49"}, @@ -225,11 +223,10 @@ typed-ast = [ {file = "typed_ast-1.4.3.tar.gz", hash = "sha256:fb1bbeac803adea29cedd70781399c99138358c26d05fcbd23c13016b7f5ec65"}, ] typing-extensions = [ - {file = "typing_extensions-3.10.0.2-py2-none-any.whl", hash = "sha256:d8226d10bc02a29bcc81df19a26e56a9647f8b0a6d4a83924139f4a8b01f17b7"}, - {file = "typing_extensions-3.10.0.2-py3-none-any.whl", hash = "sha256:f1d25edafde516b146ecd0613dabcc61409817af4766fbbcfb8d1ad4ec441a34"}, - {file = "typing_extensions-3.10.0.2.tar.gz", hash = "sha256:49f75d16ff11f1cd258e1b988ccff82a3ca5570217d7ad8c5f48205dd99a677e"}, + {file = "typing_extensions-4.0.0-py3-none-any.whl", hash = "sha256:829704698b22e13ec9eaf959122315eabb370b0884400e9818334d8b677023d9"}, + {file = "typing_extensions-4.0.0.tar.gz", hash = "sha256:2cdf80e4e04866a9b3689a51869016d36db0814d84b8d8a568d22781d45d27ed"}, ] urllib3 = [ - {file = "urllib3-1.26.6-py2.py3-none-any.whl", hash = "sha256:39fb8672126159acb139a7718dd10806104dec1e2f0f6c88aab05d17df10c8d4"}, - {file = "urllib3-1.26.6.tar.gz", hash = "sha256:f57b4c16c62fa2760b7e3d97c35b255512fb6b59a259730f36ba32ce9f8e342f"}, + {file = "urllib3-1.26.7-py2.py3-none-any.whl", hash = "sha256:c4fdf4019605b6e5423637e01bc9fe4daef873709a7973e195ceba0a62bbc844"}, + {file = "urllib3-1.26.7.tar.gz", hash = "sha256:4987c65554f7a2dbf30c18fd48778ef124af6fab771a377103da0585e2336ece"}, ] diff --git a/saw-remote-api/python/pyproject.toml b/saw-remote-api/python/pyproject.toml index 472e1d6a3c..a5c8c0dae4 100644 --- a/saw-remote-api/python/pyproject.toml +++ b/saw-remote-api/python/pyproject.toml @@ -1,9 +1,9 @@ [tool.poetry] name = "saw-client" -version = "0.8.1" +version = "0.9.1" readme = "README.md" -description = "SAW client for the SAW 0.8 RPC server" -authors = ["Andrew Kent ", "Aaron Tomb "] +description = "SAW client for the SAW 0.9 RPC server" +authors = ["Galois, Inc. "] license = "BSD License" include = [ "LICENSE", @@ -14,7 +14,7 @@ include = [ python = "^3.8" requests = "^2.25.1" BitVector = "^3.4.9" -cryptol = { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true } +cryptol = "2.12.0" # { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true } argo-client = "~0.0.6" [tool.poetry.dev-dependencies] diff --git a/saw-remote-api/saw-remote-api.cabal b/saw-remote-api/saw-remote-api.cabal index 284b73d9e0..0a45b0e85e 100644 --- a/saw-remote-api/saw-remote-api.cabal +++ b/saw-remote-api/saw-remote-api.cabal @@ -4,14 +4,14 @@ cabal-version: 2.4 -- http://haskell.org/cabal/users-guide/ name: saw-remote-api -version: 0.1.0.0 +version: 0.9.1 -- synopsis: -- description: -- bug-reports: license: BSD-3-Clause license-file: LICENSE -author: Kenny Foner -maintainer: kwf@galois.com +author: Galois, Inc. +maintainer: saw@galois.com -- copyright: category: Network extra-source-files: CHANGELOG.md