aboutsummaryrefslogtreecommitdiffstats
path: root/passes/cmds/check.cc
Commit message (Collapse)AuthorAgeFilesLines
* Add "check -allow-tbuf"Clifford Wolf2019-10-031-8/+22
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add "check -mapped"Clifford Wolf2019-10-021-21/+35
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-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)
* Added "check -initdrv"Clifford Wolf2017-01-041-3/+82
|
* Added "yosys -D" featureClifford Wolf2016-04-211-1/+1
|
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-141-1/+1
|
* Fixed "check" command for inout portsClifford Wolf2015-07-271-3/+11
|
* Fixed trailing whitespacesClifford Wolf2015-07-021-3/+3
|
* Fixed "check -assert"Clifford Wolf2015-02-221-1/+1
|
* Added "check -assert" docClifford Wolf2015-02-221-0/+3
|
* Added "check -assert"Clifford Wolf2015-02-221-0/+8
|
* Added "check -noinit"Clifford Wolf2015-02-151-3/+19
|
* hotfix in "check" commandClifford Wolf2015-02-131-1/+2
|
* Added "check" commandClifford Wolf2015-02-131-0/+126