Lexer for Intermediate Verification Languages (IVLs).
| Unknown Field: copyright | |
| Copyright 2006-2021 by the Pygments team, see AUTHORS. | |
| Unknown Field: license | |
| BSD, see LICENSE for details. |
| Class | BoogieLexer |
For Boogie source code. |
| Class | SilverLexer |
For Silver source code. |