src/kernel_services/abstract_interp/function_Froms.ml · 498a45505626ef2cc54b971f2ddbab4ddf349b75 · pub / frama-c · GitLab

Snippets Groups Projects

2 years ago
498a4550
[Eva] Moves files from value_types into src/kernel_services/abstract_interp. · 498a4550
David Bühler authored 2 years ago
```
These files were previously in src/plugins/value_types, and very briefly
in src/kernel_externals/value_types.
```
498a4550

History
[Eva] Moves files from value_types into src/kernel_services/abstract_interp.
David Bühler authored 2 years ago
```
These files were previously in src/plugins/value_types, and very briefly
in src/kernel_externals/value_types.
```