aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #1794 from YosysHQ/dave/mince-abc9-fixDavid Shah2020-03-212-0/+18
|\ | | | | ice40: Map unmapped 'mince' DFFs to gate level
| * Add test for abc9+mince issueDavid Shah2020-03-201-0/+17
| | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * ice40: Map unmapped 'mince' DFFs to gate levelDavid Shah2020-03-201-0/+1
| | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | Merge pull request #1795 from smunaut/fix_abc9_spramEddie Hung2020-03-201-2/+2
|\ \ | |/ |/| ice40: Fix typos in SPRAM ABC9 timing specs
| * ice40: Fix typos in SPRAM ABC9 timing specsSylvain Munaut2020-03-201-2/+2
|/ | | | Signed-off-by: Sylvain Munaut <tnt@246tNt.com>
* xilinx: Mark IOBUFDS.IOB as external padMarcin Kościelnicki2020-03-202-1/+2
|
* Merge pull request #1788 from YosysHQ/eddie/fix_ndebugEddie Hung2020-03-192-2/+2
|\ | | | | Fix NDEBUG warnings
| * Fix NDEBUG warningsEddie Hung2020-03-192-2/+2
| |
* | fsm_extract: Initialize celltypes with full design.Marcin Kościelnicki2020-03-192-5/+34
| | | | | | | | Fixes #1781.
* | Merge pull request #1787 from YosysHQ/mmicko/lexer_depsMiodrag Milanović2020-03-191-1/+1
|\ \ | |/ |/| Add dependency to verilog_lexer.cc
| * Add one mode dependencyMiodrag Milanovic2020-03-191-1/+1
| |
* | Merge pull request #1774 from boqwxp/execN. Engelhardt2020-03-193-0/+210
|\ \ | | | | | | Add `exec` command to allow running shell commands from inside Yosys scripts
| * | Update copyright and license header.Alberto Gonzalez2020-03-181-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 Gonzalez2020-03-181-5/+18
| | | | | | | | | | | | Co-Authored-By: Miodrag Milanović <mmicko@gmail.com>
| * | Add test for `exec` command.Alberto Gonzalez2020-03-161-0/+6
| | |
| * | Allow specifying multiple regexes to match in `exec` command output, and ↵Alberto Gonzalez2020-03-161-33/+67
| | | | | | | | | | | | also to specify regexes that must _not_ match.
| * | Add `exec` command to run shell commands.Alberto Gonzalez2020-03-162-0/+157
| | |
* | | Merge pull request #1775 from huaixv/asserts_locationsN. Engelhardt2020-03-192-7/+31
|\ \ \ | |_|/ |/| | Add precise locations for asserts
| * | Add precise locations for assertshuaixv2020-03-192-7/+31
| | |
* | | Merge pull request #1780 from YosysHQ/fix-test-bashMiodrag Milanović2020-03-182-3/+4
|\ \ \ | | | | | | | | Fix make test on macOS: add bash to brewfile & fix argument order
| * | | fix argument order for macOS compatibilityN. Engelhardt2020-03-181-3/+3
| | | |
| * | | add bash to brewfileN. Engelhardt2020-03-181-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_cleanupEddie Hung2020-03-171-162/+157
|\ \ \ | | | | | | | | Clean up code style and pseudo-private member usage in `passes/cmds/select.cc`
| * | | Further clean up `passes/cmds/select.cc`.Alberto Gonzalez2020-03-162-12/+9
| | | | | | | | | | | | | | | | Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
| * | | Cleanup code style and pseudo-private member usage in `passes/cmds/select.cc`.Alberto Gonzalez2020-03-162-162/+160
| | | |
* | | | Merge pull request #1776 from boqwxp/precise_locationsN. Engelhardt2020-03-171-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 Gonzalez2020-03-171-0/+2
|/ / /
* | | Update CopyrightClaire Wolf2020-03-163-3/+3
| | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* | | Merge pull request #1771 from waldyrious/license-updateClaire Wolf2020-03-163-3/+5
|\ \ \ | | | | | | | | License: bump year and add title
| * | | License: bump year and add titleWaldir Pimenta2020-03-143-3/+5
| | |/ | |/|
* | | Merge pull request #1768 from boqwxp/smt2_cleanupN. Engelhardt2020-03-161-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 Gonzalez2020-03-131-5/+5
| | | |
* | | | Merge pull request #1746 from boqwxp/optimizationN. Engelhardt2020-03-165-3/+55
|\ \ \ \ | | | | | | | | | | Add support for optimizing exists-forall problems.
| * | | | Add support for optimizing exists-forall problems.Alberto Gonzalez2020-03-135-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_modelDavid Shah2020-03-151-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 lowSylvain Munaut2020-03-141-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 syntaxMiodrag Milanovic2020-03-141-1/+1
| | | |
* | | | Merge pull request #1759 from zeldin/constant_with_comment_reduxMiodrag Milanović2020-03-144-19/+67
|\ \ \ \ | | | | | | | | | | refixed parsing of constant with comment between size and value
| * | | | Add regression tests for new handling of comments in constantsMarcus Comstedt2020-03-142-0/+24
| | | | |
| * | | | refixed parsing of constant with comment between size and valueMarcus Comstedt2020-03-112-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_locationsMiodrag Milanović2020-03-142-2/+61
|\ \ \ \ \ | | | | | | | | | | | | Set AST node source location in more parser rules.
| * | | | | verilog: add testEddie Hung2020-03-111-0/+8
| | | | | |
| * | | | | verilog: also set location for simple_behavioral_stmtEddie Hung2020-03-101-0/+4
| | | | | |
| * | | | | Set AST source locations in more parser rules.Alberto Gonzalez2020-03-101-2/+49
| | | | | |
* | | | | | Merge pull request #1766 from YosysHQ/mmicko/regex_gcc48Miodrag Milanović2020-03-149-52/+66
|\ \ \ \ \ \ | |_|_|_|_|/ |/| | | | | Regex support for GCC 4.8
| * | | | | exclude clang from checkingMiodrag Milanovic2020-03-131-1/+1
| | | | | |
| * | | | | Add YS_ prefix to macros, add explanation and apply to older version as wellMiodrag Milanovic2020-03-134-30/+33
| | | | | |
| * | | | | Added back tests for loggerMiodrag Milanovic2020-03-134-0/+24
| | | | | |
| * | | | | Use boost xpressive for gcc 4.8Miodrag Milanovic2020-03-134-51/+39
| | | | | |
| * | | | | remove include where not usedMiodrag Milanovic2020-03-131-1/+0
| | |_|_|/ | |/| | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-24 22:14:45 +0000