59 commits

Author	SHA1	Message	Date
Clifford Wolf	afeab48894	Use smtbmc args for solver options	2017-02-19 22:52:27 +01:00
Clifford Wolf	7be55edc7d	Fix "smtbmc --syn" and "smtbmc --nomem"	2017-02-09 14:32:16 +01:00
Clifford Wolf	7085657687	Add options to set tool paths	2017-02-09 14:09:14 +01:00
Clifford Wolf	c2c273c7c8	Add "expect" config option	2017-02-06 16:30:29 +01:00
Clifford Wolf	ad4c0f2198	Add "cover" mode	2017-02-05 15:44:01 +01:00
Clifford Wolf	1410ac4d49	Add some docs for "prove" mode	2017-01-30 13:23:07 +01:00
Clifford Wolf	ffeee1a11f	Add smtbmc prove support	2017-01-30 12:59:20 +01:00
Clifford Wolf	5125128bbd	Added prove mode support via "abc pdr"	2017-01-30 12:32:49 +01:00
Clifford Wolf	363273df52	Refactor engine/mode interfaces	2017-01-30 11:57:04 +01:00