ptoas-project-development

Coordinate PTOAS compiler changes across MLIR ODS, C++, CLI, Python, docs, and tests.

30|74|Updated Jan 29, 2026
One-click install
npx skills add https://github.com/hw-native-sys/PTOAS --skill ptoas-project-development
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: ptoas-project-development
Source: https://github.com/hw-native-sys/PTOAS/tree/main/.codex/skills/ptoas-project-development
Command: npx skills add https://github.com/hw-native-sys/PTOAS --skill ptoas-project-development

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill prevents cross-layer inconsistencies when changing PTOAS compiler behavior, ensuring dialect definitions, verifiers, lowering, bindings, documentation, examples, and tests remain aligned.

Core Features & Use Cases

  • Cross-Layer Development: Coordinates updates across MLIR ODS definitions, C++ IR implementation, transforms, CLI behavior, Python bindings, and documentation.
  • Regression Protection: Guides focused tests and minimal reproductions for verifier, lowering, code generation, and command-line behavior changes.
  • Repository Conventions: Enforces file-header requirements, actionable diagnostics, explicit option threading, and synchronized user-facing examples.
  • Use Case: When adding an operand or changing an operation's semantic constraints, use this Skill to update the ODS, verifier, lowering path, Python samples, documentation, and regression tests together.

Quick Start

Use the PTOAS project development skill to implement the requested compiler change and update every affected source layer, test, example, and documentation file.

Frequently Asked Questions about ptoas-project-development

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I keep MLIR dialect changes consistent across lowering, Python bindings, and tests?

To keep MLIR dialect changes consistent across lowering, Python bindings, and tests, you must synchronize ODS definitions, C++ transforms, CLI flags, verifier logic, and documentation. This ensures cross-layer updates remain aligned and production-ready.

What is the best way to update MLIR ODS definitions when changing operation semantics?

Updating MLIR ODS definitions when changing operation semantics requires synchronizing verifiers, lowering paths, Python samples, and regression tests together. This coordinated approach prevents cross-layer inconsistencies in user-visible behavior and code generation.

How do I add focused regression tests for MLIR lowering and verifier changes?

Focused regression tests for MLIR lowering and verifier changes require minimal reproductions that cover code generation and command-line behavior. Synchronizing these tests with dialect definitions and CLI flags ensures actionable validation.

Does updating MLIR Python bindings require synchronized documentation and examples?

Updating MLIR Python bindings requires synchronized user-facing documentation and examples to maintain cross-layer consistency. Explicit option propagation and license headers must also be enforced across the affected CLI and C++ implementation files.

When should I coordinate cross-layer updates for compiler dialect engineering?

Coordinate cross-layer updates for compiler dialect engineering when adding operands, changing semantic constraints, or modifying CLI behavior. Synchronizing MLIR ODS updates, C++ transforms, Python integrations, and regression fixes prevents repository convention violations.

Why do MLIR compiler changes break across dialect definitions and CLI flags?

MLIR compiler changes break across dialect definitions and CLI flags when updates lack synchronized interfaces and explicit option threading. Enforcing actionable diagnostics and updating user-facing documentation together prevents these cross-layer inconsistencies.