meta_annotate.ml · 948bec42c3e005005ece97d4da59e343877e0ed0 · pub / meta · GitLab

Snippets Groups Projects

4 years ago
e2e56218
Merge branch 'feature/kernel/admit' into 'master' · e2e56218
Loïc Correnson authored 4 years ago
```
Updates with respect to kernel changes: new predicate kind Admit.

See merge request frama-c/meta!38
```
e2e56218

History
Merge branch 'feature/kernel/admit' into 'master'
Loïc Correnson authored 4 years ago
```
Updates with respect to kernel changes: new predicate kind Admit.

See merge request frama-c/meta!38
```