Search results

Bug: Pretty printer fails on subtree

Status: Open.

#41 In epfl-lara/StainlessFit;

· Sporarum opened on May 6, 2020

Bug?: pretty printer not formatted on either match

Status: Open.

#40 In epfl-lara/StainlessFit;

· Sporarum opened on Apr 28, 2020

Renamed executable throws error on windows

Status: Open.

#38 In epfl-lara/StainlessFit;

· Sporarum opened on Mar 1, 2020

Implement parsing for matching on natural numbers

Status: Open.

#33 In epfl-lara/StainlessFit;

· jad-hamza opened on Feb 14, 2020

Add a deterministic dispatch rule for efficiency

Status: Open.

#32 In epfl-lara/StainlessFit;

· jad-hamza opened on Feb 13, 2020

Add a caching option at the level of Goal's

Status: Open.

#30 In epfl-lara/StainlessFit;

· jad-hamza opened on Feb 11, 2020

Add support for type-checking diverging terms

Status: Open.

#26 In epfl-lara/StainlessFit;

· jad-hamza opened on Feb 5, 2020

Positions in trees

Status: Open.

#23 In epfl-lara/StainlessFit;

· jad-hamza opened on Jan 31, 2020

Have more robust includes, and allow multiple arguments for the command-line

Status: Open.

#21 In epfl-lara/StainlessFit;

· jad-hamza opened on Jan 31, 2020

Have only simple tokens in the lexer

Status: Open.

#20 In epfl-lara/StainlessFit;

· jad-hamza opened on Jan 31, 2020

Implement support for mutual recursion

Status: Open.

#19 In epfl-lara/StainlessFit;

· jad-hamza opened on Jan 31, 2020

Add inference for missing type arguments and missing ghost arguments

Status: Open.

#18 In epfl-lara/StainlessFit;

· jad-hamza opened on Jan 29, 2020