Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | Add comment with expected behavior for latches,tribuf tests;Update adffs test | SergeyDegtyar | 2019-10-17 | 4 | -14/+11 | |
| * | | | | Fix latches.ys test | SergeyDegtyar | 2019-10-17 | 1 | -4/+3 | |
| * | | | | Remove xilinx_ug901 tests (will be moved to yosys-tests) | SergeyDegtyar | 2019-10-17 | 89 | -2963/+0 | |
| * | | | | Add smoke tests to tests/xilinx | SergeyDegtyar | 2019-10-17 | 30 | -9/+655 | |
| * | | | | Add comments for unproven cells. | SergeyDegtyar | 2019-10-17 | 3 | -2/+3 | |
| * | | | | Add tests for Xilinx UG901 examples | SergeyDegtyar | 2019-10-17 | 89 | -0/+2962 | |
|/ / / / | ||||||
* | | | | Merge pull request #1450 from YosysHQ/clifford/fixdffmux | Clifford Wolf | 2019-10-16 | 5 | -155/+270 | |
|\ \ \ \ | ||||||
| * | | | | Fix dffmux peepopt init handling | Clifford Wolf | 2019-10-16 | 2 | -27/+113 | |
| * | | | | Move GENERATE_PATTERN macro to separate utility header | Clifford Wolf | 2019-10-16 | 3 | -128/+157 | |
|/ / / / | ||||||
* | | | | Disable left-over log_debug in peepopt_dffmux.pmg | Clifford Wolf | 2019-10-16 | 1 | -1/+1 | |
* | | | | Fix parsing of .cname BLIF statements | Clifford Wolf | 2019-10-16 | 1 | -1/+1 | |
* | | | | Add .blackbox support to blif front-end | Clifford Wolf | 2019-10-16 | 1 | -0/+6 | |
* | | | | Merge pull request #1448 from YosysHQ/daveshah1-sv-experiments | Clifford Wolf | 2019-10-14 | 17 | -20/+315 | |
|\ \ \ \ | ||||||
| * \ \ \ | Use "(id)" instead of "id" for types as temporary hack | Clifford Wolf | 2019-10-14 | 17 | -20/+315 | |
| |\ \ \ \ | ||||||
| | * | | | | frontends/ast: code style | David Shah | 2019-10-03 | 1 | -2/+1 | |
| | * | | | | sv: Improve tests | David Shah | 2019-10-03 | 8 | -7/+30 | |
| | * | | | | sv: Fix typedefs in blocks | David Shah | 2019-10-03 | 1 | -2/+2 | |
| | * | | | | sv: Disambiguate interface ports | David Shah | 2019-10-03 | 1 | -3/+19 | |
| | * | | | | Update CHANGELOG and README | David Shah | 2019-10-03 | 2 | -0/+3 | |
| | * | | | | sv: Add test scripts for typedefs | David Shah | 2019-10-03 | 5 | -0/+31 | |
| | * | | | | sv: Fix memories of typedefs | David Shah | 2019-10-03 | 1 | -1/+1 | |
| | * | | | | sv: Add %expect | David Shah | 2019-10-03 | 1 | -0/+1 | |
| | * | | | | sv: Add support for memories of a typedef | David Shah | 2019-10-03 | 2 | -6/+30 | |
| | * | | | | sv: Add support for memory typedefs | David Shah | 2019-10-03 | 3 | -3/+44 | |
| | * | | | | sv: Fix typedefs in packages | David Shah | 2019-10-03 | 2 | -4/+21 | |
| | * | | | | sv: Fix typedef parameters | David Shah | 2019-10-03 | 4 | -9/+70 | |
| | * | | | | sv: Switch parser to glr, prep for typedef | David Shah | 2019-10-03 | 6 | -11/+111 | |
* | | | | | | Merge pull request #1446 from YosysHQ/dave/ecp5-ioff | David Shah | 2019-10-14 | 3 | -8/+16 | |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | ||||||
| * | | | | | ecp5: Add ECLKBRIDGECS blackbox | David Shah | 2019-10-11 | 1 | -0/+7 | |
| * | | | | | ecp5: Add attrmvcp to copy syn_useioff to driving FF | David Shah | 2019-10-10 | 1 | -0/+1 | |
| * | | | | | ecp5: Set syn_useioff on IO FFs to enable packing | David Shah | 2019-10-10 | 1 | -8/+8 | |
|/ / / / / | ||||||
* | | | | | Merge pull request #1445 from YosysHQ/mwk/xilinx_ibufg | Miodrag Milanović | 2019-10-10 | 5 | -33/+14 | |
|\ \ \ \ \ | ||||||
| * | | | | | xilinx: Add simulation model for IBUFG. | Marcin Kościelnicki | 2019-10-10 | 5 | -33/+14 | |
|/ / / / / | ||||||
* | | | | | Revert "Add test that is expecting to fail" | Eddie Hung | 2019-10-08 | 1 | -20/+0 | |
* | | | | | 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 | 4 | -50/+145 | |
|\ \ \ \ \ | ||||||
| * | | | | | Use `sat -tempinduct` and comments for why equiv_opt not sufficient | Eddie Hung | 2019-10-03 | 1 | -1/+8 | |
| * | | | | | 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 | |
* | | | | | | | Merge pull request #1433 from YosysHQ/eddie/equiv_opt_async2sync | Eddie Hung | 2019-10-08 | 3 | -13/+19 | |
|\ \ \ \ \ \ \ | ||||||
| * | | | | | | | 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 | |
| * | | | | | | | Disable equiv check for ice40 latches | Eddie Hung | 2019-10-03 | 1 | -6/+3 | |
| * | | | | | | | Add new -async2sync option | Eddie Hung | 2019-10-03 | 1 | -1/+11 |