projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... commit | commitdiff | tree
2019-11-23 Eddie HungMerge branch 'xaig_dff' of github.com:YosysHQ/yosys... commit | commitdiff | tree
2019-11-23 Eddie HungMerge pull request #1505 from YosysHQ/eddie/xaig_dff_adff commit | commitdiff | tree
2019-11-23 Eddie HungDo not use log_signal() for empty SigSpec to prevent... commit | commitdiff | tree
2019-11-23 Eddie HungCall submod once, more meaningful submod names, ignore... commit | commitdiff | tree
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... commit | commitdiff | tree
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... commit | commitdiff | tree
2019-11-23 Eddie HungRemove redundant flatten commit | commitdiff | tree
2019-11-23 Eddie Hungsubmod to bitty rather bussy, for bussy wires used... commit | commitdiff | tree
2019-11-23 Eddie HungStray dump commit | commitdiff | tree
2019-11-23 Eddie HungMove clkpart into passes/hierarchy commit | commitdiff | tree
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... commit | commitdiff | tree
2019-11-23 Eddie HungConstant driven signals are also an input to submodules commit | commitdiff | tree
2019-11-23 Eddie HungAdd another test with constant driver commit | commitdiff | tree
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... commit | commitdiff | tree
2019-11-23 Eddie HungOops commit | commitdiff | tree
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... commit | commitdiff | tree
2019-11-23 Eddie HungOnly action if there is more than one clock domain commit | commitdiff | tree
2019-11-23 Eddie HungReplace TODO commit | commitdiff | tree
2019-11-23 Eddie HungAdd testcase for signal used as part input part output commit | commitdiff | tree
2019-11-23 Eddie Hungwrite_xaiger back to working with whole modules only commit | commitdiff | tree
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... commit | commitdiff | tree
2019-11-23 Eddie HungCleanup spacing commit | commitdiff | tree
2019-11-23 Eddie Hungsigmap(wire) should inherit port_output status of POs commit | commitdiff | tree
2019-11-23 Eddie HungAdd testcase commit | commitdiff | tree
2019-11-22 Eddie HungMerge branch 'eddie/clkpart' into xaig_dff commit | commitdiff | tree
2019-11-22 Eddie HungBrackets commit | commitdiff | tree
2019-11-22 Eddie HungEntry in Makefile.inc commit | commitdiff | tree
2019-11-22 Eddie HungMerge branch 'eddie/clkpart' into xaig_dff commit | commitdiff | tree
2019-11-22 Eddie HungAdd to CHANGELOG commit | commitdiff | tree
2019-11-22 Eddie HungNew 'clkpart' to {,un}partition design according to... commit | commitdiff | tree
2019-11-22 Eddie HungRevert "write_xaiger to not use module POs but only... commit | commitdiff | tree
2019-11-22 Eddie HungMissing endmodule commit | commitdiff | tree
2019-11-22 Clifford WolfMerge pull request #1517 from YosysHQ/clifford/optmem commit | commitdiff | tree
2019-11-22 Clifford WolfMerge pull request #1515 from YosysHQ/clifford/svastuff commit | commitdiff | tree
2019-11-22 Clifford WolfAdd "opt_mem" pass commit | commitdiff | tree
2019-11-22 Clifford WolfAdd Verific support for SVA nexttime properties commit | commitdiff | tree
2019-11-22 Clifford WolfImprove handling of verific primitives in "verific... commit | commitdiff | tree
2019-11-22 Clifford WolfAdd Verific SVA support for "always" properties commit | commitdiff | tree
2019-11-22 Clifford WolfMerge pull request #1511 from YosysHQ/dave/always commit | commitdiff | tree
2019-11-22 Marcin Kościelnickigowin: Remove show command from tests. commit | commitdiff | tree
2019-11-22 Marcin Kościelnickigowin: Add missing .gitignore entries commit | commitdiff | tree
2019-11-22 David ShahUpdate CHANGELOG and README commit | commitdiff | tree
2019-11-22 Eddie HungAnother sloppy mistake! commit | commitdiff | tree
2019-11-22 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... commit | commitdiff | tree
2019-11-22 Eddie Hungasync2sync -> clk2fflogic commit | commitdiff | tree
2019-11-22 Eddie Hungwrite_xaiger to not use module POs but only write outpu... commit | commitdiff | tree
2019-11-22 Eddie HungWhen expanding upwards, do not capture $__ABC9_{FF... commit | commitdiff | tree
2019-11-22 Eddie HungMerge branch 'eddie/xaig_dff_adff' into xaig_dff commit | commitdiff | tree
2019-11-22 Eddie HungAdd test commit | commitdiff | tree
2019-11-21 David Shahsv: Add tests for SV always types commit | commitdiff | tree
2019-11-21 David Shahproc_dlatch: Add error handling for incorrect always_... commit | commitdiff | tree
2019-11-21 David Shahsv: Correct parsing of always_comb, always_ff and alway... commit | commitdiff | tree
2019-11-20 Eddie HungConsistent log message, ignore 's' extension commit | commitdiff | tree
2019-11-20 Eddie Hungendomain -> ctrldomain commit | commitdiff | tree
2019-11-20 Eddie HungAdd blackbox model for $__ABC9_FF_ so that clock partit... commit | commitdiff | tree
2019-11-20 Eddie HungAdd multi clock test commit | commitdiff | tree
2019-11-20 Eddie HungFix INIT values commit | commitdiff | tree
2019-11-20 Clifford WolfMerge pull request #1507 from YosysHQ/clifford/verificfixes commit | commitdiff | tree
2019-11-20 Clifford WolfCorrectly treat empty modules as blackboxes in Verific commit | commitdiff | tree
2019-11-20 Clifford WolfDo not rename VHDL entities to "entity(impl)" when... commit | commitdiff | tree
2019-11-20 Eddie HungAdd a equiv test too commit | commitdiff | tree
2019-11-20 Eddie HungAdd two tests commit | commitdiff | tree
2019-11-20 Eddie Hungabc9 to support async flops $_DFF_[NP][NP][01]_ commit | commitdiff | tree
2019-11-20 Eddie HungDo not drop async control signals in abc_map.v commit | commitdiff | tree
2019-11-19 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff commit | commitdiff | tree
2019-11-19 Clifford WolfMerge pull request #1449 from pepijndevos/gowin commit | commitdiff | tree
2019-11-19 Pepijn de VosRemove dff init altogether commit | commitdiff | tree
2019-11-19 Marcin KościelnickiFix #1462, #1480. commit | commitdiff | tree
2019-11-19 Marcin Kościelnickixilinx: Add simulation models for MULT18X18* and DSP48A*. commit | commitdiff | tree
2019-11-18 Pepijn de Vosadd help for nowidelut and abc9 options commit | commitdiff | tree
2019-11-18 Clifford WolfMerge pull request #1497 from YosysHQ/mwk/extract-fa-fix commit | commitdiff | tree
2019-11-18 whitequarkMerge pull request #1494 from whitequark/write_verilog... commit | commitdiff | tree
2019-11-18 Marcin KościelnickiFix #1496. commit | commitdiff | tree
2019-11-18 whitequarkwrite_verilog: add -extmem option, to write split memor... commit | commitdiff | tree
2019-11-17 Clifford WolfMerge pull request #1492 from YosysHQ/dave/wreduce... commit | commitdiff | tree
2019-11-16 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... commit | commitdiff | tree
2019-11-15 David Shahecp5: Use new autoname pass for better cell/net names commit | commitdiff | tree
2019-11-14 David Shahwreduce: Don't trim zeros or sext when not matching... commit | commitdiff | tree
2019-11-14 Clifford WolfMerge pull request #1490 from YosysHQ/clifford/autoname commit | commitdiff | tree
2019-11-14 Clifford WolfMerge pull request #1444 from btut/feature/python_wrapp... commit | commitdiff | tree
2019-11-14 Clifford WolfMerge pull request #1465 from YosysHQ/dave/ice40_timing_sim commit | commitdiff | tree
2019-11-14 Clifford WolfMerge branch 'makaimann-label-bads-btor' commit | commitdiff | tree
2019-11-14 Clifford WolfUse cell name for btor bad state props when it is a... commit | commitdiff | tree
2019-11-14 Clifford WolfMerge branch 'label-bads-btor' of https://github.com... commit | commitdiff | tree
2019-11-13 Clifford WolfAdd "autoname" pass and use it in "synth_ice40" commit | commitdiff | tree
2019-11-13 whitequarkMerge pull request #1488 from whitequark/flowmap-fixes commit | commitdiff | tree
2019-11-13 Clifford WolfMerge pull request #1486 from YosysHQ/clifford/fsmdetectfix commit | commitdiff | tree
2019-11-12 Clifford WolfUpdate fsm_detect bugfix commit | commitdiff | tree
2019-11-12 Clifford WolfBugfix in fsm_detect commit | commitdiff | tree
2019-11-12 Clifford WolfMerge pull request #1484 from YosysHQ/clifford/cmp2luteqne commit | commitdiff | tree
2019-11-12 Makai MannAdd an info string symbol for bad states in btor backend commit | commitdiff | tree
2019-11-12 whitequarkflowmap: when doing mincut, ensure source is always... commit | commitdiff | tree
2019-11-11 whitequarkflowmap: don't break if that creates a k+2 (and larger... commit | commitdiff | tree
2019-11-11 Pepijn de Vosfix fsm test with proper clock enable polarity commit | commitdiff | tree
2019-11-11 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... commit | commitdiff | tree
2019-11-11 Miodrag MilanovicFixed tests commit | commitdiff | tree
2019-11-11 Clifford WolfDo not map $eq and $ne in cmp2lut, only proper arithmet... commit | commitdiff | tree
2019-11-10 Clifford WolfMerge pull request #1470 from YosysHQ/clifford/subpassdoc commit | commitdiff | tree
2019-11-07 Clifford WolfAdd check for valid macro names in macro definitions commit | commitdiff | tree
next