Skip to content

Documentation updates

Dorothea Vom Bruch requested to merge dovombru_documentation_updates into master

Updates the "Run Allen" section for standalone running to include the toolchain wrapper

Updates the section descriping MDF dumping for Allen standalone checkers, to reflect changes introduced in Moore!1771 (merged)

Goes with Moore!1771 (merged)

Edited by Dorothea Vom Bruch

Merge request reports