222 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Clifford Wolf	770c6441d8	Add dpmem multiclk example	2017-12-13 19:17:32 +01:00
Clifford Wolf	82f394260a	Make --presat and --unroll the default for smtbmc	2017-12-05 17:16:38 +01:00
Clifford Wolf	20b8b8fe9f	Add "sby -t", improve handling of stdin	2017-11-24 20:12:58 +01:00
Clifford Wolf	bb5e134164	Merge pull request #2 from awygle/scriptability ... Support parsing sby file from stdin	2017-11-24 19:58:39 +01:00
Andrew Wygle	b7c33a72e9	Minimum-modification change for stdin support	2017-11-24 09:57:23 -08:00
Clifford Wolf	db9c7e97b8	Add missing prerequisites to quickstart guide	2017-10-28 14:01:42 +02:00
Clifford Wolf	78efd64985	Add "smtbmc --dumpsmt2"	2017-10-23 02:17:39 +02:00
Clifford Wolf	b690221f99	Add "smtbmc --unroll"	2017-10-22 10:07:26 +02:00
Clifford Wolf	f403b99fae	Add wolf_goat_cabbage.v puzzle solver	2017-09-26 19:17:16 +02:00
Clifford Wolf	27da852e38	Remove AIGER from install section	2017-09-21 02:02:31 +02:00
Clifford Wolf	6d0183f6c6	Add gperf to prerequisites	2017-09-21 01:49:18 +02:00
Clifford Wolf	3f1cbb0706	Update quickstart.rst	2017-09-14 03:29:12 +02:00
Clifford Wolf	68d90a5510	Add "smtbmc --presat"	2017-07-07 02:47:53 +02:00
Clifford Wolf	6ef12a4b31	Add tbtop config option	2017-07-01 18:33:36 +02:00
Clifford Wolf	3fb72628de	Add "setundef -anyseq" to default yosys script	2017-05-28 12:32:30 +02:00
Clifford Wolf	ff054ab88b	Add support for "aigsmt none" option	2017-05-28 12:32:03 +02:00
Clifford Wolf	a2c1dd3f91	Yices 2 is the new default solver for yosys-smtbmc	2017-05-27 12:04:43 +02:00
Clifford Wolf	7f871ec89a	Add "Reactive Synthesis" as TBD to documentation	2017-05-22 12:26:02 +02:00
Clifford Wolf	8817f61de3	Add support for --pycode-begin/end-- sections	2017-05-08 15:07:10 +02:00
Clifford Wolf	a16e90a885	Add avy install instructions	2017-03-09 12:19:37 +01:00
Clifford Wolf	2b8533cf17	Fix CEX handle in liveness checking mode	2017-03-02 13:37:58 +01:00
Clifford Wolf	7fdbb4c179	Update docs	2017-03-01 11:12:30 +01:00
Clifford Wolf	774849a6ed	Add "mode live" support	2017-03-01 11:12:23 +01:00
Clifford Wolf	6e03f1d895	Add support for AIGER solvers that do not return a CEX	2017-02-27 22:29:00 +01:00
Clifford Wolf	81144819e5	Add smtc option	2017-02-27 22:28:31 +01:00
Clifford Wolf	ad304ddda7	Add rc to DONE msg	2017-02-27 22:27:52 +01:00
Clifford Wolf	be8c995e15	Improve option handling	2017-02-26 14:32:33 +01:00
Clifford Wolf	5657976ad3	Fix typo in aiger engine	2017-02-26 13:07:58 +01:00
Clifford Wolf	9a718367ff	Improve super_prove integration	2017-02-26 13:03:59 +01:00
Clifford Wolf	7be08218cb	Add "append" option	2017-02-26 11:08:14 +01:00
Clifford Wolf	94260e01b8	Add aigbmc support	2017-02-25 23:50:33 +01:00
Clifford Wolf	eb83a1b90e	Add aigsmt option	2017-02-25 15:06:47 +01:00
Clifford Wolf	1c8e006e46	Add smtbmc stbv support	2017-02-24 18:26:20 +01:00
Clifford Wolf	b5be4a5759	Add aiger engine	2017-02-19 23:53:01 +01:00
Clifford Wolf	404f8de16d	Update documentation	2017-02-19 22:55:39 +01:00
Clifford Wolf	afeab48894	Use smtbmc args for solver options	2017-02-19 22:52:27 +01:00
Clifford Wolf	221018b19d	Fix readline() handling for partial lines	2017-02-13 16:59:34 +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	e69d39434a	Add support for "[file <filename>]" .sby sections	2017-02-08 21:33:47 +01:00
Clifford Wolf	29968fcc58	Add docs for "wait" option, more config checking	2017-02-06 21:50:57 +01:00
Clifford Wolf	bdb8321069	Fix bug in job.terminate()	2017-02-06 21:41:26 +01:00
Clifford Wolf	01a03d0e07	Add support for "wait" option	2017-02-06 21:35:37 +01:00
Clifford Wolf	24e19e3cda	Update docs	2017-02-06 17:49:20 +01:00
Clifford Wolf	88d0e4f13a	Add "timeout" option	2017-02-06 17:48:46 +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	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