All issues

Search results

Automatically deduce type invariants across case splits

enhancementNew feature or requestNew feature or request

Status: Open.

#15In secure-foundations/owl;

· gancherj opened on Jan 3, 2024

Cyclic type definitions with forward declarations

low-priority

Status: Open.

#4In secure-foundations/owl;

· gancherj opened on Mar 29, 2023

Emit typechecker hints from functions

mid-priority

Status: Open.

#3In secure-foundations/owl;

· gancherj opened on Mar 29, 2023

Simplifying control flow operators

Status: Open.

#2In secure-foundations/owl;

· gancherj opened on Mar 29, 2023