aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-2115-59/+446
|\
| * Merge pull request #1108 from YosysHQ/clifford/fix1091Eddie Hung2019-06-212-46/+239
| |\
| | * Replace "muxcover -freedecode" with "muxcover -dmux=cost"Clifford Wolf2019-06-211-15/+14
| | * Add "muxcover -freedecode"Clifford Wolf2019-06-211-0/+14
| | * Improvements in muxcoverClifford Wolf2019-06-201-38/+55
| | * Missing a `clean` and `opt_expr -mux_bool` in testEddie Hung2019-06-201-0/+4
| | * Add testEddie Hung2019-06-201-1/+136
| | * Add support for partial matches to muxcover, fixes #1091Clifford Wolf2019-06-201-7/+31
| * | Merge pull request #1123 from mmicko/fix_typoClifford Wolf2019-06-211-1/+1
| |\ \
| | * | Fix typoMiodrag Milanovic2019-06-211-1/+1
| |/ /
| * | Merge pull request #1085 from YosysHQ/eddie/shregmap_improveEddie Hung2019-06-213-3/+129
| |\ \
| | * | Actually, there might not be any harm in updating sigmap...Eddie Hung2019-06-201-3/+1
| | * | Add comment as per @cliffordwolfEddie Hung2019-06-201-0/+11
| | * | Add shregmap -tech xilinx testEddie Hung2019-06-122-2/+63
| | * | Revert "Try way that doesn't involve creating a new wire"Eddie Hung2019-06-111-15/+10
| * | | Merge pull request #1122 from YosysHQ/clifford/jsonportsClifford Wolf2019-06-212-0/+16
| |\ \ \
| | * | | Added JSON upto and offsetClifford Wolf2019-06-212-0/+16
| |/ / /
| * | | Merge pull request #1121 from YosysHQ/ecp5-ccu2c-invClifford Wolf2019-06-211-4/+5
| |\ \ \
| | * | | ecp5: Improve mapping of $alu when BI is usedDavid Shah2019-06-211-4/+5
| |/ / /
| * | | Merge pull request #1117 from bwidawsk/more-homeClifford Wolf2019-06-212-0/+5
| |\ \ \
| | * | | Add a few more filename rewritesBen Widawsky2019-06-202-0/+5
| * | | | Merge pull request #1119 from YosysHQ/eddie/fix1118Clifford Wolf2019-06-212-0/+12
| |\ \ \ \
| | * | | | Add testEddie Hung2019-06-201-0/+11
| | * | | | Make genvar a signed typeEddie Hung2019-06-201-0/+1
| | | |_|/ | | |/| |
| * | | | Merge pull request #1116 from YosysHQ/eddie/fix1115Clifford Wolf2019-06-213-7/+41
| |\ \ \ \
| | * | | | Add CHANGELOG entryEddie Hung2019-06-201-1/+2
| | * | | | Extend sign extension testsEddie Hung2019-06-201-4/+16
| | * | | | Maintain "is_unsized" state of constantsEddie Hung2019-06-201-6/+6
| | * | | | Revert "Fix sign extension when sign is 1'bx"Eddie Hung2019-06-201-1/+1
| | * | | | Remove leftover commentEddie Hung2019-06-201-3/+0
| | * | | | Add testEddie Hung2019-06-201-0/+24
| | * | | | Fix sign extension when sign is 1'bxEddie Hung2019-06-201-1/+1
| | |/ / /
| * / / / Fix gcc invalidation behaviour for write_aigerEddie Hung2019-06-201-1/+2
| |/ / /
* | | | Fix CHANGELOGEddie Hung2019-06-211-1/+3
* | | | Reduce log_debug spam in parse_xaiger()Eddie Hung2019-06-211-16/+19
* | | | Do not rename non LUT cells in abc9Eddie Hung2019-06-211-11/+16
* | | | Replace assert with error messageEddie Hung2019-06-211-1/+2
* | | | Add log_push()/log_pop() inside write_xaigerEddie Hung2019-06-211-0/+4
* | | | One more workaround for gcc-4.8Eddie Hung2019-06-211-3/+4
* | | | Workaround issues exposed by gcc-4.8Eddie Hung2019-06-211-0/+7
* | | | No point logging constant bitEddie Hung2019-06-211-1/+1
* | | | Move commentEddie Hung2019-06-211-2/+3
* | | | Fix spacingEddie Hung2019-06-201-1/+1
* | | | Revert MakefileEddie Hung2019-06-201-2/+2
* | | | Refactor bit2aig for less lookupsEddie Hung2019-06-201-24/+27
* | | | Fix gcc invalidation behaviour for write_aigerEddie Hung2019-06-201-1/+2
* | | | Fix gcc error, due to dict invalidation during recursionEddie Hung2019-06-202-4/+5
* | | | Fix gcc warning of potentially uninitialisedEddie Hung2019-06-201-2/+2
* | | | write_xaiger to flatten 1'bx/1'bz to 1'b0 againEddie Hung2019-06-201-2/+4
* | | | Fix simple_abc9/generate test with 1'bx at MSBEddie Hung2019-06-201-1/+1