aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/xaig' into xc7muxEddie Hung2019-06-229-391/+85
|\
| * Add comments to ecp5 boxEddie Hung2019-06-221-0/+6
| * Add comment to xc7 boxEddie Hung2019-06-221-0/+3
| * Fix and cleanup ice40 boxes for carry in/outEddie Hung2019-06-224-313/+25
| * Carry in/out box ordering now move to end, not swap with endEddie Hung2019-06-222-38/+46
| * Remove DFF and RAMD box info for nowEddie Hung2019-06-212-36/+0
| * Merge branch 'master' into xaigEddie Hung2019-06-211-1/+3
| |\
| | * Add 'muxcover -dmux=<cost>' and '-nopartial' to CHANGELOGEddie Hung2019-06-211-1/+3
* | | Remove $_MUX4_ techmap ruleEddie Hung2019-06-211-11/+0
* | | Fix wreduce call (!!!), tweak muxcover costsEddie Hung2019-06-211-5/+6
* | | Merge remote-tracking branch 'origin/xaig' into xc7muxEddie Hung2019-06-219-9/+158
|\| |
| * | 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
| | |\
| | * \ 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
| | |\ \ \ \
| | * \ \ \ \ Merge pull request #1116 from YosysHQ/eddie/fix1115Clifford Wolf2019-06-213-7/+41
| | |\ \ \ \ \
| | * | | | | | Fix gcc invalidation behaviour for write_aigerEddie Hung2019-06-201-1/+2
| * | | | | | | Fix CHANGELOGEddie Hung2019-06-211-1/+3
* | | | | | | | Merge remote-tracking branch 'origin/xaig' into xc7muxEddie Hung2019-06-211-16/+19
|\| | | | | | |
| * | | | | | | Reduce log_debug spam in parse_xaiger()Eddie Hung2019-06-211-16/+19
* | | | | | | | Merge remote-tracking branch 'origin/xaig' into xc7muxEddie Hung2019-06-211-1/+1
|\| | | | | | |
| * | | | | | | 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
| * | | | | | | Fix different abc9 testEddie Hung2019-06-201-2/+3
| * | | | | | | Fix broken abc9.v test due to inout being 1'bxEddie Hung2019-06-202-5/+21