Local mangrove work to share with people at UMD
This directory contains creduce experiment files and results.
- sut-x directories contain scripts and source files for subject under test; x
- additional directory contain sample AST file and all passes that creduce employs.
- sample_creduce_execution.mov is for demostration puposes; one can see progress of creduce