aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Decompose mux inputs in delay-orientated (rather than area) fashionEddie Hung2019-07-081-18/+30
* Do not call opt -mux_undef (part of -full) before muxcoverEddie Hung2019-07-081-1/+5
* Add one more commentEddie Hung2019-07-081-0/+3
* Less thinkingEddie Hung2019-07-081-3/+3
* RewordEddie Hung2019-07-081-2/+2
* synth_xilinx to call "synth -run coarse" with "-keepdc"Eddie Hung2019-07-081-2/+2
* Merge remote-tracking branch 'origin/eddie/synth_keepdc' into xc7muxEddie Hung2019-07-084-8/+25
|\
| * Add synth -keepdc to CHANGELOGEddie Hung2019-07-081-0/+1
| * Clarify 'wreduce -keepdc' docEddie Hung2019-07-081-1/+1
| * Add synth -keepdc optionEddie Hung2019-07-081-2/+13
| * Update muxcover doc as per @ZirconiumXEddie Hung2019-07-081-5/+10
* | Map $__XILINX_SHIFTX in a more balanced mannerEddie Hung2019-07-081-36/+49
* | CapitalisationEddie Hung2019-07-081-1/+1
* | Add synth_xilinx -widemux recommended valueEddie Hung2019-07-081-1/+1
* | Fixes for 2:1 muxesEddie Hung2019-07-082-5/+30
* | synth_xilinx -widemux=2 is minimum nowEddie Hung2019-07-081-4/+7
* | Parametric muxcover costs as per @daveshah1Eddie Hung2019-07-081-16/+14
* | Merge remote-tracking branch 'origin/eddie/muxcover_mux2' into xc7muxEddie Hung2019-07-081-5/+11
|\|
| * atoi -> stoiEddie Hung2019-07-081-5/+5
| * Add muxcover -mux2=cost optionEddie Hung2019-07-081-1/+7
* | atoi -> stoi as per @daveshah1Eddie Hung2019-07-081-1/+1
* | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-07-088-90/+60
|\|
| * Merge pull request #1159 from btut/fix/1090_segfault_cell_and_wireClifford Wolf2019-07-051-0/+3
| |\
| | * Throw runtime exception when trying to convert a c++-pointer to aBenedikt Tutzer2019-07-041-0/+3
| |/
| * Merge pull request #1156 from YosysHQ/eddie/fix_abc9_unknown_cellEddie Hung2019-07-033-6/+28
| |\
| | * write_xaiger to treat unknown cell connections as keep-sEddie Hung2019-07-021-6/+14
| | * Add testEddie Hung2019-07-022-0/+14
| * | Merge pull request #1147 from YosysHQ/clifford/fix1144Clifford Wolf2019-07-033-82/+26
| |\ \
| | * | Fix tests/various/specify.vClifford Wolf2019-07-032-8/+3
| | * | Some cleanups in "ignore specify parser"Clifford Wolf2019-07-032-80/+6
| | * | Comment out invalid syntaxEddie Hung2019-06-301-2/+2
| | * | Add test from #1144, and try reading without '-specify' flagEddie Hung2019-06-282-0/+16
| | * | Improve specify dummy parser, fixes #1144Clifford Wolf2019-06-281-2/+9
| * | | Merge pull request #1154 from whitequark/manual-sync-alwaysClifford Wolf2019-07-031-2/+3
| |\ \ \
| | * | | manual: explain the purpose of `sync always`.whitequark2019-07-021-2/+3
| | | |/ | | |/|
* | | | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-07-024-3/+27
|\| | |
| * | | Merge pull request #1150 from YosysHQ/eddie/script_from_wireEddie Hung2019-07-023-8/+60
| |\ \ \ | | |/ / | |/| |
| * | | Merge pull request #1153 from YosysHQ/dave/fix_multi_muxDavid Shah2019-07-023-3/+25
| |\ \ \
| | * | | memory_dff: Fix checking of feedback mux input when more than one muxDavid Shah2019-07-023-3/+25
| |/ / /
| * | | Fix read_verilog assert/assume/etc on default case label, fixes YosysHQ/Symbi...Clifford Wolf2019-07-021-0/+2
* | | | Merge remote-tracking branch 'origin/eddie/script_from_wire' into xc7muxEddie Hung2019-07-023-10/+13
|\ \ \ \ | | |/ / | |/| |
| * | | Update test for Pass::call_on_module()Eddie Hung2019-07-021-1/+1
| * | | Use Pass::call_on_module() as per @cliffordwolf commentsEddie Hung2019-07-021-1/+1
| * | | Update test tooEddie Hung2019-07-021-2/+2
| * | | script -select -> script -scriptwireEddie Hung2019-07-022-6/+6
| * | | SpaceEddie Hung2019-07-011-0/+1
| * | | Move CHANGELOG entry from yosys-0.8 to 0.9Eddie Hung2019-07-011-7/+1
| * | | Merge branch 'master' into eddie/script_from_wireEddie Hung2019-07-014-5/+15
| |\| |
| * | | Merge branch 'master' into eddie/script_from_wireEddie Hung2019-06-281-1/+1
| |\ \ \
| * | | | Try command in another moduleEddie Hung2019-06-281-0/+3