Commits

Breadcrumbs

History for

ondebug-flag

User selector

All users

All time

Commit History

Commits on Mar 30, 2026

• FIxed offset and wrong bool exp for null

  cheestree

  committed
  aafcd38

  Copy full SHA for aafcd38

• Fixed a comparison with null and boolean

  cheestree

  committed
  b95d8c2

  Copy full SHA for b95d8c2

• Apply suggestion from @rcosta358

  Show description for c0c9f7f
  

  cheestree

  and

  rcosta358

  authored
  c0c9f7f

  Copy full SHA for c0c9f7f

• Merge branch 'main' into debug-flag

  cheestree

  authored
  4d5cc0c

  Copy full SHA for 4d5cc0c

• Added util to show code snippet, moved debug print

  Show description for a210f95
  cheestree

  committed
  a210f95

  Copy full SHA for a210f95

• Improve test suite (#177)

  cheestree

  authored
  c68a166

  Copy full SHA for c68a166

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 19, 2026

• Update SMTEvaluator

  Show description for 6f0107d
  

  cheestree

  and

  rcosta358

  authored
  6f0107d

  Copy full SHA for 6f0107d

• Removed unused code in Diagnostics

  cheestree

  committed
  e09836c

  Copy full SHA for e09836c

• Split args into a separate file

  Show description for 2f620af
  cheestree

  committed
  2f620af

  Copy full SHA for 2f620af

• Modified CLI

  Show description for d9c0b9a
  cheestree

  committed
  d9c0b9a

  Copy full SHA for d9c0b9a

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