| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | | | | Merge pull request #1815 from boqwxp/fix-ef-optimize | Claire Wolf | 2020-03-27 | 1 | -1/+7 | |
| |\ \ \ \ \ | | | | | | | | | | | | | Fix solver output parsing for exists-forall optimization | |||||
| | * | | | | | Do not change solver output parsing for non-exists-forall problems. | Alberto Gonzalez | 2020-03-26 | 1 | -2/+6 | |
| | | | | | | | ||||||
| | * | | | | | Skip reading stdout from the solver that if it isn't a line reading only ↵ | Alberto Gonzalez | 2020-03-26 | 1 | -1/+3 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | "sat", "unsat", or "unknown". | |||||
| * | | | | | | Merge pull request #1806 from YosysHQ/mwk/techmap-replace-fix | Claire Wolf | 2020-03-26 | 2 | -1/+19 | |
| |\ \ \ \ \ \ | |/ / / / / |/| | | | | | techmap: Fix cell names with _TECHMAP_REPLACE_.* | |||||
| | * | | | | | techmap: Fix cell names with _TECHMAP_REPLACE_.* | Marcin Kościelnicki | 2020-03-23 | 2 | -1/+19 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | Fixes #1804. | |||||
| * | | | | | | Revert part of 0fda8308 from #1746 that broke other smtbmc flows | Claire Wolf | 2020-03-24 | 1 | -3/+1 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | |||||
| * | | | | | | Merge pull request #1763 from boqwxp/issue1762 | N. Engelhardt | 2020-03-23 | 8 | -12/+73 | |
| |\ \ \ \ \ \ | |_|_|/ / / |/| | | | | | Closes #1762. Adds warnings for `select` arguments not matching any object and for `add` command when no modules selected | |||||
| | * | | | | | Do not warn on empty selection with prefixed `arg_memb`. | Alberto Gonzalez | 2020-03-23 | 2 | -1/+7 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | Co-Authored-By: N. Engelhardt <nak@symbioticeda.com> | |||||
| | * | | | | | 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 #1803 from Grazfather/typedef | N. Engelhardt | 2020-03-23 | 12 | -40/+124 | |
| |\ \ \ \ \ \ | | | | | | | | | | | | | | | Support standard typedef grammar (Fixed) | |||||
| | * | | | | | | Simplify was not being called for packages. Broke typedef enums. | Peter Crozier | 2020-03-22 | 1 | -5/+8 | |
| | | | | | | | | ||||||
| | * | | | | | | Build pkg_user_types before parsing in case of changes in the design. | Peter Crozier | 2020-03-22 | 1 | -6/+3 | |
| | | | | | | | | ||||||
| | * | | | | | | Clear pkg_user_types if no packages following a 'design -reset-vlog'. | Peter | 2020-03-22 | 2 | -0/+5 | |
| | | | | | | | | ||||||
| | * | | | | | | Revert typedef tests to standard grammar. | Peter | 2020-03-22 | 7 | -25/+26 | |
| | | | | | | | | ||||||
| | * | | | | | | Parser changes to support typedef. | Peter | 2020-03-22 | 4 | -10/+88 | |
| | | | | | | | | ||||||
| * | | | | | | | Merge pull request #1805 from hofstee/master | N. Engelhardt | 2020-03-23 | 2 | -2/+2 | |
| |\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | fix typo in `write_smt2` help | |||||
| | * | | | | | | | fix typo in `write_smt2` help | Teguh Hofstee | 2020-03-23 | 2 | -2/+2 | |
| | | | | | | | | | ||||||
| * | | | | | | | | Merge pull request #1785 from boqwxp/mitercc_cleanup | N. Engelhardt | 2020-03-23 | 1 | -60/+56 | |
| |\ \ \ \ \ \ \ \ | |/ / / / / / / |/| | | | | | | | Clean up pseudo-private member usage in `passes/sat/miter.cc`. | |||||
| | * | | | | | | | Clean up pseudo-private member usage in `passes/sat/miter.cc`. | Alberto Gonzalez | 2020-03-19 | 1 | -60/+56 | |
| | | |_|_|_|/ / | |/| | | | | | ||||||
| * | | | | | | | 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 | |
| |/ / / / / | ||||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |