Tags

Tags give the ability to mark specific points in history as being important

ocaml-v0.3.2

8c80a627 · Merge pull request #405 from project-everest/vdum_config · Feb 23, 2021
```
OCaml API v0.3.2
```
v0.3.0

b5343363 · [CI] regenerate hints and dist · Oct 27, 2020
ocaml-v0.3.0

f9773b30 · Merge pull request #364 from project-everest/vdum_ocaml · Oct 13, 2020
```
OCaml API v0.3.0
```
ocaml-v0.2.2

91299ff1 · [CI] regenerate hints and dist · Sep 16, 2020
```
OCaml API v0.2.2
```
ocaml-v0.2.1

aabf2223 · [CI] regenerate hints and dist · Jul 08, 2020
```
OCaml API v0.2.1
```
ocaml-v0.2.0

11aafe5e · Merge pull request #318 from project-everest/vdum_ocaml_p256 · Jun 25, 2020
```
OCaml API v0.2.0
```
ocaml-v0.1.1

740e0052 · Merge pull request #312 from project-everest/vdum_arm · Jun 08, 2020
```
OCaml API v0.1.1
```
ocaml-v0.1

14fb96c4 · Merge pull request #304 from project-everest/vdum_ocaml_api · May 12, 2020
```
OCaml API v0.1
```
v0.2.1

e221bcb6 · Re-instate -fnoreturn-else, refresh snapshot, and fix #218 · Jan 07, 2020
v.0.2.0

55e02628 · Merge remote-tracking branch 'origin/karthik_docs' into fstar-master · Jan 04, 2020
evercrypt-v0.1alpha1

bc1b759f · Merge remote-tracking branch 'origin/fstar-master' into evercrypt-v0.1+ · Apr 01, 2019

last-secure-api

c4296f11 · Merge remote-tracking branch 'origin/fstar-master' into protz_remove_old · Mar 28, 2019

Last working version of the record layer proof.

This is the last known maintained version of secure_api. Since the code
is in append-only mode, better have it saved in version control rather
than being expensively maintained.

F* version:      5eebcd58.
Kremlin version: 7580e5a6.
Everest version: 6ac41c1c.