Commits

Commit history

1. Commits on Oct 8, 2026

   • Add SMT Unknown Error (#6)

     rcosta358

     authored
     fad5abcView commit details

     Copy full SHA for fad5abc

     Browse repository at this point
2. Commits on Oct 5, 2026

   • Minor Change

     rcosta358

     committed
     0c9ef85View commit details

     Copy full SHA for 0c9ef85

     Browse repository at this point

   • Document SMT unknown errors

     Show description for 3453502
     

     rcosta358

     and

     codex

     committed
     3453502View commit details

     Copy full SHA for 3453502

     Browse repository at this point
3. Commits on Oct 4, 2026

   • Minor Changes

     rcosta358

     committed
     1af37fbView commit details

     Copy full SHA for 1af37fb

     Browse repository at this point

   • Add Dark Mode (#5)

     rcosta358

     authored
     8393a18View commit details

     Copy full SHA for 8393a18

     Browse repository at this point

   • Add polished dark mode to the docs

     Show description for 6c018c7
     

     rcosta358

     and

     codex

     committed
     6c018c7View commit details

     Copy full SHA for 6c018c7

     Browse repository at this point

   • Minor Fix

     rcosta358

     committed
     cd9f42bView commit details

     Copy full SHA for cd9f42b

     Browse repository at this point

   • Update Unsupported Browser Error Message

     rcosta358

     committed
     e6bcd73View commit details

     Copy full SHA for e6bcd73

     Browse repository at this point

   • Track playground LiquidJava upgrades with Dependabot (#4)

     rcosta358

     authored
     0771158View commit details

     Copy full SHA for 0771158

     Browse repository at this point

   • Add a browser-native LiquidJava playground (#3)

     rcosta358

     authored
     0fe4915View commit details

     Copy full SHA for 0fe4915

     Browse repository at this point

   • Document verification features with checked Java examples (#2)

     rcosta358

     authored
     775aa99View commit details

     Copy full SHA for 775aa99

     Browse repository at this point

   • Track playground LiquidJava upgrades with Dependabot

     Show description for a0d029f
     

     rcosta358

     and

     codex

     committed
     a0d029fView commit details

     Copy full SHA for a0d029f

     Browse repository at this point

   • Reduce the playground editor minimum height

     Show description for 52258b1
     

     rcosta358

     and

     codex

     committed
     52258b1View commit details

     Copy full SHA for 52258b1

     Browse repository at this point

   • Match unindent width to editor tabs

     Show description for 6553f6c
     

     rcosta358

     and

     codex

     committed
     6553f6cView commit details

     Copy full SHA for 6553f6c

     Browse repository at this point

   • Keep Tab and Shift-Tab indentation inside the editor

     Show description for 2e6d20a
     

     rcosta358

     and

     codex

     committed
     2e6d20aView commit details

     Copy full SHA for 2e6d20a

     Browse repository at this point

   • Use native blue for editor text selection

     Show description for 7c6f046
     

     rcosta358

     and

     codex

     committed
     7c6f046View commit details

     Copy full SHA for 7c6f046

     Browse repository at this point

   • Disable matching highlights for selected editor text

     Show description for 6ffd883
     

     rcosta358

     and

     codex

     committed
     6ffd883View commit details

     Copy full SHA for 6ffd883

     Browse repository at this point

   • Add a ghost state tracking playground example

     Show description for b6c6621
     

     rcosta358

     and

     codex

     committed
     b6c6621View commit details

     Copy full SHA for b6c6621

     Browse repository at this point

   • Wrap the sidebar contribution footer with proper spacing

     Show description for 52af72b
     

     rcosta358

     and

     codex

     committed
     52af72bView commit details

     Copy full SHA for 52af72b

     Browse repository at this point

   • Minor Changes

     rcosta358

     committed
     2326189View commit details

     Copy full SHA for 2326189

     Browse repository at this point

   • Scroll smoothly before focusing diagnostic locations

     Show description for cb6e601
     

     rcosta358

     and

     codex

     committed
     cb6e601View commit details

     Copy full SHA for cb6e601

     Browse repository at this point

   • Disable diagnostic hovers and strengthen Stop button color

     Show description for 693f03f
     

     rcosta358

     and

     codex

     committed
     693f03fView commit details

     Copy full SHA for 693f03f

     Browse repository at this point

   • Remove editor folding and restore diagnostic navigation

     Show description for d2fb4b9
     

     rcosta358

     and

     codex

     committed
     d2fb4b9View commit details

     Copy full SHA for d2fb4b9

     Browse repository at this point

   • Keep playground directory in diagnostic locations

     Show description for b4be3dc
     

     rcosta358

     and

     codex

     committed
     b4be3dcView commit details

     Copy full SHA for b4be3dc

     Browse repository at this point

   • Simplify playground controls and diagnostic output

     Show description for a1d0958
     

     rcosta358

     and

     codex

     committed
     a1d0958View commit details

     Copy full SHA for a1d0958

     Browse repository at this point

   • Refine playground selector and match diagnostic summary colors

     Show description for a5804f8
     

     rcosta358

     and

     codex

     committed
     a5804f8View commit details

     Copy full SHA for a5804f8

     Browse repository at this point

   • Render full CLI diagnostics with colors in the playground

     Show description for 6c5806f
     

     rcosta358

     and

     codex

     committed
     6c5806fView commit details

     Copy full SHA for 6c5806f

     Browse repository at this point

   • Improve UI

     rcosta358

     committed
     a0f7cf1View commit details

     Copy full SHA for a0f7cf1

     Browse repository at this point

   • Use normal weight for playground entry button

     Show description for f1db8d5
     

     rcosta358

     and

     codex

     committed
     f1db8d5View commit details

     Copy full SHA for f1db8d5

     Browse repository at this point

   • Improve playground entry button and navigation order

     Show description for 1ff06a8
     

     rcosta358

     and

     codex

     committed
     1ff06a8View commit details

     Copy full SHA for 1ff06a8

     Browse repository at this point
4. Commits on Oct 3, 2026

   • Extend playground declaration underlines through initializers

     Show description for 33be924
     

     rcosta358

     and

     codex

     committed
     33be924View commit details

     Copy full SHA for 33be924

     Browse repository at this point

   • Use precise source ranges for playground diagnostics

     Show description for 7a9ad45
     

     rcosta358

     and

     codex

     committed
     7a9ad45View commit details

     Copy full SHA for 7a9ad45

     Browse repository at this point

   • Add a browser-native LiquidJava playground

     Show description for e42a307
     

     rcosta358

     and

     codex

     committed
     e42a307View commit details

     Copy full SHA for e42a307

     Browse repository at this point
5. Commits on Oct 2, 2026

   • docs: explain verification features with checked examples

     rcosta358

     committed
     1d03e33View commit details

     Copy full SHA for 1d03e33

     Browse repository at this point
6. Commits on Aug 21, 2026

   • Minor Changes

     rcosta358

     committed
     2beb54dView commit details

     Copy full SHA for 2beb54d

     Browse repository at this point