Search results

Safe Memory Allocation

Status: Open.

#114 In Whiley/RFCs;

· DavePearce opened on Sep 11, 2022

Type Switch Operator

Status: Open.

#113 In Whiley/RFCs;

· DavePearce opened on Aug 10, 2022

Revised SyntacticHeap Specification

Status: Open.

#109 In Whiley/RFCs;

· DavePearce opened on Apr 14, 2022

Verifying Reentrant Computation

Status: Open.

#108 In Whiley/RFCs;

· DavePearce opened on Mar 17, 2022

Distinguish Constants from Static Variables

Status: Open.

#107 In Whiley/RFCs;

· DavePearce opened on Jan 18, 2022

Loop Invariant Summaries

Status: Open.

#105 In Whiley/RFCs;

· DavePearce opened on Dec 14, 2021

Reference Lifetimes

Status: Open.

#104 In Whiley/RFCs;

· DavePearce opened on Dec 1, 2021

Lambda Types Addendum

Status: Open.

#103 In Whiley/RFCs;

· DavePearce opened on Dec 1, 2021

Runtime Assertion Checking for Old Expressions

Status: Open.

#101 In Whiley/RFCs;

· DavePearce opened on Oct 11, 2021

Statically Sized Types Addendum

Status: Open.

#100 In Whiley/RFCs;

· DavePearce opened on Oct 7, 2021

Eliminating usize

Status: Open.

#99 In Whiley/RFCs;

· DavePearce opened on Sep 26, 2021

Support for Low Memory

Status: Open.

#98 In Whiley/RFCs;

· DavePearce opened on Aug 24, 2021