aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | Fix btor init value handlingClifford Wolf2018-12-081-9/+13
| | |_|/ / | |/| | |
| * | | | Merge pull request #727 from whitequark/opt_lutDavid Shah2018-12-073-5/+50
| |\ \ \ \ | | |_|/ / | |/| | |
| | * | | opt_lut: leave intact LUTs with cascade feeding module outputs.whitequark2018-12-073-0/+26
| | * | | opt_lut: show original truth table for both cells.whitequark2018-12-071-2/+3
| | * | | opt_lut: add -limit option, for debugging misoptimizations.whitequark2018-12-071-3/+21
| |/ / /
| * | | Add missing .gitignoreClifford Wolf2018-12-061-0/+8
| * | | Bugfix in opt_expr handling of a<0 and a>=0Clifford Wolf2018-12-061-1/+1
| * | | Verific updatesClifford Wolf2018-12-062-54/+1
| |/ /
| * | Merge pull request #709 from smunaut/issue_708Clifford Wolf2018-12-051-1/+1
| |\ \
| | * | Make return value of $clog2 signedSylvain Munaut2018-11-241-1/+1
| * | | Merge pull request #718 from whitequark/gate2lutClifford Wolf2018-12-0512-4/+151
| |\ \ \
| | * | | synth_ice40: add -noabc option, to use built-in LUT techmapping.whitequark2018-12-051-2/+16
| | * | | gate2lut: new techlib, for converting Yosys gates to FPGA LUTs.whitequark2018-12-0510-0/+133
| | * | | Fix typo.whitequark2018-12-051-2/+2
| |/ / /
| * | | Merge pull request #713 from Diego-HR/masterClifford Wolf2018-12-055-12/+91
| |\ \ \
| | * | | Changes in GoWin synth commands and ALU primitive supportDiego H2018-12-035-12/+91
| * | | | Merge pull request #712 from mmicko/anlogic-supportClifford Wolf2018-12-057-0/+1278
| |\ \ \ \
| | * | | | Leave only real black box cellsMiodrag Milanovic2018-12-021-312/+0
| | * | | | Initial support for Anlogic FPGAMiodrag Milanovic2018-12-017-0/+1590
| | |/ / /
| * | | | Rename opt_lut.cpp to opt_lut.ccClifford Wolf2018-12-051-0/+0
| * | | | Merge pull request #717 from whitequark/opt_lutClifford Wolf2018-12-059-2/+537
| |\ \ \ \
| | * | | | opt_lut: add -dlogic, to avoid disturbing logic such as carry chains.whitequark2018-12-053-20/+166
| | * | | | opt_lut: always prefer to eliminate 1-LUTs.whitequark2018-12-051-19/+41
| | * | | | opt_lut: collect and display statistics.whitequark2018-12-051-4/+33
| | * | | | opt_lut: refactor to use a worker. NFC.whitequark2018-12-051-170/+177
| | * | | | synth_ice40: add -relut option, to run ice40_unlut and opt_lut.whitequark2018-12-051-1/+13
| | * | | | opt_lut: new pass, to combine LUTs for tighter packing.whitequark2018-12-058-1/+320
| * | | | | Merge pull request #716 from whitequark/ice40_unlutClifford Wolf2018-12-053-13/+109
| |\| | | |
| | * | | | Extract ice40_unlut pass from ice40_opt.whitequark2018-12-053-13/+109
| |/ / / /
| * | | | Merge pull request #719 from YosysHQ/q3k/flailing-around-trying-to-fix-osxSerge Bazanski2018-12-052-3/+2
| |\ \ \ \
| | * | | | travis/osx: fix, use clang instead of gccSergiusz Bazanski2018-12-052-3/+2
| |/ / / /
| * | | | Fix typoClifford Wolf2018-12-041-1/+1
| * | | | Merge pull request #702 from smunaut/min_ce_useClifford Wolf2018-12-042-1/+50
| |\ \ \ \ | | |/ / / | |/| | |
| | * | | ice40: Add option to only use CE if it'd be use by more than X FFsSylvain Munaut2018-11-271-0/+14
| | * | | dff2dffe: Add option for unmap to only remove DFFE with low CE signal useSylvain Munaut2018-11-271-1/+36
| | |/ /
| * | | Merge pull request #676 from rafaeltp/masterClifford Wolf2018-12-011-10/+17
| |\ \ \
| | * | | using [i] to access individual bits of SigSpec and merging bits into a tmp Si...rafaeltp2018-10-211-11/+12
| | * | | cleaning up for PRrafaeltp2018-10-202-6/+2
| | * | | fixing code stylerafaeltp2018-10-201-1/+1
| | * | | solves #675rafaeltp2018-10-202-11/+21
| | * | | Merge pull request #1 from YosysHQ/masterrafaeltp2018-10-2020-89/+869
| | |\ \ \
| * | | | | Improve ConstEval error handling for non-eval cell typesClifford Wolf2018-11-292-9/+19
| | |_|/ / | |/| | |
| * | | | Add iteration limit to "opt_muxtree"Clifford Wolf2018-11-201-1/+17
| | |_|/ | |/| |
| * | | Update ABC to git rev 2ddc57dClifford Wolf2018-11-131-1/+1
| * | | Add "write_aiger -I -O -B"Clifford Wolf2018-11-121-2/+36
| * | | Merge branch 'master' of github.com:YosysHQ/yosysClifford Wolf2018-11-124-1/+1044
| |\ \ \
| | * \ \ Merge pull request #697 from eddiehung/xilinx_ps7Clifford Wolf2018-11-122-0/+624
| | |\ \ \
| | | * | | Add support for Xilinx PS7 blockEddie Hung2018-11-102-0/+624
| | * | | | Merge pull request #695 from daveshah1/ecp5_bbClifford Wolf2018-11-122-1/+420
| | |\ \ \ \ | | | |/ / / | | |/| | |
| | | * | | ecp5: Add 'fake' DCU parametersDavid Shah2018-11-091-0/+11