aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | Add logic param and integer bad syntax testsKamil Rakoczy2020-07-063-0/+21
| * | | | Support logic typed parametersLukasz Dalek2020-07-061-7/+10
* | | | | clk2fflogic: Consistently treat async control signals as negative hold.Marcelina Kościelnicka2020-07-098-88/+82
* | | | | dfflegalize: Add special support for const-D latches.Marcelina Kościelnicka2020-07-092-0/+71
* | | | | Merge pull request #2246 from YosysHQ/mwk/dfflegalize-typowhitequark2020-07-071-1/+1
|\ \ \ \ \
| * | | | | dfflegalize: typo fixMarcelina Kościelnicka2020-07-071-1/+1
|/ / / / /
* | | | | efinix: Use dfflegalize.Marcelina Kościelnicka2020-07-062-15/+53
* | | | | gowin: Use dfflegalize.Marcelina Kościelnicka2020-07-064-158/+49
|/ / / /
* | | | intel_alm: direct M10K instantiationDan Ravensloft2020-07-058-38/+128
* | | | Naming fixes.Marcelina Kościelnicka2020-07-052-2/+2
* | | | synth_gowin: ABC9 supportDan Ravensloft2020-07-053-35/+345
* | | | intel_alm: add Cyclone 10 GX testsDan Ravensloft2020-07-0511-2/+236
* | | | Merge pull request #2236 from YosysHQ/mwk/dfflegalize-ice40Marcelina Kościelnicka2020-07-054-208/+24
|\ \ \ \
| * | | | ice40: Use dfflegalize.Marcelina Kościelnicka2020-07-054-208/+24
* | | | | ecp5: Use dfflegalize.Marcelina Kościelnicka2020-07-054-254/+96
* | | | | Merge pull request #2227 from Ravenslofty/ccachewhitequark2020-07-051-0/+5
|\ \ \ \ \
| * | | | | Add option to use ccache when buildingDan Ravensloft2020-07-041-0/+5
| | |_|_|/ | |/| | |
* | | | | Merge pull request #2232 from YosysHQ/mwk/gowin-sim-initMarcelina Kościelnicka2020-07-051-8/+8
|\ \ \ \ \
| * | | | | gowin: Fix INIT values in sim library.Marcelina Kościelnicka2020-07-051-8/+8
| | |_|/ / | |/| | |
* | | | | dfflegalize: Prefer mapping dff to sdff before adffMarcelina Kościelnicka2020-07-051-1/+1
* | | | | opt_expr: Fix crash on $mul optimization with more zeros removed than Y has.Marcelina Kościelnicka2020-07-052-0/+24
* | | | | intel_alm: DSP inferenceDan Ravensloft2020-07-057-9/+209
| |_|/ / |/| | |
* | | | gowin: replace determine_init with setundefDan Ravensloft2020-07-043-74/+1
* | | | synth_intel_alm: Use dfflegalize.Marcelina Kościelnicka2020-07-043-122/+10
|/ / /
* | | Improve MISTRAL_FF specify rulesDan Ravensloft2020-07-042-6/+6
* | | tests: update fsm.ys resource countEddie Hung2020-07-041-4/+4
* | | abc9: only techmap (* abc9_flop *) modulesEddie Hung2020-07-041-1/+1
* | | intel_alm: compose $__MISTRAL_FF_SYNCONLY from MISTRAL_FFEddie Hung2020-07-042-47/+2
* | | abc9: techmap from user design to allow abc9_flop modules to be composedEddie Hung2020-07-041-1/+1
* | | intel_alm: add $__ prefix to MISTRAL_FF_SYNCONLYEddie Hung2020-07-044-4/+4
* | | intel_alm: ABC9 sequential optimisationsDan Ravensloft2020-07-047-19/+149
|/ /
* / Add newlines to help text for dfflegalizeRupert Swarbrick2020-07-031-11/+11
|/
* Merge pull request #2132 from YosysHQ/eddie/verific_initialclairexen2020-07-021-17/+36
|\
| * verific: rewrite initial assume/asserts prior to elaborationEddie Hung2020-05-151-17/+36
* | Merge pull request #2208 from boqwxp/qbfsat-cleanupclairexen2020-07-023-255/+274
|\ \
| * | qbfsat: Remove useless comment and #ifndef guards.Alberto Gonzalez2020-07-011-5/+0
| * | qbfsat: Specify default values for some options in the help message.Alberto Gonzalez2020-07-011-0/+2
| * | qbfsat: Clean up external executable command lines and update temporary direc...Alberto Gonzalez2020-07-011-3/+7
| * | qbfsat: Clean up and refactor data structures into `qbfsat.h`.Alberto Gonzalez2020-07-013-248/+266
* | | Merge pull request #2186 from YosysHQ/mwk/dfflegalizeclairexen2020-07-0220-0/+4316
|\ \ \
| * | | dfflegalize: Add tests.Marcelina Kościelnicka2020-07-0117-0/+2957
| * | | Add dfflegalize pass.Marcelina Kościelnicka2020-07-013-0/+1359
* | | | Merge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ffclairexen2020-07-021-2/+1
|\ \ \ \
| * | | | fmcombine: use the master ff cell type listMarcelina Kościelnicka2020-06-301-2/+1
| |/ / /
* | | | Merge pull request #2210 from YosysHQ/mwk/fix-opt_mergeclairexen2020-07-021-3/+1
|\ \ \ \
| * | | | opt_merge: use the master FF type listMarcelina Kościelnicka2020-06-301-3/+1
| |/ / /
* | | | Merge pull request #2195 from YosysHQ/mwk/manual-gatesclairexen2020-07-021-50/+201
|\ \ \ \ | |_|/ / |/| | |
| * | | Add latches to the manual.Marcelina Kościelnicka2020-06-261-42/+165
| * | | Add a few more gate types to the manual.Marcelina Kościelnicka2020-06-261-8/+36
* | | | Merge pull request #2203 from antmicro/fix-grammarclairexen2020-07-012-4/+38
|\ \ \ \