GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-26 13:52:23 +03:00
Code Issues Projects Releases Wiki Activity

Update CHANGES

Browse Source
This commit is contained in:
Rob Dockins 2021-07-27 12:50:35 -07:00
parent a1261b735e
commit 0e9e4621f6
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
CHANGES.md
View File

@ -24,6 +24,12 @@
* There is a new `w4-abc` solver option, which communicates to ABC
as an external process via What4.
* Expanded support for declaration forms in the REPL. You can now
define infix operators, type synonyms and mutually-recursive functions,
and state signatures and fixity declarations. Multiple declarations
can be combined into a single line by separating them with `;`,
which is necessary for stating a signature together with a
definition, etc.
# 2.11.0