src/plugins/wp/Changelog · 310b7c9ebdf58777b8d3a69993c5ba9f7a854d9f · pub / frama-c · GitLab

Snippets Groups Projects

5 years ago
cdedac5f
Merge branch '654-wp-qed-incorrect-transformations-with-binders' into 'master' · cdedac5f
Loïc Correnson authored 5 years ago
```
Resolve "[WP/QED] Incorrect transformations with binders"

Closes #654

See merge request frama-c/frama-c!2267
```
cdedac5f

History
Merge branch '654-wp-qed-incorrect-transformations-with-binders' into 'master'
Loïc Correnson authored 5 years ago
```
Resolve "[WP/QED] Incorrect transformations with binders"

Closes #654

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

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