14 Commits

Author	SHA1	Message	Date
Clifford Wolf	93b7fd7744	Fix floating point exception in qwp, fixes #923 ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-05-01 15:06:46 +02: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	a96c775a73	Add support for "yosys -E" ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-01-07 16:36:13 +01:00
Clifford Wolf	e01464e2ac	Added "qwp -v"	2016-04-28 23:17:30 +02:00
Clifford Wolf	0bc95f1e04	Added "yosys -D" feature	2016-04-21 23:28:37 +02:00
Clifford Wolf	207736b4ee	Import more std:: stuff into Yosys namespace	2015-10-25 19:30:49 +01:00
Clifford Wolf	281c1f4029	Some cleanups in qwp	2015-09-26 10:42:27 +02:00
Clifford Wolf	ec92c89659	Added pivoting to qwp solver	2015-09-24 22:16:37 +02:00
Clifford Wolf	69071bbc5f	Improved qwp performance	2015-09-24 21:50:37 +02:00
Clifford Wolf	b1e9cb332d	Added statistics summary to "qwp"	2015-09-24 21:22:24 +02:00
Clifford Wolf	11c27b5e69	Bugfix in "qwp" pass	2015-09-21 10:37:24 +02:00
Clifford Wolf	80898dcbc8	Improvements and fixes in "qwp" pass	2015-09-21 01:05:13 +02:00
Clifford Wolf	6329bea873	Added "qwp -dump"	2015-09-20 22:36:35 +02:00
Clifford Wolf	539c5eeb0f	Added "qwp" command	2015-09-20 18:28:46 +02:00