projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2020-08-05 Sahand KashaniAdd support for real-valued parameters + preserve type... commit | commitdiff | tree
2020-07-23 Sahand KashaniAdd firrtl backend support for generic parameters in... commit | commitdiff | tree
2020-07-21 clairexenMerge pull request #2215 from boqwxp/qbfsat-solver... commit | commitdiff | tree
2020-07-20 Alberto Gonzalezsmtio: Emit `mode: start` options before `set-logic... commit | commitdiff | tree
2020-07-20 Alberto Gonzalezsmtio: Add support for parsing `yosys-smt2-solver-optio... commit | commitdiff | tree
2020-07-20 Alberto Gonzalezqbfsat: Add `-solver-option` option. commit | commitdiff | tree
2020-07-20 Alberto Gonzalezsmt2: Add `-solver-option` option. commit | commitdiff | tree
2020-07-20 clairexenMerge pull request #2282 from YosysHQ/claire/satunsat commit | commitdiff | tree
2020-07-20 Marcelina Kościelnickacelltypes: Fix EN port name for some FF types. commit | commitdiff | tree
2020-07-20 Claire WolfOnly allow "sat" and "unsat" smt solver responses in... commit | commitdiff | tree
2020-07-20 clairexenMerge pull request #2276 from YosysHQ/mwk/satgen-cc commit | commitdiff | tree
2020-07-18 Marcelina Kościelnickasatgen: Move importCell out of the header. commit | commitdiff | tree
2020-07-17 Miodrag MilanovićMerge pull request #2275 from YosysHQ/mwk/sf2-clkint-fix commit | commitdiff | tree
2020-07-17 Marcelina Kościelnickasf2: Emit CLKINT even if -clkbuf not passed commit | commitdiff | tree
2020-07-17 Miodrag MilanovićMerge pull request #2274 from YosysHQ/mwk/anlogic-ff-fix commit | commitdiff | tree
2020-07-17 Marcelina Kościelnickaanlogic: Fix FF mapping. commit | commitdiff | tree
2020-07-16 clairexenMerge pull request #2229 from Ravenslofty/sf2_remove_sf... commit | commitdiff | tree
2020-07-16 clairexenMerge pull request #2273 from whitequark/write-verilog... commit | commitdiff | tree
2020-07-16 clairexenMerge pull request #2272 from whitequark/write-verilog-sv commit | commitdiff | tree
2020-07-16 Miodrag MilanovićMerge pull request #2238 from YosysHQ/mwk/dfflegalize... commit | commitdiff | tree
2020-07-16 Miodrag MilanovićMerge pull request #2226 from YosysHQ/mwk/nuke-efinix... commit | commitdiff | tree
2020-07-16 whitequarkverilog_backend: in non-SV mode, add a trigger for... commit | commitdiff | tree
2020-07-16 whitequarkverilog_backend: add `-sv` option, make `-o <filename... commit | commitdiff | tree
2020-07-16 whitequarkMerge pull request #2270 from whitequark/cxxrtl-fix... commit | commitdiff | tree
2020-07-15 whitequarkMerge pull request #2269 from YosysHQ/claire/bisonwall commit | commitdiff | tree
2020-07-15 Claire WolfTreat all bison warnings as errors in verilog front-end commit | commitdiff | tree
2020-07-15 Claire WolfUse %precedence in verilog_parser.y commit | commitdiff | tree
2020-07-15 Claire WolfFix bison warnings for missing %empty commit | commitdiff | tree
2020-07-15 Claire WolfRun bison with -Wall for verilog front-end commit | commitdiff | tree
2020-07-15 clairexenMerge pull request #2257 from antmicro/fix-conflicts commit | commitdiff | tree
2020-07-15 Kamil RakoczyAdd missing semicolons commit | commitdiff | tree
2020-07-15 Marcelina Kościelnickaopt_merge: Dedup one more use of FF cell type list. commit | commitdiff | tree
2020-07-14 Marcelina Kościelnickaachronix: Use dfflegalize. commit | commitdiff | tree
2020-07-14 whitequarkcxxrtl: fix typo. NFC. commit | commitdiff | tree
2020-07-14 Marcelina Kościelnickaanlogic: Use dfflegalize. commit | commitdiff | tree
2020-07-13 Marcelina Kościelnickaintel: Use dfflegalize. commit | commitdiff | tree
2020-07-13 LoftyRevert "intel_alm: direct M10K instantiation" commit | commitdiff | tree
2020-07-13 whitequarkMerge pull request #2263 from whitequark/cxxrtl-capi... commit | commitdiff | tree
2020-07-12 whitequarkcxxrtl: expose eval() and commit() via the C API. commit | commitdiff | tree
2020-07-12 Marcelina Kościelnickaxilinx: Fix srl regression. commit | commitdiff | tree
2020-07-12 Marcelina Kościelnickaproc_dlatch: Remove init values for combinatorial proce... commit | commitdiff | tree
2020-07-12 Marcelina Kościelnickadfflegalize: Gather init values from all wires. commit | commitdiff | tree
2020-07-10 clairexenMerge pull request #2256 from YosysHQ/claire/fix2241 commit | commitdiff | tree
2020-07-10 Claire WolfAdd AST_EDGE support to AstNode::detect_latch(), fixes... commit | commitdiff | tree
2020-07-10 Kamil RakoczyFix S/R conflicts commit | commitdiff | tree
2020-07-10 Kamil RakoczyFix R/R conflicts commit | commitdiff | tree
2020-07-10 Kamil RakoczyRevert "Revert PRs #2203 and #2244." commit | commitdiff | tree
2020-07-09 Dan Ravensloftsf2: replace sf2_iobs with {clkbuf,iopad}map commit | commitdiff | tree
2020-07-09 whitequarkMerge pull request #2255 from whitequark/bison-Werror... commit | commitdiff | tree
2020-07-09 whitequarkMerge pull request #2254 from whitequark/cxxrtl-extern-c commit | commitdiff | tree
2020-07-09 Marcelina Kościelnickasf2: Use dfflegalize. commit | commitdiff | tree
2020-07-09 whitequarkverilog_parser: turn S/R and R/R conflicts into hard... commit | commitdiff | tree
2020-07-09 whitequarkRevert PRs #2203 and #2244. commit | commitdiff | tree
2020-07-09 whitequarkcxxrtl: add missing extern "C". commit | commitdiff | tree
2020-07-09 Marcelina Kościelnickaxilinx: Use dfflegalize. commit | commitdiff | tree
2020-07-09 Marcelina Kościelnickadfflibmap: Refactor to use dfflegalize internally. commit | commitdiff | tree
2020-07-09 Lucas CastroFix issue #2251 (#2252) commit | commitdiff | tree
2020-07-09 Marcelina Kościelnickaclkbufmap: improve input pad handling. commit | commitdiff | tree
2020-07-09 clairexenMerge pull request #2244 from antmicro/logic commit | commitdiff | tree
2020-07-09 Marcelina Kościelnickaclk2fflogic: Consistently treat async control signals... commit | commitdiff | tree
2020-07-09 Marcelina Kościelnickadfflegalize: Add special support for const-D latches. commit | commitdiff | tree
2020-07-07 whitequarkMerge pull request #2246 from YosysHQ/mwk/dfflegalize... commit | commitdiff | tree
2020-07-07 Marcelina Kościelnickadfflegalize: typo fix commit | commitdiff | tree
2020-07-06 Marcelina Kościelnickaefinix: Use dfflegalize. commit | commitdiff | tree
2020-07-06 Marcelina Kościelnickagowin: Use dfflegalize. commit | commitdiff | tree
2020-07-06 Kamil RakoczyAdd logic param and integer bad syntax tests commit | commitdiff | tree
2020-07-06 Lukasz DalekSupport logic typed parameters commit | commitdiff | tree
2020-07-05 Dan Ravensloftintel_alm: direct M10K instantiation commit | commitdiff | tree
2020-07-05 Marcelina KościelnickaNaming fixes. commit | commitdiff | tree
2020-07-05 Dan Ravensloftsynth_gowin: ABC9 support commit | commitdiff | tree
2020-07-05 Dan Ravensloftintel_alm: add Cyclone 10 GX tests commit | commitdiff | tree
2020-07-05 Marcelina KościelnickaMerge pull request #2236 from YosysHQ/mwk/dfflegalize... commit | commitdiff | tree
2020-07-05 Marcelina Kościelnickaecp5: Use dfflegalize. commit | commitdiff | tree
2020-07-05 whitequarkMerge pull request #2227 from Ravenslofty/ccache commit | commitdiff | tree
2020-07-05 Marcelina KościelnickaMerge pull request #2232 from YosysHQ/mwk/gowin-sim... commit | commitdiff | tree
2020-07-05 Marcelina Kościelnickadfflegalize: Prefer mapping dff to sdff before adff commit | commitdiff | tree
2020-07-05 Marcelina Kościelnickaopt_expr: Fix crash on $mul optimization with more... commit | commitdiff | tree
2020-07-05 Dan Ravensloftintel_alm: DSP inference commit | commitdiff | tree
2020-07-05 Marcelina Kościelnickaice40: Use dfflegalize. commit | commitdiff | tree
2020-07-05 Marcelina Kościelnickagowin: Fix INIT values in sim library. commit | commitdiff | tree
2020-07-04 Dan Ravensloftgowin: replace determine_init with setundef commit | commitdiff | tree
2020-07-04 Marcelina Kościelnickasynth_intel_alm: Use dfflegalize. commit | commitdiff | tree
2020-07-04 Dan RavensloftAdd option to use ccache when building commit | commitdiff | tree
2020-07-04 Marcelina Kościelnickaefinix: Nuke efinix_gbuf in favor of clkbufmap. commit | commitdiff | tree
2020-07-04 Dan RavensloftImprove MISTRAL_FF specify rules commit | commitdiff | tree
2020-07-04 Eddie Hungtests: update fsm.ys resource count commit | commitdiff | tree
2020-07-04 Eddie Hungabc9: only techmap (* abc9_flop *) modules commit | commitdiff | tree
2020-07-04 Eddie Hungintel_alm: compose $__MISTRAL_FF_SYNCONLY from MISTRAL_FF commit | commitdiff | tree
2020-07-04 Eddie Hungabc9: techmap from user design to allow abc9_flop modul... commit | commitdiff | tree
2020-07-04 Eddie Hungintel_alm: add $__ prefix to MISTRAL_FF_SYNCONLY commit | commitdiff | tree
2020-07-04 Dan Ravensloftintel_alm: ABC9 sequential optimisations commit | commitdiff | tree
2020-07-03 Rupert SwarbrickAdd newlines to help text for dfflegalize commit | commitdiff | tree
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial commit | commitdiff | tree
2020-07-02 clairexenMerge pull request #2208 from boqwxp/qbfsat-cleanup commit | commitdiff | tree
2020-07-02 clairexenMerge pull request #2186 from YosysHQ/mwk/dfflegalize commit | commitdiff | tree
2020-07-02 clairexenMerge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff commit | commitdiff | tree
2020-07-02 clairexenMerge pull request #2210 from YosysHQ/mwk/fix-opt_merge commit | commitdiff | tree
2020-07-02 clairexenMerge pull request #2195 from YosysHQ/mwk/manual-gates commit | commitdiff | tree
2020-07-01 Alberto Gonzalezqbfsat: Remove useless comment and #ifndef guards. commit | commitdiff | tree
2020-07-01 Alberto Gonzalezqbfsat: Specify default values for some options in... commit | commitdiff | tree
next