projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'koriakin/xc7nocarrymux' into xaig
[yosys.git] / backends / aiger /
2019-04-23 Eddie HungRevert "Temporarily remove 'r' extension" tree | commitdiff
2019-04-22 Eddie HungMerge branch 'xaig' into xc7mux tree | commitdiff
2019-04-22 Eddie HungTemporarily remove 'r' extension tree | commitdiff
2019-04-22 Eddie HungMerge remote-tracking branch 'origin/xc7srl' into xc7mux tree | commitdiff
2019-04-22 Eddie HungAllow POs to be PIs in XAIG tree | commitdiff
2019-04-22 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-22 Eddie HungMerge remote-tracking branch 'origin/clifford/libwb... tree | commitdiff
2019-04-21 Eddie HungMerge remote-tracking branch 'origin/clifford/libwb... tree | commitdiff
2019-04-20 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-19 Eddie HungFixes for simple_abc9 tests tree | commitdiff
2019-04-19 Eddie HungDo not assume inst_module is always present tree | commitdiff
2019-04-19 Eddie Hungignore_boxes -> holes_mode tree | commitdiff
2019-04-19 Eddie HungAdd flop support for write_xaiger tree | commitdiff
2019-04-19 Eddie HungSpelling tree | commitdiff
2019-04-18 Eddie HungUse new -wb flag for ABC flow tree | commitdiff
2019-04-18 Eddie HungMerge remote-tracking branch 'origin/clifford/whitebox... tree | commitdiff
2019-04-17 Eddie HungFix $anyseq warning and cleanup tree | commitdiff
2019-04-17 Eddie HungCope with inout ports tree | commitdiff
2019-04-17 Eddie HungStop topological sort at abc_flop_q tree | commitdiff
2019-04-17 Eddie HungRemove init* from xaiger, also topo-sort cells for... tree | commitdiff
2019-04-17 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-17 Eddie HungOptimise tree | commitdiff
2019-04-16 Eddie HungCIs before PIs; also sort each cell's connections befor... tree | commitdiff
2019-04-16 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-16 Eddie HungPort from xc7mux branch tree | commitdiff
2019-04-16 Eddie HungFix wire numbering tree | commitdiff
2019-04-16 Eddie HungDo not put constants into output_bits tree | commitdiff
2019-04-16 Eddie HungRemove write_verilog call tree | commitdiff
2019-04-16 Eddie HungFix spacing tree | commitdiff
2019-04-16 Eddie HungMerge branch 'xaig' into xc7mux tree | commitdiff
2019-04-16 Eddie HungNULL check before use tree | commitdiff
2019-04-16 Eddie HungWIP for box support tree | commitdiff
2019-04-16 Eddie HungUse abc_box_id tree | commitdiff
2019-04-16 Eddie HungCheck abc_box_id attr tree | commitdiff
2019-04-16 Eddie HungMerge branch 'xaig' into xc7mux tree | commitdiff
2019-04-16 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-13 Eddie HungOutput __const0__ and __const1__ CIs tree | commitdiff
2019-04-13 Eddie HungMerge branch 'xaig' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-04-12 Eddie HungMerge branch 'xaig' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-04-12 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-12 Eddie Hungci_bits and co_bits now a list, order is important... tree | commitdiff
2019-04-12 Eddie HungWIP tree | commitdiff
2019-04-12 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-12 Eddie HungPI before CI tree | commitdiff
2019-04-12 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-04-11 Eddie HungMerge remote-tracking branch 'origin/pmux2shiftx' into... tree | commitdiff
2019-04-11 Eddie HungMerge remote-tracking branch 'origin/pmux2shiftx' into... tree | commitdiff
2019-04-11 Eddie HungMerge branch 'xaig' into xc7mux tree | commitdiff
2019-04-11 Eddie HungAdd non-input bits driven by unrecognised cells as... tree | commitdiff
2019-04-08 Eddie HungMerge branch 'master' into xaig tree | commitdiff
2019-03-28 Benedikt TutzerMerge remote-tracking branch 'origin/master' into featu... tree | commitdiff
2019-02-26 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-02-26 Eddie Hungwrite_xaiger to behave for undriven/unused inouts tree | commitdiff
2019-02-26 Eddie Hungwrite_xaiger duplicate inout port into out port with... tree | commitdiff
2019-02-25 Eddie HungCleanup abc9 code tree | commitdiff
2019-02-22 Eddie Hungwrite_xaiger to write __dummy_o__ for -symbols too tree | commitdiff
2019-02-21 Eddie HungAdd attribution tree | commitdiff
2019-02-21 Eddie HungMerge branch 'read_aiger' into xaig tree | commitdiff
2019-02-21 Eddie HungMerge branch 'read_aiger' into xaig tree | commitdiff
2019-02-21 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-02-21 Eddie Hungwrite_xaiger to use original bit for co, not sigmap... tree | commitdiff
2019-02-21 Eddie HungMerge branch 'clifford/dffsrfix' of https://github... tree | commitdiff
2019-02-21 Eddie HungRemove swap file tree | commitdiff
2019-02-20 Eddie Hungwrite_aiger: fix CI/CO and symbols tree | commitdiff
2019-02-20 Eddie Hungwrite_xaiger to not write latches, CO/PO fixes tree | commitdiff
2019-02-19 Eddie HungMerge branch 'master' into xaig tree | commitdiff
2019-02-17 Eddie HungCleanup tree | commitdiff
2019-02-17 Eddie HungCleanup tree | commitdiff
2019-02-17 Eddie Hungwrite_xaiger to support non-bit cell connections, and... tree | commitdiff
2019-02-17 Eddie Hungwrite_aiger -O to write dummy output as __dummy_o__ tree | commitdiff
2019-02-16 Eddie HungTidy up write_xaiger tree | commitdiff
2019-02-16 Eddie Hungwrite_aiger() to perform CI/CO post-processing and... tree | commitdiff
2019-02-15 Eddie HungFixes needed for DFF circuits tree | commitdiff
2019-02-15 Eddie Hungwrite_xaiger to cope with unknown cells by transforming... tree | commitdiff
2019-02-14 Eddie HungMore cleanup tree | commitdiff
2019-02-14 Eddie HungMore cleanup of write_xaiger tree | commitdiff
2019-02-14 Eddie HungGet rid of formal stuff from xaiger backend tree | commitdiff
2019-02-13 Eddie HungMerge remote-tracking branch 'origin/read_aiger' into... tree | commitdiff
2019-02-13 Eddie HungMerge https://github.com/YosysHQ/yosys into xaig tree | commitdiff
2019-02-11 Eddie HungAdd write_xaiger tree | commitdiff
2019-02-08 Eddie HungCopy backends/aiger/aiger.cc to xaiger.cc tree | commitdiff
2018-12-18 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2018-12-01 Clifford WolfMerge pull request #676 from rafaeltp/master tree | commitdiff
2018-11-12 Clifford WolfAdd "write_aiger -I -O -B" tree | commitdiff
2018-09-17 Udi FinkelsteinMerge branch 'master' into pr_reg_wire_error tree | commitdiff
2018-08-22 Jim LawsonMerge pull request #1 from YosysHQ/master tree | commitdiff
2018-08-18 Aman GoelMerge pull request #3 from YosysHQ/master tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #573 from cr1901/msys-64 tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #591 from hzeller/virtual-override tree | commitdiff
2018-07-21 Henner ZellerConsistent use of 'override' for virtual methods in... tree | commitdiff
2017-07-05 Clifford WolfFix generation of multiple outputs for same AIG node... tree | commitdiff
2017-07-03 Clifford WolfMerge pull request #352 from rqou/master tree | commitdiff
2017-07-03 Clifford WolfInclude output ports with constant driver in AIGER... tree | commitdiff
2017-05-30 Clifford WolfFix AIGER back-end for multiple symbols per input/latch... tree | commitdiff
2017-05-28 Clifford WolfImprove write_aiger handling of unconnected nets and... tree | commitdiff
2017-03-02 Clifford WolfAdd write_aiger $anyseq support tree | commitdiff
2017-02-25 Clifford WolfMerge branch 'master' of https://github.com/klammerj... tree | commitdiff
2017-02-25 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2017-02-25 Clifford WolfAdd $live and $fair support to AIGER back-end. tree | commitdiff
2016-12-23 Andrew ZonenbergMerge pull request #1 from azonenberg-hk/master tree | commitdiff
next