Merge branch 'blog-normalize-categories' into 'master'

[blog] normalize categories

See merge request !146

_posts/2016-04-08-Small-improvements-to-the-Frama-C-GUI.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze
 date: 2016-04-08 14:31 +0200
-categories: value-eva gui tutorial
+categories: Eva gui tutorial
 image:
 title: "Small improvements to the Frama-C GUI"
 ---

_posts/2016-09-23-A-mini-tutorial-of-ACSL-specifications-for-Value.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze
 date: 2016-09-23 09:00 +0200
-categories: ACSL value-eva tutorial
+categories: ACSL Eva tutorial
 image:
 title: "A mini-tutorial of ACSL specifications for Value"
 ---

_posts/2016-09-30-A-mini-ACSL-tutorial-for-Value-part-2-functional-dependencies.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze
 date: 2016-09-30 16:00 +0200
-categories: ACSL value-eva tutorial
+categories: ACSL Eva tutorial
 image:
 title: "A mini ACSL tutorial for Value, part 2: functional dependencies"
 ---

_posts/2016-10-12-A-mini-ACSL-tutorial-for-Value-part-3-indirect-assigns.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze
 date: 2016-10-12 15:00 +0200
-categories: ACSL value-eva tutorial
+categories: ACSL Eva tutorial
 image:
 title: "A mini ACSL tutorial for Value, part 3: indirect assigns"
 ---

_posts/2016-12-13-Frama-C-Silicon-has-been-released.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze
 date: 2016-12-13 10:00 +0200
-categories: value-eva gui
+categories: Eva gui
 image:
 title: "Frama-C Silicon has been released!"
 ---

_posts/2017-03-07-A-simple-Eva-tutorial-part-1.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze
 date: 2017-03-07 12:00 +0200
-categories: value-eva gui tutorial
+categories: Eva gui tutorial
 image:
 title: "A simple Eva tutorial, part 1"
 ---

_posts/2017-03-17-A-simple-Eva-tutorial-part-2.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze
 date: 2017-03-17 12:00 +0200
-categories: value-eva gui tutorial
+categories: Eva gui tutorial
 image:
 title: "A simple Eva tutorial, part 2"
 ---

_posts/2017-04-11-A-simple-Eva-tutorial-part-3.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze
 date: 2017-04-11 12:00 +0200
-categories: value-eva gui tutorial
+categories: Eva gui tutorial
 image:
 title: "A simple Eva tutorial, part 3"
 ---

_posts/2017-06-13-Frama-C-15-Phosphorus-released-and-open-source-case-studies.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze
 date: 2017-06-13 18:00 +0200
-categories: value-eva open-source-case-studies scripts
+categories: Eva open-source-case-studies scripts
 image:
 title: "Frama-C 15 (Phosphorus) released, and open source case studies"
 ---

_posts/2018-01-25-Analysis-scripts-helping-automate-case-studies-part-1.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze
 date: 2018-01-25 17:00 +0200
-categories: scripts value-eva open-source-case-studies
+categories: scripts Eva open-source-case-studies
 image:
 title: "Analysis scripts: helping automate case studies, part 1"
 ---

_posts/2018-02-15-Analysis-scripts-helping-automate-case-studies-part-2.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze
 date: 2018-02-15 12:00 +0200
-categories: value-eva scripts usability gui open-source-case-studies
+categories: Eva scripts usability gui open-source-case-studies
 image:
 title: "Analysis scripts: helping automate case studies, part 2"
 ---

_posts/2018-06-19-Analyzing-Chrony-with-Frama-C-Eva.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze
 date: 2018-06-19 14:00 +0200
-categories: value-eva open-source-case-studies
+categories: Eva open-source-case-studies
 image:
 title: "Analyzing Chrony with Frama-C/Eva"
 ---

_posts/2018-07-06-Parsing-realistic-code-bases-with-Frama-C.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze
 date: 2018-07-06 19:00 +0200
-categories: value-eva usability
+categories: Eva usability
 image:
 title: "Parsing realistic code bases with Frama-C"
 ---

_posts/2018-11-15-Frama-C-Eva-in-SATE-VI-with-Juliet-1.3.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze
 date: 2018-11-15 12:00 +0200
-categories: value-eva benchmarks
+categories: Eva benchmarks
 image:
 title: "Frama-C/Eva in SATE VI with Juliet 1.3"
 ---

_posts/2018-12-14-New-loop-unroll-annotation-in-Frama-C-18.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze
 date: 2018-12-14 12:00 +0200
-categories: value-eva usability
+categories: Eva usability
 image:
 title: "New loop unroll annotation in Frama-C 18"
 ---

_posts/2019-01-16-Setting-up-an-analysis-with-the-help-of-frama-c-script.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze
 date: 2019-01-16 12:00 +0200
-categories: scripts value-eva
+categories: scripts Eva
 #image: /download/blog/script.webp
 title: "Setting up an analysis with the help of frama-c-script"
 ---

_posts/2019-02-26-Finding-unexpected-bugs-in-the-DARPA-CGC-corpus.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze
 date: 2019-02-26 12:00 +0200
-categories: value-eva benchmarks
+categories: Eva benchmarks
 #image: /download/blog/darpa.webp
 title: "Finding unexpected bugs in the DARPA CGC corpus"
 ---

_posts/2019-10-02-SATE-VI-Workshop-Frama-C-satisfies-the-Ockham-Criteria.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze
 date: 2019-10-02 16:00 +0200
-categories: value-eva benchmarks
+categories: Eva benchmarks
 #image: /download/blog/measure.webp
 title: "SATE VI Workshop: Frama-C satisfies the Ockham Criteria"
 ---

_posts/2020-03-29-Frama-C-s-position-on-the-Toyota-ITC-benchmarks.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze
 date: 2020-03-29 16:55 +0200
-categories: benchmarks rant value-eva
+categories: benchmarks rant Eva
 image:
 title: "Frama-C's position on the Toyota ITC benchmarks"
 published: false

_posts/2022-04-06-eva-acsl-quick-guide.md

@@ -2,7 +2,7 @@
 layout: post
 author: André Maroneze (review by V. Prevosto, P. Baudin)
 date: 2022-04-06 18:00 +0100
-categories: acsl
+categories: ACSL Eva
 title: "Quick ACSL Guide for Eva: a new mini-tutorial"
 ---