Main changes since 26.0 Iron
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:
- Accepts \ghost attribute in logic annotations
- Fixes issue in pretty-printing ranges
- Fixes 'terminates' goals generation when some 'terminates' or 'decreases' clauses are missing.