GeezerVison

Branch selector

Commit history

1. Commits on Sep 30, 2026

   • Merge pull request #1 from liquid-java/chore/dependabot-liquidjava

     Show description for e679fcd
     CatarinaGamboa

     authored
     e679fcdView commit details

     Copy full SHA for e679fcd

     Browse repository at this point

   • Add Dependabot for LiquidJava dependencies

     Show description for dc0cbb2
     

     CatarinaGamboa

     and

     claude

     committed
     dc0cbb2View commit details

     Copy full SHA for dc0cbb2

     Browse repository at this point
2. Commits on Sep 17, 2026

   • Update Path Validation

     rcosta358

     committed
     d8bc14aView commit details

     Copy full SHA for d8bc14a

     Browse repository at this point
3. Commits on Sep 16, 2026

   • Remove Duplicate Tool Logic

     rcosta358

     committed
     32dde34View commit details

     Copy full SHA for 32dde34

     Browse repository at this point
4. Commits on Sep 11, 2026

   • Code Refactoring

     rcosta358

     committed
     3ad0743View commit details

     Copy full SHA for 3ad0743

     Browse repository at this point

   • Update Skill

     rcosta358

     committed
     0ab6e21View commit details

     Copy full SHA for 0ab6e21

     Browse repository at this point

   • Update README

     rcosta358

     committed
     ee759d2View commit details

     Copy full SHA for ee759d2

     Browse repository at this point

   • Code Refactoring

     rcosta358

     committed
     b78bf02View commit details

     Copy full SHA for b78bf02

     Browse repository at this point
5. Commits on Sep 10, 2026

   • Update Tests

     rcosta358

     committed
     71ee728View commit details

     Copy full SHA for 71ee728

     Browse repository at this point

   • Code Refactoring

     rcosta358

     committed
     8b58533View commit details

     Copy full SHA for 8b58533

     Browse repository at this point
6. Commits on Sep 9, 2026

   • Refactor Tests

     rcosta358

     committed
     1ccd255View commit details

     Copy full SHA for 1ccd255

     Browse repository at this point

   • Code Refactoring

     rcosta358

     committed
     e7a1e2aView commit details

     Copy full SHA for e7a1e2a

     Browse repository at this point

   • Refactor Regex Patterns

     rcosta358

     committed
     32c65b7View commit details

     Copy full SHA for 32c65b7

     Browse repository at this point

   • Add Ghost Support for SMT Queries

     rcosta358

     committed
     109490dView commit details

     Copy full SHA for 109490d

     Browse repository at this point

   • Update Diagnostics

     rcosta358

     committed
     9715e40View commit details

     Copy full SHA for 9715e40

     Browse repository at this point

   • Update README

     rcosta358

     committed
     76937a7View commit details

     Copy full SHA for 76937a7

     Browse repository at this point

   • Update Skill

     rcosta358

     committed
     a605c11View commit details

     Copy full SHA for a605c11

     Browse repository at this point
7. Commits on Sep 8, 2026

   • Update README

     rcosta358

     committed
     f158eb1View commit details

     Copy full SHA for f158eb1

     Browse repository at this point

   • Update Skill

     rcosta358

     committed
     fa71fb0View commit details

     Copy full SHA for fa71fb0

     Browse repository at this point

   • Add Skill

     rcosta358

     committed
     b3118f3View commit details

     Copy full SHA for b3118f3

     Browse repository at this point

   • Update README

     rcosta358

     committed
     458a80fView commit details

     Copy full SHA for 458a80f

     Browse repository at this point

   • Code Refactoring

     rcosta358

     committed
     815e4ceView commit details

     Copy full SHA for 815e4ce

     Browse repository at this point

   • Code Refactoring

     rcosta358

     committed
     a6d9f31View commit details

     Copy full SHA for a6d9f31

     Browse repository at this point

   • Add CI Workflow

     rcosta358

     committed
     4ac2cd0View commit details

     Copy full SHA for 4ac2cd0

     Browse repository at this point

   • Code Refactoring

     rcosta358

     committed
     89533f3View commit details

     Copy full SHA for 89533f3

     Browse repository at this point

   • Add Check Satisfiability Tool

     rcosta358

     committed
     9457ea7View commit details

     Copy full SHA for 9457ea7

     Browse repository at this point

   • Add Get Contracts Tool

     rcosta358

     committed
     af8c037View commit details

     Copy full SHA for af8c037

     Browse repository at this point

   • Code Refactoring

     rcosta358

     committed
     6979588View commit details

     Copy full SHA for 6979588

     Browse repository at this point

   • Minor Change

     rcosta358

     committed
     9010341View commit details

     Copy full SHA for 9010341

     Browse repository at this point

   • Use Canonical Paths

     rcosta358

     committed
     5d2f295View commit details

     Copy full SHA for 5d2f295

     Browse repository at this point

   • Report Incomplete Verification

     rcosta358

     committed
     513254aView commit details

     Copy full SHA for 513254a

     Browse repository at this point

   • Use JSON Schemas for Input Validation

     rcosta358

     committed
     4d4ba93View commit details

     Copy full SHA for 4d4ba93

     Browse repository at this point

   • Use `structuredContent` Only for Responses

     rcosta358

     committed
     418f301View commit details

     Copy full SHA for 418f301

     Browse repository at this point

   • Minor Change

     rcosta358

     committed
     262c75cView commit details

     Copy full SHA for 262c75c

     Browse repository at this point

   • Remove Unknown from Check Validity

     rcosta358

     committed
     eb37046View commit details

     Copy full SHA for eb37046

     Browse repository at this point