aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* 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
| | |_|_|/ | |/| | |
* | | | | Merge pull request #1764 from Xiretza/fix-abcrev-checkClaire Wolf2020-03-131-1/+5
|\ \ \ \ \ | |/ / / / |/| | | | Improve ABC repository management in Makefile
| * | | | Improve ABC repository management in MakefileXiretza2020-03-121-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.soMiodrag Milanovic2020-03-121-1/+1
| | | |
* | | | Revert "Clean up 'install' Makefile target"Miodrag Milanovic2020-03-121-4/+7
| | | | | | | | | | | | | | | | This reverts commit 2a746234fec2f6d14e9bfa40fd7f3478cdd539ea.
* | | | Revert "Improve ABC repository management in Makefile"Miodrag Milanovic2020-03-121-5/+1
| | | | | | | | | | | | | | | | This reverts commit 90404e1969443a1b8a767ab8f3dc311709c5fe9d.
* | | | Merge pull request #1666 from Xiretza/improve-makefileMiodrag Milanović2020-03-121-8/+9
|\ \ \ \ | | | | | | | | | | Makefile improvements for packaging scripts
| * | | | Improve ABC repository management in MakefileXiretza2020-01-291-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 targetXiretza2020-01-291-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_assertN. Engelhardt2020-03-121-1/+57
|\ \ \ \ \ | | | | | | | | | | | | Extend `add` command to allow adding $assert cells.
| * | | | | Extend `add` command to allow adding cells for verification like $assert, ↵Alberto Gonzalez2020-03-101-1/+57
| | | | | | | | | | | | | | | | | | | | | | | | $assume, etc.
* | | | | | Add mandatory wasm file to zip file as wellMiodrag Milanovic2020-03-122-2/+3
| | | | | |
* | | | | | Merge pull request #1757 from jiegec/fix-emccMiodrag Milanović2020-03-124-3/+9
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | | Fix compilation for emcc
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-12 17:44:45 +0000