Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on May 20, 2026

• Complex State Transitions in DFA (#86)

  rcosta358

  authored
  4b063e9

  Copy full SHA for 4b063e9

Commits on May 18, 2026

• Bug Fixes (#84)

  rcosta358

  authored
  bdb66bb

  Copy full SHA for bdb66bb

• Expand Expressions in State Refinement Errors (#83)

  rcosta358

  authored
  a861277

  Copy full SHA for a861277

• Syntax Highlighting in Webview (#82)

  rcosta358

  authored
  0aa9533

  Copy full SHA for 0aa9533

• Reveal Diagnostics from CodeLens (#79)

  rcosta358

  authored
  3e3c65d

  Copy full SHA for 3e3c65d

• Add Hover Navigation to Method Refinements (#80)

  rcosta358

  authored
  1e940e7

  Copy full SHA for 1e940e7

Commits on May 11, 2026

• Methods Hover (#75)

  rcosta358

  authored
  7b2a8c0

  Copy full SHA for 7b2a8c0

Commits on Apr 11, 2026

• Fix Variable Names (#71)

  rcosta358

  authored
  6fb3c56

  Copy full SHA for 6fb3c56

Commits on Mar 29, 2026

• Add IteDerivationNode (#68)

  rcosta358

  authored
  c9d86f0

  Copy full SHA for c9d86f0

Commits on Mar 14, 2026

• Add Context Debugger (#64)

  rcosta358

  authored
  97ded3d

  Copy full SHA for 97ded3d

Commits on Mar 5, 2026

• Autocomplete Improvements (#63)

  rcosta358

  authored
  68bc433

  Copy full SHA for 68bc433

Commits on Feb 26, 2026

• Autocomplete for Refinements (#58)

  rcosta358

  authored
  e21b55f

  Copy full SHA for e21b55f

Commits on Feb 23, 2026

• Add Counterexamples (#60)

  rcosta358

  authored
  78e9ccd

  Copy full SHA for 78e9ccd

Commits on Feb 13, 2026

• Implement Custom Messages (#56)

  rcosta358

  authored
  20aabb6

  Copy full SHA for 20aabb6

Commits on Jan 30, 2026

• State Machine Diagram Fixes (#49)

  rcosta358

  authored
  335770c

  Copy full SHA for 335770c

Commits on Jan 24, 2026

• Client Refactoring (#40)

  rcosta358

  authored
  fc5c27a

  Copy full SHA for fc5c27a

Commits on Jan 23, 2026

• State Machine Diagram for Typestates (#39)

  rcosta358

  authored
  6b52fd2

  Copy full SHA for 6b52fd2

Commits on Jan 10, 2026

• Show All Diagnostics Button (#29)

  rcosta358

  authored
  96a6fec

  Copy full SHA for 96a6fec

Commits on Dec 10, 2025

• Release 0.0.43

  rcosta358

  committed
  84e5076

  Copy full SHA for 84e5076

Commits on Dec 5, 2025

• Release 0.0.42

  rcosta358

  committed
  6bc133b

  Copy full SHA for 6bc133b

Commits on Nov 21, 2025

• Add Custom Warning (#24)

  rcosta358

  authored
  01699ca

  Copy full SHA for 01699ca

• LiquidJava Webview (#23)

  rcosta358

  authored
  19924ab

  Copy full SHA for 19924ab

Loading