[CakeML-dev] Version 2

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Wed Jul 5 01:50:23 UTC 2017

Hi all,

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.

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)?

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?

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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20170705/9b2a2cd9/attachment.html>

More information about the Developers mailing list