projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2020-01-27 Claire WolfMerge pull request #1658 from YosysHQ/clifford/smtbmcso... commit | commitdiff | tree
2020-01-27 Claire WolfImprove yosys-smtbmc "solver not found" handling commit | commitdiff | tree
2020-01-27 Claire WolfMerge pull request #1613 from porglezomp-misc/version... commit | commitdiff | tree
2020-01-24 Eddie Hungice40: add SB_SPRAM256KA arrival time commit | commitdiff | tree
2020-01-24 Eddie Hungsimple_abc9 tests to discard whitebox before write... commit | commitdiff | tree
2020-01-24 Eddie Hungabc_box_id -> abc9_box_id in test commit | commitdiff | tree
2020-01-24 Eddie HungFix $__ABC9_ASYNC1 to output 1'b1 not 1'b0 commit | commitdiff | tree
2020-01-22 Eddie HungMerge pull request #1652 from YosysHQ/eddie/abc9_fixes commit | commitdiff | tree
2020-01-22 Eddie Hungabc9: error out if flip-flop init is 1'b1 for '-dff' commit | commitdiff | tree
2020-01-22 Eddie Hungabc9: fix scratchpad entry abc9.verify commit | commitdiff | tree
2020-01-21 Claire WolfMerge pull request #1637 from YosysHQ/mwk/fix-1634 commit | commitdiff | tree
2020-01-21 Claire WolfMerge pull request #1629 from YosysHQ/mwk/edif-z commit | commitdiff | tree
2020-01-20 Claire WolfMerge pull request #1621 from YosysHQ/clifford/fminit commit | commitdiff | tree
2020-01-18 Eddie HungMerge pull request #1643 from YosysHQ/eddie/cleanup_ari... commit | commitdiff | tree
2020-01-18 David ShahMerge pull request #1602 from niklasnisbeth/ice40-init... commit | commitdiff | tree
2020-01-18 Eddie HungMerge pull request #1645 from YosysHQ/eddie/fix1644 commit | commitdiff | tree
2020-01-18 Eddie Hungxilinx_dsp: another typo; move xilinx specific test commit | commitdiff | tree
2020-01-18 Eddie Hungice40_dsp: fix typo commit | commitdiff | tree
2020-01-18 Eddie HungConsistency commit | commitdiff | tree
2020-01-18 Eddie Hungxilinx_dsp: add parameter defaults commit | commitdiff | tree
2020-01-17 Eddie HungAdd #1644 testcase commit | commitdiff | tree
2020-01-17 Eddie Hungsynth_ice40: call wreduce before mul2dsp commit | commitdiff | tree
2020-01-17 Eddie Hungice40_dsp: add test commit | commitdiff | tree
2020-01-17 Eddie Hungice40_dsp: add default values for parameters commit | commitdiff | tree
2020-01-17 Eddie Hungice40_dsp: tolerant of fanout-less outputs, as well... commit | commitdiff | tree
2020-01-17 Eddie HungDeprecate `_CLB_CARRY from +/xilinx/arith_map.v since... commit | commitdiff | tree
2020-01-17 Eddie Hung+/xilinx/arith_map.v fix $lcu rule commit | commitdiff | tree
2020-01-16 Eddie HungMerge pull request #1639 from YosysHQ/eddie/fix_read_xaiger commit | commitdiff | tree
2020-01-15 Eddie Hungabc9: aAdd test to check $_NOT_s are absorbed commit | commitdiff | tree
2020-01-15 Eddie Hungread_aiger: $lut prefix in front commit | commitdiff | tree
2020-01-15 Miodrag MilanovićMerge pull request #1636 from YosysHQ/eddie/fix_synth_x... commit | commitdiff | tree
2020-01-14 Eddie HungMerge pull request #1635 from YosysHQ/eddie/print_stats commit | commitdiff | tree
2020-01-14 Marcin Kościelnickifsm_detect: Add a cache to avoid excessive CPU usage... commit | commitdiff | tree
2020-01-14 Eddie HungMerge pull request #1633 from YosysHQ/eddie/fix_autoname commit | commitdiff | tree
2020-01-14 Eddie HungMerge pull request #1632 from YosysHQ/eddie/fix1630 commit | commitdiff | tree
2020-01-14 Eddie HungAs before, only display MEM if Linux or FreeBSD commit | commitdiff | tree
2020-01-14 Eddie Hungsynth_xilinx: fix default W value for non-xc7 commit | commitdiff | tree
2020-01-14 Eddie Hungprint_stats footer to return peak memory, option for... commit | commitdiff | tree
2020-01-14 Miodrag MilanovićMerge pull request #1623 from YosysHQ/mmicko/edif_attr commit | commitdiff | tree
2020-01-14 Eddie Hungautoname: do not autoname ports commit | commitdiff | tree
2020-01-14 Eddie Hungautoname: add testcase with $-prefix-ed port commit | commitdiff | tree
2020-01-14 Eddie Hungread_aiger: also rename "$0" commit | commitdiff | tree
2020-01-14 Eddie Hungread_aiger: uniquify wires with $aiger<autoidx> prefix commit | commitdiff | tree
2020-01-14 Eddie HungAdd #1630 testcase commit | commitdiff | tree
2020-01-14 Eddie Hungread_aiger: make $and/$not/$lut the prefix not suffix commit | commitdiff | tree
2020-01-13 Eddie HungMerge pull request #1620 from YosysHQ/eddie/abc9_scratchpad commit | commitdiff | tree
2020-01-13 Eddie HungMerge pull request #1627 from YosysHQ/eddie/fix1626 commit | commitdiff | tree
2020-01-13 Marcin Kościelnickiedif: Just ignore connections to 'z commit | commitdiff | tree
2020-01-12 Eddie HungAdd #1626 testcase commit | commitdiff | tree
2020-01-12 Eddie Hungsynth_ice40: -abc2 to always use `abc` even if `-abc9` commit | commitdiff | tree
2020-01-12 Eddie HungAnother conflict commit | commitdiff | tree
2020-01-12 Eddie Hungwrite_xaiger: create holes_sigmap before modifications commit | commitdiff | tree
2020-01-12 Eddie HungMIssed this merge conflict commit | commitdiff | tree
2020-01-12 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... commit | commitdiff | tree
2020-01-11 Eddie HungMerge pull request #1625 from YosysHQ/eddie/abc9_mfs commit | commitdiff | tree
2020-01-11 Eddie Hungabc9: fix help message, found by @nakengelhardt commit | commitdiff | tree
2020-01-11 Eddie Hungwrite_xaiger: sort holes by offset as well as port_id commit | commitdiff | tree
2020-01-11 Eddie Hungabc9: remove -nomfs option commit | commitdiff | tree
2020-01-11 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... commit | commitdiff | tree
2020-01-11 Eddie HungBump ABCREV for upstream fix commit | commitdiff | tree
2020-01-11 Eddie HungMerge pull request #1622 from YosysHQ/clifford/onpassreg commit | commitdiff | tree
2020-01-10 Eddie HungCopy-pasta commit | commitdiff | tree
2020-01-10 Eddie Hungsynth_xilinx: synth_xilinx.abc9.xc7.W to replace XC7_WI... commit | commitdiff | tree
2020-01-10 Eddie Hungabc9: add abc9.verify and abc9.debug options commit | commitdiff | tree
2020-01-10 Eddie HungMerge pull request #1624 from YosysHQ/eddie/abc9_leak commit | commitdiff | tree
2020-01-10 Eddie Hungabc9: fix memory leak commit | commitdiff | tree
2020-01-10 Eddie Hungabc9: fix typos commit | commitdiff | tree
2020-01-10 Miodrag Milanovicthis one is fine commit | commitdiff | tree
2020-01-10 Miodrag MilanovicFix tests commit | commitdiff | tree
2020-01-10 Miodrag Milanovicremove whitespace commit | commitdiff | tree
2020-01-10 Miodrag MilanovicUse CARRY4 for abc1 as well, preventing issues with... commit | commitdiff | tree
2020-01-10 Miodrag MilanovicExport wire properties as well in EDIF commit | commitdiff | tree
2020-01-10 Eddie HungAdd abc9 sanity test commit | commitdiff | tree
2020-01-10 Eddie HungTune abc9.script.flow commit | commitdiff | tree
2020-01-10 Eddie HungAdd '-v' to &if for abc9.script.default.fast commit | commitdiff | tree
2020-01-10 Eddie Hungabc9: start post-fix with semicolon commit | commitdiff | tree
2020-01-10 Eddie Hungabc9.script.* constpad entries to start with '+' commit | commitdiff | tree
2020-01-10 Eddie HungRevert "abc9: if -script value is a file, then source... commit | commitdiff | tree
2020-01-10 Eddie HungMove abc9.* constpad entries to Abc9Pass::on_register() commit | commitdiff | tree
2020-01-10 Eddie HungMerge remote-tracking branch 'origin/clifford/onpassreg... commit | commitdiff | tree
2020-01-09 Clifford WolfBump version commit | commitdiff | tree
2020-01-09 Clifford WolfAdd Pass::on_register() and Pass::on_shutdown() commit | commitdiff | tree
2020-01-09 Clifford WolfAdd fminit pass commit | commitdiff | tree
2020-01-09 Eddie Hungwrite_xaiger: cleanup holes generation commit | commitdiff | tree
2020-01-08 Eddie Hungwrite_xaiger: holes PIs only if whitebox commit | commitdiff | tree
2020-01-08 Eddie HungAdd abc9.if.script.flow{,2} to constpad commit | commitdiff | tree
2020-01-08 Eddie Hungscratchpad entry abc9.if.R to &if -R commit | commitdiff | tree
2020-01-08 Eddie Hungabc9: if -script value is a file, then source it, other... commit | commitdiff | tree
2020-01-08 Eddie Hungabc9: add time as last script command commit | commitdiff | tree
2020-01-08 Eddie HungFix {C} substitution commit | commitdiff | tree
2020-01-08 Eddie HungAdd RTLIL::constpad, init by yosys_setup(); use for... commit | commitdiff | tree
2020-01-08 Eddie HungFix abc9_xc7.box comments commit | commitdiff | tree
2020-01-07 Eddie HungFix abc9_xc7.box comments commit | commitdiff | tree
2020-01-07 Eddie Hungscc to use design->selected_modules() which avoids... commit | commitdiff | tree
2020-01-07 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... commit | commitdiff | tree
2020-01-07 Eddie HungBump ABCREV for upstream fix commit | commitdiff | tree
2020-01-07 Eddie HungMerge pull request #1618 from YosysHQ/eddie/aiger_fixes commit | commitdiff | tree
2020-01-07 Eddie Hungread_aiger: consistency between ascii and binary; also... commit | commitdiff | tree
2020-01-07 Eddie HungAdd testcases commit | commitdiff | tree
2020-01-07 Eddie Hungtests/aiger: write Yosys output commit | commitdiff | tree
next