Search results

Possible file descriptor race condition when running kirigami with many (>500) partitions

bugSomething isn't workingSomething isn't working

kirigamiPertains to verification via partitioningPertains to verification via partitioning

P-highHigh priorityHigh priority

Status: Open.

#78 In NetworkVerification/nv;

· alberdingk-thijm opened on Jan 15, 2022

SMT assertion fails when given function output for tuple comparison

bugSomething isn't workingSomething isn't working

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#77 In NetworkVerification/nv;

· alberdingk-thijm opened on Jan 5, 2022

Inlining a foldEdges expression appears to blow up

bugSomething isn't workingSomething isn't working

Status: Open.

#76 In NetworkVerification/nv;

· alberdingk-thijm opened on Oct 11, 2021

Kirigami node remapping happens "too late" to properly remap some expressions

bugSomething isn't workingSomething isn't working

kirigamiPertains to verification via partitioningPertains to verification via partitioning

Status: Open.

#70 In NetworkVerification/nv;

· alberdingk-thijm opened on Jul 29, 2021

Simulating USCarrier.nv may not converge

help wantedExtra attention is neededExtra attention is needed

questionFurther information is requestedFurther information is requested

Status: Open.

#68 In NetworkVerification/nv;

· alberdingk-thijm opened on May 25, 2021

Printing precedence levels incorrect

Status: Open.

#67 In NetworkVerification/nv;

· alberdingk-thijm opened on May 17, 2021

Translation issue

bugSomething isn't workingSomething isn't working

Status: Open.

#63 In NetworkVerification/nv;

· nickgian opened on Aug 17, 2020

Change the type of combine

enhancementNew feature or requestNew feature or request

Status: Open.

#59 In NetworkVerification/nv;

· nickgian opened on Jun 5, 2020

Add variant types

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#58 In NetworkVerification/nv;

· DKLoehr opened on May 29, 2020

Add casting between integer types

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#56 In NetworkVerification/nv;

· DKLoehr opened on May 29, 2020

Assertions

enhancementNew feature or requestNew feature or request

P-mediumMedium priorityMedium priority

Status: Open.

#55 In NetworkVerification/nv;

· nickgian opened on May 12, 2020

Create an nv syntax highlighting lexer

enhancementNew feature or requestNew feature or request

P-lowLow priorityLow priority

Status: Open.

#53 In NetworkVerification/nv;

· alberdingk-thijm opened on Apr 16, 2020