Andrew Kent
cec87706e5
bump argo submodule ( #1300 )
2021-12-10 11:26:26 -08:00
Andrew Kent
cffdcdd049
rpc v2.12 release details fixes (i.e., cabal, changelogs, etc) ( #1305 )
...
* rpc v2.12 release details fixes (i.e., cabal, changelogs, etc)
* bump rpc server/client to dev version
2021-11-19 11:54:07 -08:00
Andrew Kent
e256346f83
feat: timeout for cryptol python client methods ( #1282 )
...
interrupt and timeout methods for cryptol python client
2021-09-21 20:23:28 -07:00
Andrew Kent
5a6f9a03ab
chore: bump argo submodule, fixes rpc CI failures ( #1273 )
2021-08-31 10:17:08 -07:00
Matthew Yacavone
7089a835c3
bump argo, add test for improved client error recovery, bump version
2021-08-25 13:54:21 -04:00
Andrew Kent
8e7e04726c
feat(rpc): logging for server and client ( #1251 )
...
* feat(rpc): logging for server and client
* fix: CryptolConnection dflt val for proc
* fix: activate logging on connection, not process
* chore: remove unnecessary proc field
2021-07-23 13:02:55 -07:00
Lisanna Dettwyler
dfae4580e3
Support TLS in cryptol-remote-api ( #1203 )
...
Add support for TLS connections in both the rpc server
and client. Allow the client to disable certificate validation
via the `verify` keyword argument, i.e.,
`cryptol.connect(verify=False)`. The docker container
for `cryptol-remote-api` also contains a self-signed
cert for testing purposes.
Co-authored-by: Andrew Kent <andrew@galois.com>
2021-06-25 14:26:09 -07:00
Ryan Scott
d7814a959b
Bump argo submodule to include docs for method results
...
This bumps the `argo` submodule to include commit
b9b3edd992
,
which adds the ability to document the results of methods (in addition to
their parameters). In addition to dealing with the breaking API changes from
that commit, this adds missing documentation for each method's results.
2021-06-01 09:05:22 -04:00
Andrew Kent
a95ea3b52c
feat: bump argo submodule, test server can serve many requests
2021-03-02 16:32:44 -08:00
Andrew Kent
b2562b3d27
bump argo, minor rpc tweaks
2021-03-01 13:19:00 -08:00
Aaron Tomb
9b9f452257
Add remote API calls for for proving properties ( #1046 )
2021-01-25 13:30:52 -08:00
Andrew Kent
70442e497f
cryptol-remote-api: submod bump and docs ( #1038 )
...
* cryptol-remote-api: submod bump and docs
* bump submodule
* chore: improve cryptol-remote-api summary docs portion
* cryptol-remote-api/chore: dedup doc strings for servers
* chore: submodule bump (argo) and fixes
2021-01-20 15:40:19 -08:00
David Thrane Christiansen
1b83257017
Add an evaluation-only version of cryptol-remote-api
...
This version requires the file that's in scope to be provided as an
argument. It loads that file on startup, and then provides only
commands that don't change that module context. This means that it can
be used in a stateless load-balancing situation.
2020-12-15 10:29:56 -08:00
Aaron Tomb
1281d00530
Bump argo submodule to disable logging
2020-12-11 10:40:25 -08:00
David Thrane Christiansen
a114dc753a
Bump argo dependency
...
This disables logging by default for cryptol-remote-api, making it
opt-in with a command-line flag.
2020-12-09 15:07:29 -08:00
Chris Phifer
1e8a8efa0b
Bump argo for doc migration
2020-12-02 10:18:46 -06:00
Chris Phifer
1811951fa0
Bumped argo
2020-11-23 15:02:14 -06:00
Andrew Kent
0450cb8f83
Bump Argo submodule for HTTP support; update command lines
2020-11-13 13:16:19 -08:00
Andrew Kent
b8d32d63aa
cryptol-remote-api feature: use python BV class cryptol bits
2020-11-12 17:49:38 -08:00
Andrew Kent
db1b354328
chore: argo submodule bump
2020-10-28 20:45:27 -07:00
Andrew Kent
d5db133045
chore: bump argo submod, tests for BitVector cryptol args
2020-10-28 20:45:27 -07:00
Aaron Tomb
f0b851ecf0
Add cryptol-remote-api
( #927 )
...
This commit moves the `cryptol-remote-api` package from the `argo` repository to the `cryptol` repository.
2020-10-12 12:46:30 -07:00
Aaron Tomb
63a88b3aa6
Update argo to match Cryptol literal changes
2020-09-29 16:03:01 -07:00
Aaron Tomb
2e2e263c33
Revert "Revert "Include cryptol-remote-api
in Cryptol builds ( #890 )""
...
This reverts commit f048368408
.
2020-09-29 15:35:29 -07:00
Iavor Diatchki
f048368408
Revert "Include cryptol-remote-api
in Cryptol builds ( #890 )"
...
This reverts commit d7cb4b6943
.
2020-09-25 15:42:50 -07:00
Aaron Tomb
d7cb4b6943
Include cryptol-remote-api
in Cryptol builds ( #890 )
...
* Include `cryptol-remote-api` in Cryptol builds
* Add `cryptol-remote-api` to distribution bundles
* Allow nightly builds to be triggered manually
2020-09-14 10:33:30 -07:00