Commits

Commit history

1. Commits on Nov 11, 2026

   • Log the hint section as shown once it is opened

     Show description for e75125d
     

     CatarinaGamboa

     and

     claude

     committed
     e75125dView commit details

     Copy full SHA for e75125d

     View code at this pointBrowse repository at this point

   • Add opt-in local study logging

     Show description for 3ecb9d1
     

     2 peopleauthored and

     CatarinaGamboa

     committed
     3ecb9d1View commit details

     Copy full SHA for 3ecb9d1

     View code at this pointBrowse repository at this point

   • State Machine view: show a multi-set state error in the set that is wrong (#182)

     Show description for a87b171
     

     CatarinaGamboa

     and

     claude

     authored
     a87b171View commit details

     Copy full SHA for a87b171

     View code at this pointBrowse repository at this point
2. Commits on Nov 10, 2026

   • Label a named state set's diagram with its name (#178)

     Show description for 69b6860
     

     CatarinaGamboa

     and

     claude

     authored
     69b6860View commit details

     Copy full SHA for 69b6860

     View code at this pointBrowse repository at this point
3. Commits on Oct 28, 2026

   • Collapse the unrelated methods when focusing on a state error, listed on hover (#171)

     Show description for 80bed18
     

     CatarinaGamboa

     and

     claude

     authored
     80bed18View commit details

     Copy full SHA for 80bed18

     View code at this pointBrowse repository at this point
4. Commits on Oct 27, 2026

   • Draw entry transitions on the state machine (#169)

     Show description for 1be8331
     

     CatarinaGamboa

     and

     claude

     authored
     1be8331View commit details

     Copy full SHA for 1be8331

     View code at this pointBrowse repository at this point

   • Name state errors as a compiler would on the state machine (#168)

     Show description for d92f95f
     

     CatarinaGamboa

     and

     claude

     authored
     d92f95fView commit details

     Copy full SHA for d92f95f

     View code at this pointBrowse repository at this point
5. Commits on Oct 26, 2026

   • Show the transition conditions on the state machine by default (#167)

     Show description for ca63ad2
     

     CatarinaGamboa

     and

     claude

     authored
     ca63ad2View commit details

     Copy full SHA for ca63ad2

     View code at this pointBrowse repository at this point

   • Fade dimmed diagram parts less in light themes and count errors on Verification (#166)

     Show description for 9e15d24
     

     CatarinaGamboa

     and

     claude

     authored
     9e15d24View commit details

     Copy full SHA for 9e15d24

     View code at this pointBrowse repository at this point

   • Show one state machine diagram per state set (#163)

     Show description for 083e4db
     

     CatarinaGamboa

     and

     claude

     authored
     083e4dbView commit details

     Copy full SHA for 083e4db

     View code at this pointBrowse repository at this point

   • Put the error actions on the title line, collapse hints, and show hints as separate options (#165)

     Show description for a4cbd80
     

     CatarinaGamboa

     and

     claude

     authored
     a4cbd80View commit details

     Copy full SHA for a4cbd80

     View code at this pointBrowse repository at this point

   • Keep the stepper and View error when a state error cannot be marked, and put State Machine next to Verification (#161)

     Show description for 7b6a3bd
     

     CatarinaGamboa

     and

     claude

     authored
     7b6a3bdView commit details

     Copy full SHA for 7b6a3bd

     View code at this pointBrowse repository at this point

   • Show state errors in the State Machine view (#159)

     Show description for 0730892
     

     CatarinaGamboa

     and

     claude

     authored
     0730892View commit details

     Copy full SHA for 0730892

     View code at this pointBrowse repository at this point
6. Commits on Oct 25, 2026

   • Show the verifier's states of a state error on the state machine (#160)

     Show description for f1c258a
     

     CatarinaGamboa

     and

     claude

     authored
     f1c258aView commit details

     Copy full SHA for f1c258a

     View code at this pointBrowse repository at this point
7. Commits on Oct 24, 2026

   • Focus the state machine on the rejected call (#158)

     Show description for 34d7611
     

     CatarinaGamboa

     and

     claude

     authored
     34d7611View commit details

     Copy full SHA for 34d7611

     View code at this pointBrowse repository at this point
8. Commits on Oct 20, 2026

   • Improve binder underlines and hover styling (#153)

     Show description for f1e7a55
     

     rcosta358

     and

     codex

     authored
     f1e7a55View commit details

     Copy full SHA for f1e7a55

     View code at this pointBrowse repository at this point

   • Add implication arrows after verification predicates (#152)

     Show description for 0dff861
     

     rcosta358

     and

     codex

     authored
     0dff861View commit details

     Copy full SHA for 0dff861

     View code at this pointBrowse repository at this point

   • Show constructor signatures on state machine arrows (#120)

     Show description for e46f8c0
     

     CatarinaGamboa

     and

     claude

     authored
     e46f8c0View commit details

     Copy full SHA for e46f8c0

     View code at this pointBrowse repository at this point
9. Commits on Oct 7, 2026

   • Expose the running extension API for integration tests (#143)

     Show description for 1d2a957
     

     rcosta358

     and

     codex

     authored
     1d2a957View commit details

     Copy full SHA for 1d2a957

     View code at this pointBrowse repository at this point

   • Add webview script interaction tests (#142)

     Show description for c140f12
     

     rcosta358

     and

     codex

     authored
     c140f12View commit details

     Copy full SHA for c140f12

     View code at this pointBrowse repository at this point

   • Add webview rendering tests (#140)

     Show description for 1a27a76
     

     rcosta358

     and

     codex

     authored
     1a27a76View commit details

     Copy full SHA for 1a27a76

     View code at this pointBrowse repository at this point

   • Fix lint tooling and move publishing to Node 22 (#137)

     Show description for 48c7935
     

     rcosta358

     and

     codex

     authored
     48c7935View commit details

     Copy full SHA for 48c7935

     View code at this pointBrowse repository at this point
10. Commits on Oct 2, 2026

    • Show file and workspace error counts in diagnostics heading (#119)

      Show description for f946e40
      

      CatarinaGamboa

      and

      claude

      authored
      f946e40View commit details

      Copy full SHA for f946e40

      View code at this pointBrowse repository at this point
11. Commits on Sep 30, 2026

    • Make source-linked refinement binders visibly clickable (#118)

      Show description for 3fcd2ef
      

      CatarinaGamboa

      and

      claude

      authored
      3fcd2efView commit details

      Copy full SHA for 3fcd2ef

      View code at this pointBrowse repository at this point
12. Commits on Sep 8, 2026

    • Use Shared State Machine Parser Module (#111)

      rcosta358

      authored
      5749ca7View commit details

      Copy full SHA for 5749ca7

      View code at this pointBrowse repository at this point
13. Commits on Sep 4, 2026

    • Add Badge to State Machine Expand Button (#110)

      rcosta358

      authored
      88fca81View commit details

      Copy full SHA for 88fca81

      View code at this pointBrowse repository at this point
14. Commits on Aug 27, 2026

    • Show Hints in Diagnostics View

      rcosta358

      committed
      5648d28View commit details

      Copy full SHA for 5648d28

      View code at this pointBrowse repository at this point
15. Commits on Aug 25, 2026

    • Minor Fix

      rcosta358

      committed
      1416926View commit details

      Copy full SHA for 1416926

      View code at this pointBrowse repository at this point
16. Commits on Aug 21, 2026

    • Update State Machine UI (#109)

      rcosta358

      authored
      daa22b2View commit details

      Copy full SHA for daa22b2

      View code at this pointBrowse repository at this point
17. Commits on Aug 20, 2026

    • Improve State Machine Diagram Layout (#106)

      rcosta358

      authored
      48e7392View commit details

      Copy full SHA for 48e7392

      View code at this pointBrowse repository at this point

    • Fix Cross-Platform File Paths (#107)

      rcosta358

      authored
      22b8933View commit details

      Copy full SHA for 22b8933

      View code at this pointBrowse repository at this point
18. Commits on Aug 14, 2026

    • Add Counterexample DTO (#105)

      rcosta358

      authored
      f84d9c1View commit details

      Copy full SHA for f84d9c1

      View code at this pointBrowse repository at this point
19. Commits on Aug 13, 2026

    • Add State Machine Error Overlay (#104)

      rcosta358

      authored
      e839694View commit details

      Copy full SHA for e839694

      View code at this pointBrowse repository at this point
20. Commits on Aug 11, 2026

    • Fix Arrows in Light Theme (#103)

      rcosta358

      authored
      f6288c6View commit details

      Copy full SHA for f6288c6

      View code at this pointBrowse repository at this point

    • Add State Machine Navigation to Diagnostics (#102)

      rcosta358

      authored
      5496b02View commit details

      Copy full SHA for 5496b02

      View code at this pointBrowse repository at this point