projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2020-05-08 Eddie Hungopt_expr: consume_x to require/imply !keepdc commit | commitdiff | tree
2020-05-08 Eddie Hungopt_expr: restore consume_x; use for coarse grained too commit | commitdiff | tree
2020-05-08 Eddie Hungtests: opt_expr tests that depend on consumex commit | commitdiff | tree
2020-04-24 Eddie Hungtests: fsm to use a randomly-generated seed commit | commitdiff | tree
2020-04-24 Eddie Hungopt_expr: const_xnor replacement to pad Y with 1'b1 commit | commitdiff | tree
2020-04-24 Eddie Hungtests: opt_expr update xnor/xor tests commit | commitdiff | tree
2020-04-24 Eddie Hungopt_expr: more fixes for $xor/$xnor commit | commitdiff | tree
2020-04-24 Eddie Hungopt_expr: do not group by X, more fixes commit | commitdiff | tree
2020-04-23 Eddie Hungtests: add opt_expr tests commit | commitdiff | tree
2020-04-23 Eddie Hungopt_expr: improve single-bit $and/$or/$xor/$xnor cells... commit | commitdiff | tree
2020-04-23 Eddie HungMerge pull request #1974 from YosysHQ/eddie/abc9_disabl... commit | commitdiff | tree
2020-04-23 Claire WolfMerge pull request #1989 from boqwxp/qbfsat_anyconst_so... commit | commitdiff | tree
2020-04-23 Claire WolfMerge pull request #1988 from boqwxp/qbfsat commit | commitdiff | tree
2020-04-23 Claire WolfMerge pull request #1986 from YosysHQ/eddie/verific_enum commit | commitdiff | tree
2020-04-23 Dan Ravensloftintel_alm: work around a Quartus ICE commit | commitdiff | tree
2020-04-23 Alberto Gonzalezqbfsat: Make hole name recovery more robust. Allow... commit | commitdiff | tree
2020-04-23 Eddie HungMerge pull request #1984 from YosysHQ/eddie/getParam_ex... commit | commitdiff | tree
2020-04-23 Alberto Gonzalezqbfsat: Add `-assume-negative-polarity` option. commit | commitdiff | tree
2020-04-23 Eddie Hungecp5: ecp5_gsr to skip cells that don't have GSR parame... commit | commitdiff | tree
2020-04-23 Eddie Hungtests: read +/xilinx/cell_sim.v before xilinx_dsp test commit | commitdiff | tree
2020-04-23 Eddie Hungxilinx: xilinx_dsp_cascade to check CREG for DSP48E1... commit | commitdiff | tree
2020-04-23 Eddie Hungverific: import enum attributes from verific commit | commitdiff | tree
2020-04-22 Eddie Hungtest: ice40_dsp test to read +/ice40/cells_sim.v for... commit | commitdiff | tree
2020-04-22 Eddie Hungxilinx: improve xilinx_dffopt message commit | commitdiff | tree
2020-04-22 Eddie Hungxilinx: xilinx_dffopt to read cells_sim.v; fix test commit | commitdiff | tree
2020-04-22 Eddie Hungkernel: Cell::getParam() to throw exception again if... commit | commitdiff | tree
2020-04-22 Eddie HungMerge pull request #1949 from YosysHQ/eddie/select_blackbox commit | commitdiff | tree
2020-04-22 Eddie HungMerge pull request #1983 from YosysHQ/eddie/use_default... commit | commitdiff | tree
2020-04-22 whitequarkMerge pull request #1982 from AsuMagic/asu/cxxrtl-memor... commit | commitdiff | tree
2020-04-22 Claire WolfUpdate passes/cmds/select.cc commit | commitdiff | tree
2020-04-22 Eddie HungMerge pull request #1969 from boqwxp/pool_emplace commit | commitdiff | tree
2020-04-22 Eddie HungCleanup use of hard-coded default parameters in light... commit | commitdiff | tree
2020-04-22 Asucxxrtl: keep the memory write queue sorted on insertion. commit | commitdiff | tree
2020-04-22 Eddie HungMerge pull request #1973 from YosysHQ/eddie/fix1966 commit | commitdiff | tree
2020-04-22 Eddie Hungtests: update select black/white-box tests commit | commitdiff | tree
2020-04-22 Eddie Hungselect: do not select black/white boxes by default... commit | commitdiff | tree
2020-04-22 Eddie HungMerge pull request #1950 from YosysHQ/eddie/design_import commit | commitdiff | tree
2020-04-22 Eddie Hungyosys-config: spelling commit | commitdiff | tree
2020-04-22 Eddie Hungtests: use `yosys-config --datdir` instead of hard... commit | commitdiff | tree
2020-04-22 Eddie Hungpool: add emplace() function commit | commitdiff | tree
2020-04-22 Claire WolfMerge pull request #1976 from YosysHQ/dave/fix-sim... commit | commitdiff | tree
2020-04-22 Claire WolfMerge pull request #1979 from whitequark/cxxrtl-go... commit | commitdiff | tree
2020-04-22 whitequarkcxxrtl: run edge detectors only once in eval(). commit | commitdiff | tree
2020-04-22 whitequarkcxxrtl: add an unsupported knob for manipulating clock... commit | commitdiff | tree
2020-04-21 whitequarkcxxrtl: use log_id() where appropriate. NFC. commit | commitdiff | tree
2020-04-21 Marcelina Kościelnickabugpoint: Don't remove modules or cells while iterating... commit | commitdiff | tree
2020-04-21 whitequarkcxxrtl: add (*cxxrtl.{comb,sync}*) annotations on black... commit | commitdiff | tree
2020-04-21 whitequarkcxxrtl: s/sync_{wire,type}/edge_{wire,type}/. NFC. commit | commitdiff | tree
2020-04-21 Dan Ravensloftintel_alm: Documentation improvements commit | commitdiff | tree
2020-04-21 Alberto Gonzalezkernel: Rename arguments to rvalue-reference-accepting... commit | commitdiff | tree
2020-04-21 Marcelina Kościelnickawrite_json: dump default parameter values commit | commitdiff | tree
2020-04-21 Marcelina KościelnickaUse default parameter value in getParam commit | commitdiff | tree
2020-04-21 Marcelina Kościelnickahierarchy: Convert positional parameters to named. commit | commitdiff | tree
2020-04-21 Marcelina Kościelnickailang, ast: Store parameter order and default value... commit | commitdiff | tree
2020-04-21 Marcelina Kościelnickaidict: Make iterator go forward. commit | commitdiff | tree
2020-04-21 Claire WolfMerge pull request #1971 from YosysHQ/claire/edifkeep commit | commitdiff | tree
2020-04-21 Claire WolfMerge pull request #1851 from YosysHQ/claire/bitselwrite commit | commitdiff | tree
2020-04-21 whitequarkcxxrtl: use one delta cycle for immediately converging... commit | commitdiff | tree
2020-04-21 whitequarkcxxrtl: add -O6, a shortcut for running `proc; flatten`. commit | commitdiff | tree
2020-04-21 whitequarkcxxrtl: unbuffer module input wires. commit | commitdiff | tree
2020-04-21 whitequarkcxxrtl: simplify generated edge detection logic. commit | commitdiff | tree
2020-04-21 whitequarkcxxrtl: localize wires with multiple comb drivers,... commit | commitdiff | tree
2020-04-21 whitequarkcxxrtl: detect buffered comb wires, not just feedback... commit | commitdiff | tree
2020-04-21 Claire WolfAdd '=' selection pattern prefix for non-blackbox only... commit | commitdiff | tree
2020-04-21 Claire WolfImprove net priorities in EDIF back-end commit | commitdiff | tree
2020-04-21 David Shahsim: Fix handling of constant-connected cell inputs... commit | commitdiff | tree
2020-04-21 whitequarkMerge pull request #1961 from whitequark/paramod-origin... commit | commitdiff | tree
2020-04-20 Eddie Hungtests: remove write_ilang commit | commitdiff | tree
2020-04-20 Eddie HungMerge pull request #1975 from dh73/claire/bitselwrite commit | commitdiff | tree
2020-04-20 Eddie HungRemove '-ignore_unknown_cells' option from 'sat' commit | commitdiff | tree
2020-04-20 Eddie HungSimplify test case script commit | commitdiff | tree
2020-04-20 Eddie HungRemove ununsed files commit | commitdiff | tree
2020-04-20 Eddie HungMerge pull request #1972 from YosysHQ/eddie/bug1970 commit | commitdiff | tree
2020-04-20 Eddie Hungabc9: tolerate ABC nonzero exit code if output.aig... commit | commitdiff | tree
2020-04-20 diegoModifications of tests as per Eddie's request commit | commitdiff | tree
2020-04-20 Eddie Hungxilinx/ecp5: disable abc9's "&mfs" optimisation commit | commitdiff | tree
2020-04-20 Eddie Hungabc9: -prep_lut to be more robust commit | commitdiff | tree
2020-04-20 Eddie Hungabc9: add testcase reduced from #1970 commit | commitdiff | tree
2020-04-20 Claire WolfIgnore conflicting keep attributes, unless asked not... commit | commitdiff | tree
2020-04-20 Claire WolfMerge pull request #1964 from YosysHQ/claire/sformatf commit | commitdiff | tree
2020-04-20 Alberto GonzalezAdd rvalue-reference-accepting `entry_t` constructor... commit | commitdiff | tree
2020-04-20 Alberto GonzalezIn `pool`, construct `entry_t`s in-place and add an... commit | commitdiff | tree
2020-04-19 whitequarkMerge pull request #1967 from whitequark/cxxrtl-blackbo... commit | commitdiff | tree
2020-04-19 whitequarkcxxrtl: provide attributes to black box factories,... commit | commitdiff | tree
2020-04-18 Claire WolfExtend support for format strings in Verilog front-end commit | commitdiff | tree
2020-04-18 whitequarkMerge pull request #1963 from whitequark/cxxrtl-blackboxes commit | commitdiff | tree
2020-04-18 whitequarkcxxrtl: add templated black box support. commit | commitdiff | tree
2020-04-18 whitequarkcxxrtl: make eval() and commit() inline in blackboxes. commit | commitdiff | tree
2020-04-18 whitequarkcxxrtl: add simple black box support. commit | commitdiff | tree
2020-04-18 whitequarkcxxrtl: use ID::X instead of ID(X). NFC. commit | commitdiff | tree
2020-04-18 whitequarkast, rpc: record original name of $paramod\* as \hdlnam... commit | commitdiff | tree
2020-04-17 whitequarkMerge pull request #1955 from whitequark/cxxrtl-sync_always commit | commitdiff | tree
2020-04-17 whitequarkMerge pull request #1952 from boqwxp/add_edge_location commit | commitdiff | tree
2020-04-17 diegoWrong fixed value commit | commitdiff | tree
2020-04-17 whitequarkcxxrtl: correctly handle `sync always` rules. commit | commitdiff | tree
2020-04-17 whitequarkMerge pull request #1954 from YosysHQ/dave/fix-stdout... commit | commitdiff | tree
2020-04-17 whitequarkMerge pull request #1951 from whitequark/rtlil-string_a... commit | commitdiff | tree
2020-04-17 David Shahqbfsat: Fix illegal use of 'stdout' identifier commit | commitdiff | tree
2020-04-17 Alberto GonzalezSet Verilog source location for explicit blocks (`begin... commit | commitdiff | tree
2020-04-17 Alberto GonzalezAdd Verilog source location information to `AST_POSEDGE... commit | commitdiff | tree
next