Various fixes

[lee30sonia]

• Deals with the fixes proposed in #553, regarding handling registers and names in cleanup_dangling
• Implements is_ci for abstract_xag
• Implements id_dead for klut_network and cover_network (always return false)
• Draws register outputs as PIs in write_dot (also as suggested in #553)
• Fixes failing quality tests related to cut_rewriting_with_compatibility_graph as mentioned in #565. The fix lowers the expected quality of this algorithm due to its native defect. (We should consider removing this algorithm entirely, as it is anyways buggy...)

[codecov-commenter]

Codecov Report

Merging #567 (a1dcb7f) into master (cf0da56) will increase coverage by 0.03%. The diff coverage is 97.14%.

@@            Coverage Diff             @@
##           master     #567      +/-   ##
==========================================
+ Coverage   82.96%   83.00%   +0.03%     
==========================================
  Files         156      156              
  Lines       19104    19154      +50     
==========================================
+ Hits        15849    15898      +49     
- Misses       3255     3256       +1     

Impacted Files	Coverage Δ
include/mockturtle/networks/cover.hpp	95.67% <ø> (ø)
include/mockturtle/networks/events.hpp	100.00% <ø> (ø)
include/mockturtle/algorithms/cleanup.hpp	88.43% <96.84%> (+3.52%)	:arrow_up:
include/mockturtle/algorithms/cut_rewriting.hpp	83.33% <100.00%> (+0.05%)	:arrow_up:
include/mockturtle/io/write_dot.hpp	98.03% <100.00%> (ø)
include/mockturtle/networks/abstract_xag.hpp	80.89% <100.00%> (+0.15%)	:arrow_up:
include/mockturtle/networks/klut.hpp	95.39% <100.00%> (+0.03%)	:arrow_up:
include/mockturtle/views/fanout_view.hpp	100.00% <100.00%> (ø)
include/mockturtle/networks/sequential.hpp	100.00% <0.00%> (ø)

Help us with your feedback. Take ten seconds to tell us how you rate us.