Search results

Augment inliner to make use of annotations

Status: Open.

#75 In CakeML/pure;

· hrutvik opened on Feb 9, 2024

 ·  

Inlining extensions

Handle loop unrolling in inlining relation

Status: Open.

#74 In CakeML/pure;

· hrutvik opened on Feb 9, 2024

 ·  

Inlining extensions

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

Status: Open.

#73 In CakeML/pure;

· hrutvik opened on Feb 9, 2024

 ·  

Inlining extensions

Handle user-defined inlining annotations in concrete syntax

Status: Open.

#72 In CakeML/pure;

· hrutvik opened on Feb 9, 2024

 ·  

Inlining extensions

Unverified binary generation

enhancementNew feature or requestNew feature or request

Status: Open.

#70 In CakeML/pure;

· hrutvik opened on Oct 12, 2023

Top-level proofs for TypeClassLang

Status: Open.

#65 In CakeML/pure;

· hrutvik opened on Sep 26, 2023

 ·  

Type classes

Compilation of TypeClassLang

Status: Open.

#64 In CakeML/pure;

· hrutvik opened on Sep 26, 2023

 ·  

Type classes

Type inference for TypeClassLang

Status: Open.

#63 In CakeML/pure;

· hrutvik opened on Sep 26, 2023

 ·  

Type classes

Semantics for TypeClassLang

Status: Open.

#62 In CakeML/pure;

· hrutvik opened on Sep 26, 2023

 ·  

Type classes

Typing rules for TypeClassLang

Status: Open.

#61 In CakeML/pure;

· hrutvik opened on Sep 26, 2023

 ·  

Type classes

Parsing for TypeClassLang

Status: Open.

#60 In CakeML/pure;

· hrutvik opened on Sep 26, 2023

 ·  

Type classes

Designing TypeClassLang

Status: Open.

#59 In CakeML/pure;

· hrutvik opened on Sep 26, 2023

 ·  

Type classes