Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on May 31, 2026

• Minor Change

  rcosta358

  committed
  78c606a

  Copy full SHA for 78c606a

Commits on May 28, 2026

• Improve Verification Crashes (#92)

  rcosta358

  authored
  45de1b3

  Copy full SHA for 45de1b3

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

• Add Hover Navigation to Method Refinements (#80)

  rcosta358

  authored
  1e940e7

  Copy full SHA for 1e940e7

Commits on May 16, 2026

• Release 0.0.71

  rcosta358

  committed
  0891e54

  Copy full SHA for 0891e54

Commits on May 11, 2026

• Methods Hover (#75)

  rcosta358

  authored
  7b2a8c0

  Copy full SHA for 7b2a8c0

Commits on May 9, 2026

• Use Expression Formatter

  rcosta358

  committed
  fbc91ba

  Copy full SHA for fbc91ba

Commits on Apr 11, 2026

• Fix Variable Names (#71)

  rcosta358

  authored
  6fb3c56

  Copy full SHA for 6fb3c56

• Parallelize Verification and FSM (#66)

  rcosta358

  authored
  1cb07f5

  Copy full SHA for 1cb07f5

Commits on Mar 29, 2026

• Format Variables with Superscript Notation (#67)

  rcosta358

  authored
  0fc63fd

  Copy full SHA for 0fc63fd

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 Feb 3, 2026

• Release 0.0.56

  rcosta358

  committed
  9b2b54a

  Copy full SHA for 9b2b54a

• Add New Commands (#52)

  rcosta358

  authored
  968d05a

  Copy full SHA for 968d05a

• Refactor State Machine Parser (#50)

  rcosta358

  authored
  7c65a0b

  Copy full SHA for 7c65a0b

Commits on Jan 30, 2026

• State Machine Diagram Fixes (#49)

  rcosta358

  authored
  335770c

  Copy full SHA for 335770c

• Handle Verifier Exceptions (#46)

  rcosta358

  authored
  2f61ba0

  Copy full SHA for 2f61ba0

Commits on Jan 28, 2026

• Fix NullPointerException (#45)

  rcosta358

  authored
  d8efa32

  Copy full SHA for d8efa32

Commits on Jan 23, 2026

• State Machine Diagram for Typestates (#39)

  rcosta358

  authored
  6b52fd2

  Copy full SHA for 6b52fd2

Commits on Jan 10, 2026

• Fix Path Handling (#30)

  rcosta358

  authored
  1378f4a

  Copy full SHA for 1378f4a

Commits on Jan 7, 2026

• Webview & File Event Handling Improvements (#27)

  rcosta358

  authored
  f7d8e57

  Copy full SHA for f7d8e57

Commits on Jan 5, 2026

• Fix Path Resolution (#26)

  Show description for 34df3c6
  rcosta358

  authored
  34df3c6

  Copy full SHA for 34df3c6

Commits on Dec 10, 2025

• Release 0.0.43

  rcosta358

  committed
  84e5076

  Copy full SHA for 84e5076

• Show Diagnostics For Current File in Webview (#25)

  rcosta358

  authored
  bcfd007

  Copy full SHA for bcfd007

Commits on Dec 5, 2025

• Release 0.0.42

  rcosta358

  committed
  6bc133b

  Copy full SHA for 6bc133b

Commits on Nov 21, 2025

• Release 0.0.41

  rcosta358

  committed
  f18ac24

  Copy full SHA for f18ac24

• Add Custom Warning (#24)

  rcosta358

  authored
  01699ca

  Copy full SHA for 01699ca

• LiquidJava Webview (#23)

  rcosta358

  authored
  19924ab

  Copy full SHA for 19924ab

Commits on Nov 16, 2025

• Release 0.0.39

  rcosta358

  committed
  bb771f0

  Copy full SHA for bb771f0