projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Clean up trimming leading 1'bx in A during techmappnig
[yosys.git] / backends /
2019-06-28 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-06-28 Eddie HungMerge pull request #1098 from YosysHQ/xaig tree | commitdiff
2019-06-28 Eddie HungAdd generic __builtin_bswap32 function tree | commitdiff
2019-06-28 Eddie HungAlso fix write_aiger for UB tree | commitdiff
2019-06-28 Eddie HungFix more potential for undefined behaviour due to conta... tree | commitdiff
2019-06-27 Eddie HungRefactor for one "abc_carry" attribute on module tree | commitdiff
2019-06-27 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-06-27 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-06-27 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-06-27 Eddie HungMerge origin/master tree | commitdiff
2019-06-27 Eddie HungMerge pull request #1138 from YosysHQ/koriakin/xc7nocar... tree | commitdiff
2019-06-27 Eddie HungMerge remote-tracking branch 'origin/clifford/fix1132... tree | commitdiff
2019-06-27 Bogdan VukobratovicMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-06-27 Eddie HungMerge remote-tracking branch 'origin/xaig' into xc7mux tree | commitdiff
2019-06-27 Eddie HungImprove debugging message for comb loops tree | commitdiff
2019-06-27 Eddie HungMerge remote-tracking branch 'origin/eddie/fix1132... tree | commitdiff
2019-06-27 Eddie HungMerge remote-tracking branch 'origin/eddie/fix1132... tree | commitdiff
2019-06-26 Eddie HungMerge remote-tracking branch 'origin/eddie/fix1132... tree | commitdiff
2019-06-26 Eddie HungMerge remote-tracking branch 'origin/eddie/fix1132... tree | commitdiff
2019-06-26 Eddie HungMerge remote-tracking branch 'origin/eddie/fix1132... tree | commitdiff
2019-06-26 Eddie HungMerge branch 'koriakin/xc7nocarrymux' into xaig tree | commitdiff
2019-06-26 Eddie HungMerge branch 'koriakin/xc7nocarrymux' into xaig tree | commitdiff
2019-06-26 Eddie HungMerge branch 'koriakin/xc7nocarrymux' into xaig tree | commitdiff
2019-06-26 Eddie HungMerge branch 'koriakin/xc7nocarrymux' into xaig tree | commitdiff
2019-06-26 Eddie HungMerge branch 'xc7nocarrymux' of https://github.com... tree | commitdiff
2019-06-26 Clifford WolfImprove BTOR2 handling of undriven wires tree | commitdiff
2019-06-26 Clifford WolfEscape scope names starting with dollar sign in smtio.py tree | commitdiff
2019-06-25 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-06-25 Clifford WolfMerge pull request #1130 from YosysHQ/eddie/fix710 tree | commitdiff
2019-06-25 Eddie HungMerge pull request #1129 from YosysHQ/eddie/ram32x1d tree | commitdiff
2019-06-25 Clifford WolfMerge pull request #1075 from YosysHQ/eddie/muxpack tree | commitdiff
2019-06-25 Eddie HungMerge remote-tracking branch 'origin/xaig' into xc7mux tree | commitdiff
2019-06-25 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-06-24 Eddie HungMerge remote-tracking branch 'origin/eddie/ram32x1d... tree | commitdiff
2019-06-24 Clifford WolfMerge pull request #1124 from mmicko/json_ports tree | commitdiff
2019-06-23 Eddie HungMerge remote-tracking branch 'origin/xaig' into xc7mux tree | commitdiff
2019-06-22 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-06-22 Eddie HungCarry in/out box ordering now move to end, not swap... tree | commitdiff
2019-06-22 Eddie HungMerge branch 'master' into xaig tree | commitdiff
2019-06-22 Eddie HungMerge remote-tracking branch 'origin/xaig' into xc7mux tree | commitdiff
2019-06-22 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-06-22 Eddie HungReplace assert with error message tree | commitdiff
2019-06-22 Eddie HungAdd log_push()/log_pop() inside write_xaiger tree | commitdiff
2019-06-22 Eddie HungAdd log_push()/log_pop() inside write_xaiger tree | commitdiff
2019-06-22 Eddie HungMerge pull request #1108 from YosysHQ/clifford/fix1091 tree | commitdiff
2019-06-21 Eddie HungReplace assert with error message tree | commitdiff
2019-06-21 Eddie HungMerge remote-tracking branch 'origin/eddie/muxpack... tree | commitdiff
2019-06-21 Eddie HungMerge branch 'xc7mux' into xc7mux_wip tree | commitdiff
2019-06-21 Eddie HungOne more workaround for gcc-4.8 tree | commitdiff
2019-06-21 Eddie HungOne more workaround for gcc-4.8 tree | commitdiff
2019-06-21 Eddie HungNo point logging constant bit tree | commitdiff
2019-06-21 Eddie HungMove comment tree | commitdiff
2019-06-21 Eddie HungRevert "Stab in the dark with aig_map from dict ->... tree | commitdiff
2019-06-21 Eddie HungNo point logging constant bit tree | commitdiff
2019-06-21 Eddie HungMove comment tree | commitdiff
2019-06-21 Eddie HungStab in the dark with aig_map from dict -> std::map tree | commitdiff
2019-06-21 Eddie HungMerge branch 'master' into eddie/muxpack tree | commitdiff
2019-06-21 Miodrag MilanovicFix json formatting tree | commitdiff
2019-06-21 Eddie HungMerge remote-tracking branch 'origin/clifford/fix1091... tree | commitdiff
2019-06-21 Miodrag MilanovicAdd upto and offset to JSON ports tree | commitdiff
2019-06-21 Eddie HungMerge pull request #1085 from YosysHQ/eddie/shregmap_im... tree | commitdiff
2019-06-21 Clifford WolfMerge pull request #1122 from YosysHQ/clifford/jsonports tree | commitdiff
2019-06-21 Clifford WolfAdded JSON upto and offset tree | commitdiff
2019-06-21 Clifford WolfMerge pull request #1117 from bwidawsk/more-home tree | commitdiff
2019-06-21 Clifford WolfMerge pull request #1119 from YosysHQ/eddie/fix1118 tree | commitdiff
2019-06-21 Clifford WolfMerge pull request #1116 from YosysHQ/eddie/fix1115 tree | commitdiff
2019-06-21 Eddie HungFix spacing tree | commitdiff
2019-06-21 Eddie HungFix spacing tree | commitdiff
2019-06-21 Eddie HungRefactor bit2aig for less lookups tree | commitdiff
2019-06-21 Eddie HungFix gcc invalidation behaviour for write_aiger tree | commitdiff
2019-06-21 Eddie HungFix gcc error, due to dict invalidation during recursion tree | commitdiff
2019-06-21 Eddie HungRefactor bit2aig for less lookups tree | commitdiff
2019-06-21 Eddie HungFix gcc invalidation behaviour for write_aiger tree | commitdiff
2019-06-21 Eddie HungFix gcc invalidation behaviour for write_aiger tree | commitdiff
2019-06-21 Eddie HungFix gcc error, due to dict invalidation during recursion tree | commitdiff
2019-06-21 Eddie Hungwrite_xaiger to flatten 1'bx/1'bz to 1'b0 again tree | commitdiff
2019-06-21 Eddie HungFix different abc9 test tree | commitdiff
2019-06-21 Eddie HungFix broken abc9.v test due to inout being 1'bx tree | commitdiff
2019-06-21 Eddie Hungwrite_xaiger to flatten 1'bx/1'bz to 1'b0 again tree | commitdiff
2019-06-21 Eddie HungFix different abc9 test tree | commitdiff
2019-06-21 Eddie HungFix broken abc9.v test due to inout being 1'bx tree | commitdiff
2019-06-21 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-06-21 Eddie HungHandle COs driven by 1'bx tree | commitdiff
2019-06-21 Eddie Hungwrite_xaiger to skip POs driven by 1'bx tree | commitdiff
2019-06-20 Eddie HungMerge remote-tracking branch 'origin/eddie/fix1115... tree | commitdiff
2019-06-20 Eddie HungMerge remote-tracking branch 'origin/eddie/fix1118... tree | commitdiff
2019-06-20 Eddie HungHandle COs driven by 1'bx tree | commitdiff
2019-06-20 Eddie Hungwrite_xaiger to skip POs driven by 1'bx tree | commitdiff
2019-06-20 Eddie HungMerge remote-tracking branch 'origin/eddie/fix1115... tree | commitdiff
2019-06-20 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-06-20 Clifford WolfMerge branch 'master' of https://github.com/bogdanvuk... tree | commitdiff
2019-06-20 Clifford WolfMerge branch 'unpacked_arrays' of https://github.com... tree | commitdiff
2019-06-19 Clifford WolfMerge pull request #1100 from bwidawsk/home tree | commitdiff
2019-06-18 Ben WidawskySupport filename rewrite in backends tree | commitdiff
2019-06-18 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-06-18 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-06-18 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-06-18 Clifford WolfMerge pull request #1086 from udif/pr_elab_sys_tasks2 tree | commitdiff
2019-06-16 Clifford WolfAdd timescale and generated-by header to yosys-smtbmc... tree | commitdiff
2019-06-16 Eddie HungMerge remote-tracking branch 'origin/xaig' into xc7mux tree | commitdiff
next