20 commits

Author	SHA1	Message	Date
Eddie Hung	c50d68653d	Spelling	2019-08-22 16:06:36 -07:00
rafaeltp	f8b97e21f3	using [i] to access individual bits of SigSpec and merging bits into a tmp Sig before setting the port to new signal	2018-10-21 11:32:44 -07:00
rafaeltp	7b964bfb83	cleaning up for PR	2018-10-20 18:02:59 -07:00
rafaeltp	ce069830c5	fixing code style	2018-10-20 17:57:26 -07:00
rafaeltp	0ad4321781	solves #675	2018-10-20 17:50:21 -07:00
tklam	f4343b3dc7	stop check_signal_in_fanout from traversing FFs	2018-10-13 23:24:24 +08:00
tklam	302edf0429	stop check_signal_in_fanout from traversing FFs	2018-10-13 23:11:19 +08:00
tklam	b86eb3deef	fix bug: pass by reference	2018-09-26 17:57:39 +08:00
TK Lam	2b89074240	Fix issue #639	2018-09-26 16:11:45 +08: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	9337e4999d	Improve log messages in equiv_make ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-01-19 16:20:40 +01:00
Clifford Wolf	0bc95f1e04	Added "yosys -D" feature	2016-04-21 23:28:37 +02:00
Clifford Wolf	6416dfee93	Improved inout handling in equiv_make	2015-10-21 15:42:50 +02:00
Clifford Wolf	84bf862f7c	Spell check (by Larry Doolittle)	2015-08-14 10:56:05 +02:00
Clifford Wolf	6c84341f22	Fixed trailing whitespaces	2015-07-02 11:14:30 +02:00
Clifford Wolf	1d92915a55	Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")	2015-01-31 21:07:42 +01:00
Clifford Wolf	f80f5b721d	Added "equiv_make -blacklist <file> -encfile <file>"	2015-01-31 12:08:20 +01:00
Clifford Wolf	75bbeb828a	Various equiv_* improvements	2015-01-24 00:32:24 +01:00
Clifford Wolf	1cb4c925d0	Improvements in equiv_make, equiv_induct	2015-01-22 21:23:01 +01:00
Clifford Wolf	0a225f8b27	Moved equiv stuff to passes/equiv/	2015-01-22 12:03:15 +01:00

Renamed from passes/sat/equiv_make.cc (Browse further)