diff --git a/_config.yml b/_config.yml index ca3dadf2791f1e53a9b1bd566184f81bc90a8399..19953b4750d256911700baa2cf1c6286e201128d 100644 --- a/_config.yml +++ b/_config.yml @@ -43,6 +43,7 @@ collections: output: true events: output: false + sort_by: date fc-versions: output: true sort_by: number diff --git a/_events/clang-0.7.md b/_events/clang-0.7.md new file mode 100644 index 0000000000000000000000000000000000000000..ebc0c652775094cb261cab11be0d3453f0a83025 --- /dev/null +++ b/_events/clang-0.7.md @@ -0,0 +1,8 @@ +--- +layout: default +date: 13-09-2019 +title: Release of Frama-C Clang 0.0.7 +image: /assets/img/events/frama-clang.png +--- + +Frama-C Clang 0.0.7 is out. Download it [here](/fc-plugins/frama-clang.html). \ No newline at end of file diff --git a/_events/event1.md b/_events/event1.md deleted file mode 100644 index a199af84bd47c5ed7f7e5e17a59b908664cb458f..0000000000000000000000000000000000000000 --- a/_events/event1.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -layout: default -date: 10-08-2019 -title: A new day in Frama-C ---- diff --git a/_events/event2.md b/_events/event2.md deleted file mode 100644 index a199af84bd47c5ed7f7e5e17a59b908664cb458f..0000000000000000000000000000000000000000 --- a/_events/event2.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -layout: default -date: 10-08-2019 -title: A new day in Frama-C ---- diff --git a/_events/fc-day-2019.md b/_events/fc-day-2019.md new file mode 100644 index 0000000000000000000000000000000000000000..565fb6da5955308fc5e86ecd23c485106c379706 --- /dev/null +++ b/_events/fc-day-2019.md @@ -0,0 +1,9 @@ +--- +layout: default +date: 18-05-2019 +title: Frama-C & SPARK Day 2019 +image: /assets/img/events/fc-day-2019.png +--- + +Frama-C & SPARK Day 2019 will take place on June 3, 2019 in Paris. +Registration and program [here](http://frama-c.com/FCSD19.html). \ No newline at end of file diff --git a/_events/framac-17.0.md b/_events/framac-17.0.md new file mode 100644 index 0000000000000000000000000000000000000000..e5f7a32be6242e6dbc744dd891c925ab71019059 --- /dev/null +++ b/_events/framac-17.0.md @@ -0,0 +1,8 @@ +--- +layout: default +date: 31-05-2018 +title: Release of Frama-C 17.0 (Chlorine) +image: /assets/img/events/Chlorine.jpg +--- + +Frama-C 17.0 (Chlorine) is out. Download it [here](/fc-versions/chlorine.html). \ No newline at end of file diff --git a/_events/framac-18.0.md b/_events/framac-18.0.md new file mode 100644 index 0000000000000000000000000000000000000000..88c18410a7b93a82c52ef9832e602a6cd92ae3bb --- /dev/null +++ b/_events/framac-18.0.md @@ -0,0 +1,8 @@ +--- +layout: default +date: 29-10-2018 +title: Release of Frama-C 18.0 (Argon) +image: /assets/img/events/Argon.jpg +--- + +Frama-C 18.0 (Argon) is out. Download it [here](/fc-versions/argon.html). \ No newline at end of file diff --git a/_events/framac-19.0.md b/_events/framac-19.0.md new file mode 100644 index 0000000000000000000000000000000000000000..19a0656a28f3110e2201f8006e9cd5d501136647 --- /dev/null +++ b/_events/framac-19.0.md @@ -0,0 +1,8 @@ +--- +layout: default +date: 21-06-2019 +title: Release of Frama-C 19.0 (Potassium) +image: /assets/img/events/Potassium.jpg +--- + +Frama-C 19.0 (Potassium) is out. Download it [here](/fc-versions/potassium.html). \ No newline at end of file diff --git a/_events/framac-19.1.md b/_events/framac-19.1.md new file mode 100644 index 0000000000000000000000000000000000000000..bcc2f96f6986435d61b6a341d170517ab7b47d4f --- /dev/null +++ b/_events/framac-19.1.md @@ -0,0 +1,8 @@ +--- +layout: default +date: 17-09-2019 +title: Release of Frama-C 19.1 (Potassium) +image: /assets/img/events/Potassium.jpg +--- + +Frama-C 19.1 (Potassium) is out. Download it [here](/fc-versions/potassium.html). \ No newline at end of file diff --git a/assets/img/events/Argon.jpg b/assets/img/events/Argon.jpg new file mode 100644 index 0000000000000000000000000000000000000000..1964cc381fa38ef52ed41a1235fc97eb18f9def6 Binary files /dev/null and b/assets/img/events/Argon.jpg differ diff --git a/assets/img/events/Chlorine.jpg b/assets/img/events/Chlorine.jpg new file mode 100644 index 0000000000000000000000000000000000000000..dff5786e55bbc3ff08d87fb97b83071f18384551 Binary files /dev/null and b/assets/img/events/Chlorine.jpg differ diff --git a/assets/img/events/Phosphorus.png b/assets/img/events/Phosphorus.png new file mode 100644 index 0000000000000000000000000000000000000000..bfe2e10953dbd15e0e71f6f22bd72fceb12ca4be Binary files /dev/null and b/assets/img/events/Phosphorus.png differ diff --git a/assets/img/events/Potassium.jpg b/assets/img/events/Potassium.jpg new file mode 100644 index 0000000000000000000000000000000000000000..67f104c68437ede4fc31ef2b49f38f2e2013d114 Binary files /dev/null and b/assets/img/events/Potassium.jpg differ diff --git a/assets/img/events/Sulfur.jpg b/assets/img/events/Sulfur.jpg new file mode 100644 index 0000000000000000000000000000000000000000..0541642d11357d3be1ed24e215fae47884589f9e Binary files /dev/null and b/assets/img/events/Sulfur.jpg differ diff --git a/assets/img/events/fc-day-2019.png b/assets/img/events/fc-day-2019.png new file mode 100644 index 0000000000000000000000000000000000000000..dcac53d631301e03c4336bb85dde0a3066cdc631 Binary files /dev/null and b/assets/img/events/fc-day-2019.png differ diff --git a/assets/img/events/frama-clang.png b/assets/img/events/frama-clang.png new file mode 100644 index 0000000000000000000000000000000000000000..03c6cec5a24f31e7c44a6295c0efd7dff53dde71 Binary files /dev/null and b/assets/img/events/frama-clang.png differ diff --git a/index.html b/index.html index 761543f1bed31959010e31ad1eaacfe4e10b6ccb..44bde55f238d4e74338c840f521e28f46e37287e 100755 --- a/index.html +++ b/index.html @@ -385,7 +385,7 @@ value analysis.</span></span></span></span></span> <div id="event_detail_swiper" class="eventDetailsBlock swiper-container"> <div class="swiper-wrapper"> - {% for event in site.events %} + {% for event in site.events reversed %} <div class="swiper-slide"> <div class="eventDetail" id="post_details_486"> <figure> @@ -398,8 +398,7 @@ value analysis.</span></span></span></span></span> <div> <h3>{{ event.title }}</h3> - <p>{{ event.content | strip_html | truncatewords: 50 }}</p><a class="read-more link" href= - "{{ event.url }}" target="_blank">Read More</a> + <p>{{ event.content }}</p> </div> </div> </div> @@ -416,7 +415,7 @@ value analysis.</span></span></span></span></span> <div id="event_calender_swiper" class="swiper-container"> <div class="swiper-wrapper"> - {% for event in site.events %} + {% for event in site.events reversed %} <div class="swiper-slide"> <a role="button" class="eventLink"><time>{{ event.date | date: "<b>%-d</b><small>%B</small>" }}</time><span>{{ event.title }}</span></a> </div> @@ -472,4 +471,4 @@ value analysis.</span></span></span></span></span> <div class="clear"></div> </div> </div> -<body> \ No newline at end of file +<body>