Skip to content
v0.10.7
- fix corner cases dontCareNodes generation in backends
- refractor signals.unused into signals.allowPruning
- fix bugs that forget to add some sensitivity list elements in corner cases