| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | | | | | | Add fileinfo to firrtl backend for assignments and non-instance cells | Sahand Kashani | 2020-03-21 | 1 | -21/+30 | |
| | | | | | | | | ||||||
| | * | | | | | | Refactor fileinfo emission characters to single location | Sahand Kashani | 2020-03-20 | 1 | -6/+8 | |
| | | | | | | | | ||||||
| | * | | | | | | Add fileinfo to firrtl backend for instances | Sahand Kashani | 2020-03-19 | 1 | -2/+3 | |
| | | | | | | | | ||||||
| | * | | | | | | Add fileinfo to firrtl backend for modules and wires | Sahand Kashani | 2020-03-19 | 1 | -12/+20 | |
| | | | | | | | | ||||||
| | * | | | | | | Add fileinfo to firrtl backend for top-level circuit | Sahand Kashani | 2020-03-19 | 1 | -1/+62 | |
| | | | | | | | | ||||||
| * | | | | | | | ecp5: Force SIGNED ports to be 1 bit | David Shah | 2020-04-16 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
| * | | | | | | | Merge pull request #1927 from YosysHQ/eddie/design_remove_assert | Eddie Hung | 2020-04-16 | 2 | -1/+2 | |
| |\ \ \ \ \ \ \ | |_|_|_|/ / / |/| | | | | | | kernel: Design::remove(RTLIL::Module *) to check refcount_modules_ | |||||
| | * | | | | | | design: do not delete when iterating over Design::modules() directly | Eddie Hung | 2020-04-14 | 1 | -1/+1 | |
| | | | | | | | | ||||||
| | * | | | | | | kernel: Design::remove(RTLIL::Module *) to check refcount_modules_ | Eddie Hung | 2020-04-14 | 1 | -0/+1 | |
| | | | | | | | | ||||||
| * | | | | | | | Merge pull request #1915 from boqwxp/dict_move_semantics | whitequark | 2020-04-16 | 1 | -4/+68 | |
| |\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | kernel: Add `dict` support for rvalue references and C++11 move semantics. | |||||
| | * | | | | | | | Rename overloaded `insert()` to `emplace()` and add overloaded versions for ↵ | Alberto Gonzalez | 2020-04-16 | 1 | -1/+31 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | all possible lvalue/rvalue combinationsfor its arguments. | |||||
| | * | | | | | | | Add `dict` support for rvalue references and C++11 move semantics. | Alberto Gonzalez | 2020-04-13 | 1 | -4/+38 | |
| | | | | | | | | | ||||||
| * | | | | | | | | Merge pull request #1900 from Xiretza/suppress-makefile-echo | whitequark | 2020-04-16 | 1 | -0/+3 | |
| |\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | Suppress output of Makefile.conf when printing source versions | |||||
| | * | | | | | | | | Suppress output of Makefile.conf when printing source versions | Xiretza | 2020-04-11 | 1 | -0/+3 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The make targets echo-yosys-ver, echo-git-ver and echo-abc-rev can be used to programmatically extract contents of make variables for external scripts. Unfortunately, when a Makefile.conf exists, its contents would also be echoed, making the output almost unusable. This patch selectively disables this functionality for these special targets. | |||||
| * | | | | | | | | | Merge pull request #1937 from hzeller/consexpr-opportunity | whitequark | 2020-04-16 | 2 | -5/+4 | |
| |\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | Use static constexpr instead of static const where possible. | |||||
| | * | | | | | | | | | Use static constexpr instead of static const where possible. | Henner Zeller | 2020-04-14 | 2 | -5/+4 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In particular inside class declarations, a static const assignment is technically not a definition, while constexpr is. Signed-off-by: Henner Zeller <h.zeller@acm.org> | |||||
| * | | | | | | | | | | Merge pull request #1943 from YosysHQ/dave/fix-1919 | David Shah | 2020-04-16 | 3 | -2/+25 | |
| |\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | ast: Fix handling of identifiers in the global scope | |||||
| | * | | | | | | | | | | ast: Fix handling of identifiers in the global scope | David Shah | 2020-04-16 | 3 | -2/+25 | |
| | | |_|_|_|_|_|_|/ / | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
| * / | | | | | | | | | opt_expr: Fix X and CO outputs for $alu identity-mapping rules. | Marcelina Kościelnicka | 2020-04-16 | 2 | -10/+83 | |
| |/ / / / / / / / / | ||||||
| * | | | | | | | | | Merge pull request #1894 from YosysHQ/mingw_fix | Miodrag Milanović | 2020-04-15 | 1 | -0/+4 | |
| |\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | Fix compile for mingw | |||||
| | * | | | | | | | | | Fix compile for mingw | Miodrag Milanovic | 2020-04-15 | 1 | -0/+4 | |
| | | |_|_|_|_|_|/ / | |/| | | | | | | | ||||||
| * | | | | | | | | | Merge pull request #1916 from YosysHQ/eddie/kernel_makeblackbox | Eddie Hung | 2020-04-15 | 1 | -0/+2 | |
| |\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | kernel: Module::makeblackbox() to clear connections too | |||||
| | * | | | | | | | | | kernel: Module::makeblackbox() to clear connections too | Eddie Hung | 2020-04-13 | 1 | -0/+2 | |
| | | |_|_|/ / / / / | |/| | | | | | | | ||||||
| * | | | | | | | | | Merge pull request #1933 from YosysHQ/eddie/zinit_more | Eddie Hung | 2020-04-15 | 2 | -9/+123 | |
| |\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | zinit: handle $__DFFS?E?_[NP][NP][01] too | |||||
| | * | | | | | | | | | tests: zinit for new types | Eddie Hung | 2020-04-14 | 1 | -2/+96 | |
| | | | | | | | | | | | ||||||
| | * | | | | | | | | | zinit: handle $__DFFS?E?_[NP][NP][01] too | Eddie Hung | 2020-04-14 | 1 | -7/+27 | |
| | | | | | | | | | | | ||||||
| * | | | | | | | | | | Merge pull request #1830 from boqwxp/qbfsat | N. Engelhardt | 2020-04-15 | 4 | -3/+573 | |
| |\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | Add `qbfsat` command to integrate exists-forall solving and specialization | |||||
| | * | | | | | | | | | | Use `pool` instead of `std::set`. | Alberto Gonzalez | 2020-04-11 | 1 | -6/+6 | |
| | | | | | | | | | | | | ||||||
| | * | | | | | | | | | | 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 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Makes various cosmetic fixes, removes superfluous `hasPort()` check, and uses `emplace_back()` instead of `push_back()`. | |||||
| | * | | | | | | | | | | Remove `$anyconst` cells before specialization to eliminate warnings and the ↵ | Alberto Gonzalez | 2020-04-07 | 1 | -2/+25 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | need to run `opt_clean`. | |||||
| | * | | | | | | | | | | 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 ↵ | Alberto Gonzalez | 2020-04-04 | 1 | -0/+28 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | `-specialize` is not specified. Co-Authored-By: N. Engelhardt <nak@symbioticeda.com> | |||||
| | * | | | | | | | | | | 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 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | name. Co-Authored-By: Claire Wolf <claire@symbioticeda.com> | |||||
| | * | | | | | | | | | | Use internal `run_command()` API instead of `popen()`. | Alberto Gonzalez | 2020-04-04 | 1 | -49/+15 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Co-Authored-By: Claire Wolf <claire@symbioticeda.com> | |||||
| | * | | | | | | | | | | Clean up manual casting. | Alberto Gonzalez | 2020-04-04 | 1 | -2/+2 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Co-Authored-By: David Shah <dave@ds0.me> | |||||
| | * | | | | | | | | | | Remove unimplemented `-timeout` option. | Alberto Gonzalez | 2020-04-04 | 1 | -16/+4 | |
| | | | | | | | | | | | | ||||||
| | * | | | | | | | | | | Implement the `-assume-outputs`, `-sat`, and -unsat` options for the ↵ | Alberto Gonzalez | 2020-04-04 | 1 | -3/+66 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | `qbfsat` command. | |||||
| | * | | | | | | | | | | 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 ↵ | Alberto Gonzalez | 2020-04-04 | 2 | -32/+54 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | value recovery using that mode. | |||||
| | * | | | | | | | | | | 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 | |
| | | | | | | | | | | | | ||||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |