-
Notifications
You must be signed in to change notification settings - Fork 5
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
block size check is not relative to the start location in block
bugSomething isn't workingSomething isn't workingStatus: Open.#81 In xr0-org/xr0;convert compound verification blocks to invariants
featNew feature or requestNew feature or requestStatus: Open.#80 In xr0-org/xr0;- Status: Open.#79 In xr0-org/xr0;
make
setupva full-fledged part of the machinefeatNew feature or requestNew feature or requestStatus: Open.#78 In xr0-org/xr0;emit debugger checkpoint for error output
featNew feature or requestNew feature or requestStatus: Open.#76 In xr0-org/xr0;make scripts POSIX compliant
choreimprovements to the codeimprovements to the codeStatus: Open.#75 In xr0-org/xr0;unit testing
choreimprovements to the codeimprovements to the codeStatus: Open.#74 In xr0-org/xr0;move $ parameter intialisation after spec intialisation
bugSomething isn't workingSomething isn't workingStatus: Open.#73 In xr0-org/xr0;buffer overflows: sizes and
sizeoffeatNew feature or requestNew feature or requestStatus: Open.add test coverage for assigning the outcomes of conditions
choreimprovements to the codeimprovements to the codeStatus: Open.#68 In xr0-org/xr0;void expression statements are not evaluated appropriately
bugSomething isn't workingSomething isn't workingStatus: Open.#67 In xr0-org/xr0;