Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix broken CI, check reset even for constants, trim rstmux | Eddie Hung | 2019-10-02 | 2 | -25/+28 |
* | Fix test | Eddie Hung | 2019-10-02 | 1 | -2/+12 |
* | Merge branch 'eddie/fix_sat_init' into eddie/fix1427 | Eddie Hung | 2019-10-02 | 2 | -1/+24 |
|\ | |||||
| * | Be mindful that sigmap(wire) could have dupes when checking \init | Eddie Hung | 2019-10-02 | 1 | -1/+4 |
| * | Add test that is expecting to fail | Eddie Hung | 2019-10-02 | 1 | -0/+20 |
* | | Update test | Eddie Hung | 2019-10-02 | 1 | -13/+3 |
* | | Refactor peepopt_dffmux and be sensitive to \init when trimming | Eddie Hung | 2019-10-02 | 1 | -32/+63 |
* | | Add test | Eddie Hung | 2019-10-02 | 1 | -0/+31 |
* | | log_dump() to support State enum | Eddie Hung | 2019-10-02 | 3 | -0/+6 |
|/ | |||||
* | Merge pull request #1428 from YosysHQ/clifford/fixbtor | Clifford Wolf | 2019-10-02 | 1 | -6/+9 |
|\ | |||||
| * | Fix btor back-end to use "state" instead of "input" for undef init bits | Clifford Wolf | 2019-10-02 | 1 | -6/+9 |
|/ | |||||
* | Merge pull request #1426 from YosysHQ/mmicko/fix_environ | Miodrag Milanović | 2019-10-01 | 1 | -0/+2 |
|\ | |||||
| * | Define environ, fixes #1424 | Miodrag Milanovic | 2019-10-01 | 1 | -0/+2 |
|/ | |||||
* | Fix typo | Eddie Hung | 2019-09-30 | 1 | -1/+1 |
* | Update doc for equiv_opt | Eddie Hung | 2019-09-30 | 1 | -2/+3 |
* | Merge pull request #1406 from whitequark/connect_rpc | whitequark | 2019-09-30 | 11 | -0/+1767 |
|\ | |||||
| * | rpc: new frontend. | whitequark | 2019-09-30 | 9 | -0/+744 |
| * | libs: import json11. | whitequark | 2019-09-30 | 3 | -0/+1023 |
* | | Merge pull request #1397 from btut/fix/python_wrappers_inline_constructors | Eddie Hung | 2019-09-30 | 1 | -0/+2 |
|\ \ | |||||
| * | | Generate Python wrappers for inline constructors | Benedikt Tutzer | 2019-09-23 | 1 | -0/+2 |
* | | | Merge pull request #1416 from YosysHQ/mmicko/frontend_binary_in | Miodrag Milanović | 2019-09-30 | 4 | -6/+10 |
|\ \ \ | |||||
| * | | | Fix reading aig files on windows | Miodrag Milanovic | 2019-09-29 | 1 | -1/+5 |
| * | | | Open aig frontend as binary file | Miodrag Milanovic | 2019-09-29 | 4 | -5/+5 |
* | | | | Bump version | Clifford Wolf | 2019-09-30 | 1 | -1/+1 |
* | | | | Merge pull request #1412 from YosysHQ/eddie/equiv_opt_async2sync | Clifford Wolf | 2019-09-30 | 1 | -0/+2 |
|\ \ \ \ | |||||
| * | | | | equiv_opt to call async2sync when not -multiclock like SymbiYosys | Eddie Hung | 2019-09-27 | 1 | -0/+2 |
* | | | | | Merge pull request #1417 from YosysHQ/clifford/fixasync2sync | Clifford Wolf | 2019-09-30 | 1 | -0/+1 |
|\ \ \ \ \ | |||||
| * | | | | | Fix $dlatch handling in async2sync | Clifford Wolf | 2019-09-30 | 1 | -0/+1 |
|/ / / / / | |||||
* | | | | | Add latch test modified from #1363 | Eddie Hung | 2019-09-30 | 2 | -0/+73 |
* | | | | | Add LDCE/LDPE sim library, remove from *cells_xtra.{v,py} | Eddie Hung | 2019-09-30 | 6 | -122/+46 |
* | | | | | synth_xilinx: Support latches, remove used-up FF init values. | Marcin Kościelnicki | 2019-09-30 | 3 | -2/+77 |
* | | | | | Merge pull request #1414 from hzeller/improve-replace-with-empty-map | Eddie Hung | 2019-09-29 | 1 | -0/+2 |
|\ \ \ \ \ | |||||
| * | | | | | Avoid work in replace() if rules empty. | Henner Zeller | 2019-09-29 | 1 | -0/+2 |
* | | | | | | Merge pull request #1359 from YosysHQ/xc7dsp | Eddie Hung | 2019-09-29 | 44 | -281/+6234 |
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | | | |||||
| * | | | | | Re-order | Eddie Hung | 2019-09-27 | 2 | -2/+2 |
| * | | | | | Missing (* mul2dsp *) for sliceB | Eddie Hung | 2019-09-27 | 1 | -2/+2 |
| * | | | | | Ooops AREG and BREG to default to -1 | Eddie Hung | 2019-09-27 | 1 | -2/+2 |
| * | | | | | Update doc with max cascade chain of 20 | Eddie Hung | 2019-09-26 | 1 | -2/+4 |
| * | | | | | Do not always zero out C (e.g. during cascade breaks) | Eddie Hung | 2019-09-26 | 2 | -7/+3 |
| * | | | | | Update doc | Eddie Hung | 2019-09-26 | 1 | -1/+2 |
| * | | | | | Zero out ports | Eddie Hung | 2019-09-26 | 1 | -2/+2 |
| * | | | | | xilinx_dsp_cascade to also cascade AREG and BREG | Eddie Hung | 2019-09-26 | 2 | -454/+172 |
| * | | | | | Try recursive pmgen for P cascade | Eddie Hung | 2019-09-26 | 1 | -88/+118 |
| * | | | | | Combine 'flatten' & 'coarse' labels in synth_ecp5 so proc run once | Eddie Hung | 2019-09-26 | 1 | -9/+4 |
| * | | | | | Typo | Eddie Hung | 2019-09-26 | 1 | -1/+1 |
| * | | | | | CREG to check for \keep | Eddie Hung | 2019-09-26 | 1 | -0/+3 |
| * | | | | | Remove newline | Eddie Hung | 2019-09-26 | 1 | -1/+0 |
| * | | | | | select once | Eddie Hung | 2019-09-26 | 2 | -8/+12 |
| * | | | | | Stop trying to be too smart by prematurely optimising | Eddie Hung | 2019-09-26 | 3 | -38/+14 |
| * | | | | | mul2dsp.v slice names | Eddie Hung | 2019-09-25 | 1 | -5/+5 |