Skip to content

Use dedicated squaring for public powers and fixed-base windows - #333

Merged
ValarDragon merged 3 commits into
mainfrom
agent/vartime-prover-local-phases-20260903
Sep 3, 2026
Merged

Use dedicated squaring for public powers and fixed-base windows#333
ValarDragon merged 3 commits into
mainfrom
agent/vartime-prover-local-phases-20260903

Add changelog for public power optimizations

47cf57d
Select commit
Loading
Failed to load commit list.
Socket Security / Socket Security: Pull Request Alerts succeeded Sep 3, 2026 in 1s

Pull Request #333 Alerts: Skipped

Report Status Message
PR #333 Alerts Pull request contains no net changes to dependencies

Pull request alerts notify when new issues are detected between the diff of the pull request and it's target branch.

Details

No dependency changes detected. Learn more about Socket for GitHub.

👍 No dependency changes detected in pull request