Use new -wb flag for ABC flow
[yosys.git] / backends / aiger /
2019-04-18 Eddie HungUse new -wb flag for ABC flow
2019-04-18 Eddie HungMerge remote-tracking branch 'origin/clifford/whitebox...
2019-04-17 Eddie HungFix $anyseq warning and cleanup
2019-04-17 Eddie HungCope with inout ports
2019-04-17 Eddie HungStop topological sort at abc_flop_q
2019-04-17 Eddie HungRemove init* from xaiger, also topo-sort cells for...
2019-04-17 Eddie HungMerge remote-tracking branch 'origin/master' into xaig
2019-04-17 Eddie HungOptimise
2019-04-16 Eddie HungCIs before PIs; also sort each cell's connections befor...
2019-04-16 Eddie HungMerge remote-tracking branch 'origin/master' into xaig
2019-04-16 Eddie HungPort from xc7mux branch
2019-04-16 Eddie HungMerge remote-tracking branch 'origin/master' into xaig
2019-04-13 Eddie HungOutput __const0__ and __const1__ CIs
2019-04-13 Eddie HungMerge branch 'xaig' of github.com:YosysHQ/yosys into...
2019-04-12 Eddie HungMerge branch 'xaig' of github.com:YosysHQ/yosys into...
2019-04-12 Eddie HungMerge remote-tracking branch 'origin/master' into xaig
2019-04-12 Eddie Hungci_bits and co_bits now a list, order is important...
2019-04-12 Eddie HungWIP
2019-04-12 Eddie HungMerge remote-tracking branch 'origin/master' into xaig
2019-04-11 Eddie HungAdd non-input bits driven by unrecognised cells as...
2019-04-08 Eddie HungMerge branch 'master' into xaig
2019-02-26 Eddie HungMerge remote-tracking branch 'origin/master' into xaig
2019-02-26 Eddie Hungwrite_xaiger to behave for undriven/unused inouts
2019-02-26 Eddie Hungwrite_xaiger duplicate inout port into out port with...
2019-02-25 Eddie HungCleanup abc9 code
2019-02-22 Eddie Hungwrite_xaiger to write __dummy_o__ for -symbols too
2019-02-21 Eddie HungAdd attribution
2019-02-21 Eddie HungMerge branch 'read_aiger' into xaig
2019-02-21 Eddie HungMerge branch 'read_aiger' into xaig
2019-02-21 Eddie HungMerge remote-tracking branch 'origin/master' into xaig
2019-02-21 Eddie Hungwrite_xaiger to use original bit for co, not sigmap...
2019-02-21 Eddie HungMerge branch 'clifford/dffsrfix' of https://github...
2019-02-21 Eddie HungRemove swap file
2019-02-20 Eddie Hungwrite_aiger: fix CI/CO and symbols
2019-02-20 Eddie Hungwrite_xaiger to not write latches, CO/PO fixes
2019-02-19 Eddie HungMerge branch 'master' into xaig
2019-02-17 Eddie HungCleanup
2019-02-17 Eddie HungCleanup
2019-02-17 Eddie Hungwrite_xaiger to support non-bit cell connections, and...
2019-02-17 Eddie Hungwrite_aiger -O to write dummy output as __dummy_o__
2019-02-16 Eddie HungTidy up write_xaiger
2019-02-16 Eddie Hungwrite_aiger() to perform CI/CO post-processing and...
2019-02-15 Eddie HungFixes needed for DFF circuits
2019-02-15 Eddie Hungwrite_xaiger to cope with unknown cells by transforming...
2019-02-14 Eddie HungMore cleanup
2019-02-14 Eddie HungMore cleanup of write_xaiger
2019-02-14 Eddie HungGet rid of formal stuff from xaiger backend
2019-02-13 Eddie HungMerge remote-tracking branch 'origin/read_aiger' into...
2019-02-13 Eddie HungMerge https://github.com/YosysHQ/yosys into xaig
2019-02-11 Eddie HungAdd write_xaiger
2019-02-08 Eddie HungCopy backends/aiger/aiger.cc to xaiger.cc
2018-12-01 Clifford WolfMerge pull request #676 from rafaeltp/master
2018-11-12 Clifford WolfAdd "write_aiger -I -O -B"
2018-09-17 Udi FinkelsteinMerge branch 'master' into pr_reg_wire_error
2018-08-22 Jim LawsonMerge pull request #1 from YosysHQ/master
2018-08-18 Aman GoelMerge pull request #3 from YosysHQ/master
2018-08-15 Clifford WolfMerge pull request #573 from cr1901/msys-64
2018-08-15 Clifford WolfMerge pull request #591 from hzeller/virtual-override
2018-07-21 Henner ZellerConsistent use of 'override' for virtual methods in...
2017-07-05 Clifford WolfFix generation of multiple outputs for same AIG node...
2017-07-03 Clifford WolfMerge pull request #352 from rqou/master
2017-07-03 Clifford WolfInclude output ports with constant driver in AIGER...
2017-05-30 Clifford WolfFix AIGER back-end for multiple symbols per input/latch...
2017-05-28 Clifford WolfImprove write_aiger handling of unconnected nets and...
2017-03-02 Clifford WolfAdd write_aiger $anyseq support
2017-02-25 Clifford WolfMerge branch 'master' of https://github.com/klammerj...
2017-02-25 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys
2017-02-25 Clifford WolfAdd $live and $fair support to AIGER back-end.
2016-12-23 Andrew ZonenbergMerge pull request #1 from azonenberg-hk/master
2016-12-12 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys
2016-12-11 Clifford WolfAdded $anyconst support to AIGER back-end
2016-12-03 Clifford WolfAdded $assert/$assume support to AIGER back-end
2016-12-01 Clifford WolfAdded "write_aiger -zinit -symbols -vmap"
2016-11-30 Clifford WolfAdded "write_aiger" command