c0-syntax READMEFeaturesThis 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. Release Notes0.0.1Initial release of C0 Syntax Highlighter for VSCode 0.0.2Fixed so that loop invariants and other contracts with whitespace preceding them would be correctly highlighted. 0.0.3Added recognition for .c1 files (syntax highlighting did not need to be changed). Enjoy! |