Repository navigation

Improve diagnostics deduplication - #58220

Merged

Gabriela Araujo Britto (gabritto) merged 5 commits into

mainfrom

gabritto/issue58207

Apr 26, 2024

Merged

Improve diagnostics deduplication#58220
Gabriela Araujo Britto (gabritto) merged 5 commits into
mainfrom
gabritto/issue58207

Commits on Apr 16, 2024
- add test for duplicate diagnostic
  Gabriela Araujo Britto (gabritto)
  committed
  49a65b1
Commits on Apr 17, 2024
- improve diagnostics deduplication
  Gabriela Araujo Britto (gabritto)
  committed
  165869c
Commits on Apr 19, 2024
- fix comparison; add test; keep deduped and sorted diagnostics upon insertion
  Gabriela Araujo Britto (gabritto)
  committed
  3257850
Commits on Apr 20, 2024
- more comparison fixes, more tests
  Gabriela Araujo Britto (gabritto)
  committed
  35ed28c
Commits on Apr 22, 2024
- rename functions
  Gabriela Araujo Britto (gabritto)
  committed
  ef2eb5c