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

• Release 0.0.74

  rcosta358

  committed
  05ffd59

  Copy full SHA for 05ffd59

• 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

• Release 0.0.72

  rcosta358

  committed
  e9aad26

  Copy full SHA for e9aad26

• 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 12, 2026

• Release 0.0.70

  rcosta358

  committed
  e821d85

  Copy full SHA for e821d85

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

• Release 0.0.67

  rcosta358

  committed
  965ebfe

  Copy full SHA for 965ebfe

• Format Variables with Superscript Notation (#67)

  rcosta358

  authored
  0fc63fd

  Copy full SHA for 0fc63fd

Commits on Mar 14, 2026

• Release 0.0.63

  rcosta358

  committed
  ca1f1fc

  Copy full SHA for ca1f1fc

• Add Context Debugger (#64)

  rcosta358

  authored
  97ded3d

  Copy full SHA for 97ded3d

Commits on Mar 5, 2026

• Release 0.0.61

  rcosta358

  committed
  dac5070

  Copy full SHA for dac5070

• 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

• Build Server JAR Automatically (#61)

  rcosta358

  authored
  3faf90c

  Copy full SHA for 3faf90c

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