Commits

Commit history

1. Commits on Jun 13, 2026

   • less changes in utils

     CatarinaGamboa

     committed
     e593f79View commit details

     Copy full SHA for e593f79

     View code at this pointBrowse repository at this point

   • Flag all shows both context and the debug info

     CatarinaGamboa

     committed
     baefe3dView commit details

     Copy full SHA for baefe3d

     View code at this pointBrowse repository at this point

   • Change flag to dump context info

     CatarinaGamboa

     committed
     a684f45View commit details

     Copy full SHA for a684f45

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

   • Add VC Substitution Simplification (#249)

     rcosta358

     authored
     d33af55View commit details

     Copy full SHA for d33af55

     View code at this pointBrowse repository at this point
3. Commits on Jun 9, 2026

   • Add SimplifiedPredicate (#246)

     rcosta358

     authored
     f2ee10dView commit details

     Copy full SHA for f2ee10d

     View code at this pointBrowse repository at this point

   • Refactor code in method checker (#247)

     Show description for c05f3fd
     CatarinaGamboa

     authored
     c05f3fdView commit details

     Copy full SHA for c05f3fd

     View code at this pointBrowse repository at this point

   • Fix VCImplication Ordering (#245)

     rcosta358

     authored
     026a409View commit details

     Copy full SHA for 026a409

     View code at this pointBrowse repository at this point
4. Commits on Jun 8, 2026

   • Allow interfaces to be also annotated with external refinements (#244)

     Show description for 9b3276e
     CatarinaGamboa

     authored
     9b3276eView commit details

     Copy full SHA for 9b3276e

     View code at this pointBrowse repository at this point
5. 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
6. 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
7. 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
8. 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
9. 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
10. 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
11. 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
12. 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
13. 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
14. 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
15. 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
16. 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
17. 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