aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Add actual wandwor test that is part of "make test"Clifford Wolf2019-05-282-33/+36
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Merge branch 'wandwor' of https://github.com/thasti/yosys into clifford/wandworClifford Wolf2019-05-288-5/+127
|\
| * Merge branch 'master' into wandworStefan Biereigel2019-05-2715-32/+274
| |\
| * | reformat wand/wor testStefan Biereigel2019-05-271-22/+21
| | |
| * | remove port direction workaround from test caseStefan Biereigel2019-05-271-2/+1
| | |
| * | update README.md with wand/wor informationStefan Biereigel2019-05-271-2/+2
| | |
| * | remove leftovers from ast data structuresStefan Biereigel2019-05-272-4/+0
| | |
| * | move wand/wor resolution into hierarchy passStefan Biereigel2019-05-272-98/+91
| | |
| * | fix assignment of non-wiresStefan Biereigel2019-05-231-16/+19
| | |
| * | add simple test case for wand/worStefan Biereigel2019-05-231-0/+35
| | |
| * | fix indentation across filesStefan Biereigel2019-05-234-63/+83
| | |
| * | implementation for assignments workingStefan Biereigel2019-05-233-14/+83
| | |
| * | make lexer/parser aware of wand/wor net typesStefan Biereigel2019-05-233-2/+10
| | |
* | | Merge pull request #1045 from mmicko/afl-gcc-targetClifford Wolf2019-05-281-1/+11
|\ \ \ | |_|/ |/| | afl-fuzzer compile config
| * | make config-afl-gcc to help creating conf fileMiodrag Milanovic2019-05-271-1/+4
| | |
| * | Added afl-gcc as target for fuzzerMiodrag Milanovic2019-05-271-0/+7
|/ /
* | Merge pull request #1044 from mmicko/invalid_width_rangeClifford Wolf2019-05-271-1/+2
|\ \ | | | | | | Give error instead of asserting for invalid range, fixes #947
| * | Give error instead of asserting for invalid range, fixes #947Miodrag Milanovic2019-05-271-1/+2
| | |
* | | Merge pull request #1043 from mmicko/unsized_constantClifford Wolf2019-05-275-13/+45
|\ \ \ | | | | | | | | Added support for unsized constants, fixes #1022
| * | | Added support for unsized constants, fixes #1022Miodrag Milanovic2019-05-275-13/+45
| |/ / | | | | | | | | | Includes work from @sumit0190 and @AaronKel
* | | Merge pull request #1026 from YosysHQ/clifford/fix1023Clifford Wolf2019-05-272-2/+12
|\ \ \ | | | | | | | | Keep zero-width wires in opt_clean if and only if they are ports
| * | | Keep zero-width wires in opt_clean if and only if they are ports, fixes #1023Clifford Wolf2019-05-221-2/+3
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Fix handling of warning and error messages within log_make_debug-blocksClifford Wolf2019-05-221-0/+9
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | Merge pull request #1030 from Kmanfi/makefile_osxClifford Wolf2019-05-271-5/+37
|\ \ \ \ | |_|/ / |/| | | OS X related Makefile fixes.
| * | | Guard all Python-api related items.Kaj Tuomi2019-05-271-0/+6
| | | |
| * | | OS X related fixes.Kaj Tuomi2019-05-221-5/+31
| |/ /
* | | Merge pull request #1035 from YosysHQ/eddie/opt_rmdffClifford Wolf2019-05-263-4/+144
|\ \ \ | | | | | | | | opt_rmdff to work on $dffe and $_DFFE_*
| * | | Revert enable checkEddie Hung2019-05-251-3/+1
| | | |
| * | | Fix initEddie Hung2019-05-241-27/+27
| | | |
| * | | Fix typosEddie Hung2019-05-241-6/+6
| | | |
| * | | Add more testsEddie Hung2019-05-242-20/+41
| | | |
| * | | Call procEddie Hung2019-05-241-1/+1
| | | |
| * | | opt_rmdff to optimise even in presence of enable signal, even removingEddie Hung2019-05-241-12/+29
| | | |
| * | | Fix duplicate driverEddie Hung2019-05-241-15/+15
| | | |
| * | | Add commentsEddie Hung2019-05-241-1/+22
| | | |
| * | | Resolve @cliffordwolf review, set even if !has_initEddie Hung2019-05-241-2/+1
| | | |
| * | | Fix spacingEddie Hung2019-05-231-2/+2
| | | |
| * | | Add opt_rmdff testsEddie Hung2019-05-232-0/+55
| | | |
| * | | opt_rmdff to work on $dffe and $_DFFE_*Eddie Hung2019-05-231-3/+32
| | |/ | |/|
* | | Merge pull request #1042 from mmicko/git_ignore_pythonClifford Wolf2019-05-261-0/+3
|\ \ \ | | | | | | | | Add files to ignore for python build
| * | | Add files to ignore for python buildMiodrag Milanovic2019-05-261-0/+3
|/ / /
* | | Merge pull request #1041 from YosysHQ/clifford/fix1040Clifford Wolf2019-05-251-6/+20
|\ \ \ | | | | | | | | Fix handling of offset and upto module ports in write_blif
| * | | Fix handling of offset and upto module ports in write_blif, fixes #1040Clifford Wolf2019-05-251-6/+20
|/ / / | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Add proper error message for btor recursion_guardClifford Wolf2019-05-241-1/+7
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Merge pull request #1036 from YosysHQ/eddie/xilinx_dramEddie Hung2019-05-231-0/+4
|\ \ \ | |/ / |/| | Add "min bits" and "min wports" to xilinx dram rules
| * | Add "min bits" and "min wports" to xilinx dram rulesEddie Hung2019-05-231-0/+4
|/ /
* | Merge pull request #1031 from mdaiter/optimizeLookupTableBtorClifford Wolf2019-05-231-6/+4
|\ \ | |/ |/| Optimize numberOfPermutations
| * Optimize numberOfPermutationsMatthew Daiter2019-05-221-6/+4
| |
* | Merge pull request #1019 from YosysHQ/clifford/fix1016Clifford Wolf2019-05-222-3/+13
|\ \ | | | | | | Add "wreduce -keepdc"
| * | Add "wreduce -keepdc", fixes #1016Clifford Wolf2019-05-202-3/+13
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-19 02:53:27 +0000