Skip to content
GitLab
Explore
Sign in
Frameworks
Syntax Highlighting Engine
Commits
3ca9f32b
Commit
3ca9f32b
authored
Dec 02, 2023
by
Karthik Nishanth
Browse files
add support for viper language
Syntax highlighting for the Viper intermediate verification language
parent
59ab41e3
Pipeline
#547041
passed with stage
in 2 minutes and 52 seconds
Changes
6
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Preview
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment