Commits

Commit history

1. Commits on Nov 10, 2026

   • Warn when a state set is named like a method of its class (#516)

     Show description for a464ff2
     

     CatarinaGamboa

     and

     claude

     authored
     a464ff2View commit details

     Copy full SHA for a464ff2

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

   • Document named state sets and states written as values of their sets (#512)

     Show description for 70472eb
     

     CatarinaGamboa

     and

     claude

     authored
     70472ebView commit details

     Copy full SHA for 70472eb

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

   • Isolate deferred callback state from lambda creation (#386)

     Show description for 9addae1
     CatarinaGamboa

     authored
     9addae1View commit details

     Copy full SHA for 9addae1

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

   • Update README (#294)

     rcosta358

     authored
     8816186View commit details

     Copy full SHA for 8816186

     View code at this pointBrowse repository at this point

   • Improve Test Suite (#293)

     rcosta358

     authored
     51ad687View commit details

     Copy full SHA for 51ad687

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

   • Release liquidjava-verifier 0.0.33

     rcosta358

     committed
     5128b3eView commit details

     Copy full SHA for 5128b3e

     View code at this pointBrowse repository at this point
6. Commits on May 14, 2026

   • Add LSP Flag (#225)

     rcosta358

     authored
     d977679View commit details

     Copy full SHA for d977679

     View code at this pointBrowse repository at this point

   • Update Run Script (#223)

     rcosta358

     authored
     38d4dbcView commit details

     Copy full SHA for 38d4dbc

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

   • Releases

     rcosta358

     committed
     40e105fView commit details

     Copy full SHA for 40e105f

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

   • New Releases

     rcosta358

     committed
     375418dView commit details

     Copy full SHA for 375418d

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

   • Add badges to README for VS Code and Maven Central

     Show description for 791d404
     CatarinaGamboa

     authored
     791d404View commit details

     Copy full SHA for 791d404

     View code at this pointBrowse repository at this point
10. Commits on Dec 4, 2025

    • Check Expected Errors in Tests (#126)

      rcosta358

      authored
      f59d1c4View commit details

      Copy full SHA for f59d1c4

      View code at this pointBrowse repository at this point
11. Commits on Nov 10, 2025

    • Update Links and Maven Configs (#108)

      rcosta358

      authored
      06f8437View commit details

      Copy full SHA for 06f8437

      View code at this pointBrowse repository at this point
12. Commits on Nov 8, 2025

    • Update groupId (#106)

      rcosta358

      authored
      5bf4eabView commit details

      Copy full SHA for 5bf4eab

      View code at this pointBrowse repository at this point
13. Commits on Oct 29, 2025

    • Maven Central Dependency (#61)

      rcosta358

      authored
      a99bad6View commit details

      Copy full SHA for a99bad6

      View code at this pointBrowse repository at this point

    • Multiple args (#49)

      rodrigomilisse

      authored
      6018353View commit details

      Copy full SHA for 6018353

      View code at this pointBrowse repository at this point
14. Commits on Sep 28, 2025

    • Update README (#56)

      rcosta358

      authored
      368df95View commit details

      Copy full SHA for 368df95

      View code at this pointBrowse repository at this point
15. Commits on Jul 25, 2025

    • Updated README Setup Instructions (#45)

      Show description for 9c87c4b
      pcanelas

      authored
      9c87c4bView commit details

      Copy full SHA for 9c87c4b

      View code at this pointBrowse repository at this point
16. Commits on Jul 2, 2025

    • Update README.md

      CatarinaGamboa

      authored
      f8a0315View commit details

      Copy full SHA for f8a0315

      View code at this pointBrowse repository at this point
17. Commits on Dec 1, 2024

    • Misc README fixes

      GUIpsp

      committed
      b070270View commit details

      Copy full SHA for b070270

      View code at this pointBrowse repository at this point
18. Commits on Nov 29, 2024

    • Update README.md to include tests

      CatarinaGamboa

      authored
      6089043View commit details

      Copy full SHA for 6089043

      View code at this pointBrowse repository at this point
19. Commits on Dec 6, 2023

    • update readme to include more files

      CatarinaGamboa

      committed
      8211f28View commit details

      Copy full SHA for 8211f28

      View code at this pointBrowse repository at this point
20. Commits on Dec 5, 2023

    • Update README.md to include setup and inform of java version

      CatarinaGamboa

      authored
      cee7d59View commit details

      Copy full SHA for cee7d59

      View code at this pointBrowse repository at this point
21. Commits on Oct 28, 2023

    • Removed junit asserts from the code.

      alcides

      committed
      1fd89faView commit details

      Copy full SHA for 1fd89fa

      View code at this pointBrowse repository at this point
22. Commits on Oct 27, 2023

    • Merged with mster

      alcides

      committed
      f48a123View commit details

      Copy full SHA for f48a123

      View code at this pointBrowse repository at this point

    • Update README.md to match the file structure

      CatarinaGamboa

      authored
      c4d712aView commit details

      Copy full SHA for c4d712a

      View code at this pointBrowse repository at this point
23. Commits on Oct 26, 2023

    • Fixed Readme

      alcides

      committed
      5b2c8feView commit details

      Copy full SHA for 5b2c8fe

      View code at this pointBrowse repository at this point
24. Commits on Jun 2, 2023

    • update readme

      CatarinaGamboa

      committed
      94ebcbaView commit details

      Copy full SHA for 94ebcba

      View code at this pointBrowse repository at this point

    • Update README.md with docs/design

      CatarinaGamboa

      authored
      bd356bcView commit details

      Copy full SHA for bd356bc

      View code at this pointBrowse repository at this point
25. Commits on Apr 3, 2023

    • Update README.md

      CatarinaGamboa

      authored
      a18d75bView commit details

      Copy full SHA for a18d75b

      View code at this pointBrowse repository at this point
26. Commits on Mar 29, 2023

    • Update README.md

      Show description for e3c365a
      CatarinaGamboa

      authored
      e3c365aView commit details

      Copy full SHA for e3c365a

      View code at this pointBrowse repository at this point

    • Update README.md

      Show description for 8ea6327
      CatarinaGamboa

      authored
      8ea6327View commit details

      Copy full SHA for 8ea6327

      View code at this pointBrowse repository at this point
27. Commits on Oct 10, 2022

    • Revamped Readme

      alcides

      committed
      d0cd063View commit details

      Copy full SHA for d0cd063

      View code at this pointBrowse repository at this point
28. Commits on Oct 5, 2022

    • cleanup and change readme

      CatarinaGamboa

      committed
      74d02d3View commit details

      Copy full SHA for 74d02d3

      View code at this pointBrowse repository at this point
29. Commits on Apr 26, 2022

    • Update README.md

      CatarinaGamboa

      authored
      74176f9View commit details

      Copy full SHA for 74176f9

      View code at this pointBrowse repository at this point