From 2ec4f28dd7186c20e313ecbf4f0e7425412170ef Mon Sep 17 00:00:00 2001 From: Allan Blanchard Date: Wed, 28 Oct 2020 16:58:59 +0100 Subject: [PATCH] Release Titanium-22-beta --- _fc-versions/titanium.md | 34 +++++++++++++++++++ download/aorai-example-22.0-beta-Titanium.tgz | 3 ++ download/aorai-manual-22.0-beta-Titanium.pdf | 3 ++ download/e-acsl-manual-22.0-beta-Titanium.pdf | 3 ++ download/eva-manual-22.0-beta-Titanium.pdf | 3 ++ download/frama-c-22.0-beta-Titanium.tar.gz | 3 ++ .../metrics-manual-22.0-beta-Titanium.pdf | 3 ++ ...n-development-guide-22.0-beta-Titanium.pdf | 3 ++ download/rte-manual-22.0-beta-Titanium.pdf | 3 ++ download/user-manual-22.0-beta-Titanium.pdf | 3 ++ download/wp-manual-22.0-beta-Titanium.pdf | 3 ++ 11 files changed, 64 insertions(+) create mode 100644 _fc-versions/titanium.md create mode 100644 download/aorai-example-22.0-beta-Titanium.tgz create mode 100644 download/aorai-manual-22.0-beta-Titanium.pdf create mode 100644 download/e-acsl-manual-22.0-beta-Titanium.pdf create mode 100644 download/eva-manual-22.0-beta-Titanium.pdf create mode 100644 download/frama-c-22.0-beta-Titanium.tar.gz create mode 100644 download/metrics-manual-22.0-beta-Titanium.pdf create mode 100644 download/plugin-development-guide-22.0-beta-Titanium.pdf create mode 100644 download/rte-manual-22.0-beta-Titanium.pdf create mode 100644 download/user-manual-22.0-beta-Titanium.pdf create mode 100644 download/wp-manual-22.0-beta-Titanium.pdf diff --git a/_fc-versions/titanium.md b/_fc-versions/titanium.md new file mode 100644 index 00000000..e6e61d5d --- /dev/null +++ b/_fc-versions/titanium.md @@ -0,0 +1,34 @@ +--- +layout: version +number: 22 +beta: yes +name: Titanium +releases: + - number: 0 + categories: + - name: Frama-C v22.0-beta Titanium + files: + - name: Source distribution + link: /download/frama-c-22.0-beta-Titanium.tar.gz + help: Compilation instructions + help_link: /html/installations/Titanium.html + - name: User manual + link: /download/user-manual-22.0-beta-Titanium.pdf + - name: Plugin-In development guide + link: /download/plugin-development-guide-22.0-beta-Titanium.pdf + - name: Plug-in Manuals + sort: true + files: + - name: Aoraï manual + link: /download/aorai-manual-22.0-beta-Titanium.pdf + - name: Metrics manual + link: /download/metrics-manual-22.0-beta-Titanium.pdf + - name: Rte manual + link: /download/rte-manual-22.0-beta-Titanium.pdf + - name: Eva manual + link: /download/eva-manual-22.0-beta-Titanium.pdf + - name: WP manual + link: /download/wp-manual-22.0-beta-Titanium.pdf + - name: E-ACSL manual + link: /download/e-acsl/e-acsl-manual-22.0-beta-Titanium.pdf +--- \ No newline at end of file diff --git a/download/aorai-example-22.0-beta-Titanium.tgz b/download/aorai-example-22.0-beta-Titanium.tgz new file mode 100644 index 00000000..138bc39b --- /dev/null +++ b/download/aorai-example-22.0-beta-Titanium.tgz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:3bf967d99ef37b3343742e326d894e52c70e2ad756a040daaf70605c577f198f +size 1647 diff --git a/download/aorai-manual-22.0-beta-Titanium.pdf b/download/aorai-manual-22.0-beta-Titanium.pdf new file mode 100644 index 00000000..0ab1e511 --- /dev/null +++ b/download/aorai-manual-22.0-beta-Titanium.pdf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:859f64336a037ab43d434135b09e1bb37ccc3657802a901a24399fc2349862d0 +size 343380 diff --git a/download/e-acsl-manual-22.0-beta-Titanium.pdf b/download/e-acsl-manual-22.0-beta-Titanium.pdf new file mode 100644 index 00000000..24dbafcc --- /dev/null +++ b/download/e-acsl-manual-22.0-beta-Titanium.pdf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:f1c70eafdd2eddb18f2eed4869576b7a7ebee3e960a0d90744e6afa341ac41b6 +size 652628 diff --git a/download/eva-manual-22.0-beta-Titanium.pdf b/download/eva-manual-22.0-beta-Titanium.pdf new file mode 100644 index 00000000..ff668e51 --- /dev/null +++ b/download/eva-manual-22.0-beta-Titanium.pdf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c31cbdad78e40a71d0cd10a322e6bf2b7fae2e789dbcd50ef3e6b0efed7ab384 +size 1886029 diff --git a/download/frama-c-22.0-beta-Titanium.tar.gz b/download/frama-c-22.0-beta-Titanium.tar.gz new file mode 100644 index 00000000..00a2ff7e --- /dev/null +++ b/download/frama-c-22.0-beta-Titanium.tar.gz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e74940555162e3a789d20358b9d8b08b1cd369401a0d7a79f6b62172f9309f4f +size 6008184 diff --git a/download/metrics-manual-22.0-beta-Titanium.pdf b/download/metrics-manual-22.0-beta-Titanium.pdf new file mode 100644 index 00000000..0bee1e8e --- /dev/null +++ b/download/metrics-manual-22.0-beta-Titanium.pdf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:cf2b35a5982343a3a284d40fe5d1b74865b5c42270b88d665dc96807a51a7bd6 +size 799519 diff --git a/download/plugin-development-guide-22.0-beta-Titanium.pdf b/download/plugin-development-guide-22.0-beta-Titanium.pdf new file mode 100644 index 00000000..8c107dd8 --- /dev/null +++ b/download/plugin-development-guide-22.0-beta-Titanium.pdf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:990fe1ad38b3af4cec97f4c45e3fac1da7ba89917e54f164521b8669aa06cafb +size 1466002 diff --git a/download/rte-manual-22.0-beta-Titanium.pdf b/download/rte-manual-22.0-beta-Titanium.pdf new file mode 100644 index 00000000..6dfa992c --- /dev/null +++ b/download/rte-manual-22.0-beta-Titanium.pdf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c0c75da116df1a30e2aa7ca318762602311bfcc40416fd2ab43b75b6f7545cae +size 642101 diff --git a/download/user-manual-22.0-beta-Titanium.pdf b/download/user-manual-22.0-beta-Titanium.pdf new file mode 100644 index 00000000..828abe20 --- /dev/null +++ b/download/user-manual-22.0-beta-Titanium.pdf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:acf66b1e1bbe27622dfd5cb87179d563855ebf4ef76e1b048dc8c8c825747ae1 +size 1748300 diff --git a/download/wp-manual-22.0-beta-Titanium.pdf b/download/wp-manual-22.0-beta-Titanium.pdf new file mode 100644 index 00000000..ce8156bf --- /dev/null +++ b/download/wp-manual-22.0-beta-Titanium.pdf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:62f08935d2efb14877d60a5917157b4c86495c0f45f8a84e32aff19602e0ac2c +size 1389711 -- GitLab