Commits

Commit history

1. 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
2. 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
3. Commits on Oct 26, 2026

   • 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
4. 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
5. 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
6. Commits on Oct 20, 2026

   • 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
7. Commits on Oct 7, 2026

   • Test webview messages and server lifecycle (#146)

     Show description for 006180f
     

     rcosta358

     and

     codex

     authored
     006180fView commit details

     Copy full SHA for 006180f

     View code at this pointBrowse repository at this point

   • 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
8. 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
9. 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
10. Commits on Aug 14, 2026

    • Minor Changes

      rcosta358

      committed
      d03765cView commit details

      Copy full SHA for d03765c

      View code at this pointBrowse repository at this point

    • Add Counterexample DTO (#105)

      rcosta358

      authored
      f84d9c1View commit details

      Copy full SHA for f84d9c1

      View code at this pointBrowse repository at this point
11. 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
12. Commits on Aug 11, 2026

    • 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
13. Commits on Jul 20, 2026

    • Show Simplification Pass Names (#96)

      rcosta358

      authored
      1d19e44View commit details

      Copy full SHA for 1d19e44

      View code at this pointBrowse repository at this point
14. Commits on Jun 21, 2026

    • Add VC Simplification Support (#95)

      rcosta358

      authored
      052baa4View commit details

      Copy full SHA for 052baa4

      View code at this pointBrowse repository at this point

    • Refactor Diagnostic DTOs into Class Hierarchy (#94)

      rcosta358

      authored
      70aa203View commit details

      Copy full SHA for 70aa203

      View code at this pointBrowse repository at this point
15. Commits on May 20, 2026

    • Complex State Transitions in DFA (#86)

      rcosta358

      authored
      4b063e9View commit details

      Copy full SHA for 4b063e9

      View code at this pointBrowse repository at this point
16. Commits on May 18, 2026

    • Bug Fixes (#84)

      rcosta358

      authored
      bdb66bbView commit details

      Copy full SHA for bdb66bb

      View code at this pointBrowse repository at this point

    • Expand Expressions in State Refinement Errors (#83)

      rcosta358

      authored
      a861277View commit details

      Copy full SHA for a861277

      View code at this pointBrowse repository at this point

    • Syntax Highlighting in Webview (#82)

      rcosta358

      authored
      0aa9533View commit details

      Copy full SHA for 0aa9533

      View code at this pointBrowse repository at this point

    • Reveal Diagnostics from CodeLens (#79)

      rcosta358

      authored
      3e3c65dView commit details

      Copy full SHA for 3e3c65d

      View code at this pointBrowse repository at this point

    • Add Hover Navigation to Method Refinements (#80)

      rcosta358

      authored
      1e940e7View commit details

      Copy full SHA for 1e940e7

      View code at this pointBrowse repository at this point
17. Commits on May 11, 2026

    • Methods Hover (#75)

      rcosta358

      authored
      7b2a8c0View commit details

      Copy full SHA for 7b2a8c0

      View code at this pointBrowse repository at this point
18. Commits on Apr 11, 2026

    • Fix Variable Names (#71)

      rcosta358

      authored
      6fb3c56View commit details

      Copy full SHA for 6fb3c56

      View code at this pointBrowse repository at this point
19. Commits on Mar 29, 2026

    • Add IteDerivationNode (#68)

      rcosta358

      authored
      c9d86f0View commit details

      Copy full SHA for c9d86f0

      View code at this pointBrowse repository at this point
20. Commits on Mar 14, 2026

    • Add Context Debugger (#64)

      rcosta358

      authored
      97ded3dView commit details

      Copy full SHA for 97ded3d

      View code at this pointBrowse repository at this point
21. Commits on Mar 5, 2026

    • Autocomplete Improvements (#63)

      rcosta358

      authored
      68bc433View commit details

      Copy full SHA for 68bc433

      View code at this pointBrowse repository at this point
22. Commits on Feb 26, 2026

    • Autocomplete for Refinements (#58)

      rcosta358

      authored
      e21b55fView commit details

      Copy full SHA for e21b55f

      View code at this pointBrowse repository at this point
23. Commits on Feb 23, 2026

    • Add Counterexamples (#60)

      rcosta358

      authored
      78e9ccdView commit details

      Copy full SHA for 78e9ccd

      View code at this pointBrowse repository at this point
24. Commits on Feb 13, 2026

    • Implement Custom Messages (#56)

      rcosta358

      authored
      20aabb6View commit details

      Copy full SHA for 20aabb6

      View code at this pointBrowse repository at this point
25. Commits on Jan 30, 2026

    • State Machine Diagram Fixes (#49)

      rcosta358

      authored
      335770cView commit details

      Copy full SHA for 335770c

      View code at this pointBrowse repository at this point
26. Commits on Jan 24, 2026

    • Client Refactoring (#40)

      rcosta358

      authored
      fc5c27aView commit details

      Copy full SHA for fc5c27a

      View code at this pointBrowse repository at this point
27. Commits on Jan 23, 2026

    • State Machine Diagram for Typestates (#39)

      rcosta358

      authored
      6b52fd2View commit details

      Copy full SHA for 6b52fd2

      View code at this pointBrowse repository at this point