The new GitHub releases are under the Apache 2.0 license.
Older versions of miTLS were released under the CeCILL-B licence: by downloading these versions of the software you agree to the terms of its licence.
New releases on github.
The project contains both the new F* development and the stable F# development that also includes FlexTLS.Released on 3 October 2014, includes refinement types.
Released on 1 October 2014, includes refinement types.
Released on 20 August 2014, includes refinement types.
Released on 21 November 2013, includes refinement types.
Released on 19 March 2013, includes refinement types.
Released on 11 February 2013, includes refinement types.
The following forks of miTLS include some experimental features that are not fully verified. They do not constitute part of the official miTLS releases, but are provided as a platform to experiment with new protocol features.
Released on 31 July 2013.
Experimental features:
