Skip to content

Tags: GuoShuyin/P

Tags

peasyai-v0.3.0

Toggle peasyai-v0.3.0's commit message
Fix doc review silent failures and raise Snowflake token limit to 20k

The LLM-based code documentation review (Stage 5) was silently failing
for every generation call due to three root causes:

1. Snowflake provider capped max_tokens at 8192, causing response
   truncation before the closing </documented_code> tag
2. GenerateTypesEventsParams was missing the context_files field,
   causing an AttributeError swallowed by except Exception
3. No visibility into failures — callers had no way to distinguish
   "doc review succeeded with no comments" from "doc review crashed"

Changes:
- Raise Snowflake provider token cap from 8192 to 20000
- Raise doc review request from 8192 to 16384 tokens
- Add retry on truncation (doubles max_tokens, up to 20k cap)
- Return structured Dict with status/code/reason instead of Optional[str]
- Surface doc_review_status field in all MCP generation responses
- Extract shared _run_doc_review() helper to replace 4 duplicated try/except blocks
- Add context_files field to GenerateTypesEventsParams
- Add 2 new truncation test cases (53 total tests pass)

Made-with: Cursor

peasyai-v0.2.0

Toggle peasyai-v0.2.0's commit message
PeasyAI v0.2.0 — Validation Pipeline & Code Generation Quality

Major improvements:
- 4-stage validation pipeline (regex fixes, structural validators, LLM wiring review, LLM spec review)
- 13 structured validators with auto-fix capabilities
- LLM-based test wiring review (circular dependency resolution)
- LLM-based spec correctness review (observes completeness, assertion logic)
- Bounded Timer template for liveness property support
- Improved generation prompts (named tuples, helper functions, init-event patterns)
- Streamlit lazy-import fix for non-UI contexts
- PChecker timeout increased to 300s per test
- Regression test support for cross-file wiring and spec fixes

peasyai-v0.1.0

Toggle peasyai-v0.1.0's commit message
Add GitHub Release workflow for PeasyAI distribution

Add a GitHub Actions workflow that builds and attaches PeasyAI wheels
to GitHub Releases on peasyai-v* tags, so developers can install via
pip without cloning the full P repo. Also adds the LICENSE file
referenced by pyproject.toml and updates the README install instructions.

Co-authored-by: Cursor <cursoragent@cursor.com>

p-3.0.3

Toggle p-3.0.3's commit message
Release p-3.0.3

- Fix code generation issues when modifying sequences in PObserve mode (p-org#931)
- Integrated PObserve into master (p-org#928)
- Fix string comparison in PChecker runtime (p-org#919)

p-3.0.2

Toggle p-3.0.2's commit message
Fixed a bug in string generation

p-3.0.1

Toggle p-3.0.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Fix string comparison in PChecker runtime (p-org#919)

Fix the implementation of PString in the checker runtime to compute
string ordering correctly.

p-3.0.0

Toggle p-3.0.0's commit message
This is a major release with support for PVerifier, Parametric tests,…

… and much more

p-2.4.0

Toggle p-2.4.0's commit message
Added compiler changes for PObserve release

p-2.4

Toggle p-2.4's commit message
Added compiler changes for PObserve release

v0.4.1

Toggle v0.4.1's commit message
Test release for GitHub Actions setup