Hengfeng Wei (魏恒峰)

# Vim Configurations ## LatexSuite - [x] Environments to insert - [x] frame, itemize, enumerate, description - [x] Ignore LaTeX Font Warning: Font shape 'EU1/MicrosoftYaHei(0)/m/it' not defined - [ ]...

I am using the ANTLR 4 plugin (version `1.20`; including ANTLR `4.11.1`) for IntelliJ. In [`build.gradle`](https://github.com/courses-at-nju-by-hfwei/2023-compilers-coding/blob/main/build.gradle) [in this project](https://github.com/courses-at-nju-by-hfwei/2023-compilers-coding/tree/main), I use the `-Xlog` option as follows: generateGrammarSource { arguments +=...

`intellij-plugin-v4` does not generate parse tree upon error recovery correctly

1

I am reading "Section 9.3: Automatic Error Recovery Strategy" of the book "The Definitive ANTLR 4 Reference" and trying the following grammar [`Class`](https://github.com/courses-at-nju-by-hfwei/compilers-antlr/blob/main/src/main/antlr/parser.allstar/error/Class.g4) on the input `class T { {...

继续开始更大规模的模型检验实验 - Participant 数目 >= 5 利用 TLC Profile 工具识别性能瓶颈并尝试改进

Left recursive rules that do not conform to a pattern ANTLR can handle

1

`VarsDecl.g4` describes the syntax of variable declarations, such as `int a, b, c`. ``` grammar VarsDecl; decl : type vars ; type : 'int' # IntType | 'float' # FloatType...