This extension takes the syntax highlighting for C in VSCode and modifies it to support syntax highlighting for the C0 language created by Frank Pfenning to teach type safety in 15-122 Principles of Imperative Computation at Carnegie Mellon University. Specifically, it highlights contracts (requires, ensures, loop_invariant, asserts) so they stand out from the other comments.
Initial release of C0 Syntax Highlighter for VSCode
Fixed so that loop invariants and other contracts with whitespace preceding them would be correctly highlighted.
Added recognition for .c1 files (syntax highlighting did not need to be changed).