Skip to content

Milestones

List view

  • Stage5

    Performance and scaling evaluation.

    Overdue by 6 month(s)
    •
    Due by March 31, 2025
    •0/1 issues closed
    0% complete1 open0 closed

  • SW_Stage4

    Matrix-related optimizations in input language to interaction nets translator. Respective interaction nets nodes types and reduction rules.

    Overdue by 8 month(s)
    •
    Due by February 17, 2025
    •0/2 issues closed
    0% complete2 open0 closed

  • SW_Stage2

    Subset (enriched lambda calculus) of input language to lambda calculus translator.

    Overdue by 11 month(s)
    •
    Due by October 31, 2024
    •1/2 issues closed
    50% complete1 open1 closed

  • HW_Stage4

    Multi core processor

    Overdue by 8 month(s)
    •
    Due by February 17, 2025
    •0/1 issues closed
    0% complete1 open0 closed

  • HW_Stage2

    Core can be parametrized with nodes types and reduction rules

    Overdue by 11 month(s)
    •
    Due by October 31, 2024
    •1/2 issues closed
    50% complete1 open1 closed

  • Stage3

    Lambda calculus prototype: program in input language -> (enriched) lambda calculus -> interaction net -> eval on IN_CPU

    Overdue by 10 month(s)
    •
    Due by November 30, 2024
    •0/3 issues closed
    0% complete3 open0 closed

  • SW_Stage1

    First prototype of input language: syntax, AST, type checker.

    Overdue by 1 year(s)
    •
    Due by September 30, 2024
    •3/3 issues closed
    100% complete0 open3 closed

  • HW_Stage1

    Minimal prototype of core: able to reduce manually created net using predefined nodes types and predefined reduction rules.

    Overdue by 1 year(s)
    •
    Due by September 30, 2024
    •3/3 issues closed
    100% complete0 open3 closed