Cache invariants, color PASS/FAIL/[assumed], & syntax definitions#64

Open

maxvonhippel wants to merge 9 commits intokenmcmil:masterfrom maxvonhippel:cache-proofs

+265-21

Commits on Jun 22, 2022

Added syntax highlighting
maxvonhippel
committed

Commits on Jun 23, 2022

Added file locking per Ken's suggestion, untested.
maxvonhippel
committed
Tested locking, seems to work, also got rid of annoying log statement
maxvonhippel
committed