Commits

Commit history

1. Commits on Oct 2, 2026

   • docs: explain verification features with checked examples

     rcosta358

     committed
     1d03e33View commit details

     Copy full SHA for 1d03e33

     Browse repository at this point
2. Commits on Aug 21, 2026

   • Minor Changes

     rcosta358

     committed
     2beb54dView commit details

     Copy full SHA for 2beb54d

     Browse repository at this point
3. Commits on Jul 30, 2026

   • Minor Change

     rcosta358

     committed
     eef64d8View commit details

     Copy full SHA for eef64d8

     Browse repository at this point

   • Minor Changes

     rcosta358

     committed
     90c5e25View commit details

     Copy full SHA for 90c5e25

     Browse repository at this point
4. Commits on Jun 3, 2026

   • Update Docs

     rcosta358

     committed
     0b40a45View commit details

     Copy full SHA for 0b40a45

     Browse repository at this point

   • Add Posters

     rcosta358

     committed
     1742eeaView commit details

     Copy full SHA for 1742eea

     Browse repository at this point

   • Update Docs

     rcosta358

     committed
     e1c2657View commit details

     Copy full SHA for e1c2657

     Browse repository at this point
5. Commits on Jun 2, 2026

   • Update Docs

     rcosta358

     committed
     eba0289View commit details

     Copy full SHA for eba0289

     Browse repository at this point
6. Commits on May 15, 2026

   • Update Table

     rcosta358

     committed
     9fb2510View commit details

     Copy full SHA for 9fb2510

     Browse repository at this point

   • Update Warnings & Refinement Syntax

     rcosta358

     committed
     b65ab88View commit details

     Copy full SHA for b65ab88

     Browse repository at this point
7. Commits on May 14, 2026

   • Improve Agent Readiness

     rcosta358

     committed
     ecf9ed6View commit details

     Copy full SHA for ecf9ed6

     Browse repository at this point

   • Update Commands

     rcosta358

     committed
     e4d0b99View commit details

     Copy full SHA for e4d0b99

     Browse repository at this point
8. Commits on Apr 11, 2026

   • Update API Version

     rcosta358

     committed
     bab2ca1View commit details

     Copy full SHA for bab2ca1

     Browse repository at this point
9. Commits on Apr 8, 2026

   • Update Links

     rcosta358

     committed
     7a6203cView commit details

     Copy full SHA for 7a6203c

     Browse repository at this point

   • Update Site URL

     rcosta358

     committed
     c715ccdView commit details

     Copy full SHA for c715ccd

     Browse repository at this point

   • Update Site URL

     rcosta358

     committed
     28f5fc4View commit details

     Copy full SHA for 28f5fc4

     Browse repository at this point

   • Minor Change

     rcosta358

     committed
     a26f878View commit details

     Copy full SHA for a26f878

     Browse repository at this point
10. Commits on Apr 7, 2026

    • Remove Two Examples

      rcosta358

      committed
      6aea312View commit details

      Copy full SHA for 6aea312

      Browse repository at this point

    • Corrections

      rcosta358

      committed
      1735146View commit details

      Copy full SHA for 1735146

      Browse repository at this point

    • Minor Fix

      rcosta358

      committed
      1efe64dView commit details

      Copy full SHA for 1efe64d

      Browse repository at this point

    • Change Concepts to Annotations

      rcosta358

      committed
      99ff8ceView commit details

      Copy full SHA for 99ff8ce

      Browse repository at this point

    • Add Refinement Predicates Page

      rcosta358

      committed
      de8249fView commit details

      Copy full SHA for de8249f

      Browse repository at this point

    • Minor Change

      rcosta358

      committed
      46ffff9View commit details

      Copy full SHA for 46ffff9

      Browse repository at this point

    • Improvements

      rcosta358

      committed
      be10d40View commit details

      Copy full SHA for be10d40

      Browse repository at this point
11. Commits on Apr 6, 2026

    • Improvements

      rcosta358

      committed
      5459c01View commit details

      Copy full SHA for 5459c01

      Browse repository at this point

    • Fix Typo

      rcosta358

      committed
      e428a3fView commit details

      Copy full SHA for e428a3f

      Browse repository at this point

    • Add Link

      rcosta358

      committed
      ed87d5cView commit details

      Copy full SHA for ed87d5c

      Browse repository at this point

    • Add Custom Footer

      rcosta358

      committed
      4249b86View commit details

      Copy full SHA for 4249b86

      Browse repository at this point

    • Fix Paging

      rcosta358

      committed
      104778aView commit details

      Copy full SHA for 104778a

      Browse repository at this point

    • Update Diagnostic Explorer Page

      rcosta358

      committed
      11735c2View commit details

      Copy full SHA for 11735c2

      Browse repository at this point

    • Refactor Webview Pages

      rcosta358

      committed
      e539617View commit details

      Copy full SHA for e539617

      Browse repository at this point

    • Fix Paging

      rcosta358

      committed
      4b2ce02View commit details

      Copy full SHA for 4b2ce02

      Browse repository at this point

    • Add Images

      rcosta358

      committed
      2715eddView commit details

      Copy full SHA for 2715edd

      Browse repository at this point

    • Fixes

      rcosta358

      committed
      1f422b8View commit details

      Copy full SHA for 1f422b8

      Browse repository at this point

    • Minor Change

      rcosta358

      committed
      03b6888View commit details

      Copy full SHA for 03b6888

      Browse repository at this point