From 45496d97f33b2703d9ce29894322f3412d90eab1 Mon Sep 17 00:00:00 2001
From: Augustin Lemesle <augustin.lemesle@cea.fr>
Date: Wed, 9 Dec 2020 14:02:19 +0100
Subject: [PATCH] change ' for old posts

---
 ... => 2011-01-13-Why-don-t-you-verify-the-entire-Internet-.html} | 0
 ...ifying-numerical-precision-with-Frama-C-s-value-analysis.html} | 0
 ...merical-precision-with-Frama-C-s-value-analysis---part-2.html} | 0
 ...omeone-elses-blog.html => 2011-06-18-Someone-else-s-blog.html} | 0
 ...sting-reveals-that-I-m-no-good-at-probabilities-and-lazy.html} | 0
 ...ysis.html => 2011-11-23-Bug-in-Nitrogen-s-value-analysis.html} | 0
 ...is.html => 2011-11-23-Fixes-in-Nitrogen-s-value-analysis.html} | 0
 ...flow-alarms-vs-informative-messages-about-2-s-complement.html} | 0
 ...t.html => 2012-07-25-On-the-redundancy-of-C99-s-restrict.html} | 0
 ...-Funny-floating-point-bugs-in-Frama-C-Oxygen-s-front-end.html} | 0
 ...ays-quiz.html => 2012-11-29-Solution-to-yesterday-s-quiz.html} | 0
 ...rogram.html => 2013-06-19-Microsoft-s-bug-bounty-program.html} | 0
 ...l-s-option--compact-can-optimize-for-code-size-and-speed.html} | 0
 ...-Frama-C-appears-on-European-Commission-s-Innovation-Radar.md} | 0
 ...2020-03-29-Frama-C-s-position-on-the-Toyota-ITC-benchmarks.md} | 0
 15 files changed, 0 insertions(+), 0 deletions(-)
 rename _posts/{2011-01-13-Why-dont-you-verify-the-entire-Internet-.html => 2011-01-13-Why-don-t-you-verify-the-entire-Internet-.html} (100%)
 rename _posts/{2011-01-22-Verifying-numerical-precision-with-Frama-Cs-value-analysis.html => 2011-01-22-Verifying-numerical-precision-with-Frama-C-s-value-analysis.html} (100%)
 rename _posts/{2011-02-10-Verifying-numerical-precision-with-Frama-Cs-value-analysis---part-2.html => 2011-02-10-Verifying-numerical-precision-with-Frama-C-s-value-analysis---part-2.html} (100%)
 rename _posts/{2011-06-18-Someone-elses-blog.html => 2011-06-18-Someone-else-s-blog.html} (100%)
 rename _posts/{2011-08-10-Csmith-testing-reveals-that-Im-no-good-at-probabilities-and-lazy.html => 2011-08-10-Csmith-testing-reveals-that-I-m-no-good-at-probabilities-and-lazy.html} (100%)
 rename _posts/{2011-11-23-Bug-in-Nitrogens-value-analysis.html => 2011-11-23-Bug-in-Nitrogen-s-value-analysis.html} (100%)
 rename _posts/{2011-11-23-Fixes-in-Nitrogens-value-analysis.html => 2011-11-23-Fixes-in-Nitrogen-s-value-analysis.html} (100%)
 rename _posts/{2012-03-27-Overflow-alarms-vs-informative-messages-about-2s-complement.html => 2012-03-27-Overflow-alarms-vs-informative-messages-about-2-s-complement.html} (100%)
 rename _posts/{2012-07-25-On-the-redundancy-of-C99s-restrict.html => 2012-07-25-On-the-redundancy-of-C99-s-restrict.html} (100%)
 rename _posts/{2012-11-19-Funny-floating-point-bugs-in-Frama-C-Oxygens-front-end.html => 2012-11-19-Funny-floating-point-bugs-in-Frama-C-Oxygen-s-front-end.html} (100%)
 rename _posts/{2012-11-29-Solution-to-yesterdays-quiz.html => 2012-11-29-Solution-to-yesterday-s-quiz.html} (100%)
 rename _posts/{2013-06-19-Microsofts-bug-bounty-program.html => 2013-06-19-Microsoft-s-bug-bounty-program.html} (100%)
 rename _posts/{2013-10-11-OCamls-option--compact-can-optimize-for-code-size-and-speed.html => 2013-10-11-OCaml-s-option--compact-can-optimize-for-code-size-and-speed.html} (100%)
 rename _posts/{2017-09-21-Frama-C-appears-on-European-Commissions-Innovation-Radar.md => 2017-09-21-Frama-C-appears-on-European-Commission-s-Innovation-Radar.md} (100%)
 rename _posts/{2020-03-29-Frama-Cs-position-on-the-Toyota-ITC-benchmarks.md => 2020-03-29-Frama-C-s-position-on-the-Toyota-ITC-benchmarks.md} (100%)

diff --git a/_posts/2011-01-13-Why-dont-you-verify-the-entire-Internet-.html b/_posts/2011-01-13-Why-don-t-you-verify-the-entire-Internet-.html
similarity index 100%
rename from _posts/2011-01-13-Why-dont-you-verify-the-entire-Internet-.html
rename to _posts/2011-01-13-Why-don-t-you-verify-the-entire-Internet-.html
diff --git a/_posts/2011-01-22-Verifying-numerical-precision-with-Frama-Cs-value-analysis.html b/_posts/2011-01-22-Verifying-numerical-precision-with-Frama-C-s-value-analysis.html
similarity index 100%
rename from _posts/2011-01-22-Verifying-numerical-precision-with-Frama-Cs-value-analysis.html
rename to _posts/2011-01-22-Verifying-numerical-precision-with-Frama-C-s-value-analysis.html
diff --git a/_posts/2011-02-10-Verifying-numerical-precision-with-Frama-Cs-value-analysis---part-2.html b/_posts/2011-02-10-Verifying-numerical-precision-with-Frama-C-s-value-analysis---part-2.html
similarity index 100%
rename from _posts/2011-02-10-Verifying-numerical-precision-with-Frama-Cs-value-analysis---part-2.html
rename to _posts/2011-02-10-Verifying-numerical-precision-with-Frama-C-s-value-analysis---part-2.html
diff --git a/_posts/2011-06-18-Someone-elses-blog.html b/_posts/2011-06-18-Someone-else-s-blog.html
similarity index 100%
rename from _posts/2011-06-18-Someone-elses-blog.html
rename to _posts/2011-06-18-Someone-else-s-blog.html
diff --git a/_posts/2011-08-10-Csmith-testing-reveals-that-Im-no-good-at-probabilities-and-lazy.html b/_posts/2011-08-10-Csmith-testing-reveals-that-I-m-no-good-at-probabilities-and-lazy.html
similarity index 100%
rename from _posts/2011-08-10-Csmith-testing-reveals-that-Im-no-good-at-probabilities-and-lazy.html
rename to _posts/2011-08-10-Csmith-testing-reveals-that-I-m-no-good-at-probabilities-and-lazy.html
diff --git a/_posts/2011-11-23-Bug-in-Nitrogens-value-analysis.html b/_posts/2011-11-23-Bug-in-Nitrogen-s-value-analysis.html
similarity index 100%
rename from _posts/2011-11-23-Bug-in-Nitrogens-value-analysis.html
rename to _posts/2011-11-23-Bug-in-Nitrogen-s-value-analysis.html
diff --git a/_posts/2011-11-23-Fixes-in-Nitrogens-value-analysis.html b/_posts/2011-11-23-Fixes-in-Nitrogen-s-value-analysis.html
similarity index 100%
rename from _posts/2011-11-23-Fixes-in-Nitrogens-value-analysis.html
rename to _posts/2011-11-23-Fixes-in-Nitrogen-s-value-analysis.html
diff --git a/_posts/2012-03-27-Overflow-alarms-vs-informative-messages-about-2s-complement.html b/_posts/2012-03-27-Overflow-alarms-vs-informative-messages-about-2-s-complement.html
similarity index 100%
rename from _posts/2012-03-27-Overflow-alarms-vs-informative-messages-about-2s-complement.html
rename to _posts/2012-03-27-Overflow-alarms-vs-informative-messages-about-2-s-complement.html
diff --git a/_posts/2012-07-25-On-the-redundancy-of-C99s-restrict.html b/_posts/2012-07-25-On-the-redundancy-of-C99-s-restrict.html
similarity index 100%
rename from _posts/2012-07-25-On-the-redundancy-of-C99s-restrict.html
rename to _posts/2012-07-25-On-the-redundancy-of-C99-s-restrict.html
diff --git a/_posts/2012-11-19-Funny-floating-point-bugs-in-Frama-C-Oxygens-front-end.html b/_posts/2012-11-19-Funny-floating-point-bugs-in-Frama-C-Oxygen-s-front-end.html
similarity index 100%
rename from _posts/2012-11-19-Funny-floating-point-bugs-in-Frama-C-Oxygens-front-end.html
rename to _posts/2012-11-19-Funny-floating-point-bugs-in-Frama-C-Oxygen-s-front-end.html
diff --git a/_posts/2012-11-29-Solution-to-yesterdays-quiz.html b/_posts/2012-11-29-Solution-to-yesterday-s-quiz.html
similarity index 100%
rename from _posts/2012-11-29-Solution-to-yesterdays-quiz.html
rename to _posts/2012-11-29-Solution-to-yesterday-s-quiz.html
diff --git a/_posts/2013-06-19-Microsofts-bug-bounty-program.html b/_posts/2013-06-19-Microsoft-s-bug-bounty-program.html
similarity index 100%
rename from _posts/2013-06-19-Microsofts-bug-bounty-program.html
rename to _posts/2013-06-19-Microsoft-s-bug-bounty-program.html
diff --git a/_posts/2013-10-11-OCamls-option--compact-can-optimize-for-code-size-and-speed.html b/_posts/2013-10-11-OCaml-s-option--compact-can-optimize-for-code-size-and-speed.html
similarity index 100%
rename from _posts/2013-10-11-OCamls-option--compact-can-optimize-for-code-size-and-speed.html
rename to _posts/2013-10-11-OCaml-s-option--compact-can-optimize-for-code-size-and-speed.html
diff --git a/_posts/2017-09-21-Frama-C-appears-on-European-Commissions-Innovation-Radar.md b/_posts/2017-09-21-Frama-C-appears-on-European-Commission-s-Innovation-Radar.md
similarity index 100%
rename from _posts/2017-09-21-Frama-C-appears-on-European-Commissions-Innovation-Radar.md
rename to _posts/2017-09-21-Frama-C-appears-on-European-Commission-s-Innovation-Radar.md
diff --git a/_posts/2020-03-29-Frama-Cs-position-on-the-Toyota-ITC-benchmarks.md b/_posts/2020-03-29-Frama-C-s-position-on-the-Toyota-ITC-benchmarks.md
similarity index 100%
rename from _posts/2020-03-29-Frama-Cs-position-on-the-Toyota-ITC-benchmarks.md
rename to _posts/2020-03-29-Frama-C-s-position-on-the-Toyota-ITC-benchmarks.md
-- 
GitLab