Refactor Field Modelling
- Oct 28, 2024
-
-
Frederik Hennig authored
-
- Oct 23, 2024
-
-
Frederik Hennig authored
-
Frederik Hennig authored
-
Frederik Hennig authored
-
- Oct 22, 2024
-
-
Frederik Hennig authored
- Add another canonicalize pass after lowering - Fix typification of array decl RHS - Fix: LowerToC did not descend into PsBufferAcc index args
-
Frederik Hennig authored
-
Frederik Hennig authored
-
Frederik Hennig authored
-
Frederik Hennig authored9a5eb9e1
-
Frederik Hennig authored51e38626
-
Frederik Hennig authored
-
Frederik Hennig authored
- Make freeze emit `PsBufferAcc`s - Typify `PsBufferAcc`s - Implement `LowerToC` - Subsume `EraseAnonStructs` into `LowerToC`
e4855850 -
Frederik Hennig authored3fc7d305
-
- Oct 21, 2024
-
-
Frederik Hennig authored
-
Frederik Hennig authored
- Remove subclasses of PsSymbol - Introduce symbol properties to attach information to symbols - Refactor `PsLinearizedArray` into `PsBuffer` - Introduce new `memory` submodule, move `PsSymbol`, `PsBuffer` and associated machinery there - Refactor PsBuffer constructor to always take indexing and pointer symbols from the outside - Update `KernelCreationContext` to create field buffers according to new API - Add tests for symbol properties; extend buffer creation tests
-