sunain-s/PDL-Check

A tiny state explicit-state model checker in C using propositional dynamic logic

Beginner friendly Everything

Open All

7 open issues indexed

feat: implement recursive descent parser Open

enhancement

sunain-s/PDL-Check#8 · 1 assignee · Opened Sep 1, 2026
test: AST unit tests Open

test

sunain-s/PDL-Check#7 · 1 assignee · Opened Sep 1, 2026
feat: implement AST constructors and destructors Open

enhancement

sunain-s/PDL-Check#6 · 1 assignee · Opened Sep 1, 2026
feat: define Stmt AST types Open

enhancement

sunain-s/PDL-Check#5 · 1 assignee · Opened Sep 1, 2026
feat: define expression operators Open

enhancement

sunain-s/PDL-Check#4 · 1 assignee · Opened Sep 1, 2026
feat: define Expr AST types Open

enhancement

sunain-s/PDL-Check#3 · 1 assignee · Opened Sep 1, 2026
feat: implement imperative AST Open

enhancement

sunain-s/PDL-Check#2 · 1 assignee · Opened Sep 1, 2026

Get new issues in your inbox