Michael Sloan 124c8318a4 Provide SCIP external_symbols + fix symbols provided with Document
Before this change `SymbolInformation` provided by a document was the
info for all encountered symbols that have not yet been emitted. So,
the symbol information on a `Document` was a mishmash of symbols
defined in the documents, symbols from other documents, and external
symbols.

After this change, the `SymbolInformation` on documents is just the
locals and defined symbols from the document.  All symbols referenced
and not from emitted documents are included in `external_symbols`.
2024-12-26 01:28:37 -07:00
..
2024-12-09 11:42:51 +01:00
2024-12-25 21:51:58 -07:00
2024-12-23 11:27:07 +02:00
2024-12-25 21:51:58 -07:00
2024-12-25 21:51:58 -07:00
2024-12-25 21:51:58 -07:00
2024-12-24 10:37:24 +01:00