nix/mk_plugin.nix · ab158cc958e020756edf015ac73acdf6d2ac1ba5 · pub / frama-c · GitLab

Snippets Groups Projects

2 years ago
79c30ff5
Merge branch 'feature/wp/why3-1.6.0' into 'master' · 79c30ff5
Allan Blanchard authored 2 years ago
```
Why3 1.6.0 + revamped WP cache in CI

Closes #1237

See merge request frama-c/frama-c!4118
```
79c30ff5

History
Merge branch 'feature/wp/why3-1.6.0' into 'master'
Allan Blanchard authored 2 years ago
```
Why3 1.6.0 + revamped WP cache in CI

Closes #1237

See merge request frama-c/frama-c!4118
```