-
Notifications
You must be signed in to change notification settings - Fork 4
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Possible file descriptor race condition when running kirigami with many (>500) partitions
bugSomething isn't workingSomething isn't workingkirigamiPertains to verification via partitioningPertains to verification via partitioningP-highHigh priorityHigh priorityStatus: Open.#78 In NetworkVerification/nv;SMT assertion fails when given function output for tuple comparison
bugSomething isn't workingSomething isn't workinghelp wantedExtra attention is neededExtra attention is neededStatus: Open.#77 In NetworkVerification/nv;Inlining a foldEdges expression appears to blow up
bugSomething isn't workingSomething isn't workingStatus: Open.#76 In NetworkVerification/nv;Kirigami node remapping happens "too late" to properly remap some expressions
bugSomething isn't workingSomething isn't workingkirigamiPertains to verification via partitioningPertains to verification via partitioningStatus: Open.#70 In NetworkVerification/nv;Simulating USCarrier.nv may not converge
help wantedExtra attention is neededExtra attention is neededquestionFurther information is requestedFurther information is requestedStatus: Open.#68 In NetworkVerification/nv;- Status: Open.#67 In NetworkVerification/nv;
Translation issue
bugSomething isn't workingSomething isn't workingStatus: Open.#63 In NetworkVerification/nv;Change the type of combine
enhancementNew feature or requestNew feature or requestStatus: Open.#59 In NetworkVerification/nv;Add variant types
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersStatus: Open.#58 In NetworkVerification/nv;Add casting between integer types
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersStatus: Open.#56 In NetworkVerification/nv;Assertions
enhancementNew feature or requestNew feature or requestP-mediumMedium priorityMedium priorityStatus: Open.#55 In NetworkVerification/nv;Create an nv syntax highlighting lexer
enhancementNew feature or requestNew feature or requestP-lowLow priorityLow priorityStatus: Open.#53 In NetworkVerification/nv;