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 :