-
Notifications
You must be signed in to change notification settings - Fork 2
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#911 In jasisz/aver;
- Status: Open.#900 In jasisz/aver;
- Status: Open.#898 In jasisz/aver;
- Status: Open.#890 In jasisz/aver;
- Status: Open.#883 In jasisz/aver;
In a build without networking the REPL refuses an Http call it has just accepted
blocked-on-864Resolved by the capability work rather than fixed on its ownResolved by the capability work rather than fixed on its ownStatus: Open.#882 In jasisz/aver;- Status: Open.#880 In jasisz/aver;
Hostile verification never lets a TCP connection succeed
blocked-on-864Resolved by the capability work rather than fixed on its ownResolved by the capability work rather than fixed on its ownStatus: Open.#879 In jasisz/aver;Hostile verification skips any file whose stubs need a standard-library module the file does not depend on
blocked-on-864Resolved by the capability work rather than fixed on its ownResolved by the capability work rather than fixed on its ownStatus: Open.#877 In jasisz/aver;Design: separate capability contracts from their implementations
enhancementNew feature or requestNew feature or requestStatus: Open.#864 In jasisz/aver;The agent-facing guide only reaches people who read one README line and wire it up by hand
enhancementNew feature or requestNew feature or requestStatus: Open.#863 In jasisz/aver;cert_certify_spec leaks ~119 MB per test when a test panics or the run is killed
bugSomething isn't workingSomething isn't workingStatus: Open.#862 In jasisz/aver;