Commits

Commit history

1. Commits on Jun 9, 2026

   • refactor code in methodchecker

     CatarinaGamboa

     committed
     cab0b30View commit details

     Copy full SHA for cab0b30

     View code at this pointBrowse repository at this point
2. Commits on Jun 1, 2026

   • Add Element Context to Exceptions (#237)

     rcosta358

     authored
     abaa461View commit details

     Copy full SHA for abaa461

     View code at this pointBrowse repository at this point

   • Implicit Constructor Refinements (#236)

     rcosta358

     authored
     31caa2cView commit details

     Copy full SHA for 31caa2c

     View code at this pointBrowse repository at this point
3. Commits on May 28, 2026

   • Refer return values in StateRefinements (#233)

     Show description for c151570
     

     CatarinaGamboa

     and

     rcosta358

     authored
     c151570View commit details

     Copy full SHA for c151570

     View code at this pointBrowse repository at this point
4. Commits on May 22, 2026

   • `StateRefinementError` was now shows all needed variables (#232)

     Show description for 58349fa
     CatarinaGamboa

     authored
     58349faView commit details

     Copy full SHA for 58349fa

     View code at this pointBrowse repository at this point
5. Commits on May 19, 2026

   • Add debug info for each simplification pass (#230)

     Show description for 8805dab
     

     CatarinaGamboa

     and

     rcosta358

     authored
     8805dabView commit details

     Copy full SHA for 8805dab

     View code at this pointBrowse repository at this point
6. Commits on May 18, 2026

   • Store Derivation Nodes in State Refinement Errors (#229)

     rcosta358

     authored
     17e9619View commit details

     Copy full SHA for 17e9619

     View code at this pointBrowse repository at this point

   • Save Refined Function Placement (#227)

     rcosta358

     authored
     e411abeView commit details

     Copy full SHA for e411abe

     View code at this pointBrowse repository at this point

   • Fix Usage Detection for Repeated Equalities (#226)

     rcosta358

     authored
     10b067fView commit details

     Copy full SHA for 10b067f

     View code at this pointBrowse repository at this point

   • Fix External Method Not Found (#228)

     rcosta358

     authored
     1d0a755View commit details

     Copy full SHA for 1d0a755

     View code at this pointBrowse repository at this point
7. Commits on May 16, 2026

   • VarDerivationNode Formatting

     rcosta358

     committed
     a52518dView commit details

     Copy full SHA for a52518d

     View code at this pointBrowse repository at this point
8. Commits on May 14, 2026

   • Improve Debug Logs (#224)

     rcosta358

     authored
     886c172View commit details

     Copy full SHA for 886c172

     View code at this pointBrowse repository at this point

   • Add LSP Flag (#225)

     rcosta358

     authored
     d977679View commit details

     Copy full SHA for d977679

     View code at this pointBrowse repository at this point
9. Commits on May 13, 2026

   • Simplify Enums & Static Final Fields (#222)

     rcosta358

     authored
     6d1f086View commit details

     Copy full SHA for 6d1f086

     View code at this pointBrowse repository at this point

   • Add hint for implies (using --> and not ->) (#221)

     Show description for 275e9b7
     CatarinaGamboa

     authored
     275e9b7View commit details

     Copy full SHA for 275e9b7

     View code at this pointBrowse repository at this point

   • Propagate Function Invocations (#216)

     rcosta358

     authored
     d22612bView commit details

     Copy full SHA for d22612b

     View code at this pointBrowse repository at this point
10. Commits on May 11, 2026

    • Fix Expression Formatter (#217)

      rcosta358

      authored
      9f1c367View commit details

      Copy full SHA for 9f1c367

      View code at this pointBrowse repository at this point

    • Operator Assignment Support (#214)

      rcosta358

      authored
      b98a110View commit details

      Copy full SHA for b98a110

      View code at this pointBrowse repository at this point

    • Add Methods to Context History (#218)

      rcosta358

      authored
      cbfcc38View commit details

      Copy full SHA for cbfcc38

      View code at this pointBrowse repository at this point

    • Propagate Expressions (#215)

      rcosta358

      authored
      0de6d8fView commit details

      Copy full SHA for 0de6d8f

      View code at this pointBrowse repository at this point
11. Commits on May 8, 2026

    • Return implies state (#212)

      Show description for 25cba58
      CatarinaGamboa

      authored
      25cba58View commit details

      Copy full SHA for 25cba58

      View code at this pointBrowse repository at this point

    • Fix if condition with no refinement (#210)

      Show description for cd523df
      CatarinaGamboa

      authored
      cd523dfView commit details

      Copy full SHA for cd523df

      View code at this pointBrowse repository at this point
12. Commits on May 6, 2026

    • Support for class Constants (#207)

      Show description for 46f6922
      

      3 peopleauthored
      46f6922View commit details

      Copy full SHA for 46f6922

      View code at this pointBrowse repository at this point
13. Commits on May 5, 2026

    • Provide more debug information (#208)

      Show description for fbc69c3
      CatarinaGamboa

      authored
      fbc69c3View commit details

      Copy full SHA for fbc69c3

      View code at this pointBrowse repository at this point

    • Fix Operator Precedence (#209)

      rcosta358

      authored
      0240947View commit details

      Copy full SHA for 0240947

      View code at this pointBrowse repository at this point

    • Make Counterexample Filtering Order Insensitive (#204)

      rcosta358

      authored
      48bf708View commit details

      Copy full SHA for 48bf708

      View code at this pointBrowse repository at this point

    • Unsatisfiable Refinement Warning (#202)

      rcosta358

      authored
      19ebba1View commit details

      Copy full SHA for 19ebba1

      View code at this pointBrowse repository at this point
14. Commits on Apr 11, 2026

    • Refactor Refinement Predicate (#205)

      rcosta358

      authored
      4090430View commit details

      Copy full SHA for 4090430

      View code at this pointBrowse repository at this point

    • Fix Wildcard Imports in External Projects (#203)

      rcosta358

      authored
      09f8679View commit details

      Copy full SHA for 09f8679

      View code at this pointBrowse repository at this point

    • Special Variable Substitution (#201)

      rcosta358

      authored
      eeb2728View commit details

      Copy full SHA for eeb2728

      View code at this pointBrowse repository at this point

    • Fix CI

      rcosta358

      committed
      ac31356View commit details

      Copy full SHA for ac31356

      View code at this pointBrowse repository at this point

    • Expression Pretty Printing (#200)

      rcosta358

      authored
      a43db5fView commit details

      Copy full SHA for a43db5f

      View code at this pointBrowse repository at this point

    • Add Missing `this` Binding + Method Checking Ordering (#190)

      rcosta358

      authored
      958793cView commit details

      Copy full SHA for 958793c

      View code at this pointBrowse repository at this point

    • Added enum types and verification (#168)

      cheestree

      authored
      a3b04c6View commit details

      Copy full SHA for a3b04c6

      View code at this pointBrowse repository at this point
15. Commits on Apr 7, 2026

    • CLI flags (#187)

      cheestree

      authored
      f790481View commit details

      Copy full SHA for f790481

      View code at this pointBrowse repository at this point