aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
|\ \ \ \
| * | | | 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
* | | | | Merge pull request #1754 from boqwxp/precise_locationsMiodrag Milanović2020-03-142-2/+61
|\ \ \ \ \
| * | | | | 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
|\ \ \ \ \ \ | |_|_|_|_|/ |/| | | | |
| * | | | | 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 MakefileXiretza2020-03-121-1/+5
|/ / / /
* | | | Added filter-out for libyosys.soMiodrag Milanovic2020-03-121-1/+1
* | | | Revert "Clean up 'install' Makefile target"Miodrag Milanovic2020-03-121-4/+7
* | | | Revert "Improve ABC repository management in Makefile"Miodrag Milanovic2020-03-121-5/+1
* | | | Merge pull request #1666 from Xiretza/improve-makefileMiodrag Milanović2020-03-121-8/+9
|\ \ \ \
| * | | | Improve ABC repository management in MakefileXiretza2020-01-291-1/+5
| * | | | Clean up 'install' Makefile targetXiretza2020-01-291-7/+4
* | | | | Merge pull request #1751 from boqwxp/add_assertN. Engelhardt2020-03-121-1/+57
|\ \ \ \ \
| * | | | | Extend `add` command to allow adding cells for verification like $assert, $as...Alberto Gonzalez2020-03-101-1/+57
* | | | | | Add mandatory wasm file to zip file as wellMiodrag Milanovic2020-03-122-2/+3
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-04 09:49:11 +0000