aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-02-218-1/+1202
|\
| * Hotfix for 4c82ddfClifford Wolf2019-02-211-11/+2
| * Add -params mode to force undef parameters in selected cells.Keith Rothman2019-02-211-0/+29
| * Merge pull request #818 from YosysHQ/clifford/dffsrfixClifford Wolf2019-02-211-6/+7
| |\
| * | Fix typo in passes/pmgen/README.mdClifford Wolf2019-02-211-1/+1
| * | Bugfix in ice40_dspClifford Wolf2019-02-211-2/+2
| * | Add "synth_ice40 -dsp"Clifford Wolf2019-02-201-4/+4
| * | Add FF support to wreduceClifford Wolf2019-02-201-1/+70
| * | Detect and reject cases that do not map well to iCE40 DSPs (yet)Clifford Wolf2019-02-202-2/+17
| * | Add actual DSP inference to ice40_dsp passClifford Wolf2019-02-173-24/+214
| * | Merge branch 'master' of github.com:YosysHQ/yosys into pmgenClifford Wolf2019-02-172-1/+8
| |\ \
| * | | Progress in pmgenClifford Wolf2019-01-151-3/+11
| * | | Progress in pmgen, add pmgen READMEClifford Wolf2019-01-153-14/+260
| * | | Fix pmgen "reject" statementClifford Wolf2019-01-151-1/+1
| * | | Progress in pmgenClifford Wolf2019-01-153-36/+139
| * | | Progress in pmgenClifford Wolf2019-01-153-21/+157
| * | | Progress in pmgenClifford Wolf2019-01-155-8/+347
| * | | Add mockup .pmg (pattern matcher generator) fileClifford Wolf2019-01-151-0/+75
* | | | abc9 to only disconnect output ports of AND and NOT gatesEddie Hung2019-02-211-2/+4
* | | | Merge branch 'clifford/dffsrfix' of https://github.com/YosysHQ/yosys into xaigEddie Hung2019-02-211-6/+7
|\ \ \ \ | | |_|/ | |/| |
| * | | Fix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_???_, fixes #816Clifford Wolf2019-02-211-6/+7
| | |/ | |/|
* | | ABC -> ABC9Eddie Hung2019-02-201-1/+1
* | | abc9 to disconnect mapped_mods POs correctly, and do not count $_NOT_Eddie Hung2019-02-201-21/+29
* | | lut/not/and suffix to be ${lut,not,and}Eddie Hung2019-02-201-4/+4
* | | abc9 to cope with multiple modulesEddie Hung2019-02-201-7/+11
* | | abc9 to use & syntax for -fast, and name fixesEddie Hung2019-02-201-5/+5
* | | abc9 to cope with indexed wires when creating $lut from $_NOT_Eddie Hung2019-02-191-1/+6
* | | abc9 to replace $_NOT_ with $lutEddie Hung2019-02-191-4/+39
* | | Get rid of debugging stuff in abc9Eddie Hung2019-02-161-6/+1
* | | abc9 to write_aiger with -O option, and ignore dummy outputsEddie Hung2019-02-161-2/+8
* | | abc9 to handle comb loops, cope with constant outputs, disconnect using new wireEddie Hung2019-02-161-4/+67
* | | expose command to not skip 'internal' wires beginning with '$'Eddie Hung2019-02-161-1/+1
* | | abc9 to cope with non-wideports, count cells properlyEddie Hung2019-02-161-11/+54
* | | Move lookup inside ifEddie Hung2019-02-151-2/+2
* | | RefactorEddie Hung2019-02-151-29/+32
* | | Cope with width != 1 when re-mapping cellsEddie Hung2019-02-151-11/+25
* | | abc9 to stitch results with CI/CO properlyEddie Hung2019-02-151-16/+32
* | | Fix stitchingEddie Hung2019-02-131-4/+4
* | | Merge remote-tracking branch 'origin/read_aiger' into xaigEddie Hung2019-02-131-0/+2
|\ \ \
| * | | Missing headers for Xcode?Eddie Hung2019-02-121-0/+2
* | | | Merge https://github.com/YosysHQ/yosys into xaigEddie Hung2019-02-131-1/+2
|\ \ \ \ | | |/ / | |/| |
| * | | fsm_opt: Fix runtime error for FSMs without a reset stateDavid Shah2019-02-071-1/+2
| |/ /
* | | Rip out some more stuffEddie Hung2019-02-131-36/+0
* | | Rip out unused functions in abc9Eddie Hung2019-02-121-416/+61
* | | WIP for ABC with aigerEddie Hung2019-02-121-130/+19
* | | Compile abc9Eddie Hung2019-02-082-8/+9
* | | Copy abc.cc to abc9.ccEddie Hung2019-02-081-0/+1868
|/ /
* | proc_clean: fix critical typo.whitequark2019-01-231-1/+1
* | proc_clean: fix fully def check to consider compare/signal length.whitequark2019-01-181-1/+7
|/
* flowmap: clean up terminology.whitequark2019-01-081-17/+18