List changes for 1.4.0
Things related to
CHANGES.md, to be done before the release:
- Remove the sentence about MLCFG. (It is new, so listing changes is pointless.)
- Check that all the newly supported provers are mentioned. (at least CVC4 1.8 missing)
And obviously, add all the new features!
Tick your name below when you are done with your own changes :
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information