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

Update CHANGES

Browse Source
This commit is contained in:
Rob Dockins 2020-04-03 10:58:10 -07:00 committed by robdockins
parent 904220c806
commit d1bc32ba97
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
CHANGES.md
View File

@ -1,3 +1,19 @@
# NEXT
## New features
* Added support for symbolic simulation via the `What4` library
in addition to the previous method based on `SBV`. The What4
symbolic simulator is used when selecting solvers with the `w4`
prefix, such as `w4-z3`, `w4-cvc4`, `w4-yices`, etc.
* More detailed information about the status of various symbols
in the output of the `:browse` command (issue #688).
## Bug fixes
* Closed issues #346, #444, #614, #617, #660, #662, #663, #664, #667, #670
# 2.8.0 (September 4, 2019)
## New features