aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/yosys.cc
Commit message (Collapse)AuthorAgeFilesLines
* Cleanup, and fix windowsMiodrag Milanovic2022-05-271-37/+24
|
* Observe $TMPDIR variable when creating tmp filesMohamed A. Bamakhrama2022-05-271-1/+30
| | | | | | | | | POSIX defines $TMPDIR as containing the pathname of the directory where programs can create temporary files. On most systems, this variable points to "/tmp". However, on some systems it can point to a different location. Without respecting this variable, yosys fails to run on such systems. Signed-off-by: Mohamed A. Bamakhrama <mohamed@alumni.tum.de>
* Use log_warning when Tcl_Init fails, report error with Tcl_ErrnoMsg.Alastair M. Robinson2022-05-161-1/+1
|
* Now calls Tcl_Init after creating the interp, fixes clock format.Alastair M. Robinson2022-05-101-0/+2
|
* Merge branch 'master' into clk2ff-better-namesClaire Xen2022-02-111-19/+24
|\
| * Added "yosys -r <topmodule>"Claire Xenia Wolf2021-12-101-13/+10
| | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
| * Use "read" command to parse HDL files from Yosys command-lineClaire Xenia Wolf2021-12-091-4/+8
| | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
| * Fix WASI build after commit 1d88bea1.whitequark2021-06-191-1/+1
| |
| * pyosys: Clear SIGINT handler after Python loadsgatecat2021-06-161-0/+2
| | | | | | | | Signed-off-by: gatecat <gatecat@ds0.me>
| * macos: fix leak in proc_self_dirname()Zachary Snow2021-06-141-1/+3
| |
| * Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-2/+2
| | | | | | | | | | | | | | | | 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;
* | clk2fflogic: nice names for autogenerated signalsNoah Moroze2021-03-021-0/+17
|/
* Expose abc and data paths as globalsMiodrag Milanovic2020-11-061-14/+58
|
* Replace "ILANG" with "RTLIL" everywhere.whitequark2020-08-261-3/+3
| | | | | | | | | | 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.
* verilog_backend: add `-sv` option, make `-o <filename>.sv` work.whitequark2020-07-161-0/+2
| | | | See #2271.
* Use C++11 final/override keywords.whitequark2020-06-181-8/+8
|
* Add WASI platform support.whitequark2020-04-301-9/+18
| | | | | | | | | | | | 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.
* Support custom PROGRAM_PREFIXMiodrag Milanovic2020-04-101-1/+10
|
* Merge pull request #1562 from whitequark/write_cxxrtlwhitequark2020-04-101-0/+2
|\ | | | | write_cxxrtl: new backend
| * write_cxxrtl: new backend.whitequark2020-04-091-0/+2
| | | | | | | | | | This commit adds a basic implementation that isn't very performant but implements most of the planned features.
* | kernel: include "kernel/constids.inc" instead of "constids.inc"Eddie Hung2020-04-091-1/+1
|/
* kernel: Use constids.inc for global/constant IdStringsEddie Hung2020-04-021-6/+3
|
* Clean up pseudo-private member usage in `kernel/yosys.cc`.Alberto Gonzalez2020-04-011-14/+13
|
* Update CopyrightClaire Wolf2020-03-161-1/+1
| | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* License: bump year and add titleWaldir Pimenta2020-03-141-1/+1
|
* Fix compilation for emccjiegec2020-03-111-0/+4
|
* Add Pass::on_register() and Pass::on_shutdown()Clifford Wolf2020-01-091-1/+2
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Bump year in copyright noticeClifford Wolf2019-08-221-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Use ID() in kernel/*, add simple ID:: hack (to be improved upon later)Clifford Wolf2019-08-111-0/+7
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* More improvements and cleanups in IdString subsystemClifford Wolf2019-08-111-7/+0
| | | | | | | | | - better use of "inline" keyword - deprecate "sticky" IDs feature - improve handling of empty ID - add move constructor Signed-off-by: Clifford Wolf <clifford@clifford.at>
* substr() -> compare()Eddie Hung2019-08-071-25/+25
|
* Be less aggressive with running design->check()Clifford Wolf2019-08-061-2/+8
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fix frontend auto-detection for gzipped inputDavid Shah2019-07-261-9/+12
| | | | Signed-off-by: David Shah <dave@ds0.me>
* Clarify script -scriptwire docEddie Hung2019-07-081-0/+4
|
* Use Pass::call_on_module() as per @cliffordwolf commentsEddie Hung2019-07-021-1/+1
|
* script -select -> script -scriptwireEddie Hung2019-07-021-5/+5
|
* Support ability for "script -select" to take commands from wiresEddie Hung2019-06-281-8/+39
|
* Support ~ for home directoryBen Widawsky2019-06-181-0/+4
| | | | | | | | | | This is tested on Linux only v2: Wrap functioanlity in ifndef _WIN32 (eddiehung) Find '~/' instead of '~' (cliffordwolf) Signed-off-by: Ben Widawsky <ben@bwidawsk.net>
* Optimize ceil_log2 functionMatthew Daiter2019-05-071-2/+4
|
* fix codestyle formattingOleg Endo2019-04-291-11/+11
|
* escape spaces with backslash when writing dep fileOleg Endo2019-04-291-0/+14
| | | | | | filenames are sparated by spaces in the dep file. if a filename in the dep file contains spaces they must be escaped, otherwise the tool that reads the dep file will see multiple wrong filenames.
* Fixed identationBenedikt Tutzer2019-04-011-1/+1
|
* Merge remote-tracking branch 'origin/master' into feature/python_bindingsBenedikt Tutzer2019-03-281-22/+43
|\
| * Fix a bug in handling quotes in multi-cmd lines in Yosys scriptsClifford Wolf2019-03-121-1/+7
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Add ENABLE_GLOB Makefile switchClifford Wolf2019-03-111-3/+5
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Fix typographical and grammatical errors and inconsistencies.whitequark2019-01-021-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.
| * tcl: add support for passing arguments to scripts.whitequark2018-12-201-7/+18
| |
| * Avoid assert when label is an empty stringJon Burgess2018-10-281-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Calling back() on an empty string is not allowed and triggers an assert with recent gcc: $ cd manual/PRESENTATION_Intro $ ../../yosys counter.ys ... /usr/include/c++/8/bits/basic_string.h:1136: std::__cxx11::basic_string<_CharT, _Traits, _Alloc>::reference std::__cxx11::basic_string<_CharT, _Traits, _Alloc>::back() [with _CharT = char; _Traits = std::char_traits<char>; _Alloc = std::allocator<char>; std::__cxx11::basic_string<_CharT, _Traits, _Alloc>::reference = char&]: Assertion '!empty()' failed. 802 if (label.back() == ':' && GetSize(label) > 1) (gdb) p label $1 = ""
| * fix unhandled std::out_of_range when calling yosys with 3-character argumentwhentze2018-10-221-2/+2
| |
| * Fix Cygwin build and document needed packagesMiodrag Milanovic2018-09-191-1/+1
| |