|
|
|
# Frama-C release 23.1 (Vanadium)
|
|
|
|
## Sources
|
|
|
|
- [frama-c-23.1-Vanadium.tar.gz](downloads/frama-c-23.1-Vanadium.tar.gz)
|
|
|
|
|
|
|
|
## Manuals
|
|
|
|
- [acsl-1.17](manuals/acsl-1.17.pdf)
|
|
|
|
- [acsl-implementation](manuals/acsl-implementation-23.1-Vanadium.pdf)
|
|
|
|
- [aorai-example-23.1-Vanadium.tgz](manuals/aorai-example-23.1-Vanadium.tgz)
|
|
|
|
- [aorai-manual](manuals/aorai-manual-23.1-Vanadium.pdf)
|
|
|
|
- [e-acsl-1.17](manuals/e-acsl-1.17.pdf)
|
|
|
|
- [e-acsl-implementation](manuals/e-acsl-implementation-23.1-Vanadium.pdf)
|
|
|
|
- [e-acsl-manual](manuals/e-acsl-manual-23.1-Vanadium.pdf)
|
|
|
|
- [eva-manual](manuals/eva-manual-23.1-Vanadium.pdf)
|
|
|
|
- [metrics-manual](manuals/metrics-manual-23.1-Vanadium.pdf)
|
|
|
|
- [plugin-development-guide](manuals/plugin-development-guide-23.1-Vanadium.pdf)
|
|
|
|
- [rte-manual](manuals/rte-manual-23.1-Vanadium.pdf)
|
|
|
|
- [user-manual](manuals/user-manual-23.1-Vanadium.pdf)
|
|
|
|
- [wp-manual](manuals/wp-manual-23.1-Vanadium.pdf)
|
|
|
|
|
|
|
|
## Main changes
|
|
|
|
### E-ACSL
|
|
|
|
|
|
|
|
- Fix crash related to several ACSL constructs
|
|
|
|
- Fix crash when raising some user errors
|
|
|
|
|
|
|
|
|
|
|
|
### WP
|
|
|
|
|
|
|
|
- Fix a crash related to opaque structures memory typing |
