NetworkVerification nv issues

NetworkVerification / nv

A Framework for Modeling and Analyzing Network Configurations

MIT License

31 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Allow arbitrary numbers as nodes

#79 alberdingk-thijm closed 2 years ago
0
Possible file descriptor race condition when running kirigami with many (>500) partitions

#78 alberdingk-thijm opened 2 years ago
1
SMT assertion fails when given function output for tuple comparison

#77 alberdingk-thijm opened 2 years ago
0
Inlining a foldEdges expression appears to blow up

#76 alberdingk-thijm opened 2 years ago
0
Expressing availability in NV

#75 alberdingk-thijm closed 2 years ago
2
Resolve #73

#74 alberdingk-thijm closed 2 years ago
1
Adding constants during SMT encoding is slow

#73 alberdingk-thijm closed 2 years ago
3
Add -timeout and -parallel-timeout command-line flags

#72 alberdingk-thijm closed 2 years ago
2
Test if mlcuddidl.3.0.4 requirement is still necessary

#71 alberdingk-thijm closed 2 years ago
4
Kirigami node remapping happens "too late" to properly remap some expressions

#70 alberdingk-thijm opened 2 years ago
0
Allow multiple patterns per match branch

#69 alberdingk-thijm closed 3 years ago
1
Simulating USCarrier.nv may not converge

#68 alberdingk-thijm opened 3 years ago
6
Printing precedence levels incorrect

#67 alberdingk-thijm opened 3 years ago
2
Reconcile differences between parsing and printing

#66 alberdingk-thijm closed 3 years ago
2
Implement Kirigami network partitioning in NV

#65 alberdingk-thijm closed 3 years ago
4
Allow `{ x |-> y}` syntax for initializing dictionaries

#64 alberdingk-thijm closed 3 years ago
0
Translation issue

#63 nickgian opened 3 years ago
0
Forall expression

#62 nickgian closed 4 years ago
0
cudd error when installing nv

#61 bkv2chu closed 4 years ago
3
Records that are used as map keys are printed as tuples

#60 nickgian closed 4 years ago
2
Change the type of combine

#59 nickgian opened 4 years ago
0
Add variant types

#58 DKLoehr opened 4 years ago
0
Give nodes name identifiers instead of numbers

#57 DKLoehr closed 4 years ago
2
Add casting between integer types

#56 DKLoehr opened 4 years ago
0
Assertions

#55 nickgian opened 4 years ago
1
Solve compile

#54 nickgian closed 4 years ago
0
Create an nv syntax highlighting lexer

#53 alberdingk-thijm opened 4 years ago
0
Bitwise mask

#52 nickgian closed 4 years ago
0
Node and edge maps in kirigami

#51 alberdingk-thijm closed 3 years ago
1
Node values in smt solutions are printed as integers

#50 DKLoehr opened 4 years ago
0
Reworked BDD construction and added Jupyter notebook support

#49 nickgian closed 4 years ago
0
Allow node aliases

#48 alberdingk-thijm opened 4 years ago
1
Rename the project

#47 alberdingk-thijm closed 4 years ago
5
Include not processed when file starts with a multi-line comment

#46 alberdingk-thijm opened 4 years ago
2
SMT unboxing bug when handling multi-field records

#45 alberdingk-thijm closed 4 years ago
1
Allow extended pattern-matching for function arguments and let bindings

#44 DKLoehr opened 4 years ago
3
Weird edge names in map during simulation

#43 alberdingk-thijm closed 4 years ago
1
Add more robust logging

#42 alberdingk-thijm opened 4 years ago
2
Compiled tests failing

#41 DKLoehr opened 4 years ago
0
Unexpected merge behaviour during simulation and SMT when "throwing away" values

#40 alberdingk-thijm closed 4 years ago
11
Allow arbitrary function declaration order

#39 alberdingk-thijm closed 3 years ago
1
Constrain edge and node symbolics during smt encoding

#38 DKLoehr opened 4 years ago
0
New simulator

#37 nickgian closed 4 years ago
0
exception Invalid_argument("List.map2: list lengths differ")

#36 alberdingk-thijm closed 4 years ago
1
Discrepancy in symbolics between interpreter and native simulator

#35 nickgian opened 4 years ago
3
Using special values in combine causes simulation not to terminate

#34 nickgian opened 4 years ago
0
Add Modules to NV

#33 DKLoehr opened 4 years ago
0
Extend (and document) `require` clauses with functions

#32 alberdingk-thijm closed 4 years ago
4
Requires clauses for tuple-type symbolics not encoded properly

#31 DKLoehr closed 4 years ago
0
Monomorphisation for using BDDs/analysis

#30 nickgian opened 4 years ago
0