Wilson Snyder
|
c0888c1b0f
|
Internals: Use newline instead of endl to avoid unneeded flush.
|
2020-11-18 21:03:23 -05:00 |
|
Wilson Snyder
|
6dfce882a1
|
Support $exit as alias of $finish
|
2020-11-10 22:49:48 -05:00 |
|
Wilson Snyder
|
726e78fdda
|
Add 'with' syntax checks.
|
2020-10-31 10:33:36 -04:00 |
|
Wilson Snyder
|
85b05366bc
|
Internals: Misc prep work for 'with' support.
|
2020-10-31 09:24:16 -04:00 |
|
Wilson Snyder
|
835905bdae
|
Convert cast tasks to assertions
|
2020-10-24 20:30:52 -04:00 |
|
Wilson Snyder
|
4cec3ff2a0
|
Fix WIDTH warnings on comparisons with nullptr (#2602).
|
2020-10-22 17:27:23 -04:00 |
|
Wilson Snyder
|
5d3dd52f13
|
Support queue slicing (#2326).
|
2020-10-18 13:23:39 -04:00 |
|
Wilson Snyder
|
e25a6334cf
|
Support repeated forward typedefs.
|
2020-10-10 11:29:10 -04:00 |
|
Wilson Snyder
|
070bead9f9
|
Internals: Refector typedef call. No functional change intended.
|
2020-10-10 11:25:44 -04:00 |
Peter Monsson
|
d0819f156f
|
Add support for |=> inside properties (#1292).
|
2020-09-10 06:49:04 -04:00 |
|
Wilson Snyder
|
1899a875a4
|
Internals: Create VAccess class. No functional change intended.
|
2020-09-07 17:09:25 -04:00 |
|
Peter Monsson
|
627d83e807
|
Add support for assume property (#2531)
|
2020-09-03 12:38:48 -04:00 |
|
Wilson Snyder
|
069eb97eca
|
SystemC 2.3.0 or newer (SYSTEMC_VERSION >= 20111121) is now required.
|
2020-08-29 10:45:47 -04:00 |
|
Wilson Snyder
|
1dce6b2500
|
Support $stable
|
2020-08-23 11:34:19 -04:00 |
|
Wilson Snyder
|
f4a72946eb
|
Support $urandom, $urandom_range without stability.
|
2020-08-23 08:42:50 -04:00 |
|
Wilson Snyder
|
7f3a73e314
|
Fix naming of "id : begin" blocks.
|
2020-08-22 22:21:37 -04:00 |
|
Wilson Snyder
|
9702d11657
|
Support class extern.
|
2020-08-22 19:46:21 -04:00 |
|
Wilson Snyder
|
583605b218
|
Parser: Move extern decl unsupported message
|
2020-08-22 16:24:29 -04:00 |
Rupert Swarbrick
|
aa39d020d8
|
Fix build with Bison 3.7 and newer (#2505)
|
2020-08-18 12:12:52 -04:00 |
|
Wilson Snyder
|
72d2cff0a1
|
C++11: Use member declaration initalizations. No functional change intended.
|
2020-08-16 11:44:06 -04:00 |
|
Wilson Snyder
|
c0127599df
|
C++11: Use nullptr. No functional change.
|
2020-08-16 11:44:05 -04:00 |
Yutetsu TAKATSUKASA
|
953a442827
|
Support hierarchical verilation using protect lib (#2206)
|
2020-08-15 09:43:53 -04:00 |
|
Peter Monsson
|
4a5e4b04f3
|
Support $rose and $fell. (#2148) (#2501)
|
2020-08-14 07:37:10 -04:00 |
|
Peter Monsson
|
1280070abb
|
Support $stable (#2488)
|
2020-07-28 18:26:24 -04:00 |
Piotr Binkowski
|
58739a0a99
|
Internals: add isProgram to AstModule (#2470)
This allows to check which AstModules were created from `program` keyword
|
2020-07-16 07:31:16 -04:00 |
|
Wilson Snyder
|
ce340658d6
|
Internals: revert (#2467)
|
2020-07-15 07:50:17 -04:00 |
|
Piotr Binkowski
|
a02c420064
|
Internals: separate AST class for program (#2467)
|
2020-07-15 07:39:58 -04:00 |
|
Wilson Snyder
|
ced1af8cb8
|
Parser: Move extends param class unsupported message
|
2020-07-11 19:53:41 -04:00 |
|
Wilson Snyder
|
f0a6e4c2b2
|
Parser: Move scoped id unsupported messages down out of parser
|
2020-07-11 19:11:58 -04:00 |
|
Wilson Snyder
|
9e5cd463e5
|
Parser: Move class parameter unsupported messages down out of parser
|
2020-07-11 18:39:01 -04:00 |
|
Wilson Snyder
|
bb8899f307
|
Internals: Rename AstPackageRef as may point to class.
|
2020-07-11 10:29:15 -04:00 |
|
Wilson Snyder
|
a500140f1d
|
Fix Bison 3.6 error messages
|
2020-07-10 21:54:58 -04:00 |
Geza Lore
|
1632160fb1
|
Internals: Remove redunand SenItem nodes (#2457)
|
2020-07-05 13:13:03 -04:00 |
|
Wilson Snyder
|
b968f57711
|
Suppress unsupported constraint, as implied by unsupported randomize.
|
2020-07-02 21:10:05 -04:00 |
|
Wilson Snyder
|
ee7b399bf5
|
Parser: Move 'static' unsupported messages down out of parser.
|
2020-07-02 21:02:49 -04:00 |
|
Wilson Snyder
|
50c28fa9d3
|
Parser: Move 'pure virtual' and 'extern' unsupported messages down out of parser.
|
2020-07-02 08:24:50 -04:00 |
|
Wilson Snyder
|
9d1a39a5e4
|
Parser: Move 'with' block unsupported messages down out of parser
|
2020-07-02 07:36:15 -04:00 |
Fan Shupei
|
04c96694e6
|
Add $writememb support (#2450)
|
2020-07-01 17:32:15 -04:00 |
|
Wilson Snyder
|
e7bd44561c
|
Parse dotted new
|
2020-07-01 07:39:37 -04:00 |
|
Wilson Snyder
|
4d5e448664
|
Parser: Move member qualifier unsupporteds out of parser.
|
2020-07-01 07:31:53 -04:00 |
|
Wilson Snyder
|
236c2141e3
|
Parser: Move 'with' block unsupported messages down out of parser
|
2020-06-30 21:37:11 -04:00 |
|
Wilson Snyder
|
0b09636c58
|
Support for-loop increments with commas.
|
2020-06-29 21:18:41 -04:00 |
|
Wilson Snyder
|
af197f2ceb
|
Parser: Move 'virtual class' block unsupported messages down out of parser
|
2020-06-29 21:03:14 -04:00 |
|
Wilson Snyder
|
748c818ccb
|
Parser: Move 'wait' block unsupported messages down out of parser
|
2020-06-29 20:39:39 -04:00 |
|
Wilson Snyder
|
ad55564905
|
Parser: Move disable fork and wait fork down into elaborate stage
|
2020-06-29 20:22:39 -04:00 |
|
Wilson Snyder
|
ad2cb45a14
|
Parser: Move unsupported error detection of 'this'/'super' down into link stage
|
2020-06-29 20:02:15 -04:00 |
|
Wilson Snyder
|
6e57076726
|
Support --bbox-unsup parsing of nested foreach.
|
2020-06-09 22:05:06 -04:00 |
|
Wilson Snyder
|
cef56c6fca
|
Support --bbox-unsup parsing of class extend typedefs
|
2020-06-09 20:59:45 -04:00 |
|
Wilson Snyder
|
91f30af01f
|
Fix --bbox-unsup crash from earlier commit.
|
2020-06-09 19:49:11 -04:00 |
|
Wilson Snyder
|
3c8953fec2
|
Fix $sformat with non-constant string first argument
|
2020-06-09 19:40:49 -04:00 |