projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
achronix: Use dfflegalize.
[yosys.git] / passes / sat /
2020-07-09 clairexenMerge pull request #2244 from antmicro/logic tree | commitdiff
2020-07-09 Marcelina Kościelnickaclk2fflogic: Consistently treat async control signals... tree | commitdiff
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial tree | commitdiff
2020-07-02 clairexenMerge pull request #2208 from boqwxp/qbfsat-cleanup tree | commitdiff
2020-07-02 clairexenMerge pull request #2186 from YosysHQ/mwk/dfflegalize tree | commitdiff
2020-07-02 clairexenMerge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff tree | commitdiff
2020-07-02 clairexenMerge pull request #2210 from YosysHQ/mwk/fix-opt_merge tree | commitdiff
2020-07-02 clairexenMerge pull request #2195 from YosysHQ/mwk/manual-gates tree | commitdiff
2020-07-01 Alberto Gonzalezqbfsat: Remove useless comment and #ifndef guards. tree | commitdiff
2020-07-01 Alberto Gonzalezqbfsat: Specify default values for some options in... tree | commitdiff
2020-07-01 Alberto Gonzalezqbfsat: Clean up external executable command lines... tree | commitdiff
2020-07-01 Alberto Gonzalezqbfsat: Clean up and refactor data structures into... tree | commitdiff
2020-07-01 clairexenMerge pull request #2203 from antmicro/fix-grammar tree | commitdiff
2020-07-01 clairexenMerge pull request #2179 from splhack/static-cast tree | commitdiff
2020-07-01 clairexenMerge pull request #2138 from boqwxp/qbfsat-oflag tree | commitdiff
2020-07-01 clairexenMerge pull request #2206 from boqwxp/qbfsat-fix-name... tree | commitdiff
2020-06-30 Marcelina Kościelnickafmcombine: use the master ff cell type list tree | commitdiff
2020-06-30 clairexenMerge pull request #2136 from zachjs/master tree | commitdiff
2020-06-30 clairexenMerge pull request #2199 from YosysHQ/mmicko/sim_memory tree | commitdiff
2020-06-30 clairexenMerge pull request #2201 from YosysHQ/fix_test_cell_ilang tree | commitdiff
2020-06-30 Alberto Gonzalezqbfsat: Add `-O[012]` options to control pre-solving... tree | commitdiff
2020-06-30 Alberto Gonzalezqbfsat: Fix name-based hole specialization. tree | commitdiff
2020-06-29 Miodrag MilanovićMerge pull request #2200 from YosysHQ/mmicko/fix_expose tree | commitdiff
2020-06-29 Miodrag MilanovicGive error that options are exclusive tree | commitdiff
2020-06-29 Miodrag Milanoviccleanup tree | commitdiff
2020-06-29 Miodrag Milanovicexpose pass fix tree | commitdiff
2020-06-29 Miodrag Milanovicsim - error when memrd and memwr detected tree | commitdiff
2020-06-26 whitequarkMerge pull request #2188 from antmicro/missing-operators tree | commitdiff
2020-06-26 whitequarkMerge pull request #2189 from antmicro/optional-labels tree | commitdiff
2020-06-25 clairexenMerge pull request #2168 from whitequark/assert-unused... tree | commitdiff
2020-06-25 clairexenMerge pull request #2135 from boqwxp/qbfsat-timeinfo tree | commitdiff
2020-06-25 clairexenMerge pull request #2093 from boqwxp/qbfsat-bugfixes tree | commitdiff
2020-06-21 Alberto Gonzalezlog, qbfsat: Include child process time in `Performance... tree | commitdiff
2020-06-21 Alberto Gonzalezqbfsat: Simplify solution recovery parsing and tweak... tree | commitdiff
2020-06-21 Alberto Gonzalezqbfsat: Avoid instantiating `AttrObject`s directly. tree | commitdiff
2020-06-21 Alberto Gonzalezqbfsat: Simplify solution format and replace `SigBit... tree | commitdiff
2020-06-21 Alberto Gonzalezqbfsat: Fixes three bugs. tree | commitdiff
2020-06-21 Alberto Gonzalezqbfsat: Use bit precise mapping for hole value wires... tree | commitdiff
2020-06-19 whitequarkMerge pull request #2173 from whitequark/use-cxx11... tree | commitdiff
2020-06-19 whitequarkMerge pull request #2174 from whitequark/fix-github... tree | commitdiff
2020-06-19 whitequarkMerge pull request #2171 from whitequark/cxxrtl-accessors tree | commitdiff
2020-06-19 whitequarkMerge pull request #2170 from boqwxp/cutpoint-efficiency tree | commitdiff
2020-06-18 whitequarkUse C++11 final/override keywords. tree | commitdiff
2020-06-18 Alberto Gonzalezcutpoint: Improve efficiency by iterating over module... tree | commitdiff
2020-06-10 whitequarkMerge pull request #2134 from whitequark/cxxrtl-opt... tree | commitdiff
2020-06-10 clairexenMerge pull request #2131 from YosysHQ/claire/preserveffs tree | commitdiff
2020-06-09 Claire WolfDrive-by modernization in sat.cc tree | commitdiff
2020-06-08 clairexenMerge pull request #2085 from rswarbrick/select tree | commitdiff
2020-06-08 clairexenMerge pull request #2089 from rswarbrick/modports tree | commitdiff
2020-06-04 clairexenMerge pull request #2099 from Xiretza/manual-include... tree | commitdiff
2020-06-04 Eddie HungMerge pull request #2077 from YosysHQ/eddie/abc9_dff_im... tree | commitdiff
2020-06-04 whitequarkMerge pull request #2006 from jersey99/signed-in-rtlil... tree | commitdiff
2020-06-04 N. EngelhardtMerge pull request #2070 from hackfin/master tree | commitdiff
2020-06-04 Eddie HungMerge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes no_loop tree | commitdiff
2020-06-03 Peter CrozierMerge branch 'master' into struct tree | commitdiff
2020-06-03 Eddie HungMerge pull request #2080 from YosysHQ/eddie/fix_test_wa... tree | commitdiff
2020-05-31 clairexenMerge pull request #1862 from boqwxp/cleanup_techmap tree | commitdiff
2020-05-30 Eddie HungMerge pull request #2081 from YosysHQ/eddie/blackbox_ast tree | commitdiff
2020-05-30 clairexenMerge pull request #2018 from boqwxp/qbfsat-timeout tree | commitdiff
2020-05-29 clairexenMerge pull request #2029 from whitequark/fix-simplify... tree | commitdiff
2020-05-29 clairexenMerge pull request #1885 from Xiretza/mod-rem-cells tree | commitdiff
2020-05-29 clairexenMerge pull request #2092 from whitequark/rtlil-no-space... tree | commitdiff
2020-05-29 clairexenMerge pull request #2017 from boqwxp/qbfsat-cvc4 tree | commitdiff
2020-05-29 clairexenMerge pull request #2016 from boqwxp/qbfsat-yices tree | commitdiff
2020-05-29 whitequarkMerge pull request #2033 from boqwxp/cleanup-verilog... tree | commitdiff
2020-05-28 whitequarkMerge pull request #2051 from Xiretza/makefile-cd-warning tree | commitdiff
2020-05-28 whitequarkMerge pull request #2031 from epfl-vlsc/master tree | commitdiff
2020-05-28 whitequarkMerge pull request #2063 from boqwxp/techmapped-firrtl tree | commitdiff
2020-05-25 Alberto Gonzalezsmtbmc and qbfsat: Add timeout option to set solver... tree | commitdiff
2020-05-25 Alberto Gonzalezqbfsat: Add support for CVC4. tree | commitdiff
2020-05-25 Alberto Gonzalezqbfsat: Add `-solver` option and allow choice of Z3... tree | commitdiff
2020-05-25 clairexenMerge pull request #2015 from boqwxp/qbfsat-bisection tree | commitdiff
2020-05-23 Alberto Gonzalezqbfsat: Remove cruft inadvertently left untouched in... tree | commitdiff
2020-05-23 Alberto Gonzalezqbfsat: Add bisection mode and make it the default. tree | commitdiff
2020-05-14 Eddie HungMerge pull request #1994 from YosysHQ/eddie/fix_bug1758 tree | commitdiff
2020-05-04 Eddie HungMerge pull request #1996 from boqwxp/rtlil_source_locations tree | commitdiff
2020-05-03 whitequarkMerge pull request #2000 from whitequark/log_error... tree | commitdiff
2020-05-02 Claire WolfMerge pull request #2010 from YosysHQ/claire/fixopt tree | commitdiff
2020-05-01 whitequarkMerge pull request #2001 from whitequark/wasi tree | commitdiff
2020-05-01 Claire WolfMerge pull request #1981 from YosysHQ/claire/fix1837 tree | commitdiff
2020-04-30 whitequarkAdd WASI platform support. tree | commitdiff
2020-04-24 whitequarkMerge pull request #1998 from whitequark/cxxrtl-fixes tree | commitdiff
2020-04-23 Eddie HungMerge pull request #1974 from YosysHQ/eddie/abc9_disabl... tree | commitdiff
2020-04-23 Claire WolfMerge pull request #1989 from boqwxp/qbfsat_anyconst_so... tree | commitdiff
2020-04-23 Claire WolfMerge pull request #1988 from boqwxp/qbfsat tree | commitdiff
2020-04-23 Alberto Gonzalezqbfsat: Make hole name recovery more robust. Allow... tree | commitdiff
2020-04-23 Alberto Gonzalezqbfsat: Add `-assume-negative-polarity` option. tree | commitdiff
2020-04-22 Eddie HungMerge pull request #1949 from YosysHQ/eddie/select_blackbox tree | commitdiff
2020-04-22 Eddie HungMerge pull request #1969 from boqwxp/pool_emplace tree | commitdiff
2020-04-22 Eddie HungMerge pull request #1973 from YosysHQ/eddie/fix1966 tree | commitdiff
2020-04-22 Eddie HungMerge pull request #1950 from YosysHQ/eddie/design_import tree | commitdiff
2020-04-22 Claire WolfMerge pull request #1976 from YosysHQ/dave/fix-sim... tree | commitdiff
2020-04-21 Claire WolfMerge pull request #1851 from YosysHQ/claire/bitselwrite tree | commitdiff
2020-04-21 David Shahsim: Fix handling of constant-connected cell inputs... tree | commitdiff
2020-04-17 whitequarkMerge pull request #1952 from boqwxp/add_edge_location tree | commitdiff
2020-04-17 whitequarkMerge pull request #1954 from YosysHQ/dave/fix-stdout... tree | commitdiff
2020-04-17 David Shahqbfsat: Fix illegal use of 'stdout' identifier tree | commitdiff
2020-04-17 whitequarkMerge pull request #1864 from boqwxp/cleanup_techmap_abc tree | commitdiff
2020-04-16 whitequarkMerge pull request #1896 from boqwxp/read_stdin_repl tree | commitdiff
2020-04-16 Claire WolfMerge pull request #1797 from epfl-vlsc/firrtl_backend_... tree | commitdiff
next