synth_{ice40,ecp5}: more sensible pass label naming.
[yosys.git] / backends /
2019-07-11 Clifford WolfMerge pull request #1172 from whitequark/write_verilog...
2019-07-10 Eddie HungMerge pull request #1148 from YosysHQ/xc7mux
2019-07-10 Clifford WolfMerge pull request #1177 from YosysHQ/clifford/async
2019-07-09 Clifford WolfMerge pull request #1174 from YosysHQ/eddie/fix1173
2019-07-09 Clifford WolfMerge pull request #1175 from whitequark/write_verilog...
2019-07-09 Eddie HungMerge pull request #1171 from YosysHQ/revert-1166-eddie...
2019-07-09 Eddie HungMerge remote-tracking branch 'origin/eddie/fix1173...
2019-07-09 whitequarkwrite_verilog: fix placement of case attributes. NFC.
2019-07-09 whitequarkwrite_verilog: write RTLIL::Sa aka - as Verilog ?.
2019-07-09 Eddie HungMerge pull request #1170 from YosysHQ/eddie/fix_double_...
2019-07-09 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux
2019-07-09 Eddie HungRename __builtin_bswap32 -> bswap32
2019-07-09 Clifford WolfMerge pull request #1168 from whitequark/bugpoint-processes
2019-07-09 Clifford WolfMerge pull request #1169 from whitequark/more-proc...
2019-07-09 Clifford WolfMerge pull request #1163 from whitequark/more-case...
2019-07-09 Clifford WolfMerge pull request #1162 from whitequark/rtlil-case...
2019-07-09 Clifford WolfMerge pull request #1167 from YosysHQ/eddie/xc7srl_cleanup
2019-07-08 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux
2019-07-08 whitequarkverilog_backend: dump attributes on SwitchRule.
2019-07-08 whitequarkverilog_backend: dump attributes on CaseRule, as comments.
2019-07-08 whitequarkAllow attributes on individual switch cases in RTLIL.
2019-07-03 Eddie HungMerge pull request #1156 from YosysHQ/eddie/fix_abc9_un...
2019-07-03 Clifford WolfMerge pull request #1147 from YosysHQ/clifford/fix1144
2019-07-03 Eddie Hungwrite_xaiger to treat unknown cell connections as keep-s
2019-06-28 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux
2019-06-28 Eddie HungMerge pull request #1098 from YosysHQ/xaig
2019-06-28 Eddie HungAdd generic __builtin_bswap32 function
2019-06-28 Eddie HungAlso fix write_aiger for UB
2019-06-28 Eddie HungFix more potential for undefined behaviour due to conta...
2019-06-27 Eddie HungRefactor for one "abc_carry" attribute on module
2019-06-27 Eddie HungMerge remote-tracking branch 'origin/master' into xaig
2019-06-27 Eddie HungMerge remote-tracking branch 'origin/master' into xaig
2019-06-27 Eddie HungMerge remote-tracking branch 'origin/master' into xaig
2019-06-27 Eddie HungMerge origin/master
2019-06-27 Eddie HungMerge pull request #1138 from YosysHQ/koriakin/xc7nocar...
2019-06-27 Eddie HungMerge remote-tracking branch 'origin/clifford/fix1132...
2019-06-27 Bogdan VukobratovicMerge remote-tracking branch 'upstream/master'
2019-06-27 Eddie HungMerge remote-tracking branch 'origin/xaig' into xc7mux
2019-06-27 Eddie HungImprove debugging message for comb loops
2019-06-27 Eddie HungMerge remote-tracking branch 'origin/eddie/fix1132...
2019-06-27 Eddie HungMerge remote-tracking branch 'origin/eddie/fix1132...
2019-06-26 Eddie HungMerge remote-tracking branch 'origin/eddie/fix1132...
2019-06-26 Eddie HungMerge remote-tracking branch 'origin/eddie/fix1132...
2019-06-26 Eddie HungMerge remote-tracking branch 'origin/eddie/fix1132...
2019-06-26 Eddie HungMerge branch 'koriakin/xc7nocarrymux' into xaig
2019-06-26 Eddie HungMerge branch 'koriakin/xc7nocarrymux' into xaig
2019-06-26 Eddie HungMerge branch 'koriakin/xc7nocarrymux' into xaig
2019-06-26 Eddie HungMerge branch 'koriakin/xc7nocarrymux' into xaig
2019-06-26 Eddie HungMerge branch 'xc7nocarrymux' of https://github.com...
2019-06-26 Clifford WolfImprove BTOR2 handling of undriven wires
2019-06-26 Clifford WolfEscape scope names starting with dollar sign in smtio.py
2019-06-25 Eddie HungMerge remote-tracking branch 'origin/master' into xaig
2019-06-25 Clifford WolfMerge pull request #1130 from YosysHQ/eddie/fix710
2019-06-25 Eddie HungMerge pull request #1129 from YosysHQ/eddie/ram32x1d
2019-06-25 Clifford WolfMerge pull request #1075 from YosysHQ/eddie/muxpack
2019-06-25 Eddie HungMerge remote-tracking branch 'origin/xaig' into xc7mux
2019-06-25 Eddie HungMerge remote-tracking branch 'origin/master' into xaig
2019-06-24 Eddie HungMerge remote-tracking branch 'origin/eddie/ram32x1d...
2019-06-24 Clifford WolfMerge pull request #1124 from mmicko/json_ports
2019-06-23 Eddie HungMerge remote-tracking branch 'origin/xaig' into xc7mux
2019-06-22 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2019-06-22 Eddie HungCarry in/out box ordering now move to end, not swap...
2019-06-22 Eddie HungMerge branch 'master' into xaig
2019-06-22 Eddie HungMerge remote-tracking branch 'origin/xaig' into xc7mux
2019-06-22 Eddie HungMerge remote-tracking branch 'origin/master' into xaig
2019-06-22 Eddie HungReplace assert with error message
2019-06-22 Eddie HungAdd log_push()/log_pop() inside write_xaiger
2019-06-22 Eddie HungAdd log_push()/log_pop() inside write_xaiger
2019-06-22 Eddie HungMerge pull request #1108 from YosysHQ/clifford/fix1091
2019-06-21 Eddie HungReplace assert with error message
2019-06-21 Eddie HungMerge remote-tracking branch 'origin/eddie/muxpack...
2019-06-21 Eddie HungMerge branch 'xc7mux' into xc7mux_wip
2019-06-21 Eddie HungOne more workaround for gcc-4.8
2019-06-21 Eddie HungOne more workaround for gcc-4.8
2019-06-21 Eddie HungNo point logging constant bit
2019-06-21 Eddie HungMove comment
2019-06-21 Eddie HungRevert "Stab in the dark with aig_map from dict ->...
2019-06-21 Eddie HungNo point logging constant bit
2019-06-21 Eddie HungMove comment
2019-06-21 Eddie HungStab in the dark with aig_map from dict -> std::map
2019-06-21 Eddie HungMerge branch 'master' into eddie/muxpack
2019-06-21 Miodrag MilanovicFix json formatting
2019-06-21 Eddie HungMerge remote-tracking branch 'origin/clifford/fix1091...
2019-06-21 Miodrag MilanovicAdd upto and offset to JSON ports
2019-06-21 Eddie HungMerge pull request #1085 from YosysHQ/eddie/shregmap_im...
2019-06-21 Clifford WolfMerge pull request #1122 from YosysHQ/clifford/jsonports
2019-06-21 Clifford WolfAdded JSON upto and offset
2019-06-21 Clifford WolfMerge pull request #1117 from bwidawsk/more-home
2019-06-21 Clifford WolfMerge pull request #1119 from YosysHQ/eddie/fix1118
2019-06-21 Clifford WolfMerge pull request #1116 from YosysHQ/eddie/fix1115
2019-06-21 Eddie HungFix spacing
2019-06-21 Eddie HungFix spacing
2019-06-21 Eddie HungRefactor bit2aig for less lookups
2019-06-21 Eddie HungFix gcc invalidation behaviour for write_aiger
2019-06-21 Eddie HungFix gcc error, due to dict invalidation during recursion
2019-06-21 Eddie HungRefactor bit2aig for less lookups
2019-06-21 Eddie HungFix gcc invalidation behaviour for write_aiger
2019-06-21 Eddie HungFix gcc invalidation behaviour for write_aiger
2019-06-21 Eddie HungFix gcc error, due to dict invalidation during recursion
2019-06-21 Eddie Hungwrite_xaiger to flatten 1'bx/1'bz to 1'b0 again
next