Skip to content
Snippets Groups Projects
Commit 1963ca35 authored by Frederik Hennig's avatar Frederik Hennig
Browse files

Finalize array modelling

 - Introduce printing for subscripts and nd array literals
 - Fix subscript usages throughout the system
 - Fix constness checking for arrays in invariants hoisting
 - As an aside, disallow const struct members
parent 3eed3199
No related branches found
No related tags found
1 merge request!420Revised Array Modelling & Memory Model
Pipeline #69598 passed
Showing
with 144 additions and 70 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment