Commits

Commit history

1. Commits on Nov 10, 2026

   • Release liquidjava-api 0.0.8 and liquidjava-verifier 0.0.37

     Show description for 3b6d47a
     

     CatarinaGamboa

     and

     claude

     committed
     3b6d47aView commit details

     Copy full SHA for 3b6d47a

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

   • Named state sets: optional name on @StateSet (#498)

     Show description for 2c4f484
     

     CatarinaGamboa

     and

     claude

     authored
     2c4f484View commit details

     Copy full SHA for 2c4f484

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

   • Compute loop typestates as a fixpoint over iterations (#434)

     Show description for 0053074
     

     CatarinaGamboa

     and

     claude

     authored
     0053074View commit details

     Copy full SHA for 0053074

     View code at this pointBrowse repository at this point
4. Commits on Aug 19, 2026

   • Release liquidjava-api 0.0.7

     rcosta358

     committed
     1d7a79aView commit details

     Copy full SHA for 1d7a79a

     View code at this pointBrowse repository at this point

   • Release liquidjava-api 0.0.6

     rcosta358

     committed
     37a650fView commit details

     Copy full SHA for 37a650f

     View code at this pointBrowse repository at this point
5. Commits on May 12, 2026

   • Fix Release

     rcosta358

     committed
     312e236View commit details

     Copy full SHA for 312e236

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

   • Add Maven Central Publish Workflows (#213)

     rcosta358

     authored
     dd47e55View commit details

     Copy full SHA for dd47e55

     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

   • Refactor Refinement Predicate (#205)

     rcosta358

     authored
     4090430View commit details

     Copy full SHA for 4090430

     View code at this pointBrowse repository at this point

   • Refactor Multiple API Annotations (#199)

     rcosta358

     authored
     8ac8d94View commit details

     Copy full SHA for 8ac8d94

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

   • Delete old files from liquidjava-api package

     GUIpsp

     committed
     f344b2aView commit details

     Copy full SHA for f344b2a

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

   • Update Annotations Javadocs (#144)

     rcosta358

     authored
     dd5083cView commit details

     Copy full SHA for dd5083c

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

    • Add Custom Error Messages (#140)

      rcosta358

      authored
      62a28a3View commit details

      Copy full SHA for 62a28a3

      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

    • Minor Fixes

      rcosta358

      committed
      0ad50ccView commit details

      Copy full SHA for 0ad50cc

      View code at this pointBrowse repository at this point

    • Maven Central Dependency (#61)

      rcosta358

      authored
      a99bad6View commit details

      Copy full SHA for a99bad6

      View code at this pointBrowse repository at this point
14. Commits on Apr 10, 2025

    • Merge branch 'main' of https://github.com/CatarinaGamboa/liquidjava

      CatarinaGamboa

      committed
      6836d01View commit details

      Copy full SHA for 6836d01

      View code at this pointBrowse repository at this point

    • spoon search for classpath, new versions

      CatarinaGamboa

      committed
      2b05bf3View commit details

      Copy full SHA for 2b05bf3

      View code at this pointBrowse repository at this point
15. Commits on Dec 12, 2024

    • [chore] reformat everything

      GUIpsp

      committed
      012a813View commit details

      Copy full SHA for 012a813

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

    • Use the Palantir formatter in pre-commit

      Show description for aad179d
      GUIpsp

      committed
      aad179dView commit details

      Copy full SHA for aad179d

      View code at this pointBrowse repository at this point
17. Commits on Oct 30, 2023

    • Updated pom

      alcides

      committed
      f0da40bView commit details

      Copy full SHA for f0da40b

      View code at this pointBrowse repository at this point
18. 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
19. 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
20. Commits on Oct 26, 2023

    • Removed TODOs

      alcides

      committed
      eba42abView commit details

      Copy full SHA for eba42ab

      View code at this pointBrowse repository at this point

    • Bump junit:junit from 4.11 to 4.13.1 in /liquidjava-api

      Show description for c4fbf11
      dependabot[bot]

      authored
      c4fbf11View commit details

      Copy full SHA for c4fbf11

      View code at this pointBrowse repository at this point

    • Added Formatter

      alcides

      committed
      f9a8da3View commit details

      Copy full SHA for f9a8da3

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