gitextract_fxsz172g/

├── .github/
│   └── workflows/
│       └── build-and-test.yml
├── .gitignore
├── .gitlab-ci.yml
├── .gitmodules
├── CMinorLexer.g4
├── CMinorParser.g4
├── COPYING
├── Doxyfile
├── Program.cs
├── backend/
│   ├── BasicPath.cs
│   ├── CounterModel.cs
│   ├── SMTSolver.cs
│   ├── Verifier.cs
│   └── Z3Solver.cs
├── cminor.csproj
├── cminor.sln
├── exception/
│   ├── ParsingException.cs
│   └── ThrowingErrorListener.cs
├── frontend/
│   ├── AnnoGenerator.cs
│   ├── CFGGenerator.cs
│   ├── DeclGenerator.cs
│   ├── ExprGenerator.cs
│   ├── PredGenerator.cs
│   ├── StmtGenerator.cs
│   ├── Struct.cs
│   ├── TermGenerator.cs
│   └── Utils.cs
├── ir/
│   ├── Block.cs
│   ├── Expression.cs
│   ├── Statement.cs
│   ├── TopLevel.cs
│   ├── Type.cs
│   └── Variable.cs
├── readme.md
└── task-doc.md