Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | iopadmap: Attempt to give new wires/cells meaningful names | R. Ou | 2020-03-22 | 1 | -6/+18 |
| | |||||
* | Merge pull request #1794 from YosysHQ/dave/mince-abc9-fix | David Shah | 2020-03-21 | 2 | -0/+18 |
|\ | | | | | ice40: Map unmapped 'mince' DFFs to gate level | ||||
| * | Add test for abc9+mince issue | David Shah | 2020-03-20 | 1 | -0/+17 |
| | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
| * | ice40: Map unmapped 'mince' DFFs to gate level | David Shah | 2020-03-20 | 1 | -0/+1 |
| | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
* | | Merge pull request #1795 from smunaut/fix_abc9_spram | Eddie Hung | 2020-03-20 | 1 | -2/+2 |
|\ \ | |/ |/| | ice40: Fix typos in SPRAM ABC9 timing specs | ||||
| * | ice40: Fix typos in SPRAM ABC9 timing specs | Sylvain Munaut | 2020-03-20 | 1 | -2/+2 |
|/ | | | | Signed-off-by: Sylvain Munaut <tnt@246tNt.com> | ||||
* | xilinx: Mark IOBUFDS.IOB as external pad | Marcin Kościelnicki | 2020-03-20 | 2 | -1/+2 |
| | |||||
* | Merge pull request #1788 from YosysHQ/eddie/fix_ndebug | Eddie Hung | 2020-03-19 | 2 | -2/+2 |
|\ | | | | | Fix NDEBUG warnings | ||||
| * | Fix NDEBUG warnings | Eddie Hung | 2020-03-19 | 2 | -2/+2 |
| | | |||||
* | | fsm_extract: Initialize celltypes with full design. | Marcin Kościelnicki | 2020-03-19 | 2 | -5/+34 |
| | | | | | | | | Fixes #1781. | ||||
* | | Merge pull request #1787 from YosysHQ/mmicko/lexer_deps | Miodrag Milanović | 2020-03-19 | 1 | -1/+1 |
|\ \ | |/ |/| | Add dependency to verilog_lexer.cc | ||||
| * | Add one mode dependency | Miodrag Milanovic | 2020-03-19 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #1774 from boqwxp/exec | N. Engelhardt | 2020-03-19 | 3 | -0/+210 |
|\ \ | | | | | | | Add `exec` command to allow running shell commands from inside Yosys scripts | ||||
| * | | Update copyright and license header. | Alberto Gonzalez | 2020-03-18 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | I hereby assign to Claire Wolf the copyright for all work I did on `passes/cmds/exec.cc`. In the event that this copyright assignment is not legally valid, I offer this work under the ISC license. | ||||
| * | | Clean up `exec` code according to review. | Alberto Gonzalez | 2020-03-18 | 1 | -5/+18 |
| | | | | | | | | | | | | Co-Authored-By: Miodrag Milanović <mmicko@gmail.com> | ||||
| * | | Add test for `exec` command. | Alberto Gonzalez | 2020-03-16 | 1 | -0/+6 |
| | | | |||||
| * | | Allow specifying multiple regexes to match in `exec` command output, and ↵ | Alberto Gonzalez | 2020-03-16 | 1 | -33/+67 |
| | | | | | | | | | | | | also to specify regexes that must _not_ match. | ||||
| * | | Add `exec` command to run shell commands. | Alberto Gonzalez | 2020-03-16 | 2 | -0/+157 |
| | | | |||||
* | | | Merge pull request #1775 from huaixv/asserts_locations | N. Engelhardt | 2020-03-19 | 2 | -7/+31 |
|\ \ \ | |_|/ |/| | | Add precise locations for asserts | ||||
| * | | Add precise locations for asserts | huaixv | 2020-03-19 | 2 | -7/+31 |
| | | | |||||
* | | | Merge pull request #1780 from YosysHQ/fix-test-bash | Miodrag Milanović | 2020-03-18 | 2 | -3/+4 |
|\ \ \ | | | | | | | | | Fix make test on macOS: add bash to brewfile & fix argument order | ||||
| * | | | fix argument order for macOS compatibility | N. Engelhardt | 2020-03-18 | 1 | -3/+3 |
| | | | | |||||
| * | | | add bash to brewfile | N. Engelhardt | 2020-03-18 | 1 | -0/+1 |
|/ / / | | | | | | | Default bash on macOS is version 3, which does not support `define -A`, now used in `tests/arch/run-test.sh`. Use brew to install newer bash. | ||||
* | | | Merge pull request #1769 from boqwxp/select_cleanup | Eddie Hung | 2020-03-17 | 1 | -162/+157 |
|\ \ \ | | | | | | | | | Clean up code style and pseudo-private member usage in `passes/cmds/select.cc` | ||||
| * | | | Further clean up `passes/cmds/select.cc`. | Alberto Gonzalez | 2020-03-16 | 2 | -12/+9 |
| | | | | | | | | | | | | | | | | Co-Authored-By: Eddie Hung <eddie@fpgeh.com> | ||||
| * | | | Cleanup code style and pseudo-private member usage in `passes/cmds/select.cc`. | Alberto Gonzalez | 2020-03-16 | 2 | -162/+160 |
| | | | | |||||
* | | | | Merge pull request #1776 from boqwxp/precise_locations | N. Engelhardt | 2020-03-17 | 1 | -0/+2 |
|\ \ \ \ | |_|/ / |/| | | | Add AST node source location information in a couple more parser rules. | ||||
| * | | | Add AST node source location information in a couple more parser rules. | Alberto Gonzalez | 2020-03-17 | 1 | -0/+2 |
|/ / / | |||||
* | | | Update Copyright | Claire Wolf | 2020-03-16 | 3 | -3/+3 |
| | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
* | | | Merge pull request #1771 from waldyrious/license-update | Claire Wolf | 2020-03-16 | 3 | -3/+5 |
|\ \ \ | | | | | | | | | License: bump year and add title | ||||
| * | | | License: bump year and add title | Waldir Pimenta | 2020-03-14 | 3 | -3/+5 |
| | |/ | |/| | |||||
* | | | Merge pull request #1768 from boqwxp/smt2_cleanup | N. Engelhardt | 2020-03-16 | 1 | -5/+5 |
|\ \ \ | | | | | | | | | Clean up pseudo-private member usage in `backends/smt2/smt2.cc`. | ||||
| * | | | Clean up pseudo-private member usage in `backends/smt2/smt2.cc`. | Alberto Gonzalez | 2020-03-13 | 1 | -5/+5 |
| | | | | |||||
* | | | | Merge pull request #1746 from boqwxp/optimization | N. Engelhardt | 2020-03-16 | 5 | -3/+55 |
|\ \ \ \ | | | | | | | | | | | Add support for optimizing exists-forall problems. | ||||
| * | | | | Add support for optimizing exists-forall problems. | Alberto Gonzalez | 2020-03-13 | 5 | -3/+55 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Modifies smt2 backend to recognize `$anyconst` etc. assigned to a wire with the `maximize` or `minimize` attribute and emit `; yosys-smt2-maximize` or `; yosys-smt2-minimize` directives as appropriate. Modifies `backends/smt2/smtbmc.py` and `smtio.py` to recognize those directives and emit a `(maximize ...)` or `(minimize ...)` command at the end of `smt_forall_assert()`, as described in the paper "νZ - An Optimizing SMT Solver" by Nikolaj Bjørner et al. Adds an example `examples/smtbmc/demo9.v` to show how it can be used. | ||||
* | | | | | Merge pull request #1773 from smunaut/fix_spram_model | David Shah | 2020-03-15 | 1 | -5/+8 |
|\ \ \ \ \ | |_|_|/ / |/| | | | | ice40: Fix SPRAM model to keep data stable if chipselect is low | ||||
| * | | | | ice40: Fix SPRAM model to keep data stable if chipselect is low | Sylvain Munaut | 2020-03-14 | 1 | -5/+8 |
|/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | According to the official simulation model, and also cross-checked on real hardware, the data output of the SPRAM when chipselect is low is kept stable. It doesn't go undefined. Signed-off-by: Sylvain Munaut <tnt@246tNt.com> | ||||
* | | | | Fix invalid verilog syntax | Miodrag Milanovic | 2020-03-14 | 1 | -1/+1 |
| | | | | |||||
* | | | | Merge pull request #1759 from zeldin/constant_with_comment_redux | Miodrag Milanović | 2020-03-14 | 4 | -19/+67 |
|\ \ \ \ | | | | | | | | | | | refixed parsing of constant with comment between size and value | ||||
| * | | | | Add regression tests for new handling of comments in constants | Marcus Comstedt | 2020-03-14 | 2 | -0/+24 |
| | | | | | |||||
| * | | | | refixed parsing of constant with comment between size and value | Marcus Comstedt | 2020-03-11 | 2 | -19/+43 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The three parts of a based constant (size, base, digits) are now three separate tokens, allowing the linear whitespace (including comments) between them to be treated as normal inter-token whitespace. | ||||
* | | | | | Merge pull request #1754 from boqwxp/precise_locations | Miodrag Milanović | 2020-03-14 | 2 | -2/+61 |
|\ \ \ \ \ | | | | | | | | | | | | | Set AST node source location in more parser rules. | ||||
| * | | | | | verilog: add test | Eddie Hung | 2020-03-11 | 1 | -0/+8 |
| | | | | | | |||||
| * | | | | | verilog: also set location for simple_behavioral_stmt | Eddie Hung | 2020-03-10 | 1 | -0/+4 |
| | | | | | | |||||
| * | | | | | Set AST source locations in more parser rules. | Alberto Gonzalez | 2020-03-10 | 1 | -2/+49 |
| | | | | | | |||||
* | | | | | | Merge pull request #1766 from YosysHQ/mmicko/regex_gcc48 | Miodrag Milanović | 2020-03-14 | 9 | -52/+66 |
|\ \ \ \ \ \ | |_|_|_|_|/ |/| | | | | | Regex support for GCC 4.8 | ||||
| * | | | | | exclude clang from checking | Miodrag Milanovic | 2020-03-13 | 1 | -1/+1 |
| | | | | | | |||||
| * | | | | | Add YS_ prefix to macros, add explanation and apply to older version as well | Miodrag Milanovic | 2020-03-13 | 4 | -30/+33 |
| | | | | | | |||||
| * | | | | | Added back tests for logger | Miodrag Milanovic | 2020-03-13 | 4 | -0/+24 |
| | | | | | | |||||
| * | | | | | Use boost xpressive for gcc 4.8 | Miodrag Milanovic | 2020-03-13 | 4 | -51/+39 |
| | | | | | |