7 commits

Author	SHA1	Message	Date
Eddie Hung	956ecd48f7	kernel: big fat patch to use more ID::*, otherwise ID(*)	2020-04-02 09:51:32 -07:00
Eddie Hung	fdafb74eb7	kernel: use more ID::*	2020-04-02 07:14:08 -07:00
whitequark	efa278e232	Fix typographical and grammatical errors and inconsistencies. ... 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.	2019-01-02 13:12:17 +00:00
Henner Zeller	3aa4484a3c	Consistent use of 'override' for virtual methods in derived classes. ... 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)	2018-07-20 23:51:06 -07:00
Clifford Wolf	dee4ec1661	Fix gcc compiler warning	2017-04-05 11:21:06 +02:00
Clifford Wolf	1a6c02a532	Add "chformal -assert2assume" and friends	2017-02-28 00:00:44 +01:00
Clifford Wolf	db7fc0e32d	Add "chformal" pass	2017-02-27 13:25:28 +01:00