Skip to main contentCrate intent
Source - behavioral
- Behavioral module - behavior composition, refinement, and verification.
- benchmark
- Benchmark extraction from non-functional constraints.
- coverage
- Spec coverage reporting.
- diagnostic
- Structured diagnostics for the Intent language.
- linter
- Linter for the Intent language.
- parser
- plan
- Plan mode validation.
- rationale
- Rationale report generation.
- structural
- transpile
- Transpilation module - generate formal specifications from Intent.
- types
- Type system for the Intent language.
- validation
- Validation pipeline for the Intent language.