aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Optimizing DFFs whose initial value prevents their value from changingBogdan Vukobratovic2019-05-284-3/+78
| | | | | This is a proof of concept implementation that invokes SAT solver via Pass::call method.
* 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>
* | | Merge pull request #1021 from ucb-bar/fixfirrtl_shr,negClifford Wolf2019-05-221-3/+7
|\ \ \ | |_|/ |/| | Fix static shift operands, neg result type, minor formatting
| * | Fix static shift operands, neg result type, minor formattingJim Lawson2019-05-211-3/+7
| | | | | | | | | | | | | | | | | | Static shift operands must be constants. The result of FIRRTL's neg operator is signed. Fix poor indentation for gen_read().
| * | Merge remote-tracking branch 'upstream/master'Jim Lawson2019-05-2166-629/+2298
| |\|
| * | Merge remote-tracking branch 'upstream/master'Jim Lawson2019-05-025-60/+66
| |\ \
| * \ \ Merge remote-tracking branch 'upstream/master'Jim Lawson2019-05-016-5/+68
| |\ \ \
| * \ \ \ Merge remote-tracking branch 'upstream/master'Jim Lawson2019-04-3091-445/+5146
| |\ \ \ \
| * \ \ \ \ Merge remote-tracking branch 'upstream/master'Jim Lawson2019-04-098-7/+76
| |\ \ \ \ \
| * \ \ \ \ \ Merge remote-tracking branch 'upstream/master'Jim Lawson2019-04-033-30/+203
| |\ \ \ \ \ \
| * \ \ \ \ \ \ Merge remote-tracking branch 'upstream/master'Jim Lawson2019-04-01120-600/+5502
| |\ \ \ \ \ \ \
| * \ \ \ \ \ \ \ Merge remote-tracking branch 'upstream/master'Jim Lawson2019-03-0412-28/+124
| |\ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ Merge remote-tracking branch 'upstream/master'Jim Lawson2019-03-0131-105/+622
| |\ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'upstream/master'Jim Lawson2019-02-2539-222/+2479
| |\ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'upstream/master'Jim Lawson2019-02-153-44/+47
| |\ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'upstream/master'Jim Lawson2019-02-11109-413/+3479
| |\ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | Fix botched merge in CHANGELOGJim Lawson2018-12-181-1/+0
| | | | | | | | | | | | | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-06 17:28:54 +0000