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

Update CHANGES to mention set-seed and new-seed

Browse Source
This commit is contained in:
Iavor Diatchki 2022-11-21 10:32:00 -08:00
parent 9f94adceaa
commit aa8969d64a
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
CHANGES.md
View File

@ -30,6 +30,10 @@
* Add a syntax highlight file for Vim,
available in `syntax-highlight/cryptol.vim`
* Add `:new-seed` and `:set-seed` commands to the REPL.
These affect random test generation,
and help write reproducable Cryptol scripts.
## Bug fixes
* Fix a bug in the What4 backend that could cause applications of `(@)` with