yosys.git
2020-01-28 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2020-01-28 Eddie HungMerge pull request #1660 from YosysHQ/eddie/abc9_unperm...
2020-01-28 Eddie HungAdd and use SigSpec::reverse()
2020-01-28 Eddie HungFix unresolved conflict from #1573
2020-01-28 Claire WolfMerge pull request #1567 from YosysHQ/eddie/sat_init_wa...
2020-01-28 N. EngelhardtMerge pull request #1573 from YosysHQ/eddie/xilinx_tristate
2020-01-28 Pepijn de Vosredirect fuser stderr to /dev/null
2020-01-28 Claire WolfMerge pull request #1553 from whitequark/manual-dffx
2020-01-27 Eddie HungFix $lut input ordering -- SigSpec(std::initializer_lis...
2020-01-27 Eddie HungImport tests from #1628
2020-01-27 Eddie Hungxilinx/ice40/ecp5: undo permuting LUT masks in lut_map
2020-01-27 Eddie HungMerge pull request #1619 from YosysHQ/eddie/abc9_refactor
2020-01-27 Eddie Hungabc9_ops: add comments
2020-01-27 Eddie HungMerge pull request #1656 from YosysHQ/eddie/ice40_abc9_...
2020-01-27 Claire WolfMerge pull request #1658 from YosysHQ/clifford/smtbmcso...
2020-01-27 Claire WolfImprove yosys-smtbmc "solver not found" handling
2020-01-27 Claire WolfMerge pull request #1613 from porglezomp-misc/version...
2020-01-24 Eddie Hungread_aiger: set abc9_box_seq attr
2020-01-24 Eddie Hungice40: add SB_SPRAM256KA arrival time
2020-01-24 Eddie Hungice40: reduce ABC9 internal fanout warnings with a...
2020-01-24 Eddie Hungabc9: -reintegrate recover type from existing cell...
2020-01-24 Eddie Hungsimple_abc9 tests to discard whitebox before write...
2020-01-24 Eddie Hungsimple_abc9 tests to discard whitebox before write...
2020-01-24 Eddie Hungabc_box_id -> abc9_box_id in test
2020-01-24 Eddie Hungabc9: warning message if no modules selected
2020-01-24 Eddie HungFix $__ABC9_ASYNC1 to output 1'b1 not 1'b0
2020-01-24 Eddie HungTest for (* keep *)-ed abc9_box_id
2020-01-24 Eddie Hungabc9_ops: -prep_xaiger to skip (* keep *) cells
2020-01-24 Eddie Hungabc_box_id -> abc9_box_id in test
2020-01-23 Eddie Hungabc9_ops -prep_dff: insert async s/r mux in holes when...
2020-01-23 Eddie Hungalumacc: undo accidental commit
2020-01-22 Eddie HungFix $__ABC9_ASYNC1 to output 1'b1 not 1'b0
2020-01-22 Eddie Hungread_aiger: also parse abc9_mergeability
2020-01-22 Eddie HungMerge remote-tracking branch 'origin/eddie/abc9_fixes...
2020-01-22 Eddie HungMerge pull request #1652 from YosysHQ/eddie/abc9_fixes
2020-01-22 Eddie Hungabc9: error out if flip-flop init is 1'b1 for '-dff'
2020-01-22 Eddie Hungabc9: fix scratchpad entry abc9.verify
2020-01-22 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2020-01-21 Eddie Hungread_aiger: discard LUT inputs with nodeID == 0; not < 2
2020-01-21 Eddie Hungread_aiger: ignore constant inputs on LUTs
2020-01-21 Eddie Hungwrite_xaiger: fix for (* keep *) on flop output
2020-01-21 Claire WolfMerge pull request #1637 from YosysHQ/mwk/fix-1634
2020-01-21 Claire WolfMerge pull request #1629 from YosysHQ/mwk/edif-z
2020-01-20 Claire WolfMerge pull request #1621 from YosysHQ/clifford/fminit
2020-01-18 Eddie HungMerge pull request #1643 from YosysHQ/eddie/cleanup_ari...
2020-01-18 David ShahMerge pull request #1602 from niklasnisbeth/ice40-init...
2020-01-18 Eddie HungMerge pull request #1645 from YosysHQ/eddie/fix1644
2020-01-18 Eddie Hungxilinx_dsp: another typo; move xilinx specific test
2020-01-18 Eddie Hungice40_dsp: fix typo
2020-01-18 Eddie HungConsistency
2020-01-18 Eddie Hungxilinx_dsp: add parameter defaults
2020-01-17 Eddie HungAdd #1644 testcase
2020-01-17 Eddie Hungsynth_ice40: call wreduce before mul2dsp
2020-01-17 Eddie Hungice40_dsp: add test
2020-01-17 Eddie Hungice40_dsp: add default values for parameters
2020-01-17 Eddie Hungice40_dsp: tolerant of fanout-less outputs, as well...
2020-01-17 Eddie HungDeprecate `_CLB_CARRY from +/xilinx/arith_map.v since...
2020-01-17 Eddie Hungabc9: add some log_{push,pop}() as per @nakengelhardt
2020-01-17 Eddie Hung+/xilinx/arith_map.v fix $lcu rule
2020-01-16 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2020-01-16 Eddie HungMerge pull request #1639 from YosysHQ/eddie/fix_read_xaiger
2020-01-15 Eddie Hungabc9: aAdd test to check $_NOT_s are absorbed
2020-01-15 Eddie Hungread_aiger: $lut prefix in front
2020-01-15 Eddie Hungwrite_xaiger: skip abc9_flop only if abc_box_seq present
2020-01-15 Miodrag MilanovićMerge pull request #1636 from YosysHQ/eddie/fix_synth_x...
2020-01-15 Eddie Hungwrite_xaiger: do not export flop inputs as POs
2020-01-14 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2020-01-14 Eddie Hungabc9_ops: -reintegrate to not trim box padding anymore
2020-01-14 Eddie HungMerge pull request #1635 from YosysHQ/eddie/print_stats
2020-01-14 Marcin Kościelnickifsm_detect: Add a cache to avoid excessive CPU usage...
2020-01-14 Eddie Hungabc9_ops/write_xaiger: update doc
2020-01-14 Eddie Hungabc9_ops: -prep_holes -> -prep_xaiger, move padding...
2020-01-14 Eddie HungAdding (* techmap_autopurge *) to FD* in abc9_map.v
2020-01-14 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2020-01-14 Eddie HungMerge pull request #1633 from YosysHQ/eddie/fix_autoname
2020-01-14 Eddie HungMerge pull request #1632 from YosysHQ/eddie/fix1630
2020-01-14 Eddie HungAs before, only display MEM if Linux or FreeBSD
2020-01-14 Eddie Hungsynth_xilinx: fix default W value for non-xc7
2020-01-14 Eddie Hungprint_stats footer to return peak memory, option for...
2020-01-14 Miodrag MilanovićMerge pull request #1623 from YosysHQ/mmicko/edif_attr
2020-01-14 Eddie Hungautoname: do not autoname ports
2020-01-14 Eddie Hungautoname: add testcase with $-prefix-ed port
2020-01-14 Eddie Hungread_aiger: also rename "$0"
2020-01-14 Eddie Hungabc9_ops: -break_scc -> -mark_scc using (* keep *)...
2020-01-14 Eddie Hungabc9_ops: ignore inouts of all cell outputs for topo...
2020-01-14 Eddie Hungwrite_xaiger: fix case of PI and CI and (* keep *)
2020-01-14 Eddie Hungabc9: break SCC by setting (* keep *) on output wires
2020-01-14 Eddie Hungread_aiger: uniquify wires with $aiger<autoidx> prefix
2020-01-14 Eddie HungAdd #1630 testcase
2020-01-14 Eddie Hungabc9: add -run option
2020-01-14 Eddie Hungabc9: respect (* keep *) on cells
2020-01-14 Eddie Hungwrite_xaiger: add support and test for (* keep *) on...
2020-01-14 Eddie Hungread_aiger: make $and/$not/$lut the prefix not suffix
2020-01-13 Eddie Hungwrite_xaiger: cache arrival times
2020-01-13 Eddie Hungabc9: log which module is being operated on
2020-01-13 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2020-01-13 Eddie HungMerge pull request #1620 from YosysHQ/eddie/abc9_scratchpad
2020-01-13 Eddie HungMerge pull request #1627 from YosysHQ/eddie/fix1626
2020-01-13 Marcin Kościelnickiedif: Just ignore connections to 'z
2020-01-12 Eddie HungAdd #1626 testcase
next