| ... | ... | @@ -3,21 +3,19 @@ |
|
|
|
- [frama-c-21.0-beta-Scandium.tar.gz](downloads/frama-c-21.0-beta-Scandium.tar.gz)
|
|
|
|
|
|
|
|
## Manuals
|
|
|
|
- [acsl-1.15-beta.pdf](manuals/acsl-1.15-beta.pdf)
|
|
|
|
- [acsl-implementation.pdf](manuals/acsl-implementation.pdf)
|
|
|
|
- [acsl.pdf](manuals/acsl.pdf)
|
|
|
|
- [aorai-example.tgz](manuals/aorai-example.tgz)
|
|
|
|
- [aorai-manual.pdf](manuals/aorai-manual.pdf)
|
|
|
|
- [e-acsl-1.14.pdf](manuals/e-acsl-1.14.pdf)
|
|
|
|
- [e-acsl-implementation.pdf](manuals/e-acsl-implementation.pdf)
|
|
|
|
- [e-acsl-manual.pdf](manuals/e-acsl-manual.pdf)
|
|
|
|
- [e-acsl.pdf](manuals/e-acsl.pdf)
|
|
|
|
- [eva-manual.pdf](manuals/eva-manual.pdf)
|
|
|
|
- [metrics-manual.pdf](manuals/metrics-manual.pdf)
|
|
|
|
- [plugin-development-guide.pdf](manuals/plugin-development-guide.pdf)
|
|
|
|
- [rte-manual.pdf](manuals/rte-manual.pdf)
|
|
|
|
- [user-manual.pdf](manuals/user-manual.pdf)
|
|
|
|
- [wp-manual.pdf](manuals/wp-manual.pdf)
|
|
|
|
- [acsl-1.15-beta](manuals/acsl-1.15-beta.pdf)
|
|
|
|
- [acsl-implementation](manuals/acsl-implementation-21.0-beta-Scandium.pdf)
|
|
|
|
- [aorai-example-21.0-Scandium.tgz](manuals/aorai-example-21.0-beta-Scandium.tgz)
|
|
|
|
- [aorai-manual](manuals/aorai-manual-21.0-beta-Scandium.pdf)
|
|
|
|
- [e-acsl-1.14](manuals/e-acsl-1.14.pdf)
|
|
|
|
- [e-acsl-implementation](manuals/e-acsl-implementation-21.0-beta-Scandium.pdf)
|
|
|
|
- [e-acsl-manual](manuals/e-acsl-manual-21.0-beta-Scandium.pdf)
|
|
|
|
- [eva-manual](manuals/eva-manual-21.0-beta-Scandium.pdf)
|
|
|
|
- [metrics-manual](manuals/metrics-manual-21.0-beta-Scandium.pdf)
|
|
|
|
- [plugin-development-guide](manuals/plugin-development-guide-21.0-beta-Scandium.pdf)
|
|
|
|
- [rte-manual](manuals/rte-manual-21.0-beta-Scandium.pdf)
|
|
|
|
- [user-manual](manuals/user-manual-21.0-beta-Scandium.pdf)
|
|
|
|
- [wp-manual](manuals/wp-manual-21.0-beta-Scandium.pdf)
|
|
|
|
|
|
|
|
## Main Changes
|
|
|
|
### Kernel
|
| ... | ... | @@ -55,4 +53,4 @@ |
|
|
|
|
|
|
|
- [Main Changelog](https://git.frama-c.com/pub/frama-c/-/blob/21.0-beta/Changelog)
|
|
|
|
- [WP Changelog](https://git.frama-c.com/pub/frama-c/-/blob/21.0-beta/src/plugins/wp/Changelog)
|
|
|
|
- [E-ACSL Changelog](https://git.frama-c.com/pub/frama-c/-/blob/21.0-beta/src/plugins/e-acsl/doc/Changelog) |
|
|
\ No newline at end of file |
|
|
|
- [E-ACSL Changelog](https://git.frama-c.com/pub/frama-c/-/blob/21.0-beta/src/plugins/e-acsl/doc/Changelog) |
