120 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
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