Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | Add logic param and integer bad syntax tests | Kamil Rakoczy | 2020-07-06 | 3 | -0/+21 | |
| * | | | | Support logic typed parameters | Lukasz Dalek | 2020-07-06 | 1 | -7/+10 | |
* | | | | | clk2fflogic: Consistently treat async control signals as negative hold. | Marcelina Kościelnicka | 2020-07-09 | 8 | -88/+82 | |
* | | | | | dfflegalize: Add special support for const-D latches. | Marcelina Kościelnicka | 2020-07-09 | 2 | -0/+71 | |
* | | | | | Merge pull request #2246 from YosysHQ/mwk/dfflegalize-typo | whitequark | 2020-07-07 | 1 | -1/+1 | |
|\ \ \ \ \ | ||||||
| * | | | | | dfflegalize: typo fix | Marcelina Kościelnicka | 2020-07-07 | 1 | -1/+1 | |
|/ / / / / | ||||||
* | | | | | efinix: Use dfflegalize. | Marcelina Kościelnicka | 2020-07-06 | 2 | -15/+53 | |
* | | | | | gowin: Use dfflegalize. | Marcelina Kościelnicka | 2020-07-06 | 4 | -158/+49 | |
|/ / / / | ||||||
* | | | | intel_alm: direct M10K instantiation | Dan Ravensloft | 2020-07-05 | 8 | -38/+128 | |
* | | | | Naming fixes. | Marcelina Kościelnicka | 2020-07-05 | 2 | -2/+2 | |
* | | | | synth_gowin: ABC9 support | Dan Ravensloft | 2020-07-05 | 3 | -35/+345 | |
* | | | | intel_alm: add Cyclone 10 GX tests | Dan Ravensloft | 2020-07-05 | 11 | -2/+236 | |
* | | | | Merge pull request #2236 from YosysHQ/mwk/dfflegalize-ice40 | Marcelina Kościelnicka | 2020-07-05 | 4 | -208/+24 | |
|\ \ \ \ | ||||||
| * | | | | ice40: Use dfflegalize. | Marcelina Kościelnicka | 2020-07-05 | 4 | -208/+24 | |
* | | | | | ecp5: Use dfflegalize. | Marcelina Kościelnicka | 2020-07-05 | 4 | -254/+96 | |
* | | | | | Merge pull request #2227 from Ravenslofty/ccache | whitequark | 2020-07-05 | 1 | -0/+5 | |
|\ \ \ \ \ | ||||||
| * | | | | | Add option to use ccache when building | Dan Ravensloft | 2020-07-04 | 1 | -0/+5 | |
| | |_|_|/ | |/| | | | ||||||
* | | | | | Merge pull request #2232 from YosysHQ/mwk/gowin-sim-init | Marcelina Kościelnicka | 2020-07-05 | 1 | -8/+8 | |
|\ \ \ \ \ | ||||||
| * | | | | | gowin: Fix INIT values in sim library. | Marcelina Kościelnicka | 2020-07-05 | 1 | -8/+8 | |
| | |_|/ / | |/| | | | ||||||
* | | | | | dfflegalize: Prefer mapping dff to sdff before adff | Marcelina Kościelnicka | 2020-07-05 | 1 | -1/+1 | |
* | | | | | opt_expr: Fix crash on $mul optimization with more zeros removed than Y has. | Marcelina Kościelnicka | 2020-07-05 | 2 | -0/+24 | |
* | | | | | intel_alm: DSP inference | Dan Ravensloft | 2020-07-05 | 7 | -9/+209 | |
| |_|/ / |/| | | | ||||||
* | | | | gowin: replace determine_init with setundef | Dan Ravensloft | 2020-07-04 | 3 | -74/+1 | |
* | | | | synth_intel_alm: Use dfflegalize. | Marcelina Kościelnicka | 2020-07-04 | 3 | -122/+10 | |
|/ / / | ||||||
* | | | Improve MISTRAL_FF specify rules | Dan Ravensloft | 2020-07-04 | 2 | -6/+6 | |
* | | | tests: update fsm.ys resource count | Eddie Hung | 2020-07-04 | 1 | -4/+4 | |
* | | | abc9: only techmap (* abc9_flop *) modules | Eddie Hung | 2020-07-04 | 1 | -1/+1 | |
* | | | intel_alm: compose $__MISTRAL_FF_SYNCONLY from MISTRAL_FF | Eddie Hung | 2020-07-04 | 2 | -47/+2 | |
* | | | abc9: techmap from user design to allow abc9_flop modules to be composed | Eddie Hung | 2020-07-04 | 1 | -1/+1 | |
* | | | intel_alm: add $__ prefix to MISTRAL_FF_SYNCONLY | Eddie Hung | 2020-07-04 | 4 | -4/+4 | |
* | | | intel_alm: ABC9 sequential optimisations | Dan Ravensloft | 2020-07-04 | 7 | -19/+149 | |
|/ / | ||||||
* / | Add newlines to help text for dfflegalize | Rupert Swarbrick | 2020-07-03 | 1 | -11/+11 | |
|/ | ||||||
* | Merge pull request #2132 from YosysHQ/eddie/verific_initial | clairexen | 2020-07-02 | 1 | -17/+36 | |
|\ | ||||||
| * | verific: rewrite initial assume/asserts prior to elaboration | Eddie Hung | 2020-05-15 | 1 | -17/+36 | |
* | | Merge pull request #2208 from boqwxp/qbfsat-cleanup | clairexen | 2020-07-02 | 3 | -255/+274 | |
|\ \ | ||||||
| * | | qbfsat: Remove useless comment and #ifndef guards. | Alberto Gonzalez | 2020-07-01 | 1 | -5/+0 | |
| * | | qbfsat: Specify default values for some options in the help message. | Alberto Gonzalez | 2020-07-01 | 1 | -0/+2 | |
| * | | qbfsat: Clean up external executable command lines and update temporary direc... | Alberto Gonzalez | 2020-07-01 | 1 | -3/+7 | |
| * | | qbfsat: Clean up and refactor data structures into `qbfsat.h`. | Alberto Gonzalez | 2020-07-01 | 3 | -248/+266 | |
* | | | Merge pull request #2186 from YosysHQ/mwk/dfflegalize | clairexen | 2020-07-02 | 20 | -0/+4316 | |
|\ \ \ | ||||||
| * | | | dfflegalize: Add tests. | Marcelina Kościelnicka | 2020-07-01 | 17 | -0/+2957 | |
| * | | | Add dfflegalize pass. | Marcelina Kościelnicka | 2020-07-01 | 3 | -0/+1359 | |
* | | | | Merge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff | clairexen | 2020-07-02 | 1 | -2/+1 | |
|\ \ \ \ | ||||||
| * | | | | fmcombine: use the master ff cell type list | Marcelina Kościelnicka | 2020-06-30 | 1 | -2/+1 | |
| |/ / / | ||||||
* | | | | Merge pull request #2210 from YosysHQ/mwk/fix-opt_merge | clairexen | 2020-07-02 | 1 | -3/+1 | |
|\ \ \ \ | ||||||
| * | | | | opt_merge: use the master FF type list | Marcelina Kościelnicka | 2020-06-30 | 1 | -3/+1 | |
| |/ / / | ||||||
* | | | | Merge pull request #2195 from YosysHQ/mwk/manual-gates | clairexen | 2020-07-02 | 1 | -50/+201 | |
|\ \ \ \ | |_|/ / |/| | | | ||||||
| * | | | Add latches to the manual. | Marcelina Kościelnicka | 2020-06-26 | 1 | -42/+165 | |
| * | | | Add a few more gate types to the manual. | Marcelina Kościelnicka | 2020-06-26 | 1 | -8/+36 | |
* | | | | Merge pull request #2203 from antmicro/fix-grammar | clairexen | 2020-07-01 | 2 | -4/+38 | |
|\ \ \ \ |