Commits

Commit history

1. Commits on Nov 10, 2026

   • Restore the verifier's IDE mode after the spec files test

     Show description for 974043b
     

     CatarinaGamboa

     and

     claude

     committed
     974043bView commit details

     Copy full SHA for 974043b

     View code at this pointBrowse repository at this point

   • Read the specs of supertypes that only refine methods

     Show description for 41217ae
     

     CatarinaGamboa

     and

     claude

     committed
     41217aeView commit details

     Copy full SHA for 41217ae

     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

     Show description for 019601d
     

     CatarinaGamboa

     and

     claude

     committed
     019601dView commit details

     Copy full SHA for 019601d

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

    • 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
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 31, 2026

    • Minor Change

      rcosta358

      committed
      78c606aView commit details

      Copy full SHA for 78c606a

      View code at this pointBrowse repository at this point
16. 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
17. 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
18. 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

    • 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
19. Commits on May 16, 2026

    • Release 0.0.71

      rcosta358

      committed
      0891e54View commit details

      Copy full SHA for 0891e54

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

    • Use Expression Formatter

      rcosta358

      committed
      fbc91baView commit details

      Copy full SHA for fbc91ba

      View code at this pointBrowse repository at this point
22. 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

    • Parallelize Verification and FSM (#66)

      rcosta358

      authored
      1cb07f5View commit details

      Copy full SHA for 1cb07f5

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

    • Format Variables with Superscript Notation (#67)

      rcosta358

      authored
      0fc63fdView commit details

      Copy full SHA for 0fc63fd

      View code at this pointBrowse repository at this point
24. 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