mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-06 14:24:08 +00:00
Code Activity
57 commits 7 branches 26 tags 1.3 MiB
Commit graph

57 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
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