Commits

Breadcrumbs

History for

onfix-expansions

User selector

All users

All time

Commit History

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

Commits on Nov 15, 2025

• Release 0.0.38

  rcosta358

  committed
  ab71fe8

  Copy full SHA for ab71fe8

• Release 0.0.37

  rcosta358

  committed
  5ef404c

  Copy full SHA for 5ef404c

• Release 0.0.36

  rcosta358

  committed
  4682ba1

  Copy full SHA for 4682ba1

Commits on Nov 8, 2025

• Language Server Fixes (#21)

  rcosta358

  authored
  e608bed

  Copy full SHA for e608bed

Commits on Nov 5, 2025

• Release 0.0.31

  rcosta358

  committed
  5c91b2e

  Copy full SHA for 5c91b2e

Commits on Oct 29, 2025

• Code Refactoring (#17)

  rcosta358

  authored
  ed2c7dd

  Copy full SHA for ed2c7dd

Commits on Sep 11, 2025

• Server Refactoring (#14)

  Show description for fbf24b6
  rcosta358

  authored
  fbf24b6

  Copy full SHA for fbf24b6

Commits on Apr 11, 2025

• client working (#6)

  CatarinaGamboa

  authored
  6cda6cf

  Copy full SHA for 6cda6cf

• update gitgnore

  CatarinaGamboa

  committed
  3ee7974

  Copy full SHA for 3ee7974

• debugging version working

  CatarinaGamboa

  committed
  775fa0f

  Copy full SHA for 775fa0f

Commits on Apr 10, 2025

• upgrade versions to make the integration work again

  CatarinaGamboa

  committed
  6a7fec6

  Copy full SHA for 6a7fec6

Commits on Jun 7, 2021

• Extension working in linux. Workarround: Add a / (dash) in the beginning of the path!

  CatarinaGamboa

  committed
  aad1c1d

  Copy full SHA for aad1c1d