From 7029354f41278a5523330a6879076731aaf45d65 Mon Sep 17 00:00:00 2001 From: Andre Maroneze <andre.maroneze@cea.fr> Date: Fri, 8 Apr 2022 11:57:26 +0200 Subject: [PATCH] [blog] normalize categories --- _posts/2016-04-08-Small-improvements-to-the-Frama-C-GUI.md | 2 +- ...16-09-23-A-mini-tutorial-of-ACSL-specifications-for-Value.md | 2 +- ...ni-ACSL-tutorial-for-Value-part-2-functional-dependencies.md | 2 +- ...12-A-mini-ACSL-tutorial-for-Value-part-3-indirect-assigns.md | 2 +- _posts/2016-12-13-Frama-C-Silicon-has-been-released.md | 2 +- _posts/2017-03-07-A-simple-Eva-tutorial-part-1.md | 2 +- _posts/2017-03-17-A-simple-Eva-tutorial-part-2.md | 2 +- _posts/2017-04-11-A-simple-Eva-tutorial-part-3.md | 2 +- ...ama-C-15-Phosphorus-released-and-open-source-case-studies.md | 2 +- ...-25-Analysis-scripts-helping-automate-case-studies-part-1.md | 2 +- ...-15-Analysis-scripts-helping-automate-case-studies-part-2.md | 2 +- _posts/2018-06-19-Analyzing-Chrony-with-Frama-C-Eva.md | 2 +- _posts/2018-07-06-Parsing-realistic-code-bases-with-Frama-C.md | 2 +- _posts/2018-11-15-Frama-C-Eva-in-SATE-VI-with-Juliet-1.3.md | 2 +- _posts/2018-12-14-New-loop-unroll-annotation-in-Frama-C-18.md | 2 +- ...16-Setting-up-an-analysis-with-the-help-of-frama-c-script.md | 2 +- ...019-02-26-Finding-unexpected-bugs-in-the-DARPA-CGC-corpus.md | 2 +- ...02-SATE-VI-Workshop-Frama-C-satisfies-the-Ockham-Criteria.md | 2 +- ...020-03-29-Frama-C-s-position-on-the-Toyota-ITC-benchmarks.md | 2 +- _posts/2022-04-06-eva-acsl-quick-guide.md | 2 +- 20 files changed, 20 insertions(+), 20 deletions(-) diff --git a/_posts/2016-04-08-Small-improvements-to-the-Frama-C-GUI.md b/_posts/2016-04-08-Small-improvements-to-the-Frama-C-GUI.md index 2d36725a..9751e2f6 100644 --- a/_posts/2016-04-08-Small-improvements-to-the-Frama-C-GUI.md +++ b/_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" --- diff --git a/_posts/2016-09-23-A-mini-tutorial-of-ACSL-specifications-for-Value.md b/_posts/2016-09-23-A-mini-tutorial-of-ACSL-specifications-for-Value.md index 334dbaeb..3c671fa8 100644 --- a/_posts/2016-09-23-A-mini-tutorial-of-ACSL-specifications-for-Value.md +++ b/_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" --- diff --git a/_posts/2016-09-30-A-mini-ACSL-tutorial-for-Value-part-2-functional-dependencies.md b/_posts/2016-09-30-A-mini-ACSL-tutorial-for-Value-part-2-functional-dependencies.md index 82326430..a917fd53 100644 --- a/_posts/2016-09-30-A-mini-ACSL-tutorial-for-Value-part-2-functional-dependencies.md +++ b/_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" --- diff --git a/_posts/2016-10-12-A-mini-ACSL-tutorial-for-Value-part-3-indirect-assigns.md b/_posts/2016-10-12-A-mini-ACSL-tutorial-for-Value-part-3-indirect-assigns.md index d9fda37c..0a293333 100644 --- a/_posts/2016-10-12-A-mini-ACSL-tutorial-for-Value-part-3-indirect-assigns.md +++ b/_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" --- diff --git a/_posts/2016-12-13-Frama-C-Silicon-has-been-released.md b/_posts/2016-12-13-Frama-C-Silicon-has-been-released.md index 0e534d9b..534447a6 100644 --- a/_posts/2016-12-13-Frama-C-Silicon-has-been-released.md +++ b/_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!" --- diff --git a/_posts/2017-03-07-A-simple-Eva-tutorial-part-1.md b/_posts/2017-03-07-A-simple-Eva-tutorial-part-1.md index 33588b18..f2ff4e9a 100644 --- a/_posts/2017-03-07-A-simple-Eva-tutorial-part-1.md +++ b/_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" --- diff --git a/_posts/2017-03-17-A-simple-Eva-tutorial-part-2.md b/_posts/2017-03-17-A-simple-Eva-tutorial-part-2.md index 7d421775..b2d055a4 100644 --- a/_posts/2017-03-17-A-simple-Eva-tutorial-part-2.md +++ b/_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" --- diff --git a/_posts/2017-04-11-A-simple-Eva-tutorial-part-3.md b/_posts/2017-04-11-A-simple-Eva-tutorial-part-3.md index 0cf3a1cb..60737f7c 100644 --- a/_posts/2017-04-11-A-simple-Eva-tutorial-part-3.md +++ b/_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" --- diff --git a/_posts/2017-06-13-Frama-C-15-Phosphorus-released-and-open-source-case-studies.md b/_posts/2017-06-13-Frama-C-15-Phosphorus-released-and-open-source-case-studies.md index 5f4c8590..d484d551 100644 --- a/_posts/2017-06-13-Frama-C-15-Phosphorus-released-and-open-source-case-studies.md +++ b/_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" --- diff --git a/_posts/2018-01-25-Analysis-scripts-helping-automate-case-studies-part-1.md b/_posts/2018-01-25-Analysis-scripts-helping-automate-case-studies-part-1.md index a6239a67..1cea44c2 100644 --- a/_posts/2018-01-25-Analysis-scripts-helping-automate-case-studies-part-1.md +++ b/_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" --- diff --git a/_posts/2018-02-15-Analysis-scripts-helping-automate-case-studies-part-2.md b/_posts/2018-02-15-Analysis-scripts-helping-automate-case-studies-part-2.md index a5dd2ad5..a40f7346 100644 --- a/_posts/2018-02-15-Analysis-scripts-helping-automate-case-studies-part-2.md +++ b/_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" --- diff --git a/_posts/2018-06-19-Analyzing-Chrony-with-Frama-C-Eva.md b/_posts/2018-06-19-Analyzing-Chrony-with-Frama-C-Eva.md index 0ee7a7ae..f84bb797 100644 --- a/_posts/2018-06-19-Analyzing-Chrony-with-Frama-C-Eva.md +++ b/_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" --- diff --git a/_posts/2018-07-06-Parsing-realistic-code-bases-with-Frama-C.md b/_posts/2018-07-06-Parsing-realistic-code-bases-with-Frama-C.md index 5f2757ff..7b938245 100644 --- a/_posts/2018-07-06-Parsing-realistic-code-bases-with-Frama-C.md +++ b/_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" --- diff --git a/_posts/2018-11-15-Frama-C-Eva-in-SATE-VI-with-Juliet-1.3.md b/_posts/2018-11-15-Frama-C-Eva-in-SATE-VI-with-Juliet-1.3.md index a7981305..0e5520ad 100644 --- a/_posts/2018-11-15-Frama-C-Eva-in-SATE-VI-with-Juliet-1.3.md +++ b/_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" --- diff --git a/_posts/2018-12-14-New-loop-unroll-annotation-in-Frama-C-18.md b/_posts/2018-12-14-New-loop-unroll-annotation-in-Frama-C-18.md index b5539163..099eec7f 100644 --- a/_posts/2018-12-14-New-loop-unroll-annotation-in-Frama-C-18.md +++ b/_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" --- diff --git a/_posts/2019-01-16-Setting-up-an-analysis-with-the-help-of-frama-c-script.md b/_posts/2019-01-16-Setting-up-an-analysis-with-the-help-of-frama-c-script.md index 6edb2522..03f2711f 100644 --- a/_posts/2019-01-16-Setting-up-an-analysis-with-the-help-of-frama-c-script.md +++ b/_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" --- diff --git a/_posts/2019-02-26-Finding-unexpected-bugs-in-the-DARPA-CGC-corpus.md b/_posts/2019-02-26-Finding-unexpected-bugs-in-the-DARPA-CGC-corpus.md index 5f9a43d3..ffc64c95 100644 --- a/_posts/2019-02-26-Finding-unexpected-bugs-in-the-DARPA-CGC-corpus.md +++ b/_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" --- diff --git a/_posts/2019-10-02-SATE-VI-Workshop-Frama-C-satisfies-the-Ockham-Criteria.md b/_posts/2019-10-02-SATE-VI-Workshop-Frama-C-satisfies-the-Ockham-Criteria.md index 9e03fc46..c2db15b0 100644 --- a/_posts/2019-10-02-SATE-VI-Workshop-Frama-C-satisfies-the-Ockham-Criteria.md +++ b/_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" --- diff --git a/_posts/2020-03-29-Frama-C-s-position-on-the-Toyota-ITC-benchmarks.md b/_posts/2020-03-29-Frama-C-s-position-on-the-Toyota-ITC-benchmarks.md index 2b4af49d..37a7fd03 100644 --- a/_posts/2020-03-29-Frama-C-s-position-on-the-Toyota-ITC-benchmarks.md +++ b/_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 diff --git a/_posts/2022-04-06-eva-acsl-quick-guide.md b/_posts/2022-04-06-eva-acsl-quick-guide.md index f4d24443..6922e97f 100644 --- a/_posts/2022-04-06-eva-acsl-quick-guide.md +++ b/_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" --- -- GitLab