aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | Add N:* to select language, fix some old codeClaire Wolf2020-03-171-4/+9
* | | | | Merge pull request #1803 from Grazfather/typedefN. Engelhardt2020-03-2312-40/+124
|\ \ \ \ \
| * | | | | Simplify was not being called for packages. Broke typedef enums.Peter Crozier2020-03-221-5/+8
| * | | | | Build pkg_user_types before parsing in case of changes in the design.Peter Crozier2020-03-221-6/+3
| * | | | | Clear pkg_user_types if no packages following a 'design -reset-vlog'.Peter2020-03-222-0/+5
| * | | | | Revert typedef tests to standard grammar.Peter2020-03-227-25/+26
| * | | | | Parser changes to support typedef.Peter2020-03-224-10/+88
* | | | | | Merge pull request #1805 from hofstee/masterN. Engelhardt2020-03-232-2/+2
|\ \ \ \ \ \
| * | | | | | fix typo in `write_smt2` helpTeguh Hofstee2020-03-232-2/+2
* | | | | | | Merge pull request #1785 from boqwxp/mitercc_cleanupN. Engelhardt2020-03-231-60/+56
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | |
| * | | | | | Clean up pseudo-private member usage in `passes/sat/miter.cc`.Alberto Gonzalez2020-03-191-60/+56
| | |_|_|_|/ | |/| | | |
* | | | | | iopadmap: Attempt to give new wires/cells meaningful namesR. Ou2020-03-221-6/+18
| |_|_|/ / |/| | | |
* | | | | Merge pull request #1794 from YosysHQ/dave/mince-abc9-fixDavid Shah2020-03-212-0/+18
|\ \ \ \ \
| * | | | | Add test for abc9+mince issueDavid Shah2020-03-201-0/+17
| * | | | | ice40: Map unmapped 'mince' DFFs to gate levelDavid Shah2020-03-201-0/+1
* | | | | | Merge pull request #1795 from smunaut/fix_abc9_spramEddie Hung2020-03-201-2/+2
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | ice40: Fix typos in SPRAM ABC9 timing specsSylvain Munaut2020-03-201-2/+2
|/ / / / /
* | / / / 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 warningsEddie Hung2020-03-192-2/+2
* | | | | fsm_extract: Initialize celltypes with full design.Marcin Kościelnicki2020-03-192-5/+34
* | | | | Merge pull request #1787 from YosysHQ/mmicko/lexer_depsMiodrag Milanović2020-03-191-1/+1
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | Add one mode dependencyMiodrag Milanovic2020-03-191-1/+1
| |/ / /
* | | | Merge pull request #1774 from boqwxp/execN. Engelhardt2020-03-193-0/+210
|\ \ \ \
| * | | | Update copyright and license header.Alberto Gonzalez2020-03-181-1/+1
| * | | | Clean up `exec` code according to review.Alberto Gonzalez2020-03-181-5/+18
| * | | | Add test for `exec` command.Alberto Gonzalez2020-03-161-0/+6
| * | | | Allow specifying multiple regexes to match in `exec` command output, and also...Alberto Gonzalez2020-03-161-33/+67
| * | | | 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 assertshuaixv2020-03-192-7/+31
* | | | | Merge pull request #1780 from YosysHQ/fix-test-bashMiodrag Milanović2020-03-182-3/+4
|\ \ \ \ \ | |_|_|/ / |/| | | |
| * | | | fix argument order for macOS compatibilityN. Engelhardt2020-03-181-3/+3
| * | | | add bash to brewfileN. Engelhardt2020-03-181-0/+1
|/ / / /
* | | | Merge pull request #1769 from boqwxp/select_cleanupEddie Hung2020-03-171-162/+157
|\ \ \ \
| * | | | Further clean up `passes/cmds/select.cc`.Alberto Gonzalez2020-03-162-12/+9
| * | | | 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.Alberto Gonzalez2020-03-171-0/+2
|/ / / /
* | | | Update CopyrightClaire Wolf2020-03-163-3/+3
* | | | Merge pull request #1771 from waldyrious/license-updateClaire Wolf2020-03-163-3/+5
|\ \ \ \
| * | | | 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`.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.Alberto Gonzalez2020-03-135-3/+55
* | | | | | 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 lowSylvain Munaut2020-03-141-5/+8
|/ / / / /
* | | | | 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
|\ \ \ \ \