| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | | | | | | | | | Use `dict` instead of `std::map`. | Alberto Gonzalez | 2020-04-11 | 1 | -8/+8 | |
| | * | | | | | | | | | Clean up `passes/sat/qbfsat.cc`. | Alberto Gonzalez | 2020-04-09 | 1 | -13/+10 | |
| | * | | | | | | | | | Remove `$anyconst` cells before specialization to eliminate warnings and the ... | Alberto Gonzalez | 2020-04-07 | 1 | -2/+25 | |
| | * | | | | | | | | | Use newly-renamed `-push-copy` option. | Alberto Gonzalez | 2020-04-04 | 1 | -1/+1 | |
| | * | | | | | | | | | Improve style in `passes/sat/qbfsat.cc`. | Alberto Gonzalez | 2020-04-04 | 1 | -4/+2 | |
| | * | | | | | | | | | Gracefully report error when module has nothing to prove. | Alberto Gonzalez | 2020-04-04 | 1 | -5/+8 | |
| | * | | | | | | | | | Suppress `yosys-smtbmc` output unless the new `-show-smtbmc` option is provided. | Alberto Gonzalez | 2020-04-04 | 1 | -5/+14 | |
| | * | | | | | | | | | Fix handling of `-sat` and `-unsat` options when the solver returns `unknown`. | Alberto Gonzalez | 2020-04-04 | 1 | -0/+2 | |
| | * | | | | | | | | | Use `log_push()` and `log_pop()` and show the satisfiable model when `-specia... | Alberto Gonzalez | 2020-04-04 | 1 | -0/+28 | |
| | * | | | | | | | | | Clean up `qbfsat` command and fix AND-reduction of miter outputs. | Alberto Gonzalez | 2020-04-04 | 1 | -8/+10 | |
| | * | | | | | | | | | Use the `-duplicate` option rather than `-save` and `-load` with an explicit ... | Alberto Gonzalez | 2020-04-04 | 1 | -2/+2 | |
| | * | | | | | | | | | Use internal `run_command()` API instead of `popen()`. | Alberto Gonzalez | 2020-04-04 | 1 | -49/+15 | |
| | * | | | | | | | | | Clean up manual casting. | Alberto Gonzalez | 2020-04-04 | 1 | -2/+2 | |
| | * | | | | | | | | | Remove unimplemented `-timeout` option. | Alberto Gonzalez | 2020-04-04 | 1 | -16/+4 | |
| | * | | | | | | | | | Implement the `-assume-outputs`, `-sat`, and -unsat` options for the `qbfsat`... | Alberto Gonzalez | 2020-04-04 | 1 | -3/+66 | |
| | * | | | | | | | | | Add NDEBUG guards to `qbfsat` assertions. | Alberto Gonzalez | 2020-04-04 | 1 | -0/+18 | |
| | * | | | | | | | | | Implement `-specialize-from-file` option for the `qbfsat` command. | Alberto Gonzalez | 2020-04-04 | 1 | -23/+56 | |
| | * | | | | | | | | | Implement `-write-solution` option for the `qbfsat` command. | Alberto Gonzalez | 2020-04-04 | 1 | -7/+28 | |
| | * | | | | | | | | | Clean up `passes/sat/qbfsat.cc`. | Alberto Gonzalez | 2020-04-04 | 1 | -86/+101 | |
| | * | | | | | | | | | Updated `yosys-smtbmc` to optionally dump raw bit strings, and fixed hole val... | Alberto Gonzalez | 2020-04-04 | 2 | -32/+54 | |
| | * | | | | | | | | | Hole value recovery and specialization implementation for `qbfsat` command. | Alberto Gonzalez | 2020-04-04 | 2 | -20/+70 | |
| | * | | | | | | | | | Barebones implementation of `qbfsat` command. | Alberto Gonzalez | 2020-04-04 | 1 | -32/+157 | |
| | * | | | | | | | | | Initial skeleton for `qbfsat` command. | Alberto Gonzalez | 2020-04-04 | 2 | -0/+207 | |
| * | | | | | | | | | | Fix the truth table for $_SR_* cells. | Marcelina Kościelnicka | 2020-04-15 | 3 | -26/+21 | |
| * | | | | | | | | | | Merge pull request #1897 from YosysHQ/dave/bram-rejection-fix | David Shah | 2020-04-15 | 1 | -3/+3 | |
| |\ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | memory_bram: Fix ignorance of valid, matched rules | David Shah | 2020-04-10 | 1 | -3/+3 | |
| | | |_|_|_|_|/ / / / | |/| | | | | | | | | ||||||
| * | | | | | | | | | | Get rid of dffsr2dff. | Marcelina Kościelnicka | 2020-04-15 | 13 | -422/+2302 | |
| * | | | | | | | | | | opt_clean: Add missing assignments to opt.did_something. | Marcelina Kościelnicka | 2020-04-15 | 1 | -0/+6 | |
| * | | | | | | | | | | Merge pull request #1918 from whitequark/simplify-improve_enum | whitequark | 2020-04-15 | 2 | -7/+5 | |
| |\ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | ast/simplify: improve enum handling. | whitequark | 2020-04-15 | 2 | -7/+5 | |
| * | | | | | | | | | | | synth_intel_alm: VQM support | Dan Ravensloft | 2020-04-15 | 2 | -6/+3 | |
| * | | | | | | | | | | | setundef: Improve error messages. | Marcelina Kościelnicka | 2020-04-15 | 1 | -10/+12 | |
| * | | | | | | | | | | | json: Update format documentation. | Marcelina Kościelnicka | 2020-04-15 | 1 | -12/+32 | |
| * | | | | | | | | | | | Merge pull request #1930 from YosysHQ/claire/fix1876 | Claire Wolf | 2020-04-15 | 2 | -7/+73 | |
| |\ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | tests: add testcases from #1876 | Eddie Hung | 2020-04-14 | 1 | -0/+60 | |
| | * | | | | | | | | | | | Fix 5bba9c3, closes #1876 | Claire Wolf | 2020-04-14 | 1 | -7/+13 | |
| | | |_|_|/ / / / / / / | |/| | | | | | | | | | ||||||
| * | | | | | | | | | | | synth_intel_alm: alternative synthesis for Intel FPGAs | Dan Ravensloft | 2020-04-15 | 29 | -1/+1662 | |
| * | | | | | | | | | | | abc9_ops: Add a check ensuring that connected port actually exists. | Marcelina Kościelnicka | 2020-04-15 | 1 | -0/+3 | |
| * | | | | | | | | | | | Merge pull request #1932 from YosysHQ/dave/cxxrtl-unclocked-read | whitequark | 2020-04-15 | 1 | -2/+3 | |
| |\ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|/ / / / |/| | | | | | | | | | | ||||||
| | * | | | | | | | | | | cxxrtl: Fix handling of unclocked memory read ports | David Shah | 2020-04-14 | 1 | -2/+3 | |
| | |/ / / / / / / / / | ||||||
| * / / / / / / / / / | opt_expr: Add more $alu optimizations. | Marcelina Kościelnicka | 2020-04-14 | 2 | -23/+162 | |
| |/ / / / / / / / / | ||||||
| * | | | | | / / / | dffinit: Avoid setting init parameter to zero-length value. | Marcelina Kościelnicka | 2020-04-14 | 2 | -3/+30 | |
| | |_|_|_|_|/ / / |/| | | | | | | | ||||||
| * | | | | | | | | abc9_exe: verify -> &verify -s | Eddie Hung | 2020-04-14 | 1 | -2/+2 | |
| * | | | | | | | | techmap: fix error message | Eddie Hung | 2020-04-14 | 1 | -1/+1 | |
| * | | | | | | | | Merge pull request #1922 from whitequark/write_cxxrtl-disconnected-outputs | whitequark | 2020-04-14 | 1 | -0/+2 | |
| |\ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | write_cxxrtl: ignore disconnected module ports. | whitequark | 2020-04-14 | 1 | -0/+2 | |
| | |/ / / / / / / | ||||||
| * | | | | | | | | Merge pull request #1921 from whitequark/write_cxxrtl-separate-compilation | whitequark | 2020-04-14 | 2 | -10/+82 | |
| |\ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | write_verilog: fix precondition check. | whitequark | 2020-04-14 | 1 | -1/+1 | |
| | * | | | | | | | | write_cxxrtl: enable separate compilation. | whitequark | 2020-04-14 | 1 | -9/+81 | |
| | |/ / / / / / / | ||||||
| * | | | | | | | | Merge pull request #1917 from YosysHQ/eddie/abc9_delay_check | Eddie Hung | 2020-04-14 | 1 | -0/+4 | |
| |\ \ \ \ \ \ \ \ | ||||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |