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
54b9351
Fix premature finishing of trace genRing causing assertion failures in deep checking.
rptb1
committed
0142213
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
0d56581
Adding GitHub CI configuration to test MPS with deep checking.
rptb1
committed
a8e2fc4
Put the root walk trace into state FLIPPED when we add it to the flipped traces, fixing an assertion in deep checking.
rptb1
committed
b4f52cb
Making the lifecycle of a roots walk trace consistent with a normal trace.
rptb1
committed
223ab07
Disabling assertions about trace generations that are false for walks and transforms.
rptb1
committed
8a01218

Commits on Mar 31, 2023

Commits on Apr 4, 2023