Declare Version 1.0 of the Checked C spec.

Fix some typos and make wording more succinct.

Get lvalue observed bounds: update test (#474)

* Use a temporary variable and an additional dynamic bounds cast to establish the bounds of s1->f so they don't depend on s1->len before assigning to s1->len

* Move declarations of temporary variables

* Use dynamic bounds casts to set the observed bounds of s1->f to count(0) instead of using a temporary variable

* Use count(1) and count(2) for the observed bounds of s1->f when s1->len is set to 1 and 2 respectively

Release on August 3rd, 2021 (after correcting a misplaced tag on the …

…checkedc-clang repository).

Release on May 7th 2021.

Update version number to 0.7.1 (#285)

Finalize version 0.7.1. of the specification.

Fix undefined reference. Finalize v0.7. (#260)

Mark this as the final draft of version 0.7 and fix an undefined reference.

Finalize version 0.6 of the Checked C specification. (#91)

- Remove the term "draft" from the version description.
- Update the acknowledgement section.

Update version number to 0.5.