yosys.git
2020-08-23 Yosys BotBump version
2020-08-22 clairexenMerge pull request #2349 from nmoroze/smt2-bugfix
2020-08-21 Yosys BotBump version
2020-08-20 Marcelina Kościelnickasynth_intel: Remove incomplete Arria 10 GX support.
2020-08-20 Noah MorozeEnsure smt2 comments are associated with accessors
2020-08-20 Dan Ravensloftintel: move Cyclone V support to intel_alm
2020-08-20 clairexenMerge pull request #2347 from YosysHQ/mwk/techmap-shift...
2020-08-20 clairexenMerge pull request #2344 from YosysHQ/mwk/opt_share...
2020-08-20 clairexenMerge pull request #2337 from YosysHQ/mwk/clean-keep...
2020-08-20 clairexenMerge pull request #2333 from YosysHQ/mwk/peepopt-shift...
2020-08-20 clairexenMerge pull request #2328 from YosysHQ/mwk/opt_dff-cleanup
2020-08-20 clairexenMerge pull request #2327 from YosysHQ/mwk/techmap-const...
2020-08-20 clairexenMerge pull request #2326 from YosysHQ/mwk/peeopt-muldiv...
2020-08-20 clairexenMerge pull request #2319 from YosysHQ/mwk/techmap-cellt...
2020-08-20 Marcelina Kościelnickatechmap/shift_shiftx: Remove the "shiftx2mux" special...
2020-08-20 Yosys BotBump version
2020-08-19 clairexenMerge pull request #2122 from PeterCrozier/struct_array2
2020-08-19 Yosys BotBump version
2020-08-18 XiretzaEnsure \A_SIGNED is never used with $shiftx
2020-08-18 XiretzaRespect \A_SIGNED for $shift
2020-08-18 N. Engelhardtinclude both power-of-two and non-power-of-two testcases
2020-08-18 clairexenMerge pull request #2339 from zachjs/display-format-0s
2020-08-18 clairexenMerge pull request #2338 from zachjs/const-branch-finish
2020-08-18 clairexenMerge pull request #2317 from zachjs/expand-genblock
2020-08-18 Claire WolfMerge branch 'zachjs-const-func-block-var'
2020-08-18 Claire WolfMerge branch 'const-func-block-var' of https://github...
2020-08-18 clairexenMerge pull request #2281 from zachjs/const-real
2020-08-17 Marcelina Kościelnickaopt_share: Refactor, fix some bugs.
2020-08-14 Yosys BotBump version
2020-08-13 Dan Ravensloftintel_alm: fix typo in MISTRAL_MUL27X27 cell name
2020-08-13 Yosys BotBump version
2020-08-12 whitequarkMerge pull request #2340 from andy-knowles/cxxrtl-fix...
2020-08-12 Andy Knowlescxxrtl.h: Fix incorrect CarryOut in alu()
2020-08-12 Dan Ravensloftintel_alm: add more megafunctions. NFC.
2020-08-12 Andy Knowlescxxrtl.h: Fix incorrect CarryOut in alu when Bits ...
2020-08-10 Yosys BotBump version
2020-08-09 Zachary SnowPropagate const_fold through generate blocks and branches
2020-08-09 Zachary SnowAllow %0s $display format specifier
2020-08-09 Marcelina Kościelnickaopt_clean: Fix module keep rules.
2020-08-07 Marcelina KościelnickaRemove now-redundant dff2dffe pass.
2020-08-07 Marcelina KościelnickaRemove now-redundant dff2dffs pass.
2020-08-07 Marcelina Kościelnickapeepopt: Remove now-redundant dffmux pattern.
2020-08-07 Marcelina KościelnickaRemove now-redundant opt_rmdff pass.
2020-08-07 Marcelina KościelnickaReplace opt_rmdff with opt_dff.
2020-08-05 Marcelina Kościelnickapeeopt.shiftmul: Add a signedness check.
2020-08-05 Marcelina Kościelnickatechmap.CONSTMAP: Handle outputs before inputs.
2020-08-04 Marcelina Kościelnickapeepopt.muldiv: Add a signedness check.
2020-08-02 Marcelina Kościelnickatechmap: Add support for [] wildcards in techmap_celltype.
2020-08-01 Zachary SnowFix generate scoping issues
2020-07-31 Claire WolfBump YOSYS_VER
2020-07-30 Marcelina KościelnickaAdd dffunmap pass.
2020-07-30 Marcelina Kościelnickaopt_expr: Remove -clkinv option, make it the default.
2020-07-30 Marcelina Kościelnickasynth_ice40: Use opt_dff.
2020-07-30 Marcelina Kościelnickasynth_xilinx: Use opt_dff.
2020-07-30 Marcelina Kościelnickaasync2sync: Support all FF types.
2020-07-30 Marcelina KościelnickaAdd opt_dff pass.
2020-07-30 Marcelina Kościelnickaverilog_backend: Add handling for all FF types.
2020-07-29 Miodrag MilanovićMerge pull request #2314 from YosysHQ/verifix_errorfix
2020-07-29 Miodrag MilanovicClear last error message
2020-07-29 Marcelina Kościelnickaopt_expr: Fix handling of $_XNOR_ cells with A = B.
2020-07-28 Marcelina Kościelnickaffinit: Fortify the code a bit.
2020-07-28 clairexenMerge pull request #2301 from zachjs/for-loop-errors
2020-07-28 clairexenMerge pull request #2306 from YosysHQ/mwk/equiv_induct...
2020-07-27 Marcelina Kościelnickaequiv_induct: Fix up assumption for $equiv cells in...
2020-07-27 Dan Ravensloftintel_alm: direct M10K instantiation
2020-07-26 Dan Ravensloftintel_alm: increase abc9 -W
2020-07-26 clairexenMerge pull request #2299 from zachjs/arg-loop
2020-07-25 Zachary SnowClearer for loop error messages
2020-07-25 Zachary SnowAllow blocks with declarations within constant functions
2020-07-25 Zachary SnowAvoid generating wires for function args which are...
2020-07-24 Marcelina Kościelnickaasync2sync: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickamemory_dff: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickaproc_dlatch: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickapmux2shift: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickawreduce: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickatechmap: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickashregmap: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickaabc: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickadffinit: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickazinit: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickadfflegalize: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickaclk2fflogic: Support all FF types.
2020-07-24 Marcelina Kościelnickasatgen: Add support for dffe, sdff, sdffe, sdffce cells.
2020-07-23 Marcelina KościelnickaAdd utility module for representing flip-flops.
2020-07-23 Marcelina Kościelnickamemory_dff: recognize more dff cells
2020-07-23 Marcelina KościelnickaAdd utility module for dealing with init attributes.
2020-07-23 clairexenMerge pull request #2285 from YosysHQ/mwk/techmap-cellname
2020-07-23 clairexenMerge pull request #2294 from Ravenslofty/intel_alm_timings
2020-07-23 Dan Ravensloftintel_alm: add additional ABC9 timings
2020-07-22 Keith RothmanRemove EXPLICIT_CARRY logic.
2020-07-21 Marcelina Kościelnickatechmap: Add _TECHMAP_CELLNAME_ special parameter.
2020-07-21 clairexenMerge pull request #2215 from boqwxp/qbfsat-solver...
2020-07-20 Alberto Gonzalezsmtio: Emit `mode: start` options before `set-logic...
2020-07-20 Alberto Gonzalezsmtio: Add support for parsing `yosys-smt2-solver-optio...
2020-07-20 Alberto Gonzalezqbfsat: Add `-solver-option` option.
2020-07-20 Alberto Gonzalezsmt2: Add `-solver-option` option.
2020-07-20 clairexenMerge pull request #2282 from YosysHQ/claire/satunsat
2020-07-20 Marcelina Kościelnickacelltypes: Fix EN port name for some FF types.
2020-07-20 Claire WolfOnly allow "sat" and "unsat" smt solver responses in...
2020-07-20 clairexenMerge pull request #2276 from YosysHQ/mwk/satgen-cc
next