aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | | 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
| * | | | | | Add EXTRA_EXPORTED_RUNTIME_METHODS env for yosysjsjiegec2020-03-111-0/+1
| | | | | | |
| * | | | | | Fix compilation for emccjiegec2020-03-114-3/+8
|/ / / / / /
* | | | | | Merge pull request #1743 from YosysHQ/eddie/abc9_keepEddie Hung2020-03-113-25/+21
|\ \ \ \ \ \ | | | | | | | | | | | | | | abc9: improve (* keep *) handling
| * | | | | | xaiger: remove some unnecessary operations ...Eddie Hung2020-03-061-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 existingEddie Hung2020-03-061-7/+7
| | | | | | |
| * | | | | | abc9: (* keep *) wires to be PO only, not PI as well; fix scc handlingEddie Hung2020-03-062-11/+9
| | | | | | |
| * | | | | | abc: add abc.debug scratchpad optionEddie Hung2020-03-061-0/+5
| | | | | | |
* | | | | | | Merge pull request #1744 from YosysHQ/eddie/fix1675Eddie Hung2020-03-111-1/+1
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | Bump ABCREV to receive fix for #1675
| * | | | | | | Bump ABCREV to receive fix for #1675Eddie Hung2020-03-061-1/+1
| | |_|_|_|/ / | |/| | | | |
* | | | | | | Merge pull request #1753 from YosysHQ/dave/abc9-speedupDavid Shah2020-03-103-7/+20
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | Add ScriptPass::run_nocheck and use for abc9
| * | | | | | | Add ScriptPass::run_nocheck and use for abc9David Shah2020-03-093-7/+20
| | |_|/ / / / | |/| | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | | | | | | Merge pull request #1721 from YosysHQ/dave/tribuf-unusedDavid Shah2020-03-102-2/+15
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | deminout: Don't demote inouts with unused bits
| * | | | | | | deminout: Don't demote inouts with unused bitsDavid Shah2020-03-042-2/+15
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-09 21:31:30 +0000