Issues
- 1
Possible file descriptor race condition when running kirigami with many (>500) partitions
#78 opened by alberdingk-thijm - 1
Allow node aliases
#48 opened by alberdingk-thijm - 0
- 0
- 2
Expressing availability in NV
#75 opened by alberdingk-thijm - 4
- 3
- 2
- 0
Kirigami node remapping happens "too late" to properly remap some expressions
#70 opened by alberdingk-thijm - 3
cudd error when installing nv
#61 opened by bkv2chu - 3
- 1
Allow multiple patterns per match branch
#69 opened by alberdingk-thijm - 6
Simulating USCarrier.nv may not converge
#68 opened by alberdingk-thijm - 2
Printing precedence levels incorrect
#67 opened by alberdingk-thijm - 2
- 1
Node and edge maps in kirigami
#51 opened by alberdingk-thijm - 1
- 0
- 2
Add more robust logging
#42 opened by alberdingk-thijm - 1
Assertions
#55 opened by nickgian - 0
Translation issue
#63 opened by nickgian - 2
- 0
Change the type of combine
#59 opened by nickgian - 2
Give nodes name identifiers instead of numbers
#57 opened by DKLoehr - 3
Student Projects in nv!
#21 opened by alberdingk-thijm - 0
Add variant types
#58 opened by DKLoehr - 0
Add casting between integer types
#56 opened by DKLoehr - 0
Create an nv syntax highlighting lexer
#53 opened by alberdingk-thijm - 2
NV hangs when Z3 returns unexpected answer
#23 opened by nickgian - 5
Rename the project
#47 opened by alberdingk-thijm - 0
- 2
- 1
- 1
Pretty printing solutions
#25 opened by nickgian - 1
- 0
Compiled tests failing
#41 opened by DKLoehr - 11
Unexpected merge behaviour during simulation and SMT when "throwing away" values
#40 opened by alberdingk-thijm - 0
- 1
- 3
- 4
- 0
- 0
Add Modules to NV
#33 opened by DKLoehr - 0
- 1
Usage of ppx_deriving
#20 opened by DKLoehr - 4
Include bugs
#29 opened by nickgian - 0
Monomorphisation for using BDDs/analysis
#30 opened by nickgian - 3
Z3 error: non-diff logic expression
#26 opened by DKLoehr - 0
Add overloading for integers
#24 opened by nickgian - 1
Add a GitHub Pages site
#19 opened by alberdingk-thijm