Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | timinginfo: Error instead of segfault on const signals. | Marcelina Kościelnicka | 2020-12-15 | 1 | -2/+2 |
| | | | | Reported by @Ravenslofty | ||||
* | Bump version | Yosys Bot | 2020-12-13 | 1 | -1/+1 |
| | |||||
* | Merge pull request #2485 from whitequark/cxxrtl-cell-input-buffering | whitequark | 2020-12-12 | 2 | -25/+33 |
|\ | | | | | cxxrtl: don't overwrite buffered inputs | ||||
| * | cxxrtl: don't overwrite buffered inputs. | whitequark | 2020-12-11 | 2 | -25/+33 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | Before this commit, a cell's input was always assigned like: p_cell.p_input = (value...); If `p_input` is buffered (e.g. if the design is built at -O0), this is not correct. (In practice, this breaks clocking.) Unfortunately, the incorrect design was compiled without diagnostics because wire<> was move-assignable and also implicitly constructible from value<>. After this commit, cell inputs are no longer incorrectly assumed to always be unbuffered, and wires are not assignable from values. | ||||
* | | Bump version | Yosys Bot | 2020-12-10 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #2483 from YosysHQ/pmgen_nice_error | Miodrag Milanović | 2020-12-09 | 1 | -2/+6 |
|\ \ | | | | | | | Return nice error in pmgen generated code, fixes #2482 | ||||
| * | | Return nice error in pmgen generated code, fixes #2482 | Miodrag Milanovic | 2020-12-09 | 1 | -2/+6 |
|/ / | |||||
* / | Bump version | Yosys Bot | 2020-12-09 | 1 | -1/+1 |
|/ | |||||
* | Merge pull request #2478 from whitequark/improve-bugpoint | whitequark | 2020-12-08 | 2 | -19/+101 |
|\ | | | | | bugpoint: various improvements | ||||
| * | bugpoint: add -wires option. | whitequark | 2020-12-07 | 2 | -4/+39 |
| | | |||||
| * | bugpoint: try to remove whole processes first. | whitequark | 2020-12-07 | 1 | -4/+40 |
| | | |||||
| * | bugpoint: accept quoted strings in -grep. | whitequark | 2020-12-07 | 1 | -1/+4 |
| | | |||||
| * | bugpoint: add -command option. | whitequark | 2020-12-07 | 1 | -13/+21 |
|/ | |||||
* | Bump version | Yosys Bot | 2020-12-04 | 1 | -1/+1 |
| | |||||
* | Merge pull request #2470 from whitequark/cxxrtl-create_at | whitequark | 2020-12-03 | 2 | -1/+20 |
|\ | | | | | cxxrtl: allow customizing the root module path in the C API | ||||
| * | cxxrtl: allow customizing the root module path in the C API. | whitequark | 2020-12-03 | 2 | -1/+20 |
|/ | |||||
* | Bump version | Yosys Bot | 2020-12-03 | 1 | -1/+1 |
| | |||||
* | Merge pull request #2468 from whitequark/cxxrtl-assert | whitequark | 2020-12-02 | 2 | -2/+16 |
|\ | | | | | cxxrtl: use CXXRTL_ASSERT for RTL contract violations instead of assert | ||||
| * | cxxrtl: use CXXRTL_ASSERT for RTL contract violations instead of assert. | whitequark | 2020-12-02 | 2 | -2/+16 |
| | | | | | | | | | | | | | | | | RTL contract violations and C++ contract violations are different: the former depend on the netlist and will never violate memory safety whereas the latter may. When loading a CXXRTL simulation into another process, RTL contract violations should generally not crash it, while C++ contract violations should. | ||||
* | | Merge pull request #2469 from whitequark/cxxrtl-no-clk | whitequark | 2020-12-02 | 1 | -6/+14 |
|\ \ | | | | | | | cxxrtl: fix crashes caused by a floating or constant clock input | ||||
| * | | cxxrtl: fix crashes caused by a floating or constant clock input. | whitequark | 2020-12-02 | 1 | -6/+14 |
| |/ | | | | | | | | | | | | | | | | | | | | | E.g. in: module test; wire clk = 0; reg data; always @(posedge clk) data <= 0; endmodule | ||||
* | | Merge pull request #2466 from whitequark/cxxrtl-reset | whitequark | 2020-12-02 | 4 | -3/+78 |
|\ \ | | | | | | | cxxrtl: provide a way to perform unobtrusive power-on reset | ||||
| * | | cxxrtl: provide a way to perform unobtrusive power-on reset. | whitequark | 2020-12-02 | 4 | -3/+78 |
| |/ | | | | | | | | | | | | | | | | | | | | | Although it is always possible to destroy and recreate the design to simulate a power-on reset, this has two drawbacks: * Black boxes are also destroyed and recreated, which causes them to reacquire their resources, which might be costly and/or erase important state. * Pointers into the design are invalidated and have to be acquired again, which is costly and might be very inconvenient if they are captured elsewhere (especially through the C API). | ||||
* | | Merge pull request #2456 from Zottel/master | whitequark | 2020-12-02 | 1 | -0/+1 |
|\ \ | | | | | | | Return correct modname when found in cache. | ||||
| * | | Return correct modname when found in cache. | Julius Roob | 2020-11-26 | 1 | -0/+1 |
| | | | |||||
* | | | Merge pull request #2455 from gsomlo/gls-fedpkg-fixes | whitequark | 2020-12-02 | 2 | -0/+6 |
|\ \ \ | | | | | | | | | Fixes for building Fedora distro RPMs of yosys | ||||
| * | | | fixup over commit 829b5cca to re-enable ABCEXTERNAL support | Gabriel Somlo | 2020-11-26 | 1 | -0/+5 |
| | | | | |||||
| * | | | Add #include needed to build with gcc-11 | Gabriel Somlo | 2020-11-26 | 1 | -0/+1 |
| |/ / | | | | | | | | | | Suggested by Jeff Law <law@redhat.com> | ||||
* | | | Merge pull request #2467 from YosysHQ/dave/nexus-carry-fix | David Shah | 2020-12-02 | 1 | -2/+2 |
|\ \ \ | | | | | | | | | nexus: More efficient CO mapping | ||||
| * | | | nexus: More efficient CO mapping | David Shah | 2020-12-02 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
* | | | | Merge pull request #2446 from RobertBaruch/rtlil_format | whitequark | 2020-12-02 | 3 | -0/+307 |
|\ \ \ \ | | | | | | | | | | | Adds appendix on RTLIL text format | ||||
| * | | | | Further juggles the wording of "character". | Robert Baruch | 2020-11-25 | 1 | -1/+1 |
| | | | | | |||||
| * | | | | Clarifies how character encodings work. | Robert Baruch | 2020-11-25 | 1 | -5/+5 |
| | | | | | |||||
| * | | | | Clarifies whitespace and eol. | Robert Baruch | 2020-11-25 | 1 | -2/+6 |
| | | | | | |||||
| * | | | | Cleans up doublequotes | Robert Baruch | 2020-11-25 | 1 | -2/+2 |
| | | | | | |||||
| * | | | | Clarifies use of integers, and character set. | Robert Baruch | 2020-11-25 | 1 | -4/+12 |
| | | | | | |||||
| * | | | | Clarifies processes, corrects some attributes | Robert Baruch | 2020-11-25 | 1 | -29/+46 |
| | | | | | |||||
| * | | | | Refactors for attributes. | Robert Baruch | 2020-11-24 | 1 | -50/+50 |
| | | | | | |||||
| * | | | | Cleans up some descriptions and syntax | Robert Baruch | 2020-11-24 | 1 | -25/+43 |
| | | | | | | | | | | | | | | | Now all rules ending in "-stmt" end in eol. | ||||
| * | | | | Adds missing "end" and eol to module. | Robert Baruch | 2020-11-22 | 1 | -1/+1 |
| | | | | | |||||
| * | | | | Update to Values #2 | Robert Baruch | 2020-11-22 | 1 | -1/+1 |
| | | | | | |||||
| * | | | | Update to Values section | Robert Baruch | 2020-11-22 | 1 | -2/+2 |
| | | | | | |||||
| * | | | | Adds appendix on RTLIL text format | Robert Baruch | 2020-11-22 | 3 | -0/+260 |
| | | | | | |||||
* | | | | | Bump required Verific version | Miodrag Milanovic | 2020-12-02 | 1 | -1/+1 |
| | | | | | |||||
* | | | | | Bump version | Yosys Bot | 2020-12-02 | 1 | -1/+1 |
| |_|_|/ |/| | | | |||||
* | | | | Merge pull request #2463 from georgerennie/fix_verilog_frontend_auto_defines | Claire Xen | 2020-12-01 | 2 | -1/+3 |
|\ \ \ \ | |_|/ / |/| | | | Fix SYNTHESIS always being defined in Verilog frontend | ||||
| * | | | Fix SYNTHESIS always being defined in Verilog frontend | georgerennie | 2020-12-01 | 2 | -1/+3 |
| | |/ | |/| | |||||
* | | | Merge pull request #2460 from pepijndevos/simple-gowin | Miodrag Milanović | 2020-12-01 | 1 | -3/+32 |
|\ \ \ | |/ / |/| | | add -noalu and -json option for apicula | ||||
| * | | add -noalu and -json option for apicula | Pepijn de Vos | 2020-11-30 | 1 | -3/+32 |
|/ / | |||||
* | | Bump version | Yosys Bot | 2020-11-26 | 1 | -1/+1 |
| | |