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 2d36725afd14005b84fd4a3b3ce34492056431f9..9751e2f6735dff2001e1033f5ce83137694c3b80 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 334dbaeb57a2b677c3d6a97d0994acadb998f6e7..3c671fa8a9069c4b793fbc3cc69ff83c867e043a 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 82326430d6a351afcf91fd2d70631d9991483082..a917fd535a6dcc97683abc448494afe076864ce4 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 d9fda37cec4ef3c40899845f2e1ad530bbf31212..0a293333a2bf5d36aa79cb7ec65f08842583a4c1 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 0e534d9b0d56ae006648e4638bbeea89aa722974..534447a635daeb94629503d356074ca6339bd8fc 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 33588b18c4713090a2090a6dac369a1ea2eb51e5..f2ff4e9a1ee946237bf0296d6eca90e37776157f 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 7d421775de4e493992add3eaa3e013e6687e7349..b2d055a4c915c774bf6310a3dbb45cf8839e8cbc 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 0cf3a1cbf2514c6a2e5539c59f6694192ca59db6..60737f7cab8b017687fb776a36061c14fd07c847 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 5f4c8590f4a974afcebd469212cc00266e71abdb..d484d5511726ccd153904cfca85d2563060d4a0e 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 a6239a676f41a0961529f0549828be6894e2d839..1cea44c28a877bc6b122321be8fd2de6e3a98920 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 a5dd2ad5703e79f249e341b035038fd2b0770d7b..a40f7346cfe7db4eb134e69f9223d95645adb796 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 0ee7a7ae5ec909ae5e4e053887711ae4819548e8..f84bb79720d8cf5ba680bde402adc59119e8258a 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 5f2757ffee796a194c1fe0c08dd69105626b003f..7b938245979d9a842d2ffdec9c612af90a11c0a4 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 a798130510e464d61eabdaec65024b9f75610133..0e5520ad13bf9d89161f0daa08bc5f70b873eedc 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 b5539163a24eb262f2a7a4a98bd2f974bf27d520..099eec7f160506a3b97f381db6c58fa65cf06235 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 6edb2522db020032e271fba9fafcdf04060e378c..03f2711f01c1245e6ad965ef24eb427ba22cab28 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 5f9a43d3836d70fa95b9a0dc8c044188ef3ff21d..ffc64c958be0512d260a2fcf04d9f1d59820d18c 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 9e03fc460b0ebcec31435048d7334ac99afc6a44..c2db15b0069805ba8db0ac1b2ee323b8c0fe71f0 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 2b4af49de327740881e3678a7f01992e21238744..37a7fd03972cc8cf0560341bc1d039ce67890908 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 f4d24443c37bd0a362eb357c5455ae499cd1f33f..6922e97fec53fe088b9c640ec62a2e9103023731 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" ---