projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
qbfsat: Remove cruft inadvertently left untouched in commit 86fc49a9d60f9ad4cdeec9366...
[yosys.git] / passes / sat / qbfsat.cc
2020-05-23 Alberto Gonzalezqbfsat: Remove cruft inadvertently left untouched in... blob | commitdiff | raw
2020-05-23 Alberto Gonzalezqbfsat: Add bisection mode and make it the default. blob | commitdiff | raw | diff to current
2020-05-03 whitequarkMerge pull request #2000 from whitequark/log_error... blob | commitdiff | raw | diff to current
2020-05-01 Claire WolfMerge pull request #1981 from YosysHQ/claire/fix1837 blob | commitdiff | raw | diff to current
2020-04-24 whitequarkMerge pull request #1998 from whitequark/cxxrtl-fixes blob | commitdiff | raw | diff to current
2020-04-23 Eddie HungMerge pull request #1974 from YosysHQ/eddie/abc9_disabl... blob | commitdiff | raw | diff to current
2020-04-23 Claire WolfMerge pull request #1989 from boqwxp/qbfsat_anyconst_so... blob | commitdiff | raw | diff to current
2020-04-23 Claire WolfMerge pull request #1988 from boqwxp/qbfsat blob | commitdiff | raw | diff to current
2020-04-23 Alberto Gonzalezqbfsat: Make hole name recovery more robust. Allow... blob | commitdiff | raw | diff to current
2020-04-23 Alberto Gonzalezqbfsat: Add `-assume-negative-polarity` option. blob | commitdiff | raw | diff to current
2020-04-22 Eddie HungMerge pull request #1949 from YosysHQ/eddie/select_blackbox blob | commitdiff | raw | diff to current
2020-04-22 Eddie HungMerge pull request #1950 from YosysHQ/eddie/design_import blob | commitdiff | raw | diff to current
2020-04-21 Claire WolfMerge pull request #1851 from YosysHQ/claire/bitselwrite blob | commitdiff | raw | diff to current
2020-04-17 whitequarkMerge pull request #1952 from boqwxp/add_edge_location blob | commitdiff | raw | diff to current
2020-04-17 whitequarkMerge pull request #1954 from YosysHQ/dave/fix-stdout... blob | commitdiff | raw | diff to current
2020-04-17 David Shahqbfsat: Fix illegal use of 'stdout' identifier blob | commitdiff | raw | diff to current
2020-04-17 whitequarkMerge pull request #1864 from boqwxp/cleanup_techmap_abc blob | commitdiff | raw | diff to current
2020-04-16 whitequarkMerge pull request #1896 from boqwxp/read_stdin_repl blob | commitdiff | raw | diff to current
2020-04-16 Claire WolfMerge pull request #1797 from epfl-vlsc/firrtl_backend_... blob | commitdiff | raw | diff to current
2020-04-16 Eddie HungMerge pull request #1927 from YosysHQ/eddie/design_remo... blob | commitdiff | raw | diff to current
2020-04-16 whitequarkMerge pull request #1915 from boqwxp/dict_move_semantics blob | commitdiff | raw | diff to current
2020-04-16 whitequarkMerge pull request #1900 from Xiretza/suppress-makefile... blob | commitdiff | raw | diff to current
2020-04-16 whitequarkMerge pull request #1937 from hzeller/consexpr-opportunity blob | commitdiff | raw | diff to current
2020-04-15 Miodrag MilanovićMerge pull request #1894 from YosysHQ/mingw_fix blob | commitdiff | raw | diff to current
2020-04-15 Eddie HungMerge pull request #1916 from YosysHQ/eddie/kernel_make... blob | commitdiff | raw | diff to current
2020-04-15 Eddie HungMerge pull request #1933 from YosysHQ/eddie/zinit_more blob | commitdiff | raw | diff to current
2020-04-15 N. EngelhardtMerge pull request #1830 from boqwxp/qbfsat blob | commitdiff | raw | diff to current
2020-04-11 Alberto GonzalezUse `pool` instead of `std::set`. blob | commitdiff | raw | diff to current
2020-04-11 Alberto GonzalezUse `dict` instead of `std::map`. blob | commitdiff | raw | diff to current
2020-04-09 Alberto GonzalezClean up `passes/sat/qbfsat.cc`. blob | commitdiff | raw | diff to current
2020-04-07 Alberto GonzalezRemove `$anyconst` cells before specialization to elimi... blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezUse newly-renamed `-push-copy` option. blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezImprove style in `passes/sat/qbfsat.cc`. blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezGracefully report error when module has nothing to... blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezSuppress `yosys-smtbmc` output unless the new `-show... blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezFix handling of `-sat` and `-unsat` options when the... blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezUse `log_push()` and `log_pop()` and show the satisfiab... blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezClean up `qbfsat` command and fix AND-reduction of... blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezUse the `-duplicate` option rather than `-save` and... blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezUse internal `run_command()` API instead of `popen()`. blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezClean up manual casting. blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezRemove unimplemented `-timeout` option. blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezImplement the `-assume-outputs`, `-sat`, and -unsat... blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezAdd NDEBUG guards to `qbfsat` assertions. blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezImplement `-specialize-from-file` option for the `qbfsa... blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezImplement `-write-solution` option for the `qbfsat... blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezClean up `passes/sat/qbfsat.cc`. blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezUpdated `yosys-smtbmc` to optionally dump raw bit strin... blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezHole value recovery and specialization implementation... blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezBarebones implementation of `qbfsat` command. blob | commitdiff | raw | diff to current
2020-04-04 Alberto GonzalezInitial skeleton for `qbfsat` command. blob | commitdiff | raw | diff to current