Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[RPC] Finish cleaning cryptoltypes.py #1317

Merged
merged 12 commits into from
Dec 23, 2021
Merged

[RPC] Finish cleaning cryptoltypes.py #1317

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
16e35f6
use @dataclass, add missing __str__ methods in cryptoltypes
m-yac Dec 10, 2021
234324f
add more docstrings to cryptoltypes, check types in CryptolApplication
m-yac Dec 11, 2021
d726646
add remaining props, lengthFromThenTo, unit to cryptoltypes.py
m-yac Dec 21, 2021
fbb50db
add section headers
m-yac Dec 21, 2021
aef1edd
actually finish Cryptol props, add missing case to test_basics.py
m-yac Dec 21, 2021
098c046
add case for lengthFromThenTo to to_type
m-yac Dec 21, 2021
1323366
add args to CryptolApplication.__init__ error message
m-yac Dec 22, 2021
9a2773d
make `TypeOp` class in cryptoltypes.py
m-yac Dec 22, 2021
82d03c8
make `PropCon` class, clean up `CryptolTypeSchema` in cryptoltypes.py
m-yac Dec 22, 2021
9102e23
have `check_type` return schema if relevant, check types in test_types
m-yac Dec 22, 2021
6f049ce
cryptol-client 2.12.2 release
m-yac Dec 22, 2021
6685a6b
bump cryptol-client version number for dev
m-yac Dec 22, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 5 additions & 1 deletion cryptol-remote-api/python/CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,10 @@
# Revision history for `cryptol` Python package

## 2.12.2 -- YYYY-MM-DD
## 2.12.4 -- YYYY-MM-DD

* NEW CHANGELOG ENTRIES SINCE 2.12.2 GO HERE

## 2.12.2 -- 2021-12-21
m-yac marked this conversation as resolved.
Show resolved Hide resolved

* Add an interface for Cryptol quasiquotation using an f-string-like syntax,
see `tests/cryptol/test_quoting` for some examples.
Expand Down
Loading