| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add the $anyinit cell and the formalff pass | Jannis Harder | 2022-08-16 | 1 | -0/+1 |
| | | | | | | | | These can be used to protect undefined flip-flop initialization values from optimizations that are not sound for formal verification and can help mapping all solver-provided values in witness traces for flows that use different backends simultaneously. | ||||
| * | Fix preventing show crashing with newer graphviz | Miodrag Milanovic | 2022-06-03 | 1 | -1/+6 |
| | | |||||
| * | show: Fix width labels. | Marcelina Kościelnicka | 2022-04-04 | 1 | -23/+18 |
| | | | | | See #3266. | ||||
| * | show: Fix wire bit indexing. | Marcelina Kościelnicka | 2021-11-12 | 1 | -3/+16 |
| | | | | | Fixes #3078. | ||||
| * | Fixing old e-mail addresses and deadnames | Claire Xenia Wolf | 2021-06-08 | 1 | -1/+1 |
| | | | | | | | | | s/((Claire|Xen|Xenia|Clifford)\s+)+(Wolf|Xen)\s+<(claire|clifford)@(symbioticeda.com|clifford.at|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi; s/((Nina|Nak|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi; s/((David)\s+)+Shah\s+<(dave|david)@(symbioticeda.com|yosyshq.com|ds0.me)>/David Shah <dave@ds0.me>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag|micko)@(symbioticeda.com|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi; s,https?://www.clifford.at/yosys/,http://yosyshq.net/yosys/,g; | ||||
| * | Add support for memory writes in processes. | Marcelina Kościelnicka | 2021-03-08 | 1 | -0/+5 |
| | | |||||
| * | use the new isPublic() in a few places | N. Engelhardt | 2020-09-14 | 1 | -1/+1 |
| | | |||||
| * | Replace "ILANG" with "RTLIL" everywhere. | whitequark | 2020-08-26 | 1 | -2/+2 |
| | | | | | | | | | | | The only difference between "RTLIL" and "ILANG" is that the latter is the text representation of the former, as opposed to the in-memory graph representation. This distinction serves no purpose but confuses people: it is not obvious that the ILANG backend writes RTLIL graphs. Passes `write_ilang` and `read_ilang` are provided as aliases to `write_rtlil` and `read_rtlil` for compatibility. | ||||
| * | Use C++11 final/override keywords. | whitequark | 2020-06-18 | 1 | -2/+2 |
| | | |||||
| * | Add WASI platform support. | whitequark | 2020-04-30 | 1 | -3/+9 |
| | | | | | | | | | | | | | This includes the following significant changes: * Patching ezsat and minisat to disable resource limiting code on WASM/WASI, since the POSIX functions they use are unavailable. * Adding a new definition, YOSYS_DISABLE_SPAWN, present if platform does not support spawning subprocesses (i.e. Emscripten or WASI). This definition hides the definition of `run_command()`. * Adding a new Makefile flag, DISABLE_SPAWN, present in the same condition. This flag disables all passes that require spawning subprocesses for their function. | ||||
| * | Use more descriptive variable name. | Alberto Gonzalez | 2020-04-06 | 1 | -10/+10 |
| | | | | | Co-Authored-By: whitequark <whitequark@whitequark.org> | ||||
| * | Clean up `passes/cmds/show.cc`. | Alberto Gonzalez | 2020-04-06 | 1 | -52/+42 |
| | | |||||
| * | kernel: use more ID::* | Eddie Hung | 2020-04-02 | 1 | -2/+2 |
| | | |||||
| * | show: Add -nobg argument. | Tim 'mithro' Ansell | 2020-02-15 | 1 | -6/+13 |
| | | | | | Makes yosys wait for the viewer command to finish before continuing. | ||||
| * | redirect fuser stderr to /dev/null | Pepijn de Vos | 2020-01-28 | 1 | -1/+1 |
| | | |||||
| * | fix show command for macos | N. Engelhardt | 2019-09-23 | 1 | -0/+8 |
| | | |||||
| * | substr() -> compare() | Eddie Hung | 2019-08-07 | 1 | -3/+3 |
| | | |||||
| * | stoi -> atoi | Eddie Hung | 2019-08-07 | 1 | -1/+1 |
| | | |||||
| * | Use std::stoi instead of atoi(<str>.c_str()) | Eddie Hung | 2019-08-06 | 1 | -1/+1 |
| | | |||||
| * | Merge pull request #943 from YosysHQ/clifford/whitebox | Clifford Wolf | 2019-04-20 | 1 | -2/+2 |
| |\ | | | | | [WIP] Add "whitebox" attribute, add "read_verilog -wb" | ||||
| | * | Add "whitebox" attribute, add "read_verilog -wb" | Clifford Wolf | 2019-04-18 | 1 | -2/+2 |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | Improve "show" handling of 0/1/X/Z padding | Clifford Wolf | 2019-04-20 | 1 | -2/+21 |
| |/ | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Fix typographical and grammatical errors and inconsistencies. | whitequark | 2019-01-02 | 1 | -1/+1 |
| | | | | | | | | | | | | | The initial list of hits was generated with the codespell command below, and each hit was evaluated and fixed manually while taking context into consideration. DIRS="kernel/ frontends/ backends/ passes/ techlibs/" DIRS="${DIRS} libs/ezsat/ libs/subcircuit" codespell $DIRS -S *.o -L upto,iff,thru,synopsys,uint More hits were found by looking through comments and strings manually. | ||||
| * | Update show pass documentation with Windows caveats. | William D. Jones | 2018-08-15 | 1 | -1/+2 |
| | | |||||
| * | Fix run_command() when using -format and -viewer in show pass. | William D. Jones | 2018-08-15 | 1 | -2/+18 |
| | | |||||
| * | Consistent use of 'override' for virtual methods in derived classes. | Henner Zeller | 2018-07-20 | 1 | -2/+2 |
| | | | | | | | | | | o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established) | ||||
| * | Add support for "yosys -E" | Clifford Wolf | 2018-01-07 | 1 | -0/+5 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add support for editline as replacement for readline | Clifford Wolf | 2017-11-08 | 1 | -0/+4 |
| | | |||||
| * | Improved "show" help message | Clifford Wolf | 2016-08-28 | 1 | -3/+5 |
| | | |||||
| * | Minor fixes in show command | Clifford Wolf | 2016-08-16 | 1 | -3/+3 |
| | | |||||
| * | Added "yosys -D" feature | Clifford Wolf | 2016-04-21 | 1 | -2/+2 |
| | | |||||
| * | Disabled "Skipping blackbox module" msg in show command | Clifford Wolf | 2015-10-23 | 1 | -1/+1 |
| | | |||||
| * | Spell check (by Larry Doolittle) | Clifford Wolf | 2015-08-14 | 1 | -7/+7 |
| | | |||||
| * | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 | 1 | -3/+3 |
| | | |||||
| * | Fixed cstr_buf for std::string with small string optimization | Clifford Wolf | 2015-06-11 | 1 | -1/+1 |
| | | |||||
| * | documentation improvements | Clifford Wolf | 2015-03-29 | 1 | -0/+4 |
| | | |||||
| * | Changed "show" defaults for Win32 | Clifford Wolf | 2015-02-19 | 1 | -1/+4 |
| | | |||||
| * | Added Viz to yosys.js | Clifford Wolf | 2015-02-15 | 1 | -1/+6 |
| | | |||||
| * | Fixed bug in "show -format .." | Clifford Wolf | 2015-02-08 | 1 | -1/+1 |
| | | |||||
| * | Improved xdot calling | Clifford Wolf | 2015-01-22 | 1 | -2/+2 |
| | | |||||
| * | Indenting fix in show.cc | Clifford Wolf | 2014-12-23 | 1 | -2/+2 |
| | | |||||
| * | Added "show -colorattr" | Clifford Wolf | 2014-12-23 | 1 | -4/+35 |
| | | |||||
| * | Added "Nx" syntax to "show" command for repeating SigChunks | Clifford Wolf | 2014-11-08 | 1 | -6/+8 |
| | | |||||
| * | Header changes so it will compile on VS | William Speirs | 2014-10-17 | 1 | -1/+4 |
| | | |||||
| * | Added run_command() api to replace system() and popen() | Clifford Wolf | 2014-10-12 | 1 | -3/+3 |
| | | |||||
| * | Added format __attribute__ to stringf() | Clifford Wolf | 2014-10-10 | 1 | -1/+1 |
| | | |||||
| * | Renamed SIZE() to GetSize() because of name collision on Win32 | Clifford Wolf | 2014-10-10 | 1 | -1/+1 |
| | | |||||
| * | namespace Yosys | Clifford Wolf | 2014-09-27 | 1 | -0/+4 |
| | | |||||
| * | Alphabetically sort port names in "show" output | Clifford Wolf | 2014-09-19 | 1 | -0/+3 |
| | | |||||
| * | Removed references to yosys-svgviewer from docs | Clifford Wolf | 2014-09-02 | 1 | -2/+2 |
| | | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |