License Downloads

Licence

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.

Downloads

New releases on github.

The project contains both the new F* development and the stable F# development that also includes FlexTLS.

Previous software releases

miTLS 0.8.1 source code

Released on 3 October 2014, includes refinement types.

miTLS 0.8.0 source code

Released on 1 October 2014, includes refinement types.

miTLS 0.7.0 source code

Released on 20 August 2014, includes refinement types.

miTLS 0.1.3 source code

Released on 21 November 2013, includes refinement types.

miTLS 0.1.2 source code

Released on 19 March 2013, includes refinement types.

miTLS 0.1.1 source code

Released on 11 February 2013, includes refinement types.

Experimental forks

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.

miTLS 0.1.3-exp source code

Released on 31 July 2013.

Experimental features: