New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Syntax highlighting does not work for loop invariants in C #57

Open

sakehl opened this issue May 28, 2024 · 0 comments

Contributor

sakehl commented May 28, 2024

So great work, and the syntax highlighting looks so much better already. But the following program looks like this for me.

vector_add.c.txt

Where I'd like the loop invariant to also be highlighted.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment