Indicated the various regions of verifast.ml using comments containing "Region: ". You can get a "Table of Contents" of verifast.ml in Notepad++ using TextFX Viz, by choosing "Hide lines without (clipboard) text". This hopefully helps people get started with the codebase.
Indicated the various regions of verifast.ml using comments containing "Region: ". You can get a "Table of Contents" of verifast.ml in Notepad++ using TextFX Viz, by choosing "Hide lines without (clipboard) text". This hopefully helps people get started with the codebase.

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast