Skip to content

Latest commit

 

History

History
 
 

benchmarks

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
 
 

Two benchmark suites for the CakeML compiler.

cakeml_benchmarks: This directory contains benchmark programs that we use to measure the performance of the generated CakeML programs.

mlton_benchmarks: This directory contains benchmark programs from the MLton benchmark suite.