Merge pull request #1175 from whitequark/write_verilog-fix-case-attr-position
[yosys.git] / backends /
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 whitequarkwrite_verilog: fix placement of case attributes. NFC.
2019-07-09 Eddie HungMerge pull request #1170 from YosysHQ/eddie/fix_double_...
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 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 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 Bogdan VukobratovicMerge remote-tracking branch 'upstream/master'
2019-06-27 Eddie HungImprove debugging message for comb loops
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/master' into xaig
2019-06-24 Clifford WolfMerge pull request #1124 from mmicko/json_ports
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/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 HungMerge pull request #1108 from YosysHQ/clifford/fix1091
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 HungMerge branch 'master' into eddie/muxpack
2019-06-21 Miodrag MilanovicFix json formatting
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 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 HungFix gcc invalidation behaviour for write_aiger
2019-06-21 Eddie Hungwrite_xaiger to flatten 1'bx/1'bz to 1'b0 again
2019-06-21 Eddie HungFix different abc9 test
2019-06-21 Eddie HungFix broken abc9.v test due to inout being 1'bx
2019-06-21 Eddie HungMerge remote-tracking branch 'origin/master' into xaig
2019-06-21 Eddie HungHandle COs driven by 1'bx
2019-06-21 Eddie Hungwrite_xaiger to skip POs driven by 1'bx
2019-06-20 Clifford WolfMerge branch 'master' of https://github.com/bogdanvuk...
2019-06-20 Clifford WolfMerge branch 'unpacked_arrays' of https://github.com...
2019-06-19 Clifford WolfMerge pull request #1100 from bwidawsk/home
2019-06-18 Ben WidawskySupport filename rewrite in backends
2019-06-18 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2019-06-18 Clifford WolfMerge pull request #1086 from udif/pr_elab_sys_tasks2
2019-06-16 Clifford WolfAdd timescale and generated-by header to yosys-smtbmc...
2019-06-16 Eddie HungCleanup
2019-06-14 Eddie HungLeave breadcrumb behind
2019-06-14 Eddie HungRemove redundant condition
2019-06-14 Eddie HungRevert "Cleanup/optimise toposort in write_xaiger"
2019-06-14 Eddie HungUpdate comment
2019-06-14 Eddie HungCheck that whiteboxes are synthesisable
2019-06-14 Eddie HungGet rid of compiler warnings
2019-06-14 Eddie HungCover __APPLE__ too for little to big endian
2019-06-14 Eddie HungFurther cleanup based on @daveshah1
2019-06-14 Eddie HungResolve comments from @daveshah1
2019-06-14 Eddie HungRemove WIP ABC9 flop support
2019-06-14 Eddie HungMerge remote-tracking branch 'origin/master' into xaig
2019-06-14 Eddie HungCleanup
2019-06-14 Eddie HungMerge branch 'xaig' of github.com:YosysHQ/yosys into...
2019-06-14 Eddie HungMerge pull request #1097 from YosysHQ/dave/xaig_ecp5
2019-06-14 Eddie HungCleanup/optimise toposort in write_xaiger
2019-06-14 David Shahecp5: Add abc9 option
2019-06-13 Serge BazanskiMerge pull request #829 from abdelrahmanhosny/master
2019-06-12 Eddie HungRemove unnecessary undriven_bits.insert
2019-06-12 Eddie Hungwrite_xaiger to preserve POs even if driven by constant
2019-06-12 Eddie HungAdd a couple more tests
2019-06-12 Eddie HungMore write_xaiger cleanup
next