Repository navigation

Context History Improvements - #159

Merged

rcosta358 merged 31 commits into

mainfrom

context-history-improvements

Mar 14, 2026

Merged

Context History Improvements#159
rcosta358 merged 31 commits into
mainfrom
context-history-improvements

Commits on Feb 26, 2026
- Save Context History
  rcosta358
  committed
  fcaa941
- Save Context Vars by File and Scope
  rcosta358
  committed
  a532c05
- Fix NPE
  rcosta358
  committed
  07a4c63
- Save Ghosts By File
  rcosta358
  committed
  dd127c6
- Use Annotation Position & Mark Parameters
  rcosta358
  committed
  eff7067
- Fix
  rcosta358
  committed
  8ee09ea
- Rename `fileScopeVars`
  rcosta358
  committed
  e74d105
Commits on Feb 28, 2026
- Store Refined Variable Annotation Position
  rcosta358
  committed
  642ba0e
- Formatting
  rcosta358
  committed
  0f6d354
- Renaming
  rcosta358
  committed
  eb535e7
Commits on Mar 5, 2026
- Merge branch 'main' into context-history-improvements
  rcosta358
  authored
  152ec18
- Fix Merge
  rcosta358
  committed
  ea38850
- Release
  rcosta358
  committed
  dd62da8
Commits on Mar 7, 2026
- Fix Scope Position
  rcosta358
  committed
  73b79ac
- Remove Error Position
  rcosta358
  committed
  d05f418
Commits on Mar 9, 2026
- Add File to GhostState
  rcosta358
  committed
  4f0272b
- Add Variable Instance Regardless of Matching State
  rcosta358
  committed
  1d7b0c6
- Minor Change
  rcosta358
  committed
  964aca2
- Substitute `this` in `expectedStatesDisjunction`
  rcosta358
  committed
  3238fc1
- Remove Unused Imports
  rcosta358
  committed
  816df6b
- Save Scopes by File
  rcosta358
  committed
  6b0574c
Commits on Mar 11, 2026
- Fix NullPointerException
  rcosta358
  committed
  758e963
- Substitute New Instance Name In Found State
  rcosta358
  committed
  5f5c148
- Fix Scope Positions
  rcosta358
  committed
  0294c7d
- Remove Unused Imports
  rcosta358
  committed
  da035a8
Commits on Mar 12, 2026
- Move Annotation Position from `RefinedVariable` to `PlacementInCode`
  rcosta358
  committed
  9ffe9d9
Commits on Mar 13, 2026
- Revert Previous Changes to `AuxStateHandler`
  rcosta358
  committed
  8ce21e1
- Formatting
  rcosta358
  committed
  997375b
Commits on Mar 14, 2026
- Merge branch 'main' into context-history-improvements
  rcosta358
  committed
  7c79281
- Fix Merge
  rcosta358
  committed
  158b74d
- Release
  rcosta358
  committed
  306b668

Commits

Commits on Feb 26, 2026

Commits on Feb 28, 2026

Commits on Mar 5, 2026

Commits on Mar 7, 2026

Commits on Mar 9, 2026

Commits on Mar 11, 2026

Commits on Mar 12, 2026

Commits on Mar 13, 2026

Commits on Mar 14, 2026