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

- Remove the term "draft" from the version description. - Update the acknowledgement section.
microsoft · Jan 4, 2017 · 4b3c6a4 · 4b3c6a4
1 parent 3304f20
commit 4b3c6a4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/spec/bounds_safety/checkedc.tex b/spec/bounds_safety/checkedc.tex
@@ -131,8 +131,8 @@
 \mbox{ }\\
 \vspace{2in}
 {\huge Extending C with bounds safety \par}
-%{Version 0.5 (June 14, 2016) \par}
-{Version 0.6 - Draft as of \today \par}
+{Version 0.6 (January 4, 2017) \par}
+%{Version 0.7 - Draft as of \today \par}
 \vspace{0.5in}
 {Checked C Technical Report Number 1 \par}
 \vspace{0.25in}

diff --git a/spec/bounds_safety/introduction.tex b/spec/bounds_safety/introduction.tex
@@ -473,7 +473,7 @@ \section{Acknowledgements}
 
 This design has benefited from many discussions with Weidong Cui, Gabriel Dos Reis, 
 Chris Hawblitzel, Galen Hunt, Shuvendu Lahiri, and Reuben Olinsky.  The design has
-benefited also from feedback from Michael Hicks, Greg Morrisett, Jonghyun
+benefited also from feedback from Michael Hicks, Wonsub Kim, Greg Morrisett, Jonghyun
 Park, and Andrew Ruef. We thank them for their contributions to the design.