lsils / mockturtle

80%

master: 83%

LAST BUILD ON BRANCH incremental_CNF

branch: incremental_CNF

CHANGE BRANCH

x

Reset

Sync Branches

• incremental_CNF
• CMakeInterface
• abc_index_list
• abcresub
• aiger_reader_with_names
• aiger_writer
• aletempiac/aqfp_integration
• aletempiac/tech_mapper
• aqfp_fix
• aqfp_resyn
• authors
• bill
• bit_packing
• bugfix_11_04
• bugfix_november_15
• c++20
• chached_aig_test
• common
• common2
• coverage
• coveralls
• covering
• cut_enumeration
• db_gen
• debug_utils
• debugging_utils
• docs
• exact_cleanup
• exact_xmg
• fanout_cutrw
• fix_aig_resub
• fix_xag_fanin_opt
• frontier
• fuzz_tester
• genlib
• genlib_reader
• hriener/rdcut
• index_list
• json
• lee30sonia/aqfp_pi_splitter
• lee30sonia/aqfp_view
• lee30sonia/benchmarks
• lee30sonia/deregister_event
• lee30sonia/functional_reduction
• lee30sonia/interfacing
• lee30sonia/kresub
• lee30sonia/mig_resub
• lee30sonia/network_utils
• lee30sonia/odc_exp
• lee30sonia/partial_simulator
• lee30sonia/patgen
• lee30sonia/performance
• lee30sonia/sim_resub
• lee30sonia/simulation
• lee30sonia/validator
• lee30sonia/validator_restart
• lee30sonia/warnings
• lee30sonia/xag_resyn
• lsils/akers-fix
• master
• mig_partial_simulator
• msoeken/balancing
• msoeken/bill
• msoeken/bugfix
• msoeken/common
• msoeken/cut-rewriting
• msoeken/depth-view
• msoeken/esop-balancing
• msoeken/exact-mc
• msoeken/exorcism
• msoeken/inline
• msoeken/linear-resyn
• msoeken/verilog
• msoeken/warning
• msoeken/warnings
• msoeken/xag-fix
• node_map
• node_resyn
• patch-1
• patch-2
• percy
• random_logic_network
• random_xag_logic
• reconv_cut
• resub-tests
• resub_docs
• resyn_exact
• self_dualize
• semicolon_fix
• substitute_bugfix
• substitute_nodes
• use_parallel_hash
• validator
• window_quality
• window_rewriting
• window_utils
• window_view
• window_view_api
• windowing
• xmg

Merge fe5a99b15 into d88fdb7d8