Skip to content

v0.9.6

Choose a tag to compare

@github-actions github-actions released this 16 Oct 03:36
· 34 commits to main since this release
65445a5

What's Changed

  • docs: professional README with CLI and web UI demos; new CLI and Web UI guides by @frankbria in #1460
  • chore: remove v1 legacy docs, specs, sprints, Spec Kit and archived plans by @frankbria in #1461
  • chore: relicense from AGPL-3.0 to Apache-2.0 by @frankbria in #1462
  • feat(proof): cf proof capture creates the workspace on first use (#1464) by @frankbria in #1480
  • feat(site): one-page codeframe.sh site with social card (#1465) by @frankbria in #1481
  • docs: retire "nobody else does this" and state the differentiation precisely (#1466) by @frankbria in #1482
  • feat(proof): cf proof ratchet locks currently-passing tests in as obligations (#1467) by @frankbria in #1483
  • chore(release): 0.9.6 — version bump and CHANGELOG (#1468) by @frankbria in #1486

Full Changelog: v0.9.5...v0.9.6