Skip to content

FlowProof 0.12.2

Choose a tag to compare

View all tags
@AminChirazi AminChirazi released this 04 Aug 06:38
v0.12.2
662303c
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

FlowProof 0.12.2

This release makes natural-language authoring substantially more capable while keeping recorded replay deterministic and model-free.

Highlights

  • Author ordinary human instructions for clicking, typing, scrolling, keyboard input, drag-and-drop, single and multi-selects, counting, captured-value reuse, tables, and same-origin iframe content.
  • Ground model output against the live screen inventory, including scoped and opaque scene tokens, instead of requiring users to write CSS or element IDs.
  • Close headed Chrome sessions cleanly after execution, avoiding orphan windows, empty tabs, and accumulating browser processes.
  • Improve Windows CI coverage for containment, native UI Automation authoring/replay, and Windows Server 2025 runner behavior.

Documentation

The release assets include refreshed training and solutions PDFs written with human-language FlowProof steps for version 0.12.2.

See CHANGELOG.md for the detailed change list.

Assets 4
Loading