Changelog · 71fe3ebc0d46aa198f4cbac03ce2d406c6b8428d · pub / frama-c · GitLab

Snippets Groups Projects

1 month ago
b708f8f6
Merge branch 'feature/kernel/remove-module-name-from-datatypes' into 'master' · b708f8f6
Julien Signoles authored 1 month ago
```
[kernel] remove unused Datatype.*.module_name and Type.*ml_name

Closes #1489

See merge request frama-c/frama-c!4907
```
b708f8f6

History
Merge branch 'feature/kernel/remove-module-name-from-datatypes' into 'master'
Julien Signoles authored 1 month ago
```
[kernel] remove unused Datatype.*.module_name and Type.*ml_name

Closes #1489

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

To find the state of this project's repository at the time of any of these versions, check out the tags.