Closed lee30sonia closed 2 years ago
Merging #564 (94d892e) into master (6261bc5) will increase coverage by
0.07%
. The diff coverage is98.76%
.
@@ Coverage Diff @@
## master #564 +/- ##
==========================================
+ Coverage 82.94% 83.02% +0.07%
==========================================
Files 155 156 +1
Lines 19191 19085 -106
==========================================
- Hits 15918 15845 -73
+ Misses 3273 3240 -33
Impacted Files | Coverage Δ | |
---|---|---|
...de/mockturtle/algorithms/aqfp/aqfp_resynthesis.hpp | 88.31% <ø> (+11.38%) |
:arrow_up: |
include/mockturtle/networks/storage.hpp | 100.00% <ø> (ø) |
|
include/mockturtle/views/immutable_view.hpp | 100.00% <ø> (ø) |
|
include/mockturtle/views/mapping_view.hpp | 100.00% <ø> (ø) |
|
include/mockturtle/views/window_view.hpp | 100.00% <ø> (ø) |
|
include/mockturtle/io/blif_reader.hpp | 94.01% <93.33%> (-0.15%) |
:arrow_down: |
include/mockturtle/algorithms/node_resynthesis.hpp | 84.48% <100.00%> (ø) |
|
include/mockturtle/io/aiger_reader.hpp | 98.38% <100.00%> (+0.14%) |
:arrow_up: |
include/mockturtle/io/serialize.hpp | 89.00% <100.00%> (+1.50%) |
:arrow_up: |
include/mockturtle/io/write_aiger.hpp | 84.21% <100.00%> (-0.41%) |
:arrow_down: |
... and 19 more |
Help us with your feedback. Take ten seconds to tell us how you rate us.
substitute_node_of_parents
,num_latches
(usenum_registers
instead),latch_reset
.register_at
andset_register
to retrieve and set register information. Remove the "reset" argument ofcreate_ri
.sequential
, so the impact on existing code is little.*_index
APIs inklut_network
andcover_network
as they don't seem to be correctly implemented and also no test or algorithm actually use them.trav_id
is moved from the custom storage data (e.g.aig_storage_data
) to the commonstorage
.num_pis
andnum_pos
are moved tosequential_storage
insequential
(because for combinational networks, these should be the same as the sizes ofinputs
andoutputs
vectors). As a result, custom storage data of some networks is removed when not needed (aig_storage_data
,xag_storage_data
,mig_storage_data
,xmg_storage_data
).As this PR makes significant changes, especially for the sequential APIs, I'm tagging anyone I know who may be affected or had contributed to related code in the history: @hriener @maustin8 @yashton @wlneto