Mentions légales du service

Tags

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

v0.13

576ce48c · Splitting `term_record` into two, in accordance with Necro Lib 0.7 · Feb 17, 2022
```
OPAM necroml package for deployment
```
FSCD2022

8f8b7561 · Some fefactoring on Olivier's proof · Jan 11, 2022

c9dcc17f · update README · Sep 16, 2021

Version presented in the paper "Certified Abstract Machines for Skeletal Semantics" (CPP 2022).

v0.12

c5379939 · New version · Oct 08, 2021
```
OPAM necroml package for deployment
```
v0.10

1f3d0a48 · update necro-test · Aug 24, 2021
```
OPAM necroml package for deployment
```
v0.9

f14da3ea · Updated to necro-lib v1.5 · Jul 19, 2021
```
OPAM necroml package for deployment
```
v0.8

dec5af62 · Merge branch 'master' of gitlab.inria.fr:skeletons/necro-coq · Jul 15, 2021
```
OPAM necroml package for deployment
```
v0.7

903f032e · eq_ss (Concrete ⇔ Concrete_ss) now proved with intermediate EBS · May 05, 2021
```
OPAM necroml package for deployment
```
v0.6

93747079 · Merge branch 'master' of gitlab.inria.fr:skeletons/necro-coq · May 05, 2021
```
OPAM necroml package for deployment
```
v0.5.1

ef9e5ddc · Update to necro v4 · Apr 30, 2021
```
OPAM necroml package for deployment
```
v0.5

971523d2 · more tactics; simpler proofs · Apr 07, 2021
```
OPAM necroml package for deployment
```
v0.4

ffa0f862 · RTC file for counting steps; more precise lemmas · Apr 04, 2021
```
OPAM necroml package for deployment
```
v0.3

5a2f2189 · Update to necrolib 2.0 · Nov 25, 2020
```
OPAM necroml package for deployment
```
v0.2

5bb8b7d8 · Version 0.2 · Oct 07, 2020
```
OPAM necroml package for deployment
```
v0.1

b6ecae19 · Fix for necro-lib 1.2.1 · Sep 23, 2020
```
OPAM necrocoq package for deployment
```

Prev
1
2
Next