aboutsummaryrefslogtreecommitdiff
path: root/architecture
diff options
context:
space:
mode:
authorHolden Rohrer <hr@hrhr.dev>2020-07-16 12:40:56 -0400
committerHolden Rohrer <hr@hrhr.dev>2020-07-16 12:41:55 -0400
commit5cc071b82b8916a9c6fc213599a3714612b5cfcb (patch)
tree15a6c723039d8055ad4a0c489a6e0c2531800e34 /architecture
parentdb24fbe16e0f73f9278f4ec090be756c9704dee1 (diff)
improved space correctness
Subsections have valid locs, and built-in assumptions are asserted like a valid loc in a towrite() or the structure of a subsection() call
Diffstat (limited to 'architecture')
0 files changed, 0 insertions, 0 deletions