Weekly v1.0.0.dev0

Automated Weekly Prerelease

This is an automated prerelease build from the master branch.

Version: v1.0.0.dev0
Build Date: 2026-04-03 14:00:40 UTC

Changes since last release:

• fix: comment out PyPI publish step in prerelease workflow (633ba5e)
• fix: wrap secrets context in expression syntax in prerelease workflow (fef3a04)
• update: README.md (a1ccad6)
• update: program info (cb5699c)
• add: format_match annotation and violated property condition in messages (1e8d734)
• fix: always return VerifierIssue when counterexample_spec exists (26c886d)
• fix: cbmc spec matches "Counterexample:" header from --stop-on-fail mode (5ba74bf)
• add: missing_hint annotation for block patterns (b14a5d4)
• fix: detect_spec raises ValueError instead of calling sys.exit (3ceda4e)
• update: CLAUDE.md (76b0b2d)
• refactor: detect verification success from output text instead of return code (7844393)
• refactor: merge IssueSpecOutput into VerifierOutput and export parser (5c7a66a)
• add: auto-detect regex_spec in VerifierRunner when not provided (e1f0c75)
• fix: resolve circular import by importing logger from formal_lib.logging (4ae520b)
• add: weekly prerelease GitHub Actions workflow (3e36879)
• fix: correct project URLs, classifiers, and keywords in pyproject.toml (60e7ff3)
• fix: error instead of blocking on stdin when no input is provided (6ffbc5d)
• fix: use python -m formal_lib in regression tests for CI compatibility (d88bac3)
• fix: track test .log fixtures excluded by global *.log gitignore rule (bb162c2)
• fix: use file-relative paths in test fixtures for CI compatibility (d427bc7)
• add: CI workflow for unit and regression tests (d9067be)
• add: re-export specs, SPECS registry, and detect_spec from top-level package (0cb171f)
• refactor: reorganize declarations into proper modules (99683b9)
• rename: CLI to Pretty Formal with pf entry point (06ed7a3)
• add: missing-data hints for regex spec fields (66b3136)
• add: CBMC backend support with 5 regression samples (9db78ab)
• add: auto-detect backend from output with optional --backend flag (40f9060)
• add: CLI command execution mode via '--' for capturing exit code and duration (17f3d95)
• fix: allow issues with empty stack traces instead of injecting dummy trace points (bfdf23e)
• add: esbmc regression samples with recursive discovery support (69863ab)
• fix: esbmc stack trace name extraction and multi-line assignment indentation (54de6aa)
• fix: serialize subclass fields with SerializeAsAny for VerifierIssue (0fe12e6)
• fix: CLI infers verification success from parsed issues instead of return code (0f31c5a)
• add: regression test infrastructure with sample-driven pytest setup (70c95ff)
• fix: update esbmc regex patterns for error type, stack trace, and counterexample parsing (7e52083)
• docs: add CLI usage examples to README (4418bad)
• add: CLI with pretty/json/json-compact output formats (494977b)
• refactor: convert VerifierRunner from BaseModel to dataclass (f8ddec6)
• fix: handle name regex without capture group in trace parser (8cd6e44)
• Initial commit (685efee)

---

⚠️ Note: This is a prerelease version and may contain unstable features.
Use at your own risk in production environments.