Iavor Diatchki
fe79bff3dd
Fix build
2022-02-16 11:34:15 -08:00
Iavor Diatchki
613a66d15e
Adding signatures (checkpoint)
2022-02-16 11:34:15 -08:00
Ryan Scott
2e32fcd619
Bump some upper version bounds for GHC 9.0
2022-01-12 09:40:20 -05:00
Ryan Scott
644d33bf1f
Merge branch 'master' into ghc9
2022-01-12 09:33:24 -05:00
Matthew Yacavone
6685a6bc46
bump cryptol-client version number for dev
2021-12-22 13:53:19 -08:00
Matthew Yacavone
6f049ce0c3
cryptol-client 2.12.2 release
2021-12-22 13:09:37 -08:00
Matthew Yacavone
9102e23e06
have check_type
return schema if relevant, check types in test_types
2021-12-22 13:09:37 -08:00
Matthew Yacavone
82d03c8cc6
make PropCon
class, clean up CryptolTypeSchema
in cryptoltypes.py
2021-12-22 13:09:36 -08:00
Matthew Yacavone
9a2773df19
make TypeOp
class in cryptoltypes.py
2021-12-22 13:09:36 -08:00
Matthew Yacavone
1323366572
add args to CryptolApplication.__init__ error message
2021-12-21 16:48:22 -08:00
Matthew Yacavone
098c046a43
add case for lengthFromThenTo to to_type
2021-12-21 15:44:37 -08:00
Matthew Yacavone
aef1edd7d2
actually finish Cryptol props, add missing case to test_basics.py
2021-12-21 15:40:49 -08:00
Matthew Yacavone
fbb50dbdd5
add section headers
2021-12-21 15:03:52 -08:00
Matthew Yacavone
d726646506
add remaining props, lengthFromThenTo, unit to cryptoltypes.py
2021-12-21 14:57:48 -08:00
Matthew Yacavone
234324f381
add more docstrings to cryptoltypes, check types in CryptolApplication
2021-12-10 16:28:43 -08:00
Matthew Yacavone
16e35f689a
use @dataclass, add missing __str__ methods in cryptoltypes
2021-12-10 16:02:22 -08:00
Matthew Yacavone
07c689a699
Merge pull request #1312 from GaloisInc/rpc/clean-cryptoltypes-1
...
[RPC] Clean up `to_cryptol` interface in cryptoltypes.py
2021-12-10 19:01:54 -05:00
Matthew Yacavone
6628bcd36d
update CHANGELOG
2021-12-10 14:57:06 -08:00
Matthew Yacavone
554f53124d
add docstring to to_cryptol, remove eval_numeric
2021-12-10 14:45:36 -08:00
Matthew Yacavone
565a48a2c7
add deprecation errors to CryptolType.from_python and .convert
2021-12-10 14:41:21 -08:00
Andrew Kent
c332ad987f
chore: bump cryptol client python deps ( #1306 )
...
* chore: bump cryptol client python deps
* bump argo-client (and in turn, urllib3)
Co-authored-by: Matthew Yacavone <matthew@yacavone.net>
2021-12-10 11:24:12 -08:00
Matthew Yacavone
780c572858
allow bytearrays in BV.from_bytes
2021-12-09 14:29:38 -08:00
Matthew Yacavone
faa4e78504
clean up interface for converting to JSON in cryptoltypes
2021-12-09 14:04:15 -08:00
Andrew Kent
490e046b07
fix what4-abc solver in python client, add more SMT tests ( #1311 )
...
* fix what4-abc solver in python client, add more SMT tests (include more solvers)
2021-12-09 11:17:19 -08:00
Ryan Scott
ebb1dd152f
cryptol-remote-api: Allow building with aeson-2.0.* ( #1308 )
...
This introduces some CPP, unfortunately, but this probably necessary to
continue allowing `cryptol-remote-api` to be buildable with old versions of
`aeson` until the ecosystem catches up with `aeson-2.0.*`.
2021-11-30 09:05:30 -05:00
Matthew Yacavone
aebde831d1
use __to_cryptol_str__ instead of __str__, add type to __to_cryptol__
2021-11-29 12:35:34 -08:00
Matthew Yacavone
6555352351
docs changes from @RyanGlScott
2021-11-29 11:24:24 -08:00
Matthew Yacavone
1867938921
add check to CryptolCode's __call__
2021-11-26 13:57:18 -08:00
Matthew Yacavone
36fac34c61
handle CryptolApplication in cry_f, fix parens in to_cryptol_str
2021-11-26 13:10:46 -08:00
Matthew Yacavone
f6c3e6b251
keep __all__ alphabetical
2021-11-24 14:35:44 -08:00
Matthew Yacavone
3c28a03c7e
add proper handling of conversions and format specs to cry_f
2021-11-24 14:29:39 -08:00
Matthew Yacavone
e2c01db7e2
pull out implementation of cry_f
/eval_f
2021-11-24 13:18:58 -08:00
Matthew Yacavone
bbc327cd8c
improve docs for cry_f
2021-11-24 12:46:47 -08:00
Matthew Yacavone
f46dfa5937
update CHANGELOG
2021-11-19 17:06:10 -08:00
Matthew Yacavone
c9c8be587c
add f-string-like quasiquoting for cryptol
2021-11-19 16:53:55 -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
7a68739d0d
rpc/fix: tweak tests for docker/http to not hang ( #1294 )
2021-09-29 14:57:00 -07:00
Aaron Tomb
5f769af694
Install unzip in cryptol-remote-api/Dockerfile
2021-09-29 08:13:42 -07:00
Aaron Tomb
c8c122fac6
Migrate Docker images to use what4-solvers builds
2021-09-28 16:23:16 -07:00
Matthew Yacavone
74a4c046a8
fix typo in changelog
2021-09-22 15:49:38 -04:00
Matthew Yacavone
f57435e04f
update changelog, bump version number
2021-09-22 14:41:12 -04:00
Matthew Yacavone
8351903206
add get_default_timeout/set_default_timeout, update docstrings
2021-09-22 14:30:00 -04:00
Matthew Yacavone
f5419700b4
update synchronous and single-connection interfaces
2021-09-22 13:57:19 -04:00
Matthew Yacavone
228e45f6a0
Merge branch 'master' into rpc/single-conn-interface
2021-09-22 13:32:44 -04: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
fe5aa6642a
Update test_error_recovery.py ( #1288 )
...
disable certificate verification since test suite uses
self signed certs
2021-09-21 12:47:37 -07:00
Matthew Yacavone
196bda327c
Merge branch 'master' into rpc/single-conn-interface
2021-09-17 15:25:00 -04:00
Matthew Yacavone
8031ffb7dd
improve docstrings around truthiness
2021-09-15 16:52:23 -04:00
Matthew Yacavone
80e7b1fc94
fix whitespace
2021-09-14 16:08:41 -04:00
Matthew Yacavone
a9e1119eef
add single-connection interface, update tests to use this interface
2021-09-14 16:03:09 -04:00