5 commits

Author	SHA1	Message	Date
Clifford Wolf	1f8c47fb47	Added "equiv_add -try" mode	2016-01-06 13:54:00 +01:00
Clifford Wolf	207736b4ee	Import more std:: stuff into Yosys namespace	2015-10-25 19:30:49 +01:00
Clifford Wolf	da923c198e	Added "equiv_add -cell"	2015-10-25 14:35:40 +01:00
Clifford Wolf	6c84341f22	Fixed trailing whitespaces	2015-07-02 11:14:30 +02:00
Clifford Wolf	5170b86108	Added equiv_add	2015-02-08 11:59:38 +01:00