Search results

Chamelean synthesizes slow generator for well-typed STLC terms.

Status: Open.

#50 In ngernest/chamelean;

· dsainati1 opened on Oct 28, 2025

Support inductive relations with type parameters

Status: Open.

#48 In ngernest/chamelean;

· ngernest opened on Aug 15, 2025

Enumerate Possible Generator Schedules Lazily (use Lazy Lists)

Status: Open.

#47 In ngernest/chamelean;

· ngernest opened on Aug 15, 2025

Sort <code>ArbitrarySuchThat</code> Instance Dependencies in Topological Order When Deriving Generators

Status: Open.

#46 In ngernest/chamelean;

· ngernest opened on Aug 15, 2025

Rewrite Chamelean front-end as a Term Elaborator instead of a Command Elaborator

Status: Open.

#45 In ngernest/chamelean;

· ngernest opened on Aug 15, 2025

Support inductive relations where <code>Nat</code> literals appear in the type of constructors

Status: Open.

#41 In ngernest/chamelean;

· ngernest opened on Aug 13, 2025

Constrained Enumerators trigger stack overflow when too much fuel is provided

Status: Open.

#40 In ngernest/chamelean;

· ngernest opened on Aug 13, 2025