aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/yosys.cc
Commit message (Collapse)AuthorAgeFilesLines
* 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
| |
| * Merge pull request #591 from hzeller/virtual-overrideClifford Wolf2018-08-151-8/+8
| |\ | | | | | | Consistent use of 'override' for virtual methods in derived classes.
| | * Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-8/+8
| | | | | | | | | | | | | | | | | | | | | | | | | | | 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)
| * | Map .eblif extension as blif.litghost2018-08-131-0/+2
| |/ | | | | | | Signed-off-by: litghost <537074+litghost@users.noreply.github.com>
* | The share directory cannot be searched when used as a Python library, only ↵Benedikt Tutzer2018-08-201-1/+0
| | | | | | | | in shell mode
* | Python passes are now looked for in share/plugins and can be added by ↵Benedikt Tutzer2018-08-201-4/+1
| | | | | | | | specifying a relative or absolute path
* | Fixed issue when using a python plugin in the yosys shellBenedikt Tutzer2018-08-201-0/+16
| |
* | Python Passes can now be added with the -m option or with the plugin ↵Benedikt Tutzer2018-08-161-0/+26
|/ | | | command. There are still issues when run in shell mode, but they can be used just fine in a python script
* Fix reading techlibs under emscriptenRobert Ou2018-05-181-1/+1
|
* Add "#ifdef __FreeBSD__"Christian Krämer2018-05-131-1/+26
| | | | (Re-commit e3575a8 with corrected author field)
* Revert "Add "#ifdef __FreeBSD__""Clifford Wolf2018-05-131-26/+1
| | | | This reverts commit e3575a86c525f2511902e7022893c3923ba8093e.
* Add "#ifdef __FreeBSD__"Johnny Sorocil2018-05-051-1/+26
|
* Rename rename to renamesEdmond Cote2018-03-201-3/+5
| | | Create TCL alias for rename command. Using renames. Following the same convention as proc -> procs.
* Update copyright headerClifford Wolf2018-03-041-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add support for "yosys -E"Clifford Wolf2018-01-071-1/+5
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add support for editline as replacement for readlineClifford Wolf2017-11-081-7/+16
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-02 07:47:38 +0000