aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| * | cxxrtl: remove inaccurate comment. NFC.whitequark2020-04-161-2/+0
| | |
* | | Merge pull request #1928 from YosysHQ/eddie/design_deleteEddie Hung2020-04-164-1/+40
|\ \ \ | | | | | | | | kernel: add design -delete option
| * | | tests: add design -delete testsEddie Hung2020-04-162-0/+18
| | | |
| * | | kernel: add design -delete optionEddie Hung2020-04-162-1/+22
| | | |
* | | | Merge pull request #1896 from boqwxp/read_stdin_replwhitequark2020-04-161-3/+4
|\ \ \ \ | | | | | | | | | | Frontend: allow reading file input from stdin, like a REPL heredoc mode
| * | | | Use script-style heredoc syntax for REPL heredocs.Alberto Gonzalez2020-04-151-7/+7
| | | | |
| * | | | Allow reading file input from stdin, improving REPL experience.Alberto Gonzalez2020-04-151-6/+7
| | | | |
* | | | | Merge pull request #1797 from epfl-vlsc/firrtl_backend_fileinfoClaire Wolf2020-04-161-29/+51
|\ \ \ \ \ | | | | | | | | | | | | Keep file information when emitting firrtl
| * | | | | Fix indentationSahand Kashani2020-04-091-3/+3
| | | | | |
| * | | | | Remove dependency on ilang backend since we no longer use itSahand Kashani2020-04-081-1/+0
| | | | | |
| * | | | | Merge branch 'master' of github.com:YosysHQ/yosys into firrtl_backend_fileinfoSahand Kashani2020-04-08228-7017/+9036
| |\ \ \ \ \
| * | | | | | Remove unnecessary pruning of double-quotingSahand Kashani2020-04-081-5/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In the past I was calling the ILANG_BACKEND::dump_const() to dump values to an output stream. When these values were strings, the function used to add quotes around them. The firrtl compiler, in turn, escaped these quotes and the result was double-quoted strings which were hard to read. However I'm now calling design_entity->get_src_attribute() directly and there is no additional quote being put around it, so we can safely remove the unnecessary call to str.erase() here.
| * | | | | | Remove use of auto for simple types + simplify src attribute computationSahand Kashani2020-03-241-10/+5
| | | | | | |
| * | | | | | Refactor to directly call ILANG_BACKEND::dump_const() + directly lookup src ↵Sahand Kashani2020-03-241-68/+15
| | | | | | | | | | | | | | | | | | | | | | | | | | | | attribute
| * | | | | | Indentation conventionsSahand Kashani2020-03-231-5/+6
| | | | | | |
| * | | | | | Const parameter in function (backends/firrtl/firrtl.cc)Sahand Kashani-Akhavan2020-03-231-1/+1
| | | | | | | | | | | | | | | | | | | | | Co-Authored-By: Alberto Gonzalez <61295559+boqwxp@users.noreply.github.com>
| * | | | | | Strip quotes around fileinfo stringsSahand Kashani2020-03-211-1/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Yosys puts quotes around the string that represents the fileinfo whereas firrtl does not. So when firrtl sees quotes, it escapes them with an extra backslash which makes it hard to read afterwards.
| * | | | | | 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | | | | | | Merge pull request #1927 from YosysHQ/eddie/design_remove_assertEddie Hung2020-04-162-1/+2
|\ \ \ \ \ \ \ | |_|_|_|/ / / |/| | | | | | kernel: Design::remove(RTLIL::Module *) to check refcount_modules_
| * | | | | | 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
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | kernel: Add `dict` support for rvalue references and C++11 move semantics.
| * | | | | | | Rename overloaded `insert()` to `emplace()` and add overloaded versions for ↵Alberto Gonzalez2020-04-161-1/+31
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | all possible lvalue/rvalue combinationsfor its arguments.
| * | | | | | | 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 versions
| * | | | | | | | Suppress output of Makefile.conf when printing source versionsXiretza2020-04-111-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-opportunitywhitequark2020-04-162-5/+4
|\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | Use static constexpr instead of static const where possible.
| * | | | | | | | | Use static constexpr instead of static const where possible.Henner Zeller2020-04-142-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-1919David Shah2020-04-163-2/+25
|\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | ast: Fix handling of identifiers in the global scope
| * | | | | | | | | | ast: Fix handling of identifiers in the global scopeDavid Shah2020-04-163-2/+25
| | |_|_|_|_|_|_|/ / | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* / | | | | | | | | 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 mingw
| * | | | | | | | | 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 too
| * | | | | | | | | 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
|\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | zinit: handle $__DFFS?E?_[NP][NP][01] too
| * | | | | | | | | 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
|\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | Add `qbfsat` command to integrate exists-forall solving and specialization
| * | | | | | | | | | 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 Gonzalez2020-04-071-2/+25
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | need to run `opt_clean`.
| * | | | | | | | | | 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
| | | | | | | | | | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-01 08:31:08 +0000