Commits

Commit history

1. Commits on Nov 11, 2026

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

   • Use liquidjava-fsm 0.1.3 for static factory transitions (#154)

     Show description for 93db5e3
     

     CatarinaGamboa

     and

     claude

     authored
     93db5e3View commit details

     Copy full SHA for 93db5e3

     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
8. 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

   • Run build and packaging checks on pull requests and main (#138)

     Show description for f0946db
     

     rcosta358

     and

     codex

     authored
     f0946dbView commit details

     Copy full SHA for f0946db

     View code at this pointBrowse repository at this point
9. Commits on Sep 20, 2026

   • Release 0.0.96

     rcosta358

     committed
     e476a34View commit details

     Copy full SHA for e476a34

     View code at this pointBrowse repository at this point
10. Commits on Sep 19, 2026

    • Release 0.0.94

      rcosta358

      committed
      3ae7e76View commit details

      Copy full SHA for 3ae7e76

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

    • Release 0.0.92

      rcosta358

      committed
      86de805View commit details

      Copy full SHA for 86de805

      View code at this pointBrowse repository at this point

    • 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
15. 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
16. Commits on Aug 11, 2026

    • Release 0.0.91

      rcosta358

      committed
      c4ab059View commit details

      Copy full SHA for c4ab059

      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
17. Commits on Jul 21, 2026

    • Release 0.0.90

      rcosta358

      committed
      c5e4da1View commit details

      Copy full SHA for c5e4da1

      View code at this pointBrowse repository at this point
18. Commits on Jul 20, 2026

    • Fix Repeated Verification on Open (#99)

      rcosta358

      authored
      82c1329View commit details

      Copy full SHA for 82c1329

      View code at this pointBrowse repository at this point

    • Show Simplification Pass Names (#96)

      rcosta358

      authored
      1d19e44View commit details

      Copy full SHA for 1d19e44

      View code at this pointBrowse repository at this point
19. 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
20. Commits on May 31, 2026

    • Minor Change

      rcosta358

      committed
      78c606aView commit details

      Copy full SHA for 78c606a

      View code at this pointBrowse repository at this point
21. Commits on May 28, 2026

    • Improve Verification Crashes (#92)

      rcosta358

      authored
      45de1b3View commit details

      Copy full SHA for 45de1b3

      View code at this pointBrowse repository at this point
22. 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
23. Commits on May 18, 2026

    • Release 0.0.74

      rcosta358

      committed
      05ffd59View commit details

      Copy full SHA for 05ffd59

      View code at this pointBrowse repository at this point

    • 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