summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Clifford Wolf [Sat, 3 Mar 2018 18:28:26 +0000 (19:28 +0100)]
Add wolf_goat_cabbage.sby
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sat, 3 Mar 2018 14:54:00 +0000 (15:54 +0100)]
Add engines documentation
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Mon, 22 Jan 2018 13:46:25 +0000 (14:46 +0100)]
Merge pull request #4 from daveshah1/fix_filetop
Ignore whitespace at top of file
David Shah [Mon, 22 Jan 2018 13:00:32 +0000 (13:00 +0000)]
Ignore whitespace at top of file
Signed-off-by: David Shah <davey1576@gmail.com>
Clifford Wolf [Fri, 19 Jan 2018 13:26:42 +0000 (14:26 +0100)]
Improve handling of comments in .sby files
Clifford Wolf [Wed, 17 Jan 2018 13:35:46 +0000 (14:35 +0100)]
Add DESTDIR and PREFIX to Makefile
Clifford Wolf [Thu, 14 Dec 2017 01:12:08 +0000 (02:12 +0100)]
Disable unrolling per default for z3
Clifford Wolf [Wed, 13 Dec 2017 18:17:20 +0000 (19:17 +0100)]
Add dpmem multiclk example
Clifford Wolf [Tue, 5 Dec 2017 16:16:38 +0000 (17:16 +0100)]
Make --presat and --unroll the default for smtbmc
Clifford Wolf [Fri, 24 Nov 2017 19:12:58 +0000 (20:12 +0100)]
Add "sby -t", improve handling of stdin
Clifford Wolf [Fri, 24 Nov 2017 18:58:39 +0000 (19:58 +0100)]
Merge pull request #2 from awygle/scriptability
Support parsing sby file from stdin
Andrew Wygle [Fri, 24 Nov 2017 17:39:41 +0000 (09:39 -0800)]
Minimum-modification change for stdin support
Clifford Wolf [Sat, 28 Oct 2017 12:01:42 +0000 (14:01 +0200)]
Add missing prerequisites to quickstart guide
Clifford Wolf [Mon, 23 Oct 2017 00:17:39 +0000 (02:17 +0200)]
Add "smtbmc --dumpsmt2"
Clifford Wolf [Sun, 22 Oct 2017 08:07:26 +0000 (10:07 +0200)]
Add "smtbmc --unroll"
Clifford Wolf [Tue, 26 Sep 2017 17:17:16 +0000 (19:17 +0200)]
Add wolf_goat_cabbage.v puzzle solver
Clifford Wolf [Thu, 21 Sep 2017 00:02:31 +0000 (02:02 +0200)]
Remove AIGER from install section
Clifford Wolf [Wed, 20 Sep 2017 23:49:18 +0000 (01:49 +0200)]
Add gperf to prerequisites
Clifford Wolf [Thu, 14 Sep 2017 01:29:12 +0000 (03:29 +0200)]
Update quickstart.rst
Clifford Wolf [Fri, 7 Jul 2017 00:47:53 +0000 (02:47 +0200)]
Add "smtbmc --presat"
Clifford Wolf [Sat, 1 Jul 2017 16:33:36 +0000 (18:33 +0200)]
Add tbtop config option
Clifford Wolf [Sun, 28 May 2017 10:32:30 +0000 (12:32 +0200)]
Add "setundef -anyseq" to default yosys script
Clifford Wolf [Sun, 28 May 2017 10:32:03 +0000 (12:32 +0200)]
Add support for "aigsmt none" option
Clifford Wolf [Sat, 27 May 2017 10:04:43 +0000 (12:04 +0200)]
Yices 2 is the new default solver for yosys-smtbmc
Clifford Wolf [Mon, 22 May 2017 10:26:02 +0000 (12:26 +0200)]
Add "Reactive Synthesis" as TBD to documentation
Clifford Wolf [Mon, 8 May 2017 13:01:56 +0000 (15:01 +0200)]
Add support for --pycode-begin/end-- sections
Clifford Wolf [Thu, 9 Mar 2017 11:19:37 +0000 (12:19 +0100)]
Add avy install instructions
Clifford Wolf [Thu, 2 Mar 2017 12:37:58 +0000 (13:37 +0100)]
Fix CEX handle in liveness checking mode
Clifford Wolf [Wed, 1 Mar 2017 10:09:30 +0000 (11:09 +0100)]
Update docs
Clifford Wolf [Wed, 1 Mar 2017 10:09:14 +0000 (11:09 +0100)]
Add "mode live" support
Clifford Wolf [Mon, 27 Feb 2017 21:29:00 +0000 (22:29 +0100)]
Add support for AIGER solvers that do not return a CEX
Clifford Wolf [Mon, 27 Feb 2017 21:28:31 +0000 (22:28 +0100)]
Add smtc option
Clifford Wolf [Mon, 27 Feb 2017 21:27:52 +0000 (22:27 +0100)]
Add rc to DONE msg
Clifford Wolf [Sun, 26 Feb 2017 13:32:33 +0000 (14:32 +0100)]
Improve option handling
Clifford Wolf [Sun, 26 Feb 2017 12:07:58 +0000 (13:07 +0100)]
Fix typo in aiger engine
Clifford Wolf [Sun, 26 Feb 2017 12:03:59 +0000 (13:03 +0100)]
Improve super_prove integration
Clifford Wolf [Sun, 26 Feb 2017 10:08:14 +0000 (11:08 +0100)]
Add "append" option
Clifford Wolf [Sat, 25 Feb 2017 22:50:33 +0000 (23:50 +0100)]
Add aigbmc support
Clifford Wolf [Sat, 25 Feb 2017 14:06:47 +0000 (15:06 +0100)]
Add aigsmt option
Clifford Wolf [Fri, 24 Feb 2017 17:26:20 +0000 (18:26 +0100)]
Add smtbmc stbv support
Clifford Wolf [Sun, 19 Feb 2017 22:53:01 +0000 (23:53 +0100)]
Add aiger engine
Clifford Wolf [Sun, 19 Feb 2017 21:55:39 +0000 (22:55 +0100)]
Update documentation
Clifford Wolf [Sun, 19 Feb 2017 21:52:27 +0000 (22:52 +0100)]
Use smtbmc args for solver options
Clifford Wolf [Mon, 13 Feb 2017 15:59:34 +0000 (16:59 +0100)]
Fix readline() handling for partial lines
Clifford Wolf [Thu, 9 Feb 2017 13:32:16 +0000 (14:32 +0100)]
Fix "smtbmc --syn" and "smtbmc --nomem"
Clifford Wolf [Thu, 9 Feb 2017 13:09:14 +0000 (14:09 +0100)]
Add options to set tool paths
Clifford Wolf [Wed, 8 Feb 2017 20:33:40 +0000 (21:33 +0100)]
Add support for "[file <filename>]" .sby sections
Clifford Wolf [Mon, 6 Feb 2017 20:50:57 +0000 (21:50 +0100)]
Add docs for "wait" option, more config checking
Clifford Wolf [Mon, 6 Feb 2017 20:41:26 +0000 (21:41 +0100)]
Fix bug in job.terminate()
Clifford Wolf [Mon, 6 Feb 2017 20:35:37 +0000 (21:35 +0100)]
Add support for "wait" option
Clifford Wolf [Mon, 6 Feb 2017 16:49:20 +0000 (17:49 +0100)]
Update docs
Clifford Wolf [Mon, 6 Feb 2017 16:48:46 +0000 (17:48 +0100)]
Add "timeout" option
Clifford Wolf [Mon, 6 Feb 2017 15:30:29 +0000 (16:30 +0100)]
Add "expect" config option
Clifford Wolf [Sun, 5 Feb 2017 14:44:01 +0000 (15:44 +0100)]
Add "cover" mode
Clifford Wolf [Fri, 3 Feb 2017 11:17:22 +0000 (12:17 +0100)]
Improve "abc sim3" handling
Clifford Wolf [Thu, 2 Feb 2017 15:59:09 +0000 (16:59 +0100)]
Add support for "abc sim3" engine
Clifford Wolf [Tue, 31 Jan 2017 08:12:31 +0000 (09:12 +0100)]
Fix bug in /examples/quickstart/prove.v
Clifford Wolf [Mon, 30 Jan 2017 12:23:07 +0000 (13:23 +0100)]
Add some docs for "prove" mode
Clifford Wolf [Mon, 30 Jan 2017 11:59:20 +0000 (12:59 +0100)]
Add smtbmc prove support
Clifford Wolf [Mon, 30 Jan 2017 11:32:49 +0000 (12:32 +0100)]
Added prove mode support via "abc pdr"
Clifford Wolf [Mon, 30 Jan 2017 11:31:53 +0000 (12:31 +0100)]
Fix typo
Clifford Wolf [Mon, 30 Jan 2017 11:15:12 +0000 (12:15 +0100)]
Improve docs
Clifford Wolf [Mon, 30 Jan 2017 11:04:59 +0000 (12:04 +0100)]
Improve quickstart memory example
Clifford Wolf [Mon, 30 Jan 2017 11:04:35 +0000 (12:04 +0100)]
Fix bug in task management
Clifford Wolf [Mon, 30 Jan 2017 10:57:04 +0000 (11:57 +0100)]
Refactor engine/mode interfaces
Clifford Wolf [Mon, 30 Jan 2017 10:50:14 +0000 (11:50 +0100)]
Improve bmc task management
Clifford Wolf [Mon, 30 Jan 2017 10:40:27 +0000 (11:40 +0100)]
Use new "yosys-smtbmc --aig <aim>:<aiw>" feature
Clifford Wolf [Mon, 30 Jan 2017 10:39:48 +0000 (11:39 +0100)]
Fix "abc bmc3" engine for small state spaces
Clifford Wolf [Sun, 29 Jan 2017 16:14:05 +0000 (17:14 +0100)]
Improve documentation
Clifford Wolf [Sun, 29 Jan 2017 16:10:17 +0000 (17:10 +0100)]
Improve documentation
Clifford Wolf [Sun, 29 Jan 2017 15:58:11 +0000 (16:58 +0100)]
Fix handling of counter examples with "abc bmc3" engine
Clifford Wolf [Sun, 29 Jan 2017 14:37:42 +0000 (15:37 +0100)]
Fix error handling in model creation
Clifford Wolf [Sat, 28 Jan 2017 14:25:49 +0000 (15:25 +0100)]
Rename "abc_bmc3" engine to "abc bmc3"
Clifford Wolf [Sat, 28 Jan 2017 14:16:06 +0000 (15:16 +0100)]
Add AIGER cex support
Clifford Wolf [Sun, 22 Jan 2017 17:04:47 +0000 (18:04 +0100)]
Improve docs
Clifford Wolf [Sun, 22 Jan 2017 16:36:21 +0000 (17:36 +0100)]
Fix handling of empty src dir
Clifford Wolf [Sun, 22 Jan 2017 16:01:53 +0000 (17:01 +0100)]
Add .gitignore
Clifford Wolf [Sun, 22 Jan 2017 15:59:51 +0000 (16:59 +0100)]
Add README.md
Clifford Wolf [Sun, 22 Jan 2017 15:47:47 +0000 (16:47 +0100)]
Initial import
projects / SymbiYosys.git / log