aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | Indentation conventionsSahand Kashani2020-03-231-5/+6
| * | | | | | Const parameter in function (backends/firrtl/firrtl.cc)Sahand Kashani-Akhavan2020-03-231-1/+1
| * | | | | | Strip quotes around fileinfo stringsSahand Kashani2020-03-211-1/+5
| * | | | | | Add fileinfo to firrtl backend for assignments and non-instance cellsSahand Kashani2020-03-211-21/+30
| * | | | | | Refactor fileinfo emission characters to single locationSahand Kashani2020-03-201-6/+8
| * | | | | | Add fileinfo to firrtl backend for instancesSahand Kashani2020-03-191-2/+3
| * | | | | | Add fileinfo to firrtl backend for modules and wiresSahand Kashani2020-03-191-12/+20
| * | | | | | Add fileinfo to firrtl backend for top-level circuitSahand Kashani2020-03-191-1/+62
* | | | | | | ecp5: Force SIGNED ports to be 1 bitDavid Shah2020-04-161-1/+1
* | | | | | | Merge pull request #1927 from YosysHQ/eddie/design_remove_assertEddie Hung2020-04-162-1/+2
|\ \ \ \ \ \ \ | |_|_|_|/ / / |/| | | | | |
| * | | | | | design: do not delete when iterating over Design::modules() directlyEddie Hung2020-04-141-1/+1
| * | | | | | kernel: Design::remove(RTLIL::Module *) to check refcount_modules_Eddie Hung2020-04-141-0/+1
* | | | | | | Merge pull request #1915 from boqwxp/dict_move_semanticswhitequark2020-04-161-4/+68
|\ \ \ \ \ \ \
| * | | | | | | Rename overloaded `insert()` to `emplace()` and add overloaded versions for a...Alberto Gonzalez2020-04-161-1/+31
| * | | | | | | Add `dict` support for rvalue references and C++11 move semantics.Alberto Gonzalez2020-04-131-4/+38
* | | | | | | | Merge pull request #1900 from Xiretza/suppress-makefile-echowhitequark2020-04-161-0/+3
|\ \ \ \ \ \ \ \
| * | | | | | | | Suppress output of Makefile.conf when printing source versionsXiretza2020-04-111-0/+3
* | | | | | | | | Merge pull request #1937 from hzeller/consexpr-opportunitywhitequark2020-04-162-5/+4
|\ \ \ \ \ \ \ \ \
| * | | | | | | | | Use static constexpr instead of static const where possible.Henner Zeller2020-04-142-5/+4
* | | | | | | | | | Merge pull request #1943 from YosysHQ/dave/fix-1919David Shah2020-04-163-2/+25
|\ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | ast: Fix handling of identifiers in the global scopeDavid Shah2020-04-163-2/+25
| | |_|_|_|_|_|_|/ / | |/| | | | | | | |
* / | | | | | | | | opt_expr: Fix X and CO outputs for $alu identity-mapping rules.Marcelina Kościelnicka2020-04-162-10/+83
|/ / / / / / / / /
* | | | | | | | | Merge pull request #1894 from YosysHQ/mingw_fixMiodrag Milanović2020-04-151-0/+4
|\ \ \ \ \ \ \ \ \
| * | | | | | | | | Fix compile for mingwMiodrag Milanovic2020-04-151-0/+4
| | |_|_|_|_|_|/ / | |/| | | | | | |
* | | | | | | | | Merge pull request #1916 from YosysHQ/eddie/kernel_makeblackboxEddie Hung2020-04-151-0/+2
|\ \ \ \ \ \ \ \ \
| * | | | | | | | | kernel: Module::makeblackbox() to clear connections tooEddie Hung2020-04-131-0/+2
| | |_|_|/ / / / / | |/| | | | | | |
* | | | | | | | | Merge pull request #1933 from YosysHQ/eddie/zinit_moreEddie Hung2020-04-152-9/+123
|\ \ \ \ \ \ \ \ \
| * | | | | | | | | tests: zinit for new typesEddie Hung2020-04-141-2/+96
| * | | | | | | | | zinit: handle $__DFFS?E?_[NP][NP][01] tooEddie Hung2020-04-141-7/+27
* | | | | | | | | | Merge pull request #1830 from boqwxp/qbfsatN. Engelhardt2020-04-154-3/+573
|\ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | Use `pool` instead of `std::set`.Alberto Gonzalez2020-04-111-6/+6
| * | | | | | | | | | Use `dict` instead of `std::map`.Alberto Gonzalez2020-04-111-8/+8
| * | | | | | | | | | Clean up `passes/sat/qbfsat.cc`.Alberto Gonzalez2020-04-091-13/+10
| * | | | | | | | | | Remove `$anyconst` cells before specialization to eliminate warnings and the ...Alberto Gonzalez2020-04-071-2/+25
| * | | | | | | | | | Use newly-renamed `-push-copy` option.Alberto Gonzalez2020-04-041-1/+1
| * | | | | | | | | | Improve style in `passes/sat/qbfsat.cc`.Alberto Gonzalez2020-04-041-4/+2
| * | | | | | | | | | Gracefully report error when module has nothing to prove.Alberto Gonzalez2020-04-041-5/+8
| * | | | | | | | | | Suppress `yosys-smtbmc` output unless the new `-show-smtbmc` option is provided.Alberto Gonzalez2020-04-041-5/+14
| * | | | | | | | | | Fix handling of `-sat` and `-unsat` options when the solver returns `unknown`.Alberto Gonzalez2020-04-041-0/+2
| * | | | | | | | | | Use `log_push()` and `log_pop()` and show the satisfiable model when `-specia...Alberto Gonzalez2020-04-041-0/+28
| * | | | | | | | | | Clean up `qbfsat` command and fix AND-reduction of miter outputs.Alberto Gonzalez2020-04-041-8/+10
| * | | | | | | | | | Use the `-duplicate` option rather than `-save` and `-load` with an explicit ...Alberto Gonzalez2020-04-041-2/+2
| * | | | | | | | | | Use internal `run_command()` API instead of `popen()`.Alberto Gonzalez2020-04-041-49/+15
| * | | | | | | | | | Clean up manual casting.Alberto Gonzalez2020-04-041-2/+2
| * | | | | | | | | | Remove unimplemented `-timeout` option.Alberto Gonzalez2020-04-041-16/+4
| * | | | | | | | | | Implement the `-assume-outputs`, `-sat`, and -unsat` options for the `qbfsat`...Alberto Gonzalez2020-04-041-3/+66
| * | | | | | | | | | Add NDEBUG guards to `qbfsat` assertions.Alberto Gonzalez2020-04-041-0/+18
| * | | | | | | | | | Implement `-specialize-from-file` option for the `qbfsat` command.Alberto Gonzalez2020-04-041-23/+56
| * | | | | | | | | | Implement `-write-solution` option for the `qbfsat` command.Alberto Gonzalez2020-04-041-7/+28
| * | | | | | | | | | Clean up `passes/sat/qbfsat.cc`.Alberto Gonzalez2020-04-041-86/+101
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-03 21:52:22 +0000