Developer Guide

Internal architecture, how to add a new generation mode or node type, and the conventions the maintainers follow.

Architecture

Parser, validator, IR, and the per-backend layout.

Architecture
Adding a generation mode

Plug a new dsl_to_<mode>.py into the CLI.

Adding a Generation Mode
Adding a check or action type

Grammar, node_creator, check_grammar, and tests.

Adding a Check or Action Type
Testing

pytest, test-examples structure, nuXmv-gated tests.

Testing
Contributing

Workflow, code style, PR process.

Contributing