Commits

Commit history

1. Commits on Nov 12, 2026

   • Baseline: export the verification status for other extensions

     Show description for eee49df
     

     CatarinaGamboa

     and

     claude

     committed
     eee49dfView commit details

     Copy full SHA for eee49df

     Browse repository at this point
2. Commits on Nov 11, 2026

   • Baseline: keep the state-set notation in state errors

     Show description for 013092c
     

     CatarinaGamboa

     and

     claude

     committed
     013092cView commit details

     Copy full SHA for 013092c

     Browse repository at this point

   • Baseline: show the status bar spinning for every verification run

     Show description for c1905ab
     

     CatarinaGamboa

     and

     claude

     committed
     c1905abView commit details

     Copy full SHA for c1905ab

     Browse repository at this point

   • Study baseline: the July 2025 messages on verifier 0.0.38

     Show description for feb2fc8
     

     CatarinaGamboa

     and

     claude

     committed
     feb2fc8View commit details

     Copy full SHA for feb2fc8

     Browse repository at this point
3. Commits on Aug 5, 2026

   • Restore Baseline

     rcosta358

     committed
     dedcc51View commit details

     Copy full SHA for dedcc51

     Browse repository at this point
4. Commits on Jul 21, 2026

   • Release 0.0.90

     rcosta358

     committed
     c5e4da1View commit details

     Copy full SHA for c5e4da1

     Browse repository at this point
5. Commits on Jul 20, 2026

   • Fix Repeated Verification on Open (#99)

     rcosta358

     authored
     82c1329View commit details

     Copy full SHA for 82c1329

     Browse repository at this point

   • Improve Diagnostics Webview UI (#98)

     rcosta358

     authored
     5b1aa11View commit details

     Copy full SHA for 5b1aa11

     Browse repository at this point

   • Highlight Changes Between Simplification Passes (#97)

     rcosta358

     authored
     54399edView commit details

     Copy full SHA for 54399ed

     Browse repository at this point

   • Show Simplification Pass Names (#96)

     rcosta358

     authored
     1d19e44View commit details

     Copy full SHA for 1d19e44

     Browse repository at this point
6. Commits on Jun 21, 2026

   • Release 0.0.89

     rcosta358

     committed
     5a9ea92View commit details

     Copy full SHA for 5a9ea92

     Browse repository at this point

   • Add VC Simplification Support (#95)

     rcosta358

     authored
     052baa4View commit details

     Copy full SHA for 052baa4

     Browse repository at this point

   • Refactor Diagnostic DTOs into Class Hierarchy (#94)

     rcosta358

     authored
     70aa203View commit details

     Copy full SHA for 70aa203

     Browse repository at this point
7. Commits on Jun 1, 2026

   • Context Variable Keyboard Navigation (#93)

     rcosta358

     authored
     ede2e92View commit details

     Copy full SHA for ede2e92

     Browse repository at this point
8. Commits on May 31, 2026

   • Minor Change

     rcosta358

     committed
     78c606aView commit details

     Copy full SHA for 78c606a

     Browse repository at this point
9. Commits on May 28, 2026

   • Release 0.0.88

     rcosta358

     committed
     c953f6eView commit details

     Copy full SHA for c953f6e

     Browse repository at this point

   • Improve Verification Crashes (#92)

     rcosta358

     authored
     45de1b3View commit details

     Copy full SHA for 45de1b3

     Browse repository at this point

   • Highlight Relevant Context (#91)

     rcosta358

     authored
     c7b2f44View commit details

     Copy full SHA for c7b2f44

     Browse repository at this point
10. Commits on May 27, 2026

    • Minor Changes

      rcosta358

      committed
      1bc0200View commit details

      Copy full SHA for 1bc0200

      Browse repository at this point
11. Commits on May 21, 2026

    • Release 0.0.87

      rcosta358

      committed
      6d978baView commit details

      Copy full SHA for 6d978ba

      Browse repository at this point

    • Release 0.0.86

      rcosta358

      committed
      cf3d56eView commit details

      Copy full SHA for cf3d56e

      Browse repository at this point

    • Fix Variable Expansion (#90)

      rcosta358

      authored
      f34a1c4View commit details

      Copy full SHA for f34a1c4

      Browse repository at this point

    • Clear Extension State on Stop (#89)

      rcosta358

      authored
      224332bView commit details

      Copy full SHA for 224332b

      Browse repository at this point

    • Release 0.0.85

      rcosta358

      committed
      c977a6eView commit details

      Copy full SHA for c977a6e

      Browse repository at this point

    • Release 0.0.84

      rcosta358

      committed
      ce02eefView commit details

      Copy full SHA for ce02eef

      Browse repository at this point

    • Release 0.0.83

      rcosta358

      committed
      d85f0b3View commit details

      Copy full SHA for d85f0b3

      Browse repository at this point

    • Release 0.0.82

      rcosta358

      committed
      4ceeaf6View commit details

      Copy full SHA for 4ceeaf6

      Browse repository at this point

    • Release 0.0.81

      rcosta358

      committed
      3eaeec4View commit details

      Copy full SHA for 3eaeec4

      Browse repository at this point

    • Release 0.0.80

      rcosta358

      committed
      1def998View commit details

      Copy full SHA for 1def998

      Browse repository at this point

    • Release 0.0.79

      rcosta358

      committed
      b07b0ceView commit details

      Copy full SHA for b07b0ce

      Browse repository at this point

    • Bundle Extension Package (#88)

      rcosta358

      authored
      a7ba235View commit details

      Copy full SHA for a7ba235

      Browse repository at this point
12. Commits on May 20, 2026

    • Add New Icons to Webview (#87)

      rcosta358

      authored
      1afaa5aView commit details

      Copy full SHA for 1afaa5a

      Browse repository at this point

    • Complex State Transitions in DFA (#86)

      rcosta358

      authored
      4b063e9View commit details

      Copy full SHA for 4b063e9

      Browse repository at this point

    • Improve Webview Verification State (#85)

      rcosta358

      authored
      5f8c9f5View commit details

      Copy full SHA for 5f8c9f5

      Browse repository at this point
13. Commits on May 19, 2026

    • Release 0.0.78

      rcosta358

      committed
      8308b73View commit details

      Copy full SHA for 8308b73

      Browse repository at this point