From c62a61dba7285a034fc0405edbd47dcc48bf03f5 Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Tue, 14 Jul 2020 11:26:58 +0200 Subject: Prepare the introduction of a RSS feed --- site/posts/ClightIntroduction.v | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'site/posts/ClightIntroduction.v') diff --git a/site/posts/ClightIntroduction.v b/site/posts/ClightIntroduction.v index 0d53f33..13bf773 100644 --- a/site/posts/ClightIntroduction.v +++ b/site/posts/ClightIntroduction.v @@ -8,10 +8,9 @@ Import ListNotations. you write is preserved by CompCert compilation passes up to the generated machine code. - I have been interested in CompCert for quite some times now. Today (##March 18, 2020##), I have challenged myself to study - Clight and its semantics. This write-up is the result of this challenge, - written as I was progressing. + I had been interested in CompCert for quite some times, and ultimately + challenged myself to study Clight and its semantics. This write-up is the + result of this challenge, written as I was progressing. #
# -- cgit v1.2.3