List view

Handle user-defined inlining annotations in concrete syntax

Status: Open.

#72 In CakeML/pure;

· hrutvik opened on Feb 9, 2024

Extend PureLang <code>cexp</code> with annotations

Status: Open.

#73 In CakeML/pure;

· hrutvik opened on Feb 9, 2024

Handle loop unrolling in inlining relation

Status: Open.

#74 In CakeML/pure;

· hrutvik opened on Feb 9, 2024

Augment inliner to make use of annotations

Status: Open.

#75 In CakeML/pure;

· hrutvik opened on Feb 9, 2024