summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
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