-
Notifications
You must be signed in to change notification settings - Fork 3
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#180 In scmlab/gcl-all;
- Status: Open.
Global property not being mentioned anywhere
bugSomething isn't workingSomething isn't workingStatus: Open.#173 In scmlab/gcl-all;LHS in assignment not updated in panel when refining
bugSomething isn't workingSomething isn't workingStatus: Open.#145 In scmlab/gcl-all;Missing value definition crashes the server
bugSomething isn't workingSomething isn't workingStatus: Open.digImplHolesperforms parsing twicequestionFurther information is requestedFurther information is requestedStatus: Open.#40 In scmlab/gcl-all;sweepFragmentsnot given declarationsinvalidThis doesn't seem rightThis doesn't seem rightStatus: Open.- Status: Open.#20 In scmlab/gcl-all;
"Initial" proof obligation missing
questionFurther information is requestedFurther information is requestedStatus: Open.#18 In scmlab/gcl-all;Pre/post-conditions of a spec appears only after a key stroke
bugSomething isn't workingSomething isn't workingwontfixThis will not be worked onThis will not be worked onStatus: Open.#16 In scmlab/gcl-all;