Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Jun 1, 2026

• Context Variable Keyboard Navigation (#93)

  rcosta358

  authored
  ede2e92

  Copy full SHA for ede2e92

Commits on May 28, 2026

• Improve Verification Crashes (#92)

  rcosta358

  authored
  45de1b3

  Copy full SHA for 45de1b3

• Highlight Relevant Context (#91)

  rcosta358

  authored
  c7b2f44

  Copy full SHA for c7b2f44

Commits on May 27, 2026

• Minor Changes

  rcosta358

  committed
  1bc0200

  Copy full SHA for 1bc0200

Commits on May 21, 2026

• Release 0.0.87

  rcosta358

  committed
  6d978ba

  Copy full SHA for 6d978ba

• Release 0.0.86

  rcosta358

  committed
  cf3d56e

  Copy full SHA for cf3d56e

• Fix Variable Expansion (#90)

  rcosta358

  authored
  f34a1c4

  Copy full SHA for f34a1c4

• Clear Extension State on Stop (#89)

  rcosta358

  authored
  224332b

  Copy full SHA for 224332b

Commits on May 20, 2026

• Add New Icons to Webview (#87)

  rcosta358

  authored
  1afaa5a

  Copy full SHA for 1afaa5a

• Complex State Transitions in DFA (#86)

  rcosta358

  authored
  4b063e9

  Copy full SHA for 4b063e9

• Improve Webview Verification State (#85)

  rcosta358

  authored
  5f8c9f5

  Copy full SHA for 5f8c9f5

Commits on May 19, 2026

• Release 0.0.77

  rcosta358

  committed
  8d7cb38

  Copy full SHA for 8d7cb38

Commits on May 18, 2026

• Release 0.0.75

  rcosta358

  committed
  9814330

  Copy full SHA for 9814330

• 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

• Remove Redundant Messages (#81)

  rcosta358

  authored
  db6b260

  Copy full SHA for db6b260

• Update Context Debugger (#78)

  rcosta358

  authored
  4b11ccf

  Copy full SHA for 4b11ccf

• Copy Diagnostic Button (#74)

  rcosta358

  authored
  90507fc

  Copy full SHA for 90507fc

Commits on May 11, 2026

• Methods Hover (#75)

  rcosta358

  authored
  7b2a8c0

  Copy full SHA for 7b2a8c0

Commits on May 10, 2026

• Fix Context Debugger Startup (#76)

  rcosta358

  authored
  4d18cec

  Copy full SHA for 4d18cec

Commits on May 9, 2026

• Minor Fixes

  rcosta358

  committed
  a2e02bc

  Copy full SHA for a2e02bc

• Fix State Machine Updates

  rcosta358

  committed
  f27b93e

  Copy full SHA for f27b93e

• Fix State Machine Updates

  rcosta358

  committed
  daa47b4

  Copy full SHA for daa47b4

• Remove Autocomplete Declaration Suggestions

  Show description for 6e22150
  rcosta358

  committed
  6e22150

  Copy full SHA for 6e22150

Commits on Apr 11, 2026

• Fix Variable Names (#71)

  rcosta358

  authored
  6fb3c56

  Copy full SHA for 6fb3c56

• Variable Refinement Hover (#70)

  rcosta358

  authored
  5eaec42

  Copy full SHA for 5eaec42

• Parallelize Verification and FSM (#66)

  rcosta358

  authored
  1cb07f5

  Copy full SHA for 1cb07f5

• DFA Dynamic Theme (#65)

  rcosta358

  authored
  927e085

  Copy full SHA for 927e085

Commits on Mar 29, 2026

• Release 0.0.66

  rcosta358

  committed
  11585d7

  Copy full SHA for 11585d7

• Fix Independent Derivation Expansion (#69)

  rcosta358

  authored
  291ed4d

  Copy full SHA for 291ed4d

• 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