]> Git Repo - verilator.git/log
verilator.git
21 months agoFix false LATCH warning on --assert 'unique else if' (#4033). master
Jesse Taube [Tue, 21 Mar 2023 03:09:21 +0000 (23:09 -0400)]
Fix false LATCH warning on --assert 'unique else if' (#4033).

V3Const.cpp:visit(AstNodeIf* nodep) will recreate `nodep` with
"IF(NOT {x})  => IF(x) swapped if/else" but it doesn't update
isBoundsCheck, which was set to suppress LATCH warning.

a57a3579c0a38: Fix false LATCH warning on 'unique if' (#3088).

22 months agoInternals: Fix cppcheck warnings. No functional change.
Wilson Snyder [Sat, 18 Mar 2023 23:28:48 +0000 (19:28 -0400)]
Internals: Fix cppcheck warnings. No functional change.

22 months agoSupport class extends of package::class.
Wilson Snyder [Sat, 18 Mar 2023 21:26:36 +0000 (17:26 -0400)]
Support class extends of package::class.

22 months agoInternals: Fix recently added assertion false firing
Wilson Snyder [Sat, 18 Mar 2023 21:11:39 +0000 (17:11 -0400)]
Internals: Fix recently added assertion false firing

22 months agoCommentary (#3906) (#3931)
Wilson Snyder [Sat, 18 Mar 2023 19:49:11 +0000 (15:49 -0400)]
Commentary (#3906) (#3931)

22 months agoInternals: Use VNVisitorConst where possible, for better performance. No functional...
Wilson Snyder [Sat, 18 Mar 2023 16:17:25 +0000 (12:17 -0400)]
Internals: Use VNVisitorConst where possible, for better performance. No functional change indended.

22 months agoInternals: Avoid emit inheritance in V3EmitCBase. No functional change intended.
Wilson Snyder [Sat, 18 Mar 2023 16:05:29 +0000 (12:05 -0400)]
Internals: Avoid emit inheritance in V3EmitCBase. No functional change intended.

22 months agoFix characters from DEFENV literals for conda (#4035) (#4044)
Tim Snyder [Sat, 18 Mar 2023 15:25:27 +0000 (10:25 -0500)]
Fix characters from DEFENV literals for conda (#4035) (#4044)

The baked in DEFENV paths might end up with extra NULL characters
at the end if the binaries are installed by something that patches them
for relocatable installs (e.g. conda).  Avoid this issue by immediately
passing them through std::string::c_str() method to stop at the first NULL

22 months agoCommentary: Update CONTRIBUTING and internals xrefs (#4043)
Wilson Snyder [Sat, 18 Mar 2023 14:23:19 +0000 (10:23 -0400)]
Commentary: Update CONTRIBUTING and internals xrefs (#4043)

22 months agoFix random internal crashes (#666).
Wilson Snyder [Sat, 18 Mar 2023 13:47:46 +0000 (09:47 -0400)]
Fix random internal crashes (#666).

Internally, in V3Broken check m_interpp for null, and make several cleanups
in the addNext/addNextHere/unlinkFr* methods.

22 months agoFix install, standardization in cmake CMakeLists.txt (#3974)
Yu-Sheng Lin [Sat, 18 Mar 2023 11:38:09 +0000 (19:38 +0800)]
Fix install, standardization in cmake CMakeLists.txt (#3974)

22 months agoInternals: Fix missing relink() and add assert
Wilson Snyder [Sat, 18 Mar 2023 02:27:55 +0000 (22:27 -0400)]
Internals: Fix missing relink() and add assert

22 months agoInternals: Add VL_MT_SAFE attribute to functions that requires locking. (#3805)
Kamil Rakoczy [Sat, 18 Mar 2023 00:24:15 +0000 (01:24 +0100)]
Internals: Add VL_MT_SAFE attribute to functions that requires locking. (#3805)

22 months agoInternals: Add VNVisitorConst class.
Wilson Snyder [Fri, 17 Mar 2023 23:58:53 +0000 (19:58 -0400)]
Internals: Add VNVisitorConst class.

22 months agoSupport method calls without parenthesis (#4034)
Ryszard Rozak [Fri, 17 Mar 2023 12:25:39 +0000 (13:25 +0100)]
Support method calls without parenthesis (#4034)

* Support method class without parenthesis

Signed-off-by: Ryszard Rozak <[email protected]>
* Delete replaced nodes

Signed-off-by: Ryszard Rozak <[email protected]>
---------

Signed-off-by: Ryszard Rozak <[email protected]>
22 months agoAdd STATICVAR warning and convert to automatic (#4027) (#4030)
Ryszard Rozak [Fri, 17 Mar 2023 11:48:41 +0000 (12:48 +0100)]
Add STATICVAR warning and convert to automatic (#4027) (#4030)

Signed-off-by: Ryszard Rozak <[email protected]>
22 months agoOptimize duplicate JumpBlocks away (#4028)
Wilson Snyder [Fri, 17 Mar 2023 02:18:03 +0000 (22:18 -0400)]
Optimize duplicate JumpBlocks away (#4028)

22 months agoFix large return blocks with --comp-limit-blocks (#4028).
Wilson Snyder [Fri, 17 Mar 2023 01:40:01 +0000 (21:40 -0400)]
Fix large return blocks with --comp-limit-blocks (#4028).

22 months agoInternals: Fix missing broken check
Wilson Snyder [Fri, 17 Mar 2023 01:14:49 +0000 (21:14 -0400)]
Internals: Fix missing broken check

22 months agoFix clocking block scope internal error (#4032).
Wilson Snyder [Fri, 17 Mar 2023 00:48:18 +0000 (20:48 -0400)]
Fix clocking block scope internal error (#4032).

22 months agoFix compile error last commit (#4029)
Wilson Snyder [Fri, 17 Mar 2023 00:22:08 +0000 (20:22 -0400)]
Fix compile error last commit (#4029)

22 months agoAdd VL_MT_SAFE attribute to several functions. (#3729)
Kamil Rakoczy [Thu, 16 Mar 2023 23:48:56 +0000 (00:48 +0100)]
Add VL_MT_SAFE attribute to several functions. (#3729)

22 months agoAdd more debug info to --report-unoptflat graph (#4039)
Wilson Snyder [Thu, 16 Mar 2023 23:42:13 +0000 (19:42 -0400)]
Add more debug info to --report-unoptflat graph (#4039)

22 months agoTests: Remove unintended t_0 test
Wilson Snyder [Thu, 16 Mar 2023 22:44:28 +0000 (18:44 -0400)]
Tests: Remove unintended t_0 test

22 months agoFix event controls reusing same variable (#4014)
Kamil Rakoczy [Thu, 16 Mar 2023 11:12:54 +0000 (12:12 +0100)]
Fix event controls reusing same variable (#4014)

22 months agoCommentary
Wilson Snyder [Thu, 16 Mar 2023 11:09:16 +0000 (07:09 -0400)]
Commentary

22 months agoUpdate include/gtkwave from upstream
Wilson Snyder [Thu, 16 Mar 2023 02:11:06 +0000 (22:11 -0400)]
Update include/gtkwave from upstream

22 months agoFix false ENUMVALUE on expressions and arrays.
Wilson Snyder [Thu, 16 Mar 2023 01:56:35 +0000 (21:56 -0400)]
Fix false ENUMVALUE on expressions and arrays.

22 months agoFix parsing #1_2 delays
Wilson Snyder [Thu, 16 Mar 2023 01:22:28 +0000 (21:22 -0400)]
Fix parsing #1_2 delays

22 months agoParse defparam = as unsupported
Wilson Snyder [Thu, 16 Mar 2023 01:04:10 +0000 (21:04 -0400)]
Parse defparam = as unsupported

22 months agoFix fclose(0).
Wilson Snyder [Thu, 16 Mar 2023 00:49:59 +0000 (20:49 -0400)]
Fix fclose(0).

22 months agoFix rand fields in base classes (#4025)
Ryszard Rozak [Wed, 15 Mar 2023 15:48:18 +0000 (16:48 +0100)]
Fix rand fields in base classes (#4025)

22 months agoFix pullup/pulldown to create implicit wires.
Wilson Snyder [Wed, 15 Mar 2023 01:14:27 +0000 (21:14 -0400)]
Fix pullup/pulldown to create implicit wires.

22 months agoFix min/typ/max internal error
Wilson Snyder [Wed, 15 Mar 2023 00:40:58 +0000 (20:40 -0400)]
Fix min/typ/max internal error

22 months agoFix bounded queues with parameter bounds
Wilson Snyder [Wed, 15 Mar 2023 00:29:47 +0000 (20:29 -0400)]
Fix bounded queues with parameter bounds

22 months agoParse nettype with package, still unsupported
Wilson Snyder [Tue, 14 Mar 2023 23:52:01 +0000 (19:52 -0400)]
Parse nettype with package, still unsupported

22 months agoFix unpacked struct clocking
Wilson Snyder [Tue, 14 Mar 2023 23:35:40 +0000 (19:35 -0400)]
Fix unpacked struct clocking

22 months agoTests: Fix randomize_method test (#4024)
Ryszard Rozak [Tue, 14 Mar 2023 17:47:43 +0000 (18:47 +0100)]
Tests: Fix randomize_method test (#4024)

22 months agoDon't call randomize on null field (#4023)
Ryszard Rozak [Tue, 14 Mar 2023 13:48:06 +0000 (14:48 +0100)]
Don't call randomize on null field (#4023)

Signed-off-by: Ryszard Rozak <[email protected]>
22 months agoCommentary: spelling
Wilson Snyder [Tue, 14 Mar 2023 12:39:04 +0000 (08:39 -0400)]
Commentary: spelling

22 months agoCommentary (#4020)
Wilson Snyder [Tue, 14 Mar 2023 12:29:39 +0000 (08:29 -0400)]
Commentary (#4020)

22 months agoInternal: Fix dumping of AstMethodCall (#4021)
Ryszard Rozak [Tue, 14 Mar 2023 10:54:45 +0000 (11:54 +0100)]
Internal: Fix dumping of AstMethodCall (#4021)

22 months agoThrow warning if static variable is declared in a loop (#4018)
Ryszard Rozak [Tue, 14 Mar 2023 09:03:08 +0000 (10:03 +0100)]
Throw warning if static variable is declared in a loop (#4018)

Signed-off-by: Ryszard Rozak <[email protected]>
22 months agoAssign unique names for blocks in do..while loop (#4019)
Ryszard Rozak [Tue, 14 Mar 2023 08:54:43 +0000 (09:54 +0100)]
Assign unique names for blocks in do..while loop (#4019)

22 months agoFix push to dynamic queue in struct (#4015).
Wilson Snyder [Tue, 14 Mar 2023 02:03:53 +0000 (22:03 -0400)]
Fix push to dynamic queue in struct (#4015).

22 months agoChange ZERODLY to a warning.
Wilson Snyder [Mon, 13 Mar 2023 01:28:14 +0000 (21:28 -0400)]
Change ZERODLY to a warning.

22 months agoParse covergroup, still unsupported.
Wilson Snyder [Sun, 12 Mar 2023 18:11:11 +0000 (14:11 -0400)]
Parse covergroup, still unsupported.

22 months agoCommentary: Changes update
Wilson Snyder [Sun, 12 Mar 2023 14:49:19 +0000 (10:49 -0400)]
Commentary: Changes update

22 months agoSupport complicated IEEE 'for' assignments.
Wilson Snyder [Sun, 12 Mar 2023 14:46:02 +0000 (10:46 -0400)]
Support complicated IEEE 'for' assignments.

22 months agoParse event 'iff', still unsupported.
Wilson Snyder [Sun, 12 Mar 2023 03:35:18 +0000 (22:35 -0500)]
Parse event 'iff', still unsupported.

22 months agoSupport $fopen as an expression
Wilson Snyder [Sat, 11 Mar 2023 23:11:01 +0000 (18:11 -0500)]
Support $fopen as an expression

22 months agoCommentary
Wilson Snyder [Sat, 11 Mar 2023 16:19:19 +0000 (11:19 -0500)]
Commentary

22 months agoParse 'first_match', and still unsupported.
Wilson Snyder [Sat, 11 Mar 2023 16:08:37 +0000 (11:08 -0500)]
Parse 'first_match', and still unsupported.

22 months agoParse sequence 'local input', still unsupported.
Wilson Snyder [Sat, 11 Mar 2023 15:53:10 +0000 (10:53 -0500)]
Parse sequence 'local input', still unsupported.

22 months agoParse 'wait_order' and test, still unsupported.
Wilson Snyder [Sat, 11 Mar 2023 15:46:37 +0000 (10:46 -0500)]
Parse 'wait_order' and test, still unsupported.

22 months agoCommentary
Wilson Snyder [Sat, 11 Mar 2023 03:25:47 +0000 (22:25 -0500)]
Commentary

22 months agoSupport assert property statement-else-statement
Wilson Snyder [Sat, 11 Mar 2023 03:13:17 +0000 (22:13 -0500)]
Support assert property statement-else-statement

22 months agoParse 'expect', still unsupported.
Wilson Snyder [Sat, 11 Mar 2023 02:48:56 +0000 (21:48 -0500)]
Parse 'expect', still unsupported.

22 months agoInternals: Cleanup assert/assume. No functional change.
Wilson Snyder [Sat, 11 Mar 2023 02:17:54 +0000 (21:17 -0500)]
Internals: Cleanup assert/assume. No functional change.

22 months agoAdd --public-depth to force public to a certain instance depth (#3952)
Andrew Nolte [Fri, 10 Mar 2023 02:48:05 +0000 (19:48 -0700)]
Add --public-depth to force public to a certain instance depth (#3952)

22 months agoInternals: Framework for renaming warnings (#4010 partial)
Wilson Snyder [Thu, 9 Mar 2023 02:32:37 +0000 (21:32 -0500)]
Internals: Framework for renaming warnings (#4010 partial)

22 months agoAdd --public-params flag (#3990)
Andrew Nolte [Thu, 9 Mar 2023 00:38:26 +0000 (17:38 -0700)]
Add --public-params flag (#3990)

22 months agoAdd debug comment when trace disabled (#4004).
Wilson Snyder [Mon, 6 Mar 2023 23:22:36 +0000 (18:22 -0500)]
Add debug comment when trace disabled (#4004).

22 months agoFix symbol entries when inheriting classes (#3995) (#3996)
Krzysztof Boroński [Mon, 6 Mar 2023 12:43:58 +0000 (13:43 +0100)]
Fix symbol entries when inheriting classes (#3995) (#3996)

22 months agoAdd __PVT__ prefix to selects nodes (#4001)
Ryszard Rozak [Mon, 6 Mar 2023 12:18:48 +0000 (13:18 +0100)]
Add __PVT__ prefix to selects nodes (#4001)

22 months agoParse 'sequence' declarations, property case/if, still unsupported.
Wilson Snyder [Mon, 6 Mar 2023 10:12:09 +0000 (05:12 -0500)]
Parse 'sequence' declarations, property case/if, still unsupported.

22 months agoParse 'matches', still unsupported.
Wilson Snyder [Mon, 6 Mar 2023 04:58:54 +0000 (23:58 -0500)]
Parse 'matches', still unsupported.

22 months agoParse cycle delays and boolean abbrev, still unsupported.
Wilson Snyder [Mon, 6 Mar 2023 04:22:41 +0000 (23:22 -0500)]
Parse cycle delays and boolean abbrev, still unsupported.

22 months agoParse intersect/throughout/within, still unsupported.
Wilson Snyder [Mon, 6 Mar 2023 00:57:09 +0000 (19:57 -0500)]
Parse intersect/throughout/within, still unsupported.

22 months agoParse more property expression syntax, as still unsupported
Wilson Snyder [Mon, 6 Mar 2023 00:42:21 +0000 (19:42 -0500)]
Parse more property expression syntax, as still unsupported

22 months agoChange property expression handling towards eventual more general expressions.
Wilson Snyder [Sun, 5 Mar 2023 23:52:55 +0000 (18:52 -0500)]
Change property expression handling towards eventual more general expressions.

22 months agoInternals: Parse weak/strong but do not lex
Wilson Snyder [Sun, 5 Mar 2023 23:30:43 +0000 (18:30 -0500)]
Internals: Parse weak/strong but do not lex

22 months agoInternals: Parser commentary
Wilson Snyder [Sun, 5 Mar 2023 22:59:17 +0000 (17:59 -0500)]
Internals: Parser commentary

22 months agoInternals: Standard grammar for property_expression |-> |=>.
Wilson Snyder [Sun, 5 Mar 2023 21:59:24 +0000 (16:59 -0500)]
Internals: Standard grammar for property_expression |-> |=>.

22 months agoInternals: UNSUPPORTED commentary
Wilson Snyder [Sun, 5 Mar 2023 21:45:07 +0000 (16:45 -0500)]
Internals: UNSUPPORTED commentary

22 months agodevel release
Wilson Snyder [Sat, 4 Mar 2023 16:31:58 +0000 (11:31 -0500)]
devel release

22 months agoVersion bump
Wilson Snyder [Sat, 4 Mar 2023 16:19:44 +0000 (11:19 -0500)]
Version bump

22 months agoInternals: Parse nettype as unsupported
Wilson Snyder [Sat, 4 Mar 2023 15:50:28 +0000 (10:50 -0500)]
Internals: Parse nettype as unsupported

22 months agoAdd warning on missing class reference #()
Wilson Snyder [Sat, 4 Mar 2023 02:06:52 +0000 (21:06 -0500)]
Add warning on missing class reference #()

22 months agoFix coverage of class methods (#3998).
Wilson Snyder [Sat, 4 Mar 2023 00:26:15 +0000 (19:26 -0500)]
Fix coverage of class methods (#3998).

22 months agoFix UNDRIVEN warning seg fault (#3989)
Felix Neumärker [Fri, 3 Mar 2023 23:54:38 +0000 (18:54 -0500)]
Fix UNDRIVEN warning seg fault (#3989)

22 months agoFix prettyName in structure dumps, partial (#4001)
Wilson Snyder [Fri, 3 Mar 2023 23:49:26 +0000 (18:49 -0500)]
Fix prettyName in structure dumps, partial (#4001)

22 months agoTests: Add nettype test
Wilson Snyder [Fri, 3 Mar 2023 01:29:42 +0000 (20:29 -0500)]
Tests: Add nettype test

22 months agoInternals: Parse interconnect then say unsupported
Wilson Snyder [Fri, 3 Mar 2023 01:02:14 +0000 (20:02 -0500)]
Internals: Parse interconnect then say unsupported

22 months agoInternals: update clang attributes check report conditions (#3997)
Kamil Rakoczy [Thu, 2 Mar 2023 23:37:07 +0000 (00:37 +0100)]
Internals: update clang attributes check report conditions (#3997)

22 months agoTests: Add tagged union test
Wilson Snyder [Thu, 2 Mar 2023 13:11:11 +0000 (08:11 -0500)]
Tests: Add tagged union test

22 months agoFix end label fileline reporting.
Wilson Snyder [Thu, 2 Mar 2023 12:50:16 +0000 (07:50 -0500)]
Fix end label fileline reporting.

22 months agoSupport parsing min:typ:max parameters
Wilson Snyder [Thu, 2 Mar 2023 04:11:48 +0000 (23:11 -0500)]
Support parsing min:typ:max parameters

22 months agoCommentary: Changes update
Wilson Snyder [Thu, 2 Mar 2023 03:43:39 +0000 (22:43 -0500)]
Commentary: Changes update

22 months agoAdd error (vs previous warning) on enum value overflow.
Wilson Snyder [Thu, 2 Mar 2023 03:36:42 +0000 (22:36 -0500)]
Add error (vs previous warning) on enum value overflow.

22 months agoAdd error on mixing .name and by-port instantiations.
Wilson Snyder [Thu, 2 Mar 2023 02:19:21 +0000 (21:19 -0500)]
Add error on mixing .name and by-port instantiations.

22 months agoSupport recursive methods (#3987)
Ryszard Rozak [Thu, 2 Mar 2023 02:07:37 +0000 (03:07 +0100)]
Support recursive methods (#3987)

22 months agoFix LITENDIAN warning is backwards (#3966) (#3967).
Cameron Kirk [Wed, 1 Mar 2023 16:46:44 +0000 (08:46 -0800)]
Fix LITENDIAN warning is backwards (#3966) (#3967).

22 months agoApply 'make format'
github action [Wed, 1 Mar 2023 05:44:35 +0000 (05:44 +0000)]
Apply 'make format'

22 months agoFix import of extends typedefs
Wilson Snyder [Wed, 1 Mar 2023 05:30:45 +0000 (00:30 -0500)]
Fix import of extends typedefs

22 months agoSupport cast to numbers from strings.
Wilson Snyder [Wed, 1 Mar 2023 04:34:33 +0000 (23:34 -0500)]
Support cast to numbers from strings.

22 months agoCommentary
Wilson Snyder [Tue, 28 Feb 2023 23:38:52 +0000 (18:38 -0500)]
Commentary

22 months agoDisallow ++/-- over expressions with potential side effects (#3976).
Krzysztof Boroński [Tue, 28 Feb 2023 20:21:58 +0000 (21:21 +0100)]
Disallow ++/-- over expressions with potential side effects (#3976).

22 months agoCommentary, fix copyright
Wilson Snyder [Tue, 28 Feb 2023 06:09:09 +0000 (01:09 -0500)]
Commentary, fix copyright

22 months agoFix internal error with UNSUPPORTED of procedural clocked assertions
Wilson Snyder [Tue, 28 Feb 2023 05:35:37 +0000 (00:35 -0500)]
Fix internal error with UNSUPPORTED of procedural clocked assertions

This page took 0.061465 seconds and 4 git commands to generate.