v1.0.0

First major release. The following backends are supported as of now:

• ESBMC
• CBMC
• Clang
• PyTest

This release is also available on PyPI.

---

Full Changelog: v1.0.0.dev1...v1.0.0

Weekly v1.0.0.dev1

Automated Weekly Prerelease

This is an automated prerelease build from the master branch.

Version: v1.0.0.dev1
Build Date: 2026-05-17 23:57:51 UTC

Changes since last release:

• feat: error_location override + try_patterns multi-shape field wrapper (be65062)

---

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

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.