Skip to content
Snippets Groups Projects

Adds installation instructions files

Merged Adds installation instructions files
installation-instructions into master
Merged Allan Blanchard requested to merge installation-instructions into master
Viewing commit 6e778058
Prev Next
Show latest version
14 files
+ 51
− 12
Compare changes
  • Side-by-side
  • Inline
Files
14
_fc-versions/potassium.md
+ 12
− 12
@@ -5,34 +5,34 @@ name: Potassium
releases:
- number: 0
categories:
- name: Frama-C v19.0 Potassium
- name: Frama-C v19.1 Potassium
files:
- name: Source distribution
link: /download/frama-c-19.0-Potassium.tar.gz
link: /download/frama-c-19.1-Potassium.tar.gz
help: Compilation instructions
help_link: /html/installations/potassium.html
- name: User manual
link: /download/user-manual-19.0-Potassium.pdf
link: /download/user-manual-19.1-Potassium.pdf
help: Hello plug-in tutorial archive
help_link: download/hello-19.0-Potassium.tar.gz
help_link: download/hello-19.1-Potassium.tar.gz
- name: API Documentation
link: /download/frama-c-19.0-Potassium-api.tar.gz
link: /download/frama-c-19.1-Potassium-api.tar.gz
- name: ACSL 1.14 (Potassium implementation)
link: /download/acsl-implementation-19.0-Potassium.pdf
link: /download/acsl-implementation-19.1-Potassium.pdf
- name: Plug-in Manuals
files:
- name: Aoraï manual
link: /download/aorai-manual-19.0-Potassium.pdf
link: /download/aorai-manual-19.1-Potassium.pdf
- name: Metrics manual
link: /download/metrics-manual-19.0-Potassium.pdf
link: /download/metrics-manual-19.1-Potassium.pdf
help:
help_link: </li>
- name: Rte manual
link: /download/rte-manual-19.0-Potassium.pdf
link: /download/rte-manual-19.1-Potassium.pdf
- name: Eva manual
link: /download/eva-manual-19.0-Potassium.pdf
link: /download/eva-manual-19.1-Potassium.pdf
- name: WP manual
link: /download/wp-manual-19.0-Potassium.pdf
link: /download/wp-manual-19.1-Potassium.pdf
- name: E-ACSL manual
link: /download/e-acsl/e-acsl-manual-19.0-Potassium.pdf
link: /download/e-acsl/e-acsl-manual-19.1-Potassium.pdf
---
\ No newline at end of file