Commits

Commit history

1. Commits on Nov 11, 2026

   • Show the Context tab's refinements as the error messages show them

     Show description for 2aba8b5
     

     CatarinaGamboa

     and

     claude

     committed
     2aba8b5View commit details

     Copy full SHA for 2aba8b5

     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

   • Show a subclass's call on the state set it inherits from a superclass's spec (#174)

     Show description for 123cda0
     

     CatarinaGamboa

     and

     claude

     authored
     123cda0View commit details

     Copy full SHA for 123cda0

     View code at this pointBrowse repository at this point

   • Bump liquidjava-verifier to 0.0.37 and liquidjava-fsm to 0.2.3 (#179)

     Show description for 7292a64
     

     CatarinaGamboa

     and

     claude

     authored
     7292a64View commit details

     Copy full SHA for 7292a64

     View code at this pointBrowse repository at this point
3. 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
4. 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
5. 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
6. Commits on Oct 7, 2026

   • Add language server unit tests (#141)

     Show description for b8ae866
     

     rcosta358

     and

     codex

     authored
     b8ae866View commit details

     Copy full SHA for b8ae866

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

   • 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
10. 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
11. 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
12. 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
13. Commits on Feb 3, 2026

    • Refactor State Machine Parser (#50)

      rcosta358

      authored
      7c65a0bView commit details

      Copy full SHA for 7c65a0b

      View code at this pointBrowse repository at this point
14. Loading