aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/register.cc
Commit message (Collapse)AuthorAgeFilesLines
* Use C++11 final/override keywords.whitequark2020-06-181-5/+5
|
* Add WASI platform support.whitequark2020-04-301-0/+4
| | | | | | | | | | | | 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 script-style heredoc syntax for REPL heredocs.Alberto Gonzalez2020-04-151-7/+7
|
* Allow reading file input from stdin, improving REPL experience.Alberto Gonzalez2020-04-151-6/+7
|
* Add ScriptPass::run_nocheck and use for abc9David Shah2020-03-091-0/+12
| | | | Signed-off-by: David Shah <dave@ds0.me>
* Add log_experimental() and experimental() API and "yosys -x"Claire Wolf2020-01-271-0/+23
| | | | Signed-off-by: Claire Wolf <clifford@clifford.at>
* Add Pass::on_register() and Pass::on_shutdown()Clifford Wolf2020-01-091-0/+15
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Open aig frontend as binary fileMiodrag Milanovic2019-09-291-2/+2
|
* Support binary files for backends, fixes #1407Miodrag Milanovic2019-09-281-2/+2
|
* Make read/write gzip files on macos works, fixes #1357Miodrag Milanovic2019-09-261-3/+11
|
* substr() -> compare()Eddie Hung2019-08-071-7/+7
|
* Merge pull request #1253 from YosysHQ/clifford/checkClifford Wolf2019-08-071-7/+3
|\ | | | | Be less aggressive with running design->check()
| * Be less aggressive with running design->check()Clifford Wolf2019-08-061-7/+3
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Add support for writing gzip-compressed filesDavid Shah2019-08-061-7/+60
|/ | | | Signed-off-by: David Shah <dave@ds0.me>
* Fix case when file does not existMiodrag Milanovic2019-07-291-19/+21
|
* Add support for reading gzip'd input filesDavid Shah2019-07-261-0/+40
| | | | Signed-off-by: David Shah <dave@ds0.me>
* Add a few more filename rewritesBen Widawsky2019-06-201-0/+1
| | | | | | | | | | This now allows a full pipeline to work, something such as: yosys -p "synth_ecp5 -json ~/work/fpga/prjtrellis/examples/ecp5_evn/blinky.v" Otherwise, you will get something along the lines of: ERROR: Can't open output file `~/work/fpga/prjtrellis/examples/ecp5_evn/blinky.v' for writing: No such file or directory Signed-off-by: Ben Widawsky <ben@bwidawsk.net>
* Add log_debug() frameworkClifford Wolf2019-04-221-0/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Improve determinism of IdString DB for similar scriptsClifford Wolf2019-03-111-0/+2
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-6/+5
| | | | | | | | | 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 Wolf2018-01-071-0/+2
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Bugfix in comment handlingClifford Wolf2016-12-131-1/+1
|
* Added glob support to all front-endsClifford Wolf2016-08-221-4/+12
|
* Added "yosys -D" featureClifford Wolf2016-04-211-1/+1
|
* Added ScriptPass helper class for script-like passesClifford Wolf2016-03-311-0/+59
|
* Added support for ":" as comment symbol after ;-parsingClifford Wolf2015-10-231-1/+1
|
* Progress on cell help messagesClifford Wolf2015-10-171-1/+1
|
* Added first help messages for cell typesClifford Wolf2015-10-141-6/+43
|
* Fixed trailing whitespacesClifford Wolf2015-07-021-4/+4
|
* Added support for "file names with blanks"Clifford Wolf2015-04-081-4/+3
|
* Replaced ezDefaultSAT with ezSatPtrClifford Wolf2015-02-211-0/+14
|
* Fixed creation of command reference in manualClifford Wolf2015-02-091-4/+3
|
* Fixed comment parsing in Pass::call()Clifford Wolf2014-12-291-3/+8
|
* Added newline support to Pass::call() parserClifford Wolf2014-12-291-0/+12
|
* Added support for empty lines to here documentsClifford Wolf2014-10-291-2/+2
|
* Added run_command() api to replace system() and popen()Clifford Wolf2014-10-121-1/+1
|
* Using next_token() to parse commandsClifford Wolf2014-10-101-24/+24
|
* Corrected spelling mistakes found by lintianRuben Undheim2014-09-061-3/+3
|
* Removed compatbility.{h,cc}: Not using open_memstream/fmemopen anymoreClifford Wolf2014-08-231-16/+8
|
* Changed frontend-api from FILE to std::istreamClifford Wolf2014-08-231-9/+14
|
* Changed backend-api from FILE to std::ostreamClifford Wolf2014-08-231-12/+16
|
* Added Frontend "+/" filename syntax for files from proc_share_dirClifford Wolf2014-08-151-1/+4
|
* No implicit conversion from IdString to anything elseClifford Wolf2014-08-021-2/+2
|
* Added per-pass cpu usage statisticsClifford Wolf2014-08-011-7/+35
|
* Moved some stuff to kernel/yosys.{h,cc}, using Yosys:: namespaceClifford Wolf2014-07-311-18/+16
|
* Added write_file commandClifford Wolf2014-07-301-3/+5
|
* Renamed "write_autotest" to "test_autotb" and moved to passes/tests/Clifford Wolf2014-07-291-1/+3
|
* Using log_assert() instead of assert()Clifford Wolf2014-07-281-8/+7
|
* Added support for here documentsClifford Wolf2014-07-261-1/+30
|
* Added "cover" commandClifford Wolf2014-07-241-12/+16
|