Repository navigation

feature / #77 show warnings for included header files along with source files - #84

Merged

davidramnero merged 3 commits into

mainfrom

feature/-#77-show-errors-for-other-files

Jun 24, 2026

Merged

feature / #77 show warnings for included header files along with source files#84
davidramnero merged 3 commits into
mainfrom
feature/-#77-show-errors-for-other-files

Commits on Jun 23, 2026
- feature / #77 show warnings for included header files along with source files
  davidramnero
  committed
  0f58452
- keep track of header errors generated from source file to decide when to clear them from diagnostics
  davidramnero
  committed
  6dceff4
Commits on Jun 24, 2026
- fixed cases where diagnostics were cleared when it should not have been
  davidramnero
  committed
  5cd3e8a