Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Mar 29, 2026

• Release 0.0.18

  rcosta358

  committed
  432ac5f

  Copy full SHA for 432ac5f

Commits on Mar 28, 2026

• Fix Wildcard Import Annotation Resolution (#192)

  rcosta358

  authored
  0836fc5

  Copy full SHA for 0836fc5

• Preserve State in State Refinements without Postcondition (#191)

  rcosta358

  authored
  313cfc3

  Copy full SHA for 313cfc3

• Instance Variable Superscript Notation (#189)

  rcosta358

  authored
  833c7d3

  Copy full SHA for 833c7d3

• Simplify Implied Weaker Conjuncts (#188)

  rcosta358

  authored
  41d3de4

  Copy full SHA for 41d3de4

• Fix Diagnostic Positions (#185)

  rcosta358

  authored
  ec170de

  Copy full SHA for ec170de

• Expand Aliases (#184)

  rcosta358

  authored
  2eb9510

  Copy full SHA for 2eb9510

• Simplify If Expressions (#183)

  rcosta358

  authored
  9e339f2

  Copy full SHA for 9e339f2

• Simplify Conjunctions (#182)

  rcosta358

  authored
  a2f5975

  Copy full SHA for a2f5975

• Internal Variable Substitution (#181)

  rcosta358

  authored
  7f0e0af

  Copy full SHA for 7f0e0af

• Misleading Expansions (#180)

  rcosta358

  authored
  1272e50

  Copy full SHA for 1272e50

• Expression Oversimplification (#179)

  rcosta358

  authored
  6963a61

  Copy full SHA for 6963a61

• Fix Self-Referential Assignments (#178)

  rcosta358

  authored
  ed68be2

  Copy full SHA for ed68be2

Commits on Mar 14, 2026

• Context History Improvements (#159)

  rcosta358

  authored
  f8d3f3e

  Copy full SHA for f8d3f3e

• Improve Counterexamples (#169)

  rcosta358

  authored
  1d79229

  Copy full SHA for 1d79229

Commits on Mar 10, 2026

• Logic for method overload with different types (#172)

  Show description for 848eeb5
  

  3 peopleauthored
  848eeb5

  Copy full SHA for 848eeb5

Commits on Mar 5, 2026

• Refactor Refinements Parser (#167)

  rcosta358

  authored
  5430ba1

  Copy full SHA for 5430ba1

• Improve Syntax Errors (#166)

  rcosta358

  authored
  62cf349

  Copy full SHA for 62cf349

Commits on Feb 23, 2026

• Minor Change (#157)

  rcosta358

  authored
  8e84dc2

  Copy full SHA for 8e84dc2

• Include subpackage checking (#156)

  CatarinaGamboa

  authored
  adfed42

  Copy full SHA for adfed42

• Context History Tracking (#155)

  rcosta358

  authored
  9eb34e5

  Copy full SHA for 9eb34e5

• Add Support for Char Literals (#153)

  rcosta358

  authored
  1bd08b4

  Copy full SHA for 1bd08b4

• Fix Tabs for Diagnostic Marks (#151)

  rcosta358

  authored
  14cc5eb

  Copy full SHA for 14cc5eb

• Fix NullPointerException in `MethodsFunctionsChecker` (#150)

  rcosta358

  authored
  70ccc2f

  Copy full SHA for 70ccc2f

• Add Counterexamples to Refinement Errors (#146)

  rcosta358

  authored
  86db776

  Copy full SHA for 86db776

Commits on Feb 13, 2026

• Add Boxed Types Support (#149)

  rcosta358

  authored
  3fefa2f

  Copy full SHA for 3fefa2f

Commits on Feb 11, 2026

• Add Ghost Dot Syntax (#142)

  rcosta358

  authored
  3562af1

  Copy full SHA for 3562af1

• Fix Annotation Position Lookup (#141)

  rcosta358

  authored
  e7933ea

  Copy full SHA for e7933ea

• AST Simplified `toString` (#148)

  rcosta358

  authored
  f3e86b3

  Copy full SHA for f3e86b3

• Custom Messages Fix (#147)

  rcosta358

  authored
  a49b948

  Copy full SHA for a49b948

Commits on Feb 9, 2026

• Add Custom Error Messages (#140)

  rcosta358

  authored
  62a28a3

  Copy full SHA for 62a28a3

Commits on Jan 30, 2026

• Add support for Long operations inside predicates (#139)

  Show description for 1b290cb
  CatarinaGamboa

  authored
  1b290cb

  Copy full SHA for 1b290cb

Commits on Jan 23, 2026

• Minor Fixes

  rcosta358

  committed
  033fcb4

  Copy full SHA for 033fcb4

Commits on Dec 10, 2025

• Simplification Fixes (#125)

  rcosta358

  authored
  8685353

  Copy full SHA for 8685353

Commits on Dec 4, 2025

• Use Annotation Position in `ExternalClassNotFoundWarning` (#130)

  rcosta358

  authored
  6e9d4fe

  Copy full SHA for 6e9d4fe