iCE40/yosys - clone of https://github.com/YosysHQ/yosys

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge pull request #2995 from georgerennie/cover_precond	Jannis Harder	2023-02-14	1	-0/+19
\|\
\| *	chformal: Note about using -coverenable with the Verific frontend	Jannis Harder	2023-02-14	1	-0/+5
\| *	chformal: Rename -coverprecond to -coverenable	George Rennie	2022-06-18	1	-4/+4
\| *	chformal: Test -coverprecond and reuse the src attribute	Jannis Harder	2022-06-18	1	-2/+2
\| *	chformal: Add -coverprecond option	George Rennie	2022-06-18	1	-0/+14
* \|	Fitting help messages to 80 character width	KrystalDelusion	2022-08-24	1	-2/+2
\|/
*	Fixing old e-mail addresses and deadnames	Claire Xenia Wolf	2021-06-08	1	-1/+1
*	Use C++11 final/override keywords.	whitequark	2020-06-18	1	-2/+2
*	kernel: big fat patch to use more ID::, otherwise ID()	Eddie Hung	2020-04-02	1	-37/+37
*	kernel: use more ID::*	Eddie Hung	2020-04-02	1	-4/+4
*	Fix typographical and grammatical errors and inconsistencies.	whitequark	2019-01-02	1	-2/+2
*	Consistent use of 'override' for virtual methods in derived classes.	Henner Zeller	2018-07-20	1	-2/+2
*	Fix gcc compiler warning	Clifford Wolf	2017-04-05	1	-1/+1
*	Add "chformal -assert2assume" and friends	Clifford Wolf	2017-02-28	1	-0/+44
*	Add "chformal" pass	Clifford Wolf	2017-02-27	1	-0/+238