Repository navigation

Refactor Diagnostics - #119

Merged

rcosta358 merged 16 commits into

mainfrom

refactor-diagnostics

Nov 14, 2025

Merged

Refactor Diagnostics#119
rcosta358 merged 16 commits into
mainfrom
refactor-diagnostics

Commits on Nov 13, 2025
- Refactor LJDiagnostics
  rcosta358
  committed
  a6724bf
- Modify Errors to Use TranslationTable
  rcosta358
  committed
  47d51c5
- Add Diagnostic Examples for Testing
  rcosta358
  committed
  60151ae
- Refactor Diagnostics & Add Colors
  rcosta358
  committed
  cf7ce7e
- Implement `equals` and `hashCode` for Diagnostics
  rcosta358
  committed
  5244fa0
- Prevent Duplicate Diagnostics
  rcosta358
  committed
  2e3508a
- Add Boolean Literal Simplification to Conjunction & Disjunction
  rcosta358
  committed
  17c1d65
- Refactor Errors to Use Expression Instead of Predicate
  rcosta358
  committed
  d5e29a1
- Exclude Qualified Names in Error Messages
  rcosta358
  committed
  c36eb0a
- Minor Change
  rcosta358
  committed
  55da74e
- Error Improvements
  rcosta358
  committed
  f8e3241
- Rename `LJDiagnostics` to `Diagnostics`
  rcosta358
  committed
  ba23ac7
- Remove Redundant Error Check & Fix Typos
  rcosta358
  committed
  e64d5b7
- Use Annotation Position in Syntax Errors
  rcosta358
  committed
  6a713e2
- Refactor SMT Errors
  rcosta358
  committed
  cba676e
- Fix Comment
  rcosta358
  committed
  1d23c4d