Merge pull request #3310 from robinsonb5-PRs/master
[yosys.git] / manual /
2022-05-09 Jannis HarderMerge pull request #3305 from jix/sva_value_change_logic
2022-05-09 Jannis HarderMerge pull request #3297 from jix/sva_nested_clk_else
2022-05-09 Miodrag MilanovicUpdate manual
2022-04-04 Miodrag MilanovicUpdate CHANGELOG and manual
2022-03-28 LoftyMerge pull request #3194 from Ravenslofty/abc9-flow3mfs
2022-03-14 Claire XenMerge pull request #3213 from antonblanchard/abc-typo
2022-03-07 Miodrag MilanovićMerge pull request #3210 from rqou/json-signed
2022-03-04 Miodrag MilanovićMerge pull request #3186 from nakengelhardt/smtbmc_sby_...
2022-03-04 Miodrag MilanovićMerge pull request #3206 from YosysHQ/micko/quote_remove
2022-03-04 Miodrag MilanovićMerge pull request #3207 from nakengelhardt/json_escape...
2022-03-04 Miodrag MilanovicUpdate documentation
2022-02-11 Miodrag MilanovićMerge pull request #3164 from zachjs/fix-ast-warn
2022-02-11 Claire XenMerge branch 'master' into clk2ff-better-names
2022-02-11 Claire XenMerge pull request #2019 from boqwxp/glift
2022-02-07 Miodrag MilanovicUpdate CHANGELOG and manual
2022-02-07 Miodrag MilanovićMerge pull request #3185 from YosysHQ/micko/co_sim
2022-01-27 Marcelina Kościelnickamanual: Fix a custom pass example.
2022-01-19 Miodrag MilanovićMerge pull request #3120 from Icenowy/anlogic-bram
2022-01-04 gatecatmanual: Fix cell-stmt order
2022-01-03 Miodrag MilanovicUpdate manual
2021-12-10 Miodrag MilanovićMerge pull request #3097 from YosysHQ/modport
2021-12-08 Marcelina Kościelnickaopt_mem_priority: Fix non-ascii char in help message.
2021-12-03 Miodrag MilanovicUpdate manual
2021-11-10 Claire XenMerge pull request #3077 from YosysHQ/claire/genlib
2021-11-07 Gabriel Somlomanual: fix pdflatex inputenc undefined char error
2021-11-05 Miodrag MilanovicUpdate command reference
2021-10-29 Miodrag MilanovicUpdate command reference part of manual
2021-10-02 Marcelina KościelnickaAdd $aldff and $aldffe: flip-flops with async load.
2021-08-11 Marcelina KościelnickaAdd v2 memory cells.
2021-07-28 Marcelina Kościelnickamemory: Introduce $meminit_v2 cell, with EN input.
2021-06-09 Claire XenMerge pull request #2817 from YosysHQ/claire/fixemails
2021-06-09 Claire Xenia WolfIntersynth URL
2021-06-09 Claire Xenia WolfMore deadname stuff
2021-06-09 Claire Xenia WolfUse HTTPS for website links, gatecat email
2021-06-07 Claire Xenia WolfFixing old e-mail addresses and deadnames
2021-03-23 N. EngelhardtMerge pull request #2696 from nakengelhardt/guidelines
2021-03-22 N. Engelhardtsplit CodingReadme into multiple files
2021-03-17 Zachary Snowbugpoint: add runner option
2021-03-11 whitequarkMerge pull request #2642 from whitequark/cxxrtl-noproc...
2021-03-09 whitequarkMerge pull request #2643 from zachjs/fix-param-no-defau...
2021-03-08 Marcelina Kościelnickaverilog: Use proc memory writes in the frontend.
2021-03-08 Marcelina KościelnickaAdd support for memory writes in processes.
2021-03-07 whitequarkMerge pull request #2626 from zachjs/param-no-default
2021-03-04 Claire XenUpdate command-reference-manual.tex
2021-03-01 Claire XenMerge pull request #2523 from tomverbeure/define_synthesis
2021-03-01 Claire XenMerge pull request #2524 from bkbncn/patch-1
2021-03-01 whitequarkMerge pull request #2617 from RobertBaruch/doc
2021-02-27 Robert BaruchRTLIL Documentation: switch in process is optional
2021-02-12 gatecatMerge pull request #2585 from YosysHQ/dave/nexus-dotproduct
2021-02-03 whitequarkMerge pull request #2436 from dalance/fix_generate
2021-01-01 whitequarkMerge pull request #2480 from YosysHQ/dave/nexus-lram
2020-12-02 whitequarkMerge pull request #2468 from whitequark/cxxrtl-assert
2020-12-02 whitequarkMerge pull request #2469 from whitequark/cxxrtl-no-clk
2020-12-02 whitequarkMerge pull request #2466 from whitequark/cxxrtl-reset
2020-12-02 whitequarkMerge pull request #2456 from Zottel/master
2020-12-02 whitequarkMerge pull request #2455 from gsomlo/gls-fedpkg-fixes
2020-12-02 David ShahMerge pull request #2467 from YosysHQ/dave/nexus-carry-fix
2020-12-02 whitequarkMerge pull request #2446 from RobertBaruch/rtlil_format
2020-11-25 Robert BaruchFurther juggles the wording of "character".
2020-11-25 Robert BaruchClarifies how character encodings work.
2020-11-25 Robert BaruchClarifies whitespace and eol.
2020-11-25 Robert BaruchCleans up doublequotes
2020-11-25 Robert BaruchClarifies use of integers, and character set.
2020-11-25 Robert BaruchClarifies processes, corrects some attributes
2020-11-25 Claire XenMerge pull request #2133 from dh73/nodev_head
2020-11-25 Robert BaruchRefactors for attributes.
2020-11-24 Robert BaruchCleans up some descriptions and syntax
2020-11-24 Miodrag MilanovićMerge pull request #2295 from epfl-vlsc/firrtl_blackbox...
2020-11-23 Robert BaruchAdds missing "end" and eol to module.
2020-11-23 Robert BaruchUpdate to Values #2
2020-11-23 Robert BaruchUpdate to Values section
2020-11-22 Robert BaruchAdds appendix on RTLIL text format
2020-09-17 clairexenMerge pull request #2329 from antmicro/arrays-fix-multi...
2020-09-17 clairexenMerge pull request #2330 from antmicro/arrays-fix-multi...
2020-09-01 clairexenMerge pull request #2352 from zachjs/const-func-localparam
2020-09-01 clairexenMerge pull request #2366 from zachjs/library-format
2020-09-01 clairexenMerge pull request #2353 from zachjs/top-scope
2020-09-01 clairexenMerge pull request #2365 from zachjs/const-arg-loop...
2020-08-27 Miodrag MilanovićMerge pull request #2364 from whitequark/manual-typo
2020-08-27 whitequarkmanual: fix typo.
2020-08-27 whitequarkMerge pull request #2357 from whitequark/cxxflags-MP
2020-08-27 whitequarkMerge pull request #2356 from whitequark/flatten-techma...
2020-08-27 whitequarkMerge pull request #2358 from whitequark/rename-ilang...
2020-08-26 whitequarkReplace "ILANG" with "RTLIL" everywhere.
2020-08-19 clairexenMerge pull request #2122 from PeterCrozier/struct_array2
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial
2020-07-02 clairexenMerge pull request #2208 from boqwxp/qbfsat-cleanup
2020-07-02 clairexenMerge pull request #2186 from YosysHQ/mwk/dfflegalize
2020-07-02 clairexenMerge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff
2020-07-02 clairexenMerge pull request #2210 from YosysHQ/mwk/fix-opt_merge
2020-07-02 clairexenMerge pull request #2195 from YosysHQ/mwk/manual-gates
2020-07-01 clairexenMerge pull request #2179 from splhack/static-cast
2020-06-26 Marcelina KościelnickaAdd latches to the manual.
2020-06-26 Marcelina KościelnickaAdd a few more gate types to the manual.
2020-06-25 clairexenMerge pull request #2168 from whitequark/assert-unused...
2020-06-25 clairexenMerge pull request #2135 from boqwxp/qbfsat-timeinfo
2020-06-25 clairexenMerge pull request #2093 from boqwxp/qbfsat-bugfixes
2020-06-23 clairexenMerge pull request #1818 from YosysHQ/mwk/new-ff-types
2020-06-23 Marcelina KościelnickaAdd new builtin FF types
2020-06-19 whitequarkMerge pull request #2173 from whitequark/use-cxx11...
next