127 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
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	b8fefaa25b	Improve "abc sim3" handling	2017-02-03 12:17:22 +01:00
Clifford Wolf	1f6037c158	Add support for "abc sim3" engine	2017-02-02 16:59:09 +01:00
Clifford Wolf	0a1f207ab5	Fix bug in /examples/quickstart/prove.v	2017-01-31 09:12:31 +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	6b23046d3f	Fix typo	2017-01-30 12:31:53 +01:00
Clifford Wolf	8aaf40d54c	Improve docs	2017-01-30 12:15:12 +01:00
Clifford Wolf	9064f7e6f6	Improve quickstart memory example	2017-01-30 12:04:59 +01:00
Clifford Wolf	f49cd7c1a0	Fix bug in task management	2017-01-30 12:04:35 +01:00
Clifford Wolf	363273df52	Refactor engine/mode interfaces	2017-01-30 11:57:04 +01:00
Clifford Wolf	f173c703f9	Improve bmc task management	2017-01-30 11:50:14 +01:00
Clifford Wolf	7ff38491c6	Use new "yosys-smtbmc --aig <aim>:<aiw>" feature	2017-01-30 11:40:27 +01:00
Clifford Wolf	08079a435b	Fix "abc bmc3" engine for small state spaces	2017-01-30 11:39:48 +01:00
Clifford Wolf	f358cca5a1	Improve documentation	2017-01-29 17:14:05 +01:00
Clifford Wolf	1a574ce24a	Improve documentation	2017-01-29 17:10:17 +01:00
Clifford Wolf	062aae5822	Fix handling of counter examples with "abc bmc3" engine	2017-01-29 16:58:11 +01:00
Clifford Wolf	170a7efe10	Fix error handling in model creation	2017-01-29 15:37:42 +01:00
Clifford Wolf	4f97a20acd	Rename "abc_bmc3" engine to "abc bmc3"	2017-01-28 15:25:49 +01:00
Clifford Wolf	fb9dafd920	Add AIGER cex support	2017-01-28 15:16:06 +01:00
Clifford Wolf	bf9acb89ee	Improve docs	2017-01-22 18:04:47 +01:00
Clifford Wolf	37951b465a	Fix handling of empty src dir	2017-01-22 17:36:21 +01:00
Clifford Wolf	fee0f4c38c	Add .gitignore	2017-01-22 17:01:53 +01:00
Clifford Wolf	bc163c6192	Add README.md	2017-01-22 16:59:51 +01:00
Clifford Wolf	3a13b116a6	Initial import	2017-01-22 16:47:47 +01:00