aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Fix "a" connectivityEddie Hung2019-05-261-5/+30
* BlackboxesEddie Hung2019-05-262-10/+10
* ABC9 to call &sweepEddie Hung2019-05-261-2/+1
* Fix padding, remove CIs from undriven_bits before erasing undriven POsEddie Hung2019-05-261-14/+8
* TypoEddie Hung2019-05-261-1/+1
* Muck about with LUT delays some moreEddie Hung2019-05-261-5/+5
* Combine ABC_COMMAND_LUTEddie Hung2019-05-261-2/+1
* Fix "a" extensionEddie Hung2019-05-262-9/+21
* Fix "write_xaiger", and to write each box contents into holesEddie Hung2019-05-251-39/+62
* Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-05-252-7/+27
|\
| * Merge pull request #1041 from YosysHQ/clifford/fix1040Clifford Wolf2019-05-251-6/+20
| |\
| | * Fix handling of offset and upto module ports in write_blif, fixes #1040Clifford Wolf2019-05-251-6/+20
| |/
| * Add proper error message for btor recursion_guardClifford Wolf2019-05-241-1/+7
* | Try new LUT delaysEddie Hung2019-05-241-8/+11
* | Add &fraig and &mfs backEddie Hung2019-05-241-2/+1
* | Transpose CARRY4 delaysEddie Hung2019-05-241-10/+8
* | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-05-231-0/+4
|\|
| * Merge pull request #1036 from YosysHQ/eddie/xilinx_dramEddie Hung2019-05-231-0/+4
| |\
| | * Add "min bits" and "min wports" to xilinx dram rulesEddie Hung2019-05-231-0/+4
| |/
* | Merge remote-tracking branch 'origin/eddie/opt_rmdff' into xc7muxEddie Hung2019-05-238-20/+120
|\ \
| * | 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 #1031 from mdaiter/optimizeLookupTableBtorClifford Wolf2019-05-231-6/+4
| |\
| | * Optimize numberOfPermutationsMatthew Daiter2019-05-221-6/+4
| * | Merge pull request #1019 from YosysHQ/clifford/fix1016Clifford Wolf2019-05-222-3/+13
| |\ \
| | * | Add "wreduce -keepdc", fixes #1016Clifford Wolf2019-05-202-3/+13
| * | | Merge pull request #1021 from ucb-bar/fixfirrtl_shr,negClifford Wolf2019-05-221-3/+7
| |\ \ \ | | |_|/ | |/| |
| | * | Fix static shift operands, neg result type, minor formattingJim Lawson2019-05-211-3/+7
| | * | 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
| | |\ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | | Improve Verific importer blackbox handlingClifford Wolf2018-10-081-2/+14
| | * | | | | | | | | | | | | | Add "write_edif -attrprop"Clifford Wolf2018-10-081-11/+28
| | * | | | | | | | | | | | | | Fix compiler warning in verific.ccClifford Wolf2018-10-081-0/+2
| | * | | | | | | | | | | | | | Fix misspelling in issue_template.mdTim Ansell2018-10-081-1/+1
| | * | | | | | | | | | | | | | Fix IdString M in setup_stdcells()Adrian Wheeldon2018-10-081-1/+1
| | * | | | | | | | | | | | | | Add inout ports to cells_xtra.vClifford Wolf2018-10-082-2/+14
| | * | | | | | | | | | | | | | xilinx: Adding missing inout IO port to IOBUFTim Ansell2018-10-081-0/+1