6 Commits

Author	SHA1	Message	Date
Michael Gottesman	56aa981099	[sil][docs] Add documentation about sil_implicit_leading_param.	2025-05-23 10:25:54 -07:00
Erik Eckstein	96e7e30927	docs: add a section about formal vs lowered types in the SIL documentation	2025-03-19 16:18:11 +01:00
Alex Martini	633f101e0a	Fix double 'the the' in various places	2025-02-14 17:27:51 -08:00
Erik Eckstein	6907e26dd8	docs: fix two typos in SIL.md	2025-01-17 20:08:11 +01:00
Erik Eckstein	1753c81ce3	docs: add a section about borrow scopes in SIL.md	2025-01-02 17:12:42 +01:00
Erik Eckstein	2a335502c8	docs: Overhaul the documentation for SIL ... With a focus on updating the documentation of Ownership SSA. The main changes are: * Created a new directory `docs/SIL` and moved all SIL-related files into this directory. * Converted `rst` files to markdown. * Extracted sections from `SIL.md` which go into very much detail - including the instruction reference - into separate files: `Types.md`, `Ownership.md`, `FunctionAttributes.md`, `Instructions.md`. Those files are referenced from `SIL.md` at the relevant places. * Rewrote and updated the OSSA part in `SIL.md` * Removed a few sections, which are not relevant anymore, like "Value dependency" (which is replaced by ownership concepts). * Fixed and improved a lot of small things.	2024-11-21 08:50:20 +01:00