Fixing deep checking and shield checking#209

Draft

rptb1 wants to merge 15 commits into

branch/2023-03-30/fix-deep-check

Commits on Mar 30, 2023

Break indefinite recursion in deep checking via AVERT on arena in ChunkOfAddr.
rptb1
committed
Fix premature finishing of trace genRing causing assertion failures in deep checking.
rptb1
committed
Correcting false assertion about shield queue length and enforcing exact check by better accounting. Fixes job004026 <https://www.ravenbrook.com/project/mps/issue/?action=job&job=job004026>. Miti…
rptb1
committed
Adding GitHub CI configuration to test MPS with deep checking.
rptb1
committed
Put the root walk trace into state FLIPPED when we add it to the flipped traces, fixing an assertion in deep checking.
rptb1
committed
Making the lifecycle of a roots walk trace consistent with a normal trace.
rptb1
committed
Disabling assertions about trace generations that are false for walks and transforms.
rptb1
committed

Commits on Mar 31, 2023

Commits on Apr 4, 2023