GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 22:17:18 +03:00
Code Issues Projects Releases Wiki Activity

Update CHANGES

Browse Source
This commit is contained in:
Rob Dockins 2021-07-20 12:48:21 -07:00
parent 9fcdb9be21
commit 7a1843056d
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
CHANGES.md
View File

@ -6,9 +6,19 @@
- Paren blocks nested in a layout block need to respect the indentation
if the layout block
- We allow nested layout blocks to have the same indentation, which is
conveninet when writing `private` declarations as they don't need to
convenient when writing `private` declarations as they don't need to
be indented as long as they are at the end of the file.
## New features
* What4 prover backends now feature an improved multi-SAT procedure
which is significantly faster than the old algorithm. Thanks to
Levent Erkök for the suggestion.
* There is a new `w4-abc` solver option, which communicates to ABC
as an external process via What4.
# 2.11.0
## Language changes