Search results

Failing test cases for tactics

Status: Open.

#78 In mit-pdos/perennial;

· upamanyus opened on Jul 18, 2024

Check print assumptions in CI

Status: Open.

#70 In mit-pdos/perennial;

· upamanyus opened on Jun 21, 2024

Incorrect semantics for empty slice

Status: Open.

#53 In mit-pdos/perennial;

· sanjit-bhat opened on Aug 22, 2023

Speed up compilation

Status: Open.

#19 In mit-pdos/perennial;

· tchajed opened on Sep 8, 2020

Develop an asynchronous inode resource to reason about buffered state

Status: Open.

#17 In mit-pdos/perennial;

· tchajed opened on Aug 26, 2020

Implement an asynchronous disk FFI and corresponding resources

Status: Open.

#13 In mit-pdos/perennial;

· tchajed opened on Jul 14, 2020

Make sure allocation theorems actually apply after [simpl]

Status: Open.

#11 In mit-pdos/perennial;

· tchajed opened on Jul 14, 2020

Write a new typed slice library with a clean abstraction

Status: Open.

#10 In mit-pdos/perennial;

· tchajed opened on Jul 14, 2020