<div dir="ltr"><div><div><div><div><div><div>Hi all,<br><br></div>CakeML has moved pretty far on from version1 (that branch is 2 years old) and is in a reasonably stable state: We can build a bootstrapped compiler for x64 (and risc-v) with a correctness proof, and good benchmarks, and we have verified implementations of various command line programs.<br><br></div>Is it time to pick a commit to denote as version2, so we can move on to big breaking changes for the next version (runtime evaluation in particular)?<br><br></div>Any comments on (a) whether you care about numbering versions at all, or should we abandon that idea, or (b) any ongoing work you want to see merged into master before fixing the version2 tag?<br><br></div>I think I'd like most of the active branches to be merged in first, but otherwise not add anything substantial. There won't be a neat HOL release to go along with version2 this way, but there can be a HOL commit.<br><br></div>Cheers,<br></div>Ramana<br></div>