Commits

Commit history

1. Commits on Nov 11, 2026

   • Study baseline: the July 2025 messages on verifier 0.0.38

     Show description for feb2fc8
     

     CatarinaGamboa

     and

     claude

     committed
     feb2fc8View commit details

     Copy full SHA for feb2fc8

     View code at this pointBrowse repository at this point
2. Commits on Aug 5, 2026

   • Restore Baseline

     rcosta358

     committed
     dedcc51View commit details

     Copy full SHA for dedcc51

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

   • Release 0.0.72

     rcosta358

     committed
     e9aad26View commit details

     Copy full SHA for e9aad26

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

   • Release 0.0.70

     rcosta358

     committed
     e821d85View commit details

     Copy full SHA for e821d85

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

   • Release 0.0.67

     rcosta358

     committed
     965ebfeView commit details

     Copy full SHA for 965ebfe

     View code at this pointBrowse repository at this point
10. Commits on Mar 14, 2026

    • Release 0.0.63

      rcosta358

      committed
      ca1f1fcView commit details

      Copy full SHA for ca1f1fc

      View code at this pointBrowse repository at this point
11. Commits on Mar 5, 2026

    • Release 0.0.61

      rcosta358

      committed
      dac5070View commit details

      Copy full SHA for dac5070

      View code at this pointBrowse repository at this point

    • Autocomplete Improvements (#63)

      rcosta358

      authored
      68bc433View commit details

      Copy full SHA for 68bc433

      View code at this pointBrowse repository at this point
12. Commits on Feb 26, 2026

    • Autocomplete for Refinements (#58)

      rcosta358

      authored
      e21b55fView commit details

      Copy full SHA for e21b55f

      View code at this pointBrowse repository at this point

    • Build Server JAR Automatically (#61)

      rcosta358

      authored
      3faf90cView commit details

      Copy full SHA for 3faf90c

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

    • Add Counterexamples (#60)

      rcosta358

      authored
      78e9ccdView commit details

      Copy full SHA for 78e9ccd

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

    • Implement Custom Messages (#56)

      rcosta358

      authored
      20aabb6View commit details

      Copy full SHA for 20aabb6

      View code at this pointBrowse repository at this point
15. 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
16. Commits on Jan 23, 2026

    • State Machine Diagram for Typestates (#39)

      rcosta358

      authored
      6b52fd2View commit details

      Copy full SHA for 6b52fd2

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

    • Release 0.0.43

      rcosta358

      committed
      84e5076View commit details

      Copy full SHA for 84e5076

      View code at this pointBrowse repository at this point
18. Commits on Dec 5, 2025

    • Release 0.0.42

      rcosta358

      committed
      6bc133bView commit details

      Copy full SHA for 6bc133b

      View code at this pointBrowse repository at this point
19. Commits on Nov 21, 2025

    • Release 0.0.41

      rcosta358

      committed
      f18ac24View commit details

      Copy full SHA for f18ac24

      View code at this pointBrowse repository at this point

    • Release 0.0.40

      rcosta358

      committed
      de83dc2View commit details

      Copy full SHA for de83dc2

      View code at this pointBrowse repository at this point

    • LiquidJava Webview (#23)

      rcosta358

      authored
      19924abView commit details

      Copy full SHA for 19924ab

      View code at this pointBrowse repository at this point
20. Commits on Nov 15, 2025

    • Release 0.0.36

      rcosta358

      committed
      4682ba1View commit details

      Copy full SHA for 4682ba1

      View code at this pointBrowse repository at this point
21. Commits on Nov 9, 2025

    • Release 0.0.35

      rcosta358

      committed
      d872f5bView commit details

      Copy full SHA for d872f5b

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

    • VS Code Marketplace (#18)

      rcosta358

      authored
      5b1a36aView commit details

      Copy full SHA for 5b1a36a

      View code at this pointBrowse repository at this point

    • Code Refactoring (#17)

      rcosta358

      authored
      ed2c7ddView commit details

      Copy full SHA for ed2c7dd

      View code at this pointBrowse repository at this point
23. Commits on Apr 11, 2025

    • update gitgnore

      CatarinaGamboa

      committed
      3ee7974View commit details

      Copy full SHA for 3ee7974

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

    • upgrade versions to make the integration work again

      CatarinaGamboa

      committed
      6a7fec6View commit details

      Copy full SHA for 6a7fec6

      View code at this pointBrowse repository at this point
25. Commits on May 26, 2021

    • Running server from client working BUT when spooned folder appears in project the server doesn't work anymore... Using sockets to connect client and server

      

      Catarina Ventura Gamboa

      committed
      3ea2c11View commit details

      Copy full SHA for 3ea2c11

      View code at this pointBrowse repository at this point
26. Commits on May 19, 2021

    • Create liquidJava jar

      

      Catarina Ventura Gamboa

      committed
      51f8caeView commit details

      Copy full SHA for 51f8cae

      View code at this pointBrowse repository at this point
27. Commits on May 11, 2021

    • Able to verify java code with refinements. Sends error when the verifications fails. In the moment not cleaning the diagnostics

      

      Catarina Ventura Gamboa

      committed
      b49f2b8View commit details

      Copy full SHA for b49f2b8

      View code at this pointBrowse repository at this point

    • Add server

      

      Catarina Ventura Gamboa

      committed
      144f2e9View commit details

      Copy full SHA for 144f2e9

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