Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge remote-tracking branch 'origin/master' into xaig_dff | Eddie Hung | 2019-10-08 | 8 | -120/+458 |
|\ | |||||
| * | Revert "Be mindful that sigmap(wire) could have dupes when checking \init" | Eddie Hung | 2019-10-08 | 1 | -4/+1 |
| * | Merge pull request #1432 from YosysHQ/eddie/fix1427 | Eddie Hung | 2019-10-08 | 2 | -48/+85 |
| |\ | |||||
| | * | Fix broken CI, check reset even for constants, trim rstmux | Eddie Hung | 2019-10-02 | 1 | -23/+26 |
| | * | Merge branch 'eddie/fix_sat_init' into eddie/fix1427 | Eddie Hung | 2019-10-02 | 1 | -1/+4 |
| | |\ | |||||
| | | * | Be mindful that sigmap(wire) could have dupes when checking \init | Eddie Hung | 2019-10-02 | 1 | -1/+4 |
| | * | | Refactor peepopt_dffmux and be sensitive to \init when trimming | Eddie Hung | 2019-10-02 | 1 | -32/+63 |
| | |/ | |||||
| * | | Merge pull request #1433 from YosysHQ/eddie/equiv_opt_async2sync | Eddie Hung | 2019-10-08 | 1 | -4/+15 |
| |\ \ | |||||
| | * | | Add -async2sync to help text as per @daveshah1 | Eddie Hung | 2019-10-04 | 1 | -1/+4 |
| | * | | Restore part of doc | Eddie Hung | 2019-10-03 | 1 | -1/+2 |
| | * | | Add new -async2sync option | Eddie Hung | 2019-10-03 | 1 | -1/+11 |
| | * | | Revert "equiv_opt to call async2sync when not -multiclock like SymbiYosys" | Eddie Hung | 2019-10-03 | 1 | -2/+0 |
| | * | | Revert "Update doc for equiv_opt" | Eddie Hung | 2019-10-03 | 1 | -3/+2 |
| | |/ | |||||
| * | | Merge pull request #1437 from YosysHQ/eddie/abc_to_abc9 | Eddie Hung | 2019-10-08 | 1 | -68/+67 |
| |\ \ | |||||
| | * \ | Merge branch 'master' into eddie/abc_to_abc9 | Eddie Hung | 2019-10-04 | 2 | -4/+15 |
| | |\ \ | |||||
| * | \ \ | Merge pull request #1438 from YosysHQ/eddie/xilinx_dsp_comments | Eddie Hung | 2019-10-08 | 4 | -68/+356 |
| |\ \ \ \ | |||||
| | * | | | | Missed this | Eddie Hung | 2019-10-05 | 1 | -3/+4 |
| | * | | | | Add comment on why we have to match for clock-enable/reset muxes | Eddie Hung | 2019-10-05 | 3 | -3/+11 |
| | * | | | | Add note on pattern detector | Eddie Hung | 2019-10-05 | 1 | -3/+7 |
| | * | | | | Add comments for xilinx_dsp_cascade | Eddie Hung | 2019-10-04 | 1 | -12/+100 |
| | * | | | | Improve comments for xilinx_dsp_CREG | Eddie Hung | 2019-10-04 | 1 | -6/+7 |
| | * | | | | Fix comment | Eddie Hung | 2019-10-04 | 1 | -1/+1 |
| | * | | | | Restore optimisation for sigM.empty() | Eddie Hung | 2019-10-04 | 1 | -1/+4 |
| | * | | | | Retry on fixing TODOs | Eddie Hung | 2019-10-04 | 2 | -13/+1 |
| | * | | | | Revert "Fix TODOs" | Eddie Hung | 2019-10-04 | 2 | -0/+20 |
| | * | | | | More comments, cleanup | Eddie Hung | 2019-10-04 | 2 | -41/+108 |
| | * | | | | Fix TODOs | Eddie Hung | 2019-10-04 | 2 | -20/+0 |
| | * | | | | Consistency | Eddie Hung | 2019-10-04 | 1 | -3/+3 |
| | * | | | | Add comments for xilinx_dsp | Eddie Hung | 2019-10-04 | 3 | -6/+134 |
| | | |/ / | | |/| | | |||||
| * | | | | Merge pull request #1439 from YosysHQ/eddie/fix_ice40_wrapcarry | Clifford Wolf | 2019-10-06 | 1 | -0/+4 |
| |\ \ \ \ | |||||
| | * | | | | Missing 'accept' at end of ice40_wrapcarry, spotted by @cliffordwolf | Eddie Hung | 2019-10-05 | 1 | -0/+4 |
| | |/ / / | |||||
| * | | | | Update README.md | Clifford Wolf | 2019-10-05 | 1 | -1/+1 |
| * | | | | Merge pull request #1436 from YosysHQ/mmicko/msvc_fix | Miodrag Milanović | 2019-10-05 | 1 | -0/+1 |
| |\ \ \ \ | | |/ / / | |/| | | | |||||
| | * | | | Fixes for MSVC build | Miodrag Milanovic | 2019-10-04 | 1 | -0/+1 |
* | | | | | Use "abc9_period" attribute for delay target | Eddie Hung | 2019-10-07 | 1 | -3/+24 |
* | | | | | Do not require changes to cells_sim.v; try and work out comb model | Eddie Hung | 2019-10-05 | 1 | -30/+6 |
* | | | | | Fix from merge | Eddie Hung | 2019-10-04 | 1 | -1/+1 |
* | | | | | Merge remote-tracking branch 'origin/master' into xaig_dff | Eddie Hung | 2019-10-04 | 2 | -3/+15 |
|\| | | | | |||||
| * | | | | Add temporary `abc9 -nomfs` and use for `synth_xilinx -abc9` | Eddie Hung | 2019-10-04 | 1 | -3/+13 |
| * | | | | Fix xilinx_dsp for unsigned extensions | Eddie Hung | 2019-10-04 | 1 | -1/+3 |
| |/ / / | |||||
* | | | | Fix merge issues | Eddie Hung | 2019-10-04 | 2 | -10/+2 |
* | | | | Merge remote-tracking branch 'origin/eddie/abc_to_abc9' into xaig_dff | Eddie Hung | 2019-10-04 | 1 | -68/+67 |
|\ \ \ \ | | |/ / | |/| | | |||||
| * | | | Rename abc_* names/attributes to more precisely be abc9_* | Eddie Hung | 2019-10-04 | 1 | -65/+65 |
| |/ / | |||||
* | | | Merge remote-tracking branch 'origin/master' into xaig_dff | Eddie Hung | 2019-10-03 | 2 | -27/+69 |
|\| | | |||||
| * | | Merge pull request #1422 from YosysHQ/eddie/aigmap_select | Clifford Wolf | 2019-10-03 | 1 | -6/+40 |
| |\ \ | |||||
| | * | | Add -select option to aigmap | Eddie Hung | 2019-09-30 | 1 | -6/+40 |
| | |/ | |||||
| * | | Merge pull request #1429 from YosysHQ/clifford/checkmapped | Clifford Wolf | 2019-10-03 | 1 | -27/+55 |
| |\ \ | |||||
| | * | | Add "check -allow-tbuf" | Clifford Wolf | 2019-10-03 | 1 | -8/+22 |
| | * | | Add "check -mapped" | Clifford Wolf | 2019-10-02 | 1 | -21/+35 |
| | |/ | |||||
| * | | Also rename cells with _TECHMAP_REPLACE_. prefix, as per @cliffordwolf | Eddie Hung | 2019-10-02 | 1 | -4/+8 |