reference-configuration.md · 041e16343a8e8a63ce7b383ff93e2db0ad489478 · pub / frama-c · GitLab

Snippets Groups Projects

"src/plugins/e-acsl/tests/runtime/oracle/alias.res.oracle" did not exist on "e4360835ddf5657fbc7e3b839f78a4d0ab012dbc"

7 months ago
b0e55c91
Minimal OCaml is now 4.14 · b0e55c91
Allan Blanchard authored 7 months ago
```
- moves default CI to 4.14
- add 5.2 to CI
```
b0e55c91

History
Minimal OCaml is now 4.14
Allan Blanchard authored 7 months ago
```
- moves default CI to 4.14
- add 5.2 to CI
```