miTLS project status

[vadimkantorov]

Given that miTLS was one of flagship projects using FStar, I wonder if you know of the status of https://github.com/project-everest/mitls-fstar (repo recently converted into archive) and it supporting team. Is the project discontinued?

[nikswamy]

miTLS-fstar is indeed archived. We maintain it to the extent of ensuring that it continues to work with the latest version of F* and it is included in our CI system. But, there has been development of the codebase itself, except for a few minor fixes required for CI, for some years now.