Skip to content

add support for viper language

Karthik Nishanth requested to merge nishanthkarthik/syntax-highlighting:viper into master

Syntax highlighting for the Viper intermediate verification language

image

Merge request reports