| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Suppress warnings for empty `select` arguments when `-count` or `-assert-*` ↵ | Alberto Gonzalez | 2020-03-23 | 2 | -4/+7 |
| | | | | | options are set. | ||||
| * | Add tests for `select` command warnings. | Alberto Gonzalez | 2020-03-23 | 4 | -0/+13 |
| | | |||||
| * | Warn on empty selection for `add` command. | Alberto Gonzalez | 2020-03-23 | 2 | -6/+40 |
| | | |||||
| * | Add N:* to select language, fix some old code | Claire Wolf | 2020-03-17 | 1 | -4/+9 |
| | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
| * | 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 |
| | | | | | | | |||||
| | * | | | | | remove include where not used | Miodrag Milanovic | 2020-03-13 | 1 | -1/+0 |
| | | |_|_|/ | |/| | | | |||||
| * | | | | | Merge pull request #1764 from Xiretza/fix-abcrev-check | Claire Wolf | 2020-03-13 | 1 | -1/+5 |
| |\ \ \ \ \ | |/ / / / |/| | | | | Improve ABC repository management in Makefile | ||||
| | * | | | | Improve ABC repository management in Makefile | Xiretza | 2020-03-12 | 1 | -1/+5 |
| |/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | `rev-parse --short` output may have a different abbreviated hash length than ABCREV, so a simple string comparison always fails, even if the correct commit is checked out. Pass both commits through rev-parse and then compare the full hashes instead. Add an `echo-abc-rev` target so that packaging scripts can set ABCPULL=0 and handle all the git nastiness themselves. | ||||
| * | | | | Added filter-out for libyosys.so | Miodrag Milanovic | 2020-03-12 | 1 | -1/+1 |
| | | | | | |||||
| * | | | | Revert "Clean up 'install' Makefile target" | Miodrag Milanovic | 2020-03-12 | 1 | -4/+7 |
| | | | | | | | | | | | | | | | | | This reverts commit 2a746234fec2f6d14e9bfa40fd7f3478cdd539ea. | ||||
| * | | | | Revert "Improve ABC repository management in Makefile" | Miodrag Milanovic | 2020-03-12 | 1 | -5/+1 |
| | | | | | | | | | | | | | | | | | This reverts commit 90404e1969443a1b8a767ab8f3dc311709c5fe9d. | ||||
| * | | | | Merge pull request #1666 from Xiretza/improve-makefile | Miodrag Milanović | 2020-03-12 | 1 | -8/+9 |
| |\ \ \ \ | | | | | | | | | | | Makefile improvements for packaging scripts | ||||
| | * | | | | Improve ABC repository management in Makefile | Xiretza | 2020-01-29 | 1 | -1/+5 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | `rev-parse --short` output may have a different abbreviated hash length than ABCREV, so a simple string comparison always fails, even if the correct commit is checked out. Pass both commits through rev-parse and then compare the full hashes instead. Add an `echo-abc-rev` target so that packaging scripts can set ABCPULL=0 and handle all the git nastiness themselves. | ||||
| | * | | | | Clean up 'install' Makefile target | Xiretza | 2020-01-29 | 1 | -7/+4 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - libyosys.so is now only installed to LIBDIR instead of LIBDIR, BINDIR and PYTHON_DESTDIR - replace mkdir/cp for single files with `install` | ||||
| * | | | | | Merge pull request #1751 from boqwxp/add_assert | N. Engelhardt | 2020-03-12 | 1 | -1/+57 |
| |\ \ \ \ \ | | | | | | | | | | | | | Extend `add` command to allow adding $assert cells. | ||||
| | * | | | | | Extend `add` command to allow adding cells for verification like $assert, ↵ | Alberto Gonzalez | 2020-03-10 | 1 | -1/+57 |
| | | | | | | | | | | | | | | | | | | | | | | | | | $assume, etc. | ||||
| * | | | | | | Add mandatory wasm file to zip file as well | Miodrag Milanovic | 2020-03-12 | 2 | -2/+3 |
| | | | | | | | |||||
| * | | | | | | Merge pull request #1757 from jiegec/fix-emcc | Miodrag Milanović | 2020-03-12 | 4 | -3/+9 |
| |\ \ \ \ \ \ | |_|_|_|/ / |/| | | | | | Fix compilation for emcc | ||||
| | * | | | | | Add EXTRA_EXPORTED_RUNTIME_METHODS env for yosysjs | jiegec | 2020-03-11 | 1 | -0/+1 |
| | | | | | | | |||||
| | * | | | | | Fix compilation for emcc | jiegec | 2020-03-11 | 4 | -3/+8 |
| |/ / / / / | |||||
| * | | | | | Merge pull request #1743 from YosysHQ/eddie/abc9_keep | Eddie Hung | 2020-03-11 | 3 | -25/+21 |
| |\ \ \ \ \ | | | | | | | | | | | | | abc9: improve (* keep *) handling | ||||
| | * | | | | | xaiger: remove some unnecessary operations ... | Eddie Hung | 2020-03-06 | 1 | -9/+2 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | ... since they can not be triggered by (* keep *) anymore (but could still be triggered by (* abc9_scc *) !?!) | ||||
| | * | | | | | abc9: for sccs, create a new wire instead of using entirety of existing | Eddie Hung | 2020-03-06 | 1 | -7/+7 |
| | | | | | | | |||||
| | * | | | | | abc9: (* keep *) wires to be PO only, not PI as well; fix scc handling | Eddie Hung | 2020-03-06 | 2 | -11/+9 |
| | | | | | | | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |