-
Notifications
You must be signed in to change notification settings - Fork 22
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
When matching, successive recovery tactics only apply to the original state
bugSomething isn't workingSomething isn't workingStatus: Open.#370 In GillianPlatform/Gillian;- Status: Open.#368 In GillianPlatform/Gillian;
- Status: Open.#347 In GillianPlatform/Gillian;
Add leak check in Verification (at least for the debugger)
debuggerRelating to Gillian's debuggerRelating to Gillian's debuggerenhancementNew feature or requestNew feature or requestStatus: Open.#346 In GillianPlatform/Gillian;- Status: Open.#290 In GillianPlatform/Gillian;
- Status: Open.#287 In GillianPlatform/Gillian;
- Status: Open.
- Status: Open.#245 In GillianPlatform/Gillian;
Fix Amazon JS
bugSomething isn't workingSomething isn't workinginst/jsPertaining to the Gillian-JS instantiationPertaining to the Gillian-JS instantiationStatus: Open.#237 In GillianPlatform/Gillian;- Status: Open.#236 In GillianPlatform/Gillian;
Allow starting from any point in a program
debug-extRelating to the extension/webview aspect of Gillian's debuggerRelating to the extension/webview aspect of Gillian's debuggerdebuggerRelating to Gillian's debuggerRelating to Gillian's debuggerStatus: Open.#234 In GillianPlatform/Gillian;Show what's been consumed in the state during matching
debuggerRelating to Gillian's debuggerRelating to Gillian's debuggerStatus: Open.#220 In GillianPlatform/Gillian;