static Analysis and tree traverse#4

Merged

doofin merged 23 commits intomasterfrom

Feb 3, 2026

Commits on Nov 20, 2025

refactor: Rename VarDymTyped to VarDynamic and update related usages
doofin
committed
feat: Add BoolProp for formal verification in sequentialCommands and update adder example
doofin
committed
feat: Implement AST transformation methods in chiselModules and add tests for tree AST transformation
doofin
committed
chore: Update CI workflow to rename job and improve Java setup steps
doofin
committed
feat: Enhance AST transformation by adding BoolProp handling and refactor command appending
doofin
committed
feat: Add global settings and custom pprint method; update tests to use new pprint
doofin
committed
feat: Refactor imports to replace varDecls with circuitDecls and remove unused exprOperators
doofin
committed

Commits on Dec 13, 2025

feat: Refactor imports to use monadicSyntax and enhance code organization
doofin
committed

Commits on Jan 15, 2026

Commits on Jan 19, 2026

Commits on Jan 20, 2026

feat: Implement unInitAnalysis and associated test suite for variable initialization tracking
doofin
committed

Commits on Feb 2, 2026

Commits on Feb 3, 2026