iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Renamed "sat_solve" pass to "sat"	Clifford Wolf	2013-06-09	1	-753/+0
*	Implemented temporal induction proofs in sat_solve	Clifford Wolf	2013-06-09	1	-35/+174
*	Added support for non-temporal proofs to sat_solve	Clifford Wolf	2013-06-09	1	-26/+123
*	Re-organization in sat_solver pass for temporal induction	Clifford Wolf	2013-06-09	1	-251/+296
*	Added ezSAT api support for don't care values in models	Clifford Wolf	2013-06-09	1	-1/+4
*	Fixed handling of $_XOR_ in SAT generator	Clifford Wolf	2013-06-09	1	-1/+3
*	Added sequential solving support to sat_solve	Clifford Wolf	2013-06-09	1	-57/+207
*	Fixed typo is sat_solve help msg	Clifford Wolf	2013-06-08	1	-1/+1
*	Various improvements in sat_solve pass and SAT generator	Clifford Wolf	2013-06-08	1	-7/+9
*	Added -all and -max options to sat_solve	Clifford Wolf	2013-06-08	1	-0/+31
*	Improved auto-detection of -show signals in sat_solve	Clifford Wolf	2013-06-08	1	-28/+71
*	Improved sat generator and sat_solve pass	Clifford Wolf	2013-06-07	1	-3/+3
*	Added SAT generator and simple sat_solve command	Clifford Wolf	2013-06-07	1	-0/+241