aboutsummaryrefslogtreecommitdiffstats
path: root/passes/cmds/cover.cc
Commit message (Collapse)AuthorAgeFilesLines
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-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;
* Use C++11 final/override keywords.whitequark2020-06-181-2/+2
|
* Add WASI platform support.whitequark2020-04-301-2/+2
| | | | | | | | | | | | 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.
* substr() -> compare()Eddie Hung2019-08-071-1/+1
|
* Do not leak file descriptors in cover.ccClifford Wolf2019-05-151-5/+6
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fix two instances of integer-assignment to string.Henner Zeller2019-05-141-1/+2
| | | | | | | | | o In cover.cc, the int-result of mkstemps() was assigned to a string and silently interpreted as a single-character filename with a funny value. Fix with the intent: assign the filename. o in libparse.cc, an int was assigned to a string, but depending on visible constructors, this is ambiguous. Explicitly cast this to a char.
* 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)
* Add "#ifdef __FreeBSD__"Christian Krämer2018-05-131-1/+1
| | | | (Re-commit e3575a8 with corrected author field)
* Revert "Add "#ifdef __FreeBSD__""Clifford Wolf2018-05-131-1/+1
| | | | This reverts commit e3575a86c525f2511902e7022893c3923ba8093e.
* Add "#ifdef __FreeBSD__"Johnny Sorocil2018-05-051-1/+1
|
* Added "yosys -D" featureClifford Wolf2016-04-211-1/+1
|
* Only enable code coverage counters on linuxClifford Wolf2015-01-091-2/+2
|
* Made "cover" a compile-time option (disabled by default)Clifford Wolf2014-11-061-2/+2
|
* Header changes so it will compile on VSWilliam Speirs2014-10-171-2/+11
|
* Disabled "cover -d" on win32Clifford Wolf2014-10-111-0/+4
|
* Moved patmatch() to yosys.ccClifford Wolf2014-10-101-2/+0
|
* Replaced fnmatch() with patmatch()Clifford Wolf2014-10-101-5/+3
|
* namespace YosysClifford Wolf2014-09-271-0/+4
|
* Disabled cover() for non-linux buildsClifford Wolf2014-07-251-2/+5
|
* Improvements in "cover" commandClifford Wolf2014-07-251-11/+37
|
* Added "cover" commandClifford Wolf2014-07-241-0/+115