This directory contains benchmark programs that we use to measure the performance of the generated CakeML programs.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
This directory contains benchmark programs that we use to measure the performance of the generated CakeML programs.