Benchmarks programs used in the Cephalopode project.
See paper.pdf for the paper.
C/fixed and C/arb contains the fixed-precision and arbitrary precision C-code, respectively. Along with a C compiler, you also need VossII (fl) installed.
mhs_x64/[fixed|arb] contains the corresponding Haskell code. Use make fixed to build the fixed files.
You need MicroHs (mhs) installed to compile the benchmarks.