whitequark
|
b494d4c656
|
read_ilang: improve style. NFC.
Co-Authored-By: Alberto Gonzalez <61295559+boqwxp@users.noreply.github.com>
|
2020-04-06 18:31:15 +00:00 |
|
Alberto Gonzalez
|
f4346a0400
|
Use more descriptive variable name.
Co-Authored-By: whitequark <whitequark@whitequark.org>
|
2020-04-06 14:48:27 +00:00 |
|
Alberto Gonzalez
|
d6de14a0d6
|
Use more descriptive variable name.
Co-Authored-By: whitequark <whitequark@whitequark.org>
|
2020-04-06 14:37:07 +00:00 |
|
whitequark
|
ebf23cd62e
|
Merge pull request #1870 from boqwxp/cleanup_setattr
Clean up `passes/cmds/setattr.cc`.
|
2020-04-06 11:04:49 +00:00 |
|
whitequark
|
df95dc7d4a
|
Merge pull request #1872 from boqwxp/cleanup_copy
Clean up private member usage in `passes/cmds/copy.cc`.
|
2020-04-06 11:03:46 +00:00 |
|
whitequark
|
41f0c38478
|
Merge pull request #1871 from boqwxp/cleanup_splice
Clean up `passes/cmds/splice.cc`.
|
2020-04-06 11:03:34 +00:00 |
|
whitequark
|
db66371915
|
Merge pull request #1869 from boqwxp/cleanup_connwrappers
Clean up `passes/cmds/connwrappers.cc`.
|
2020-04-06 11:01:44 +00:00 |
|
whitequark
|
30934e425d
|
Merge pull request #1868 from boqwxp/cleanup_delete
Clean up `passes/cmds/delete.cc`.
|
2020-04-06 10:58:38 +00:00 |
|
whitequark
|
d3615ee445
|
Merge pull request #1867 from boqwxp/cleanup_stat
Clean up `passes/cmds/stat.cc`.
|
2020-04-06 10:58:02 +00:00 |
|
whitequark
|
75d39c6fdf
|
Merge pull request #1866 from boqwxp/cleanup_test_autotb
Clean up `passes/tests/test_autotb.cc`.
|
2020-04-06 10:56:45 +00:00 |
|
whitequark
|
79c6149069
|
Merge pull request #1865 from boqwxp/cleanup_dfflibmap
Clean up `passes/techmap/dfflibmap.cc`.
|
2020-04-06 10:56:22 +00:00 |
|
whitequark
|
8340660518
|
Merge pull request #1863 from boqwxp/cleanup_techmap_extract
Clean up `passes/techmap/extract.cc`.
|
2020-04-06 10:55:50 +00:00 |
|
whitequark
|
0d69d532e0
|
Merge pull request #1859 from boqwxp/design_duplicate
Add `-push-copy` option to the `design` command.
|
2020-04-06 10:39:26 +00:00 |
|
whitequark
|
d22888ce74
|
read_ilang: improve error message for overly long wires.
Fixes #1838.
|
2020-04-06 10:33:02 +00:00 |
|
whitequark
|
ca70a1049f
|
read_ilang: detect overflow of integer literals.
|
2020-04-06 10:32:02 +00:00 |
|
whitequark
|
df69febb1e
|
Merge pull request #1873 from boqwxp/cleanup_bugpoint
Clean up private member usage in `passes/cmds/bugpoint.cc`.
|
2020-04-06 10:13:06 +00:00 |
|
Alberto Gonzalez
|
57f48f94c2
|
Clean up passes/cmds/show.cc.
|
2020-04-06 08:51:25 +00:00 |
|
Alberto Gonzalez
|
fdeeb48e62
|
Clean up private member usage in passes/cmds/bugpoint.cc.
|
2020-04-06 08:35:09 +00:00 |
|
Alberto Gonzalez
|
2dd09ab611
|
Clean up private member usage in passes/cmds/copy.cc.
|
2020-04-06 08:26:10 +00:00 |
|
Alberto Gonzalez
|
5e9c88501e
|
Clean up passes/cmds/splice.cc.
|
2020-04-06 07:42:46 +00:00 |
|
Alberto Gonzalez
|
2e27ddd511
|
Clean up passes/cmds/setattr.cc.
|
2020-04-06 06:52:18 +00:00 |
|
Alberto Gonzalez
|
968230261f
|
Clean up passes/cmds/connwrappers.cc.
|
2020-04-06 06:11:25 +00:00 |
|
Alberto Gonzalez
|
1226d41c61
|
Clean up passes/cmds/delete.cc.
|
2020-04-06 05:09:43 +00:00 |
|
Alberto Gonzalez
|
b39a0d77ab
|
Clean up passes/cmds/stat.cc.
|
2020-04-06 04:39:18 +00:00 |
|
Alberto Gonzalez
|
438d2e0025
|
Clean up passes/tests/test_autotb.cc.
|
2020-04-06 04:25:21 +00:00 |
|
Alberto Gonzalez
|
f3e282a97c
|
Clean up passes/techmap/dfflibmap.cc.
|
2020-04-06 03:02:40 +00:00 |
|
Alberto Gonzalez
|
9168701881
|
Clean up pseudo-private member usage and simplify passes/techmap/abc.cc.
|
2020-04-05 21:31:18 +00:00 |
|
Alberto Gonzalez
|
64a32ead38
|
Clean up passes/techmap/extract.cc.
|
2020-04-05 19:36:23 +00:00 |
|
Alberto Gonzalez
|
5431ce694c
|
Clean up passes/hierarchy/submod.cc.
|
2020-04-05 04:39:54 +00:00 |
|
Alberto Gonzalez
|
5fedd0931c
|
Use newly-renamed -push-copy option.
|
2020-04-04 22:22:54 +00:00 |
|
Alberto Gonzalez
|
0ca3a8e94f
|
Improve style in passes/sat/qbfsat.cc.
|
2020-04-04 22:13:27 +00:00 |
|
Alberto Gonzalez
|
1db73e8dd2
|
Gracefully report error when module has nothing to prove.
|
2020-04-04 22:13:27 +00:00 |
|
Alberto Gonzalez
|
8f0f13cad2
|
Suppress yosys-smtbmc output unless the new -show-smtbmc option is provided.
|
2020-04-04 22:13:27 +00:00 |
|
Alberto Gonzalez
|
ce033a8e36
|
Fix handling of -sat and -unsat options when the solver returns unknown.
|
2020-04-04 22:13:26 +00:00 |
|
Alberto Gonzalez
|
6af8b767b4
|
Use log_push() and log_pop() and show the satisfiable model when -specialize is not specified.
Co-Authored-By: N. Engelhardt <nak@symbioticeda.com>
|
2020-04-04 22:13:26 +00:00 |
|
Alberto Gonzalez
|
d311a80222
|
Clean up qbfsat command and fix AND-reduction of miter outputs.
|
2020-04-04 22:13:26 +00:00 |
|
Alberto Gonzalez
|
125a583c57
|
Use the -duplicate option rather than -save and -load with an explicit name.
Co-Authored-By: Claire Wolf <claire@symbioticeda.com>
|
2020-04-04 22:13:26 +00:00 |
|
Alberto Gonzalez
|
86fc49a9d6
|
Use internal run_command() API instead of popen().
Co-Authored-By: Claire Wolf <claire@symbioticeda.com>
|
2020-04-04 22:13:26 +00:00 |
|
Alberto Gonzalez
|
09b2264837
|
Clean up manual casting.
Co-Authored-By: David Shah <dave@ds0.me>
|
2020-04-04 22:13:26 +00:00 |
|
Alberto Gonzalez
|
acf96b6b0b
|
Remove unimplemented -timeout option.
|
2020-04-04 22:13:26 +00:00 |
|
Alberto Gonzalez
|
bb101e0b3a
|
Implement the -assume-outputs, -sat, and -unsat options for the qbfsat` command.
|
2020-04-04 22:13:26 +00:00 |
|
Alberto Gonzalez
|
5527063f66
|
Add NDEBUG guards to qbfsat assertions.
|
2020-04-04 22:13:26 +00:00 |
|
Alberto Gonzalez
|
3a4fd4a999
|
Implement -specialize-from-file option for the qbfsat command.
|
2020-04-04 22:13:26 +00:00 |
|
Alberto Gonzalez
|
b9e79e0bb7
|
Implement -write-solution option for the qbfsat command.
|
2020-04-04 22:13:26 +00:00 |
|
Alberto Gonzalez
|
d07ac2612b
|
Clean up passes/sat/qbfsat.cc.
|
2020-04-04 22:13:26 +00:00 |
|
Alberto Gonzalez
|
437afa1f0c
|
Updated yosys-smtbmc to optionally dump raw bit strings, and fixed hole value recovery using that mode.
|
2020-04-04 22:13:25 +00:00 |
|
Alberto Gonzalez
|
a4598d64ef
|
Hole value recovery and specialization implementation for qbfsat command.
|
2020-04-04 22:13:25 +00:00 |
|
Alberto Gonzalez
|
2fff574741
|
Barebones implementation of qbfsat command.
|
2020-04-04 22:13:25 +00:00 |
|
Alberto Gonzalez
|
fb878b2a70
|
Initial skeleton for qbfsat command.
|
2020-04-04 22:13:25 +00:00 |
|
Alberto Gonzalez
|
a0416fe167
|
Rename -duplicate to -push-copy.
Co-Authored-By: whitequark <whitequark@whitequark.org>
|
2020-04-04 21:26:11 +00:00 |
|