aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | | | | | | | | | | |
| * | | | | | | | | | | | | Merge remote-tracking branch 'upstream/master'Jim Lawson2018-12-18128-636/+8336
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | # Conflicts: # CHANGELOG # frontends/verific/verific.cc # frontends/verilog/verilog_parser.y
| * | | | | | | | | | | | | | Improve Verific importer blackbox handlingClifford Wolf2018-10-081-2/+14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | | | | | | | Add "write_edif -attrprop"Clifford Wolf2018-10-081-11/+28
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | | | | | | | Fix compiler warning in verific.ccClifford Wolf2018-10-081-0/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | | | | | | | Fix misspelling in issue_template.mdTim Ansell2018-10-081-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | It's been bugging me :-P
| * | | | | | | | | | | | | | Fix IdString M in setup_stdcells()Adrian Wheeldon2018-10-081-1/+1
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | Add inout ports to cells_xtra.vClifford Wolf2018-10-082-2/+14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | | | | | | | xilinx: Adding missing inout IO port to IOBUFTim Ansell2018-10-081-0/+1
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | Fix for issue 594.Tom Verbeure2018-10-081-1/+2
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | Add read_verilog $changed supportDan Gisselquist2018-10-081-1/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | | | | | | | ecp5: Don't map ROMs to DRAMDavid Shah2018-10-081-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <davey1576@gmail.com>
| * | | | | | | | | | | | | | Fix handling of $past 2nd argument in read_verilogClifford Wolf2018-10-081-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | | | | | | | Update to v2 YosysVS templateClifford Wolf2018-10-081-4/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | | | | | | | Add "read_verilog -noassert -noassume -assert-assumes"Clifford Wolf2018-10-083-6/+49
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | | | | | | | Added support for ommited "parameter" in Verilog-2001 style parameter decl ↵Clifford Wolf2018-10-081-3/+9
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | in SV mode Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | | | | | | | Update CHANGELOGClifford Wolf2018-10-081-2/+35
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | | | | | | | added prefix to FDirection constants, fixing windows buildMiodrag Milanovic2018-10-081-11/+11
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | Update CHANGLELOGClifford Wolf2018-10-081-5/+27
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | | | | | | | Update ChangelogClifford Wolf2018-10-081-1/+54
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | | | | | | | Fix Cygwin build and document needed packagesMiodrag Milanovic2018-10-083-1/+14
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | Fixed typo in "verilog_write" help messageacw12512018-10-082-5/+5
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | Merge remote-tracking branch 'upstream/master'Jim Lawson2018-09-1711-14/+78
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge pull request #4 from YosysHQ/masterJim Lawson2018-08-283-23/+112
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | merge with YosysHQ master
* | \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge pull request #1024 from YosysHQ/eddie/fix_Wmissing_bracesEddie Hung2019-05-211-5/+9
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | Rename labelEddie Hung2019-05-211-6/+5
| | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | Try againEddie Hung2019-05-211-4/+10
| | | | | | | | | | | | | | | | |