projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2020-02-06 whitequarkice40: match memory inference attribute values case... commit | commitdiff | tree
2020-02-06 whitequarkmemory_bram: add `attr_icase` option. commit | commitdiff | tree
2020-02-06 whitequarkice40: add support for both 1364.1 and LSE RAM/ROM... commit | commitdiff | tree
2020-02-06 whitequarkice40: remove impossible test. commit | commitdiff | tree
2020-02-06 Eddie HungMerge pull request #1682 from YosysHQ/eddie/opt_after_t... commit | commitdiff | tree
2020-02-06 Eddie Hungsynth_*: call 'opt -fast' after 'techmap' commit | commitdiff | tree
2020-02-06 Eddie Hungshiftx2mux: fix select out of bounds commit | commitdiff | tree
2020-02-05 Eddie HungMerge pull request #1576 from YosysHQ/eddie/opt_merge_init commit | commitdiff | tree
2020-02-05 Eddie HungMerge pull request #1650 from YosysHQ/eddie/shiftx2mux commit | commitdiff | tree
2020-02-05 Eddie Hungabc9_ops: -reintegrate to use derived_type for box_ports commit | commitdiff | tree
2020-02-05 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... commit | commitdiff | tree
2020-02-05 Eddie HungMerge pull request #1638 from YosysHQ/eddie/fix1631 commit | commitdiff | tree
2020-02-05 Eddie HungMerge pull request #1661 from YosysHQ/eddie/abc9_required commit | commitdiff | tree
2020-02-03 Marcelina KościelnickaAdd opt_lut_ins pass. (#1673) commit | commitdiff | tree
2020-02-02 David ShahMerge pull request #1516 from YosysHQ/dave/dotstar commit | commitdiff | tree
2020-02-02 David ShahUpdate CHANGELOG and README commit | commitdiff | tree
2020-02-02 David Shahsv: Improve handling of wildcard port connections commit | commitdiff | tree
2020-02-02 David Shahsv: More tests for wildcard port connections commit | commitdiff | tree
2020-02-02 David Shahhierarchy: Correct handling of wildcard port connection... commit | commitdiff | tree
2020-02-02 David Shahsv: Add tests for wildcard port connections commit | commitdiff | tree
2020-02-02 David Shahhierarchy: Resolve SV wildcard port connections commit | commitdiff | tree
2020-02-02 David Shahsv: Add lexing and parsing of .* (wildcard port conns) commit | commitdiff | tree
2020-02-02 David ShahMerge pull request #1647 from YosysHQ/dave/sprintf commit | commitdiff | tree
2020-02-02 David ShahMerge pull request #1657 from YosysHQ/dave/xilinx-dsp... commit | commitdiff | tree
2020-02-02 Marcin Kościelnickixilinx: use RAM32M/RAM64M for memories with two read... commit | commitdiff | tree
2020-02-01 David Shahxilinx_dsp: Add multonly scratchpad var to bypass commit | commitdiff | tree
2020-02-01 Marcin Kościelnickijson: remove the 32-bit parameter special case commit | commitdiff | tree
2020-01-31 Eddie HungMerge pull request #1668 from gsomlo/gls-abc9-external commit | commitdiff | tree
2020-01-30 Gabriel Somloabc9: restore ability to use ABCEXTERNAL commit | commitdiff | tree
2020-01-30 Claire WolfMerge pull request #1667 from YosysHQ/clifford/verificnand commit | commitdiff | tree
2020-01-30 Claire WolfMerge pull request #1503 from YosysHQ/eddie/verific_help commit | commitdiff | tree
2020-01-30 Claire WolfMerge pull request #1654 from YosysHQ/eddie/sby_fix69 commit | commitdiff | tree
2020-01-30 Claire WolfAdd Verific support for OPER_REDUCE_NAND commit | commitdiff | tree
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... commit | commitdiff | tree
2020-01-29 Claire WolfMerge pull request #1662 from YosysHQ/dave/opt-reduce... commit | commitdiff | tree
2020-01-29 Claire WolfMerge pull request #1665 from YosysHQ/clifford/edifkeep commit | commitdiff | tree
2020-01-29 Claire WolfMerge pull request #1659 from YosysHQ/clifford/experimental commit | commitdiff | tree
2020-01-29 N. EngelhardtMerge pull request #1510 from pumbor/master commit | commitdiff | tree
2020-01-29 Claire WolfPreserve wires with keep attribute in EDIF back-end commit | commitdiff | tree
2020-01-29 Miodrag MilanovićMerge pull request #1559 from YosysHQ/efinix_test_fix commit | commitdiff | tree
2020-01-29 Eddie HungAdd "help -all" and "help -celltypes" sanity test commit | commitdiff | tree
2020-01-29 Eddie Hungsynth_xilinx: cleanup help commit | commitdiff | tree
2020-01-29 Eddie Hungsynth_xilinx: fix help when no active_design; fixes... commit | commitdiff | tree
2020-01-29 Marcin Kościelnickixilinx: Add simulation model for DSP48 (Virtex 4). commit | commitdiff | tree
2020-01-28 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... commit | commitdiff | tree
2020-01-28 Eddie HungMerge pull request #1660 from YosysHQ/eddie/abc9_unperm... commit | commitdiff | tree
2020-01-28 Eddie HungAdd and use SigSpec::reverse() commit | commitdiff | tree
2020-01-28 Eddie HungFix unresolved conflict from #1573 commit | commitdiff | tree
2020-01-28 Miodrag MilanovicUpdated test to use assert-max commit | commitdiff | tree
2020-01-28 Claire WolfImprove logging use of experimental features commit | commitdiff | tree
2020-01-28 Claire WolfMerge pull request #1567 from YosysHQ/eddie/sat_init_wa... commit | commitdiff | tree
2020-01-28 N. EngelhardtMerge pull request #1573 from YosysHQ/eddie/xilinx_tristate commit | commitdiff | tree
2020-01-28 David Shahopt_reduce: Call check() per run rather than per optimi... commit | commitdiff | tree
2020-01-28 Pepijn de Vosredirect fuser stderr to /dev/null commit | commitdiff | tree
2020-01-28 Claire WolfMerge pull request #1553 from whitequark/manual-dffx commit | commitdiff | tree
2020-01-27 Eddie Hungabc9_ops: -check for negative arrival/required times commit | commitdiff | tree
2020-01-27 Eddie HungFix $lut input ordering -- SigSpec(std::initializer_lis... commit | commitdiff | tree
2020-01-27 Eddie HungImport tests from #1628 commit | commitdiff | tree
2020-01-27 Eddie Hungxilinx/ice40/ecp5: undo permuting LUT masks in lut_map commit | commitdiff | tree
2020-01-27 Eddie HungMerge pull request #1619 from YosysHQ/eddie/abc9_refactor commit | commitdiff | tree
2020-01-27 Eddie HungFix typo commit | commitdiff | tree
2020-01-27 Eddie HungMerge branch 'eddie/abc9_refactor' into eddie/abc9_required commit | commitdiff | tree
2020-01-27 Eddie Hungabc9_ops: add comments commit | commitdiff | tree
2020-01-27 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... commit | commitdiff | tree
2020-01-27 Eddie Hungverific: no help() when no YOSYS_ENABLE_VERIFIC commit | commitdiff | tree
2020-01-27 Eddie Hungverific: also unflatten for 'hierarchy' flow as per... commit | commitdiff | tree
2020-01-27 Eddie HungMerge pull request #1656 from YosysHQ/eddie/ice40_abc9_... commit | commitdiff | tree
2020-01-27 Claire WolfAdd log_experimental() and experimental() API and ... commit | commitdiff | tree
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 Hungread_aiger: set abc9_box_seq attr commit | commitdiff | tree
2020-01-24 Eddie Hungice40: add SB_SPRAM256KA arrival time commit | commitdiff | tree
2020-01-24 Eddie Hungice40: reduce ABC9 internal fanout warnings with a... commit | commitdiff | tree
2020-01-24 Eddie Hungverific: unflatten struct ports commit | commitdiff | tree
2020-01-24 Eddie Hungabc9: -reintegrate recover type from existing cell... commit | commitdiff | tree
2020-01-24 Eddie Hungsimple_abc9 tests to discard whitebox before write... 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 Hungabc9: warning message if no modules selected commit | commitdiff | tree
2020-01-24 Eddie HungFix $__ABC9_ASYNC1 to output 1'b1 not 1'b0 commit | commitdiff | tree
2020-01-24 Eddie HungTest for (* keep *)-ed abc9_box_id commit | commitdiff | tree
2020-01-24 Eddie Hungabc9_ops: -prep_xaiger to skip (* keep *) cells commit | commitdiff | tree
2020-01-24 Eddie Hungabc_box_id -> abc9_box_id in test commit | commitdiff | tree
2020-01-23 Eddie Hungabc9_ops -prep_dff: insert async s/r mux in holes when... commit | commitdiff | tree
2020-01-23 Eddie Hungalumacc: undo accidental commit commit | commitdiff | tree
2020-01-22 Eddie HungFix $__ABC9_ASYNC1 to output 1'b1 not 1'b0 commit | commitdiff | tree
2020-01-22 Eddie Hungread_aiger: also parse abc9_mergeability commit | commitdiff | tree
2020-01-22 Eddie HungMerge remote-tracking branch 'origin/eddie/abc9_fixes... 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-22 Eddie HungUpdate tests with reduced area commit | commitdiff | tree
2020-01-22 Eddie HungExplicitly create separate $mux cells commit | commitdiff | tree
2020-01-22 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... commit | commitdiff | tree
2020-01-21 Eddie HungFix tests -- when Y_WIDTH is non-pow-2 commit | commitdiff | tree
2020-01-21 Eddie HungMove from +/shiftx2mux.v into +/techmap.v; cleanup commit | commitdiff | tree
2020-01-21 Eddie HungNew techmap +/shiftx2mux.v which decomposes LSB first... commit | commitdiff | tree
2020-01-21 Eddie Hungread_aiger: discard LUT inputs with nodeID == 0; not < 2 commit | commitdiff | tree
2020-01-21 Eddie Hungread_aiger: ignore constant inputs on LUTs commit | commitdiff | tree
next