Skip to content

Milestones

List view

  • Full Floating-Point support

    This milestone collects all the different issues that must be resolved to have full floating-point support in CakeML

    No due date
    •5/5 issues closed
    100% complete0 open5 closed

  • Version 2.1

    Due by February 1, 2019
    •15/15 issues closed
    100% complete0 open15 closed

  • benchmarking infrastructure and suite

    Tools for running benchmarks on the new compiler function in logic, and a collection of benchmark programs. (And the results.)

    Due by November 30, 2015
    •4/4 issues closed
    100% complete0 open4 closed

  • standalone semantics and compiler function

    Top-level semantics for CakeML whole programs, including the FFI. semantics/standaloneTheory is one part of this. Also, a top-level implementation of the CakeML compiler (as a function in logic). Analogous to repl_funTheory for the old version of the compiler. This will be source_to_target plus some wrapper that also includes the parser and type inferencer.

    Due by September 27, 2015
    •4/4 issues closed
    100% complete0 open4 closed