diff --git a/Changes b/Changes index d8f1d20b5..f151914c0 100644 --- a/Changes +++ b/Changes @@ -5,7 +5,7 @@ Revision History and Change Log =============================== The changes in each Verilator version are described below. The -contributors that suggested a given feature are shown in []. Thanks! +contributors that suggested or implemented a given issue are shown in []. Thanks! Verilator 5.037 devel @@ -13,13 +13,16 @@ Verilator 5.037 devel **Other:** -* Support redeclaring type as non-type; major parsing change (#2412). +* Support redeclaring type as non-type; major parsing change (#2412) (#6020). * Support constrained random for associative arrays (#5985) (#5986). [Yilou Wang] * Support assignments to concatenations with impure RHS (#6002). [Ryszard Rozak, Antmicro Ltd.] * Support SARIF JSON diagnostic output with `--diagnostics-sarif`. (#6017) * Support parameter forward types. -* Add BADVLTPRAGMA on unknown Verilator pragmas (#5945). [Shou-Li Hsu] * Add PROCINITASSIGN on initial assignments to process variables (#2481). [Niraj Menon] +* Add BADVLTPRAGMA on unknown Verilator pragmas (#5945). [Shou-Li Hsu] +* Add ternary operator into branch coverage (#5880). [Ryszard Rozak, Antmicro Ltd.] +* Add aggregate type error checks (#5570) (#5950). [Shou-Li Hsu] +* Improve hierarchical scheduling visualization in V3ExecGraph (#6009). [Bartłomiej Chmiel, Antmicro Ltd.] * Fix filename backslash escapes in C code (#5947). * Fix C++ widths in V3Expand (#5953) (#5975). [Geza Lore] * Fix dependencies from different hierarchical schedules (#5954). [Bartłomiej Chmiel, Antmicro Ltd.] @@ -37,6 +40,8 @@ Verilator 5.037 devel * Fix slicing of AstExprStmt nodes (#6005). [Ryszard Rozak, Antmicro Ltd.] * Fix skipped generate blocks in toggle coverage (#6010). [Ryszard Rozak, Antmicro Ltd.] * Fix arithmetic left-shift by constants over 32 bits (#6007) (#6015). [Zhen Yan] +* Fix wrong optimization result of shifted out variable (#6016) (#6019). [Yutetsu TAKATSUKASA] +* Add missing FreeBSD include (#6027) (#6028). [Joel Bodenmann] Verilator 5.036 2025-04-27 diff --git a/docs/guide/exe_verilator.rst b/docs/guide/exe_verilator.rst index 9faeddd73..290f07c0e 100644 --- a/docs/guide/exe_verilator.rst +++ b/docs/guide/exe_verilator.rst @@ -2260,13 +2260,13 @@ The grammar of configuration commands is as follows: order to improve model runtime performance. This option is not expected to be used by users directly. See :ref:`Thread PGO`. -.. option:: public [-module ""] [-task/-function ""] -var "" +.. option:: public [-module ""] [-task/-function ""] [-var ""] -.. option:: public_flat [-module ""] [-task/-function ""] -var "" +.. option:: public_flat [-module ""] [-task/-function ""] [-var ""] -.. option:: public_flat_rd [-module ""] [-task/-function ""] -var "" +.. option:: public_flat_rd [-module ""] [-task/-function ""] [-var ""] -.. option:: public_flat_rw [-module ""] [-task/-function ""] -var "" "@(edge)" +.. option:: public_flat_rw [-module ""] [-task/-function ""] [-var "" "@(edge)"] Sets the variable to be public. Same as :option:`/*verilator&32;public*/` or diff --git a/docs/guide/warnings.rst b/docs/guide/warnings.rst index 67aa1f92c..24f525105 100644 --- a/docs/guide/warnings.rst +++ b/docs/guide/warnings.rst @@ -1337,11 +1337,11 @@ List Of Warnings Faulty example: - .. include:: ../../docs/gen/ex_PKGNODECL_faulty.rst + .. include:: ../../docs/gen/ex_PINMISSING_faulty.rst Results in: - .. include:: ../../docs/gen/ex_PKGNODECL_msg.rst + .. include:: ../../docs/gen/ex_PINMISSING_msg.rst Repaired example: