mangroveL

Local mangrove work to share with people at UMD

Creduce Experiments

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