| 2020-04-24 | 
Eddie Hung | bugpoint: improve messaging | 
commit | commitdiff | tree | 
| 2020-04-24 | 
Eddie Hung | bugpoint: (* keep *) to (* bugpoint_keep *); also apply...  | 
commit | commitdiff | tree | 
| 2020-04-24 | 
Eddie Hung | bugpoint: skip ports with (* keep *) on; add header | 
commit | commitdiff | tree | 
| 2020-04-23 | 
Eddie Hung | bugpoint: improve help text | 
commit | commitdiff | tree | 
| 2020-04-23 | 
Eddie Hung | Merge pull request #1974 from YosysHQ/eddie/abc9_disabl...  | 
commit | commitdiff | tree | 
| 2020-04-23 | 
Claire Wolf | Merge pull request #1989 from boqwxp/qbfsat_anyconst_so...  | 
commit | commitdiff | tree | 
| 2020-04-23 | 
Claire Wolf | Merge pull request #1988 from boqwxp/qbfsat | 
commit | commitdiff | tree | 
| 2020-04-23 | 
Claire Wolf | Merge pull request #1986 from YosysHQ/eddie/verific_enum | 
commit | commitdiff | tree | 
| 2020-04-23 | 
Dan Ravensloft | intel_alm: work around a Quartus ICE | 
commit | commitdiff | tree | 
| 2020-04-23 | 
Alberto Gonzalez | qbfsat: Make hole name recovery more robust. Allow...  | 
commit | commitdiff | tree | 
| 2020-04-23 | 
Eddie Hung | Merge pull request #1984 from YosysHQ/eddie/getParam_ex...  | 
commit | commitdiff | tree | 
| 2020-04-23 | 
Alberto Gonzalez | qbfsat: Add `-assume-negative-polarity` option. | 
commit | commitdiff | tree | 
| 2020-04-23 | 
Eddie Hung | ecp5: ecp5_gsr to skip cells that don't have GSR parame...  | 
commit | commitdiff | tree | 
| 2020-04-23 | 
Eddie Hung | tests: read +/xilinx/cell_sim.v before xilinx_dsp test | 
commit | commitdiff | tree | 
| 2020-04-23 | 
Eddie Hung | xilinx: xilinx_dsp_cascade to check CREG for DSP48E1...  | 
commit | commitdiff | tree | 
| 2020-04-23 | 
Eddie Hung | verific: import enum attributes from verific | 
commit | commitdiff | tree | 
| 2020-04-22 | 
Eddie Hung | test: ice40_dsp test to read +/ice40/cells_sim.v for...  | 
commit | commitdiff | tree | 
| 2020-04-22 | 
Eddie Hung | xilinx: improve xilinx_dffopt message | 
commit | commitdiff | tree | 
| 2020-04-22 | 
Eddie Hung | xilinx: xilinx_dffopt to read cells_sim.v; fix test | 
commit | commitdiff | tree | 
| 2020-04-22 | 
Eddie Hung | kernel: Cell::getParam() to throw exception again if...  | 
commit | commitdiff | tree | 
| 2020-04-22 | 
Eddie Hung | Merge pull request #1949 from YosysHQ/eddie/select_blackbox | 
commit | commitdiff | tree | 
| 2020-04-22 | 
Eddie Hung | Merge pull request #1983 from YosysHQ/eddie/use_default...  | 
commit | commitdiff | tree | 
| 2020-04-22 | 
whitequark | Merge pull request #1982 from AsuMagic/asu/cxxrtl-memor...  | 
commit | commitdiff | tree | 
| 2020-04-22 | 
Claire Wolf | Update passes/cmds/select.cc | 
commit | commitdiff | tree | 
| 2020-04-22 | 
Eddie Hung | Merge pull request #1969 from boqwxp/pool_emplace | 
commit | commitdiff | tree | 
| 2020-04-22 | 
Eddie Hung | Cleanup use of hard-coded default parameters in light...  | 
commit | commitdiff | tree | 
| 2020-04-22 | 
Asu | cxxrtl: keep the memory write queue sorted on insertion. | 
commit | commitdiff | tree | 
| 2020-04-22 | 
Eddie Hung | Merge pull request #1973 from YosysHQ/eddie/fix1966 | 
commit | commitdiff | tree | 
| 2020-04-22 | 
Eddie Hung | tests: update select black/white-box tests | 
commit | commitdiff | tree | 
| 2020-04-22 | 
Eddie Hung | select: do not select black/white boxes by default...  | 
commit | commitdiff | tree | 
| 2020-04-22 | 
Eddie Hung | Merge pull request #1950 from YosysHQ/eddie/design_import | 
commit | commitdiff | tree | 
| 2020-04-22 | 
Eddie Hung | yosys-config: spelling | 
commit | commitdiff | tree | 
| 2020-04-22 | 
Eddie Hung | tests: use `yosys-config --datdir` instead of hard...  | 
commit | commitdiff | tree | 
| 2020-04-22 | 
Eddie Hung | pool: add emplace() function | 
commit | commitdiff | tree | 
| 2020-04-22 | 
Claire Wolf | Merge pull request #1976 from YosysHQ/dave/fix-sim...  | 
commit | commitdiff | tree | 
| 2020-04-22 | 
Claire Wolf | Merge pull request #1979 from whitequark/cxxrtl-go...  | 
commit | commitdiff | tree | 
| 2020-04-22 | 
whitequark | cxxrtl: run edge detectors only once in eval(). | 
commit | commitdiff | tree | 
| 2020-04-22 | 
whitequark | cxxrtl: add an unsupported knob for manipulating clock...  | 
commit | commitdiff | tree | 
| 2020-04-21 | 
whitequark | cxxrtl: use log_id() where appropriate. NFC. | 
commit | commitdiff | tree | 
| 2020-04-21 | 
Marcelina Kościelnicka | bugpoint: Don't remove modules or cells while iterating...  | 
commit | commitdiff | tree | 
| 2020-04-21 | 
whitequark | cxxrtl: add (*cxxrtl.{comb,sync}*) annotations on black...  | 
commit | commitdiff | tree | 
| 2020-04-21 | 
whitequark | cxxrtl: s/sync_{wire,type}/edge_{wire,type}/. NFC. | 
commit | commitdiff | tree | 
| 2020-04-21 | 
Dan Ravensloft | intel_alm: Documentation improvements | 
commit | commitdiff | tree | 
| 2020-04-21 | 
Alberto Gonzalez | kernel: Rename arguments to rvalue-reference-accepting...  | 
commit | commitdiff | tree | 
| 2020-04-21 | 
Marcelina Kościelnicka | write_json: dump default parameter values | 
commit | commitdiff | tree | 
| 2020-04-21 | 
Marcelina Kościelnicka | Use default parameter value in getParam | 
commit | commitdiff | tree | 
| 2020-04-21 | 
Marcelina Kościelnicka | hierarchy: Convert positional parameters to named. | 
commit | commitdiff | tree | 
| 2020-04-21 | 
Marcelina Kościelnicka | ilang, ast: Store parameter order and default value...  | 
commit | commitdiff | tree | 
| 2020-04-21 | 
Marcelina Kościelnicka | idict: Make iterator go forward. | 
commit | commitdiff | tree | 
| 2020-04-21 | 
Claire Wolf | Merge pull request #1971 from YosysHQ/claire/edifkeep | 
commit | commitdiff | tree | 
| 2020-04-21 | 
Claire Wolf | Merge pull request #1851 from YosysHQ/claire/bitselwrite | 
commit | commitdiff | tree | 
| 2020-04-21 | 
whitequark | cxxrtl: use one delta cycle for immediately converging...  | 
commit | commitdiff | tree | 
| 2020-04-21 | 
whitequark | cxxrtl: add -O6, a shortcut for running `proc; flatten`. | 
commit | commitdiff | tree | 
| 2020-04-21 | 
whitequark | cxxrtl: unbuffer module input wires. | 
commit | commitdiff | tree | 
| 2020-04-21 | 
whitequark | cxxrtl: simplify generated edge detection logic. | 
commit | commitdiff | tree | 
| 2020-04-21 | 
whitequark | cxxrtl: localize wires with multiple comb drivers,...  | 
commit | commitdiff | tree | 
| 2020-04-21 | 
whitequark | cxxrtl: detect buffered comb wires, not just feedback...  | 
commit | commitdiff | tree | 
| 2020-04-21 | 
Claire Wolf | Add '=' selection pattern prefix for non-blackbox only...  | 
commit | commitdiff | tree | 
| 2020-04-21 | 
Claire Wolf | Improve net priorities in EDIF back-end | 
commit | commitdiff | tree | 
| 2020-04-21 | 
David Shah | sim: Fix handling of constant-connected cell inputs...  | 
commit | commitdiff | tree | 
| 2020-04-21 | 
whitequark | Merge pull request #1961 from whitequark/paramod-origin...  | 
commit | commitdiff | tree | 
| 2020-04-20 | 
Eddie Hung | tests: remove write_ilang | 
commit | commitdiff | tree | 
| 2020-04-20 | 
Eddie Hung | Merge pull request #1975 from dh73/claire/bitselwrite | 
commit | commitdiff | tree | 
| 2020-04-20 | 
Eddie Hung | Remove '-ignore_unknown_cells' option from 'sat' | 
commit | commitdiff | tree | 
| 2020-04-20 | 
Eddie Hung | Simplify test case script | 
commit | commitdiff | tree | 
| 2020-04-20 | 
Eddie Hung | Remove ununsed files | 
commit | commitdiff | tree | 
| 2020-04-20 | 
Eddie Hung | Merge pull request #1972 from YosysHQ/eddie/bug1970 | 
commit | commitdiff | tree | 
| 2020-04-20 | 
Eddie Hung | abc9: tolerate ABC nonzero exit code if output.aig...  | 
commit | commitdiff | tree | 
| 2020-04-20 | 
diego | Modifications of tests as per Eddie's request | 
commit | commitdiff | tree | 
| 2020-04-20 | 
Eddie Hung | xilinx/ecp5: disable abc9's "&mfs" optimisation | 
commit | commitdiff | tree | 
| 2020-04-20 | 
Eddie Hung | abc9: -prep_lut to be more robust | 
commit | commitdiff | tree | 
| 2020-04-20 | 
Eddie Hung | abc9: add testcase reduced from #1970 | 
commit | commitdiff | tree | 
| 2020-04-20 | 
Claire Wolf | Ignore conflicting keep attributes, unless asked not...  | 
commit | commitdiff | tree | 
| 2020-04-20 | 
Claire Wolf | Merge pull request #1964 from YosysHQ/claire/sformatf | 
commit | commitdiff | tree | 
| 2020-04-20 | 
Alberto Gonzalez | Add rvalue-reference-accepting `entry_t` constructor...  | 
commit | commitdiff | tree | 
| 2020-04-20 | 
Alberto Gonzalez | In `pool`, construct `entry_t`s in-place and add an...  | 
commit | commitdiff | tree | 
| 2020-04-19 | 
whitequark | Merge pull request #1967 from whitequark/cxxrtl-blackbo...  | 
commit | commitdiff | tree | 
| 2020-04-19 | 
whitequark | cxxrtl: provide attributes to black box factories,...  | 
commit | commitdiff | tree | 
| 2020-04-18 | 
Claire Wolf | Extend support for format strings in Verilog front-end | 
commit | commitdiff | tree | 
| 2020-04-18 | 
whitequark | Merge pull request #1963 from whitequark/cxxrtl-blackboxes | 
commit | commitdiff | tree | 
| 2020-04-18 | 
whitequark | cxxrtl: add templated black box support. | 
commit | commitdiff | tree | 
| 2020-04-18 | 
whitequark | cxxrtl: make eval() and commit() inline in blackboxes. | 
commit | commitdiff | tree | 
| 2020-04-18 | 
whitequark | cxxrtl: add simple black box support. | 
commit | commitdiff | tree | 
| 2020-04-18 | 
whitequark | cxxrtl: use ID::X instead of ID(X). NFC. | 
commit | commitdiff | tree | 
| 2020-04-18 | 
whitequark | ast, rpc: record original name of $paramod\* as \hdlnam...  | 
commit | commitdiff | tree | 
| 2020-04-17 | 
whitequark | Merge pull request #1955 from whitequark/cxxrtl-sync_always | 
commit | commitdiff | tree | 
| 2020-04-17 | 
whitequark | Merge pull request #1952 from boqwxp/add_edge_location | 
commit | commitdiff | tree | 
| 2020-04-17 | 
diego | Wrong fixed value | 
commit | commitdiff | tree | 
| 2020-04-17 | 
whitequark | cxxrtl: correctly handle `sync always` rules. | 
commit | commitdiff | tree | 
| 2020-04-17 | 
whitequark | Merge pull request #1954 from YosysHQ/dave/fix-stdout...  | 
commit | commitdiff | tree | 
| 2020-04-17 | 
whitequark | Merge pull request #1951 from whitequark/rtlil-string_a...  | 
commit | commitdiff | tree | 
| 2020-04-17 | 
David Shah | qbfsat: Fix illegal use of 'stdout' identifier | 
commit | commitdiff | tree | 
| 2020-04-17 | 
Alberto Gonzalez | Set Verilog source location for explicit blocks (`begin...  | 
commit | commitdiff | tree | 
| 2020-04-17 | 
Alberto Gonzalez | Add Verilog source location information to `AST_POSEDGE...  | 
commit | commitdiff | tree | 
| 2020-04-17 | 
whitequark | Merge pull request #1898 from boqwxp/locations | 
commit | commitdiff | tree | 
| 2020-04-17 | 
whitequark | Merge pull request #1864 from boqwxp/cleanup_techmap_abc | 
commit | commitdiff | tree | 
| 2020-04-17 | 
whitequark | Merge pull request #1888 from boqwxp/cleanup_scatter | 
commit | commitdiff | tree | 
| 2020-04-17 | 
whitequark | Merge pull request #1882 from boqwxp/cleanup_rename | 
commit | commitdiff | tree | 
| 2020-04-16 | 
whitequark | Merge pull request #1929 from YosysHQ/eddie/select_unset | 
commit | commitdiff | tree | 
| 2020-04-16 | 
whitequark | rtlil: add AttrObject::has_attribute. | 
commit | commitdiff | tree | 
| next |