|
|
# Frama-C release 26.1 (Iron)
|
|
|
## Sources
|
|
|
- [frama-c-26.1-Iron.tar.gz](https://www.frama-c.com/download/frama-c-26.1-Iron.tar.gz)
|
|
|
|
|
|
## Manuals
|
|
|
- [acsl](https://www.frama-c.com/download/acsl-1.18.pdf)
|
|
|
- [acsl-implementation](https://www.frama-c.com/download/acsl-implementation-26.1-Iron.pdf)
|
|
|
- [aorai-manual](https://www.frama-c.com/download/aorai-manual-26.1-Iron.pdf)
|
|
|
- [e-acsl](https://www.frama-c.com/download/e-acsl/e-acsl-1.18.pdf)
|
|
|
- [e-acsl-implementation](https://www.frama-c.com/download/e-acsl/e-acsl-implementation-26.1-Iron.pdf)
|
|
|
- [e-acsl-manual](https://www.frama-c.com/download/e-acsl/e-acsl-manual-26.1-Iron.pdf)
|
|
|
- [eva-manual](https://www.frama-c.com/download/eva-manual-26.1-Iron.pdf)
|
|
|
- [metrics-manual](https://www.frama-c.com/download/metrics-manual-26.1-Iron.pdf)
|
|
|
- [plugin-development-guide](https://www.frama-c.com/download/plugin-development-guide-26.1-Iron.pdf)
|
|
|
- [rte-manual](https://www.frama-c.com/download/rte-manual-26.1-Iron.pdf)
|
|
|
- [user-manual](https://www.frama-c.com/download/user-manual-26.1-Iron.pdf)
|
|
|
- [wp-manual](https://www.frama-c.com/download/wp-manual-26.1-Iron.pdf)
|
|
|
|
|
|
## Companion archives
|
|
|
- [aorai-example](https://www.frama-c.com/download/aorai-example-26.1-Iron.tar.gz)
|
|
|
- [hello](https://www.frama-c.com/download/hello-26.1-Iron.tar.gz)
|
|
|
|
|
|
## Main changes
|
|
|
This minor release fixes some issues related to the compilation and installation
|
|
|
of Frama-C.
|
|
|
|
|
|
Other changes with respect to Frama-C 26.0 (Iron) include:
|
|
|
|
|
|
### Kernel
|
|
|
- Accepts \ghost attribute in logic annotations
|
|
|
- Fixes issue in pretty-printing ranges
|
|
|
|
|
|
### WP
|
|
|
- Fixes 'terminates' goals generation when some 'terminates' or 'decreases'
|
|
|
clauses are missing. |