John Coiner
|
767ac2547d
|
Misc clang warning fixes.
Signed-off-by: Wilson Snyder <wsnyder@wsnyder.org>
|
2018-04-10 22:05:55 -04:00 |
|
Todd Strader
|
9219ddaece
|
Report interface ports connected to wrong interface, bug1294.
|
2018-04-04 21:03:43 -04:00 |
|
Wilson Snyder
|
c7c99d8553
|
Fix parsing "output signed" in V2K port list, msg2540.
|
2018-03-29 20:10:27 -04:00 |
|
Wilson Snyder
|
3cd96cf558
|
Tests: Print error line in summary file.
|
2018-03-16 19:54:25 -04:00 |
|
John Coiner
|
e897c862f2
|
Tests: t_foreach now checks that all foreach loops get unrolled and evaluated statically.
|
2018-03-15 19:06:32 -04:00 |
|
John Coiner
|
f55040a38b
|
Fix severe runtime performance bug in certain foreach loops.
|
2018-03-15 08:59:52 -04:00 |
|
Wilson Snyder
|
2d580e6939
|
Support IEEE 1800-2017 as default language.
|
2018-03-12 22:26:34 -04:00 |
|
John Coiner
|
fc48008c1c
|
Support
|
2018-03-12 16:44:01 -04:00 |
|
Wilson Snyder
|
57c7d77af3
|
Tests: Future reduction or test.
|
2018-03-11 16:33:38 -04:00 |
|
Wilson Snyder
|
c8cf2afb15
|
Support assert properties, bug785, bug1290.
|
2018-03-11 10:37:20 -04:00 |
|
John Coiner
|
db1af07d72
|
On convergence errors, show activity.
|
2018-03-10 12:52:11 -05:00 |
|
John Coiner
|
ff82f75023
|
Add --no-debug-leak to reduce memory use under debug.
|
2018-03-10 12:18:19 -05:00 |
|
Wilson Snyder
|
22ff760f0b
|
Support calling system functions as tasks, bug1285.
|
2018-03-08 23:40:19 -05:00 |
|
Patrick Stewart
|
fe5c4df079
|
Support trig functions (() etc), bug1281.
Signed-off-by: Wilson Snyder <wsnyder@wsnyder.org>
|
2018-02-26 04:25:07 -05:00 |
|
Wilson Snyder
|
1376e5de92
|
Fix pullup/pulldowns on bit selects, bug1274.
|
2018-02-10 19:08:07 -05:00 |
|
Wilson Snyder
|
32859d9fc2
|
Fix GCC 8.0 issues
|
2018-02-07 18:58:21 -05:00 |
|
Wilson Snyder
|
0ca0854cac
|
Fix compile error with --public and interface bind, bug1264.
|
2018-02-01 20:07:46 -05:00 |
|
Wilson Snyder
|
e07ee559a0
|
Tests: Fix gcc7.2 warnings.
|
2018-01-31 19:27:42 -05:00 |
|
Wilson Snyder
|
097107bd0b
|
Support 'assume' similar to 'assert', bug1269.
|
2018-01-31 07:33:10 -05:00 |
|
Wilson Snyder
|
b40b152b87
|
Fix missing edge type in xml output, msg2480.
|
2018-01-31 07:29:14 -05:00 |
|
Wilson Snyder
|
b2322ae873
|
Fix tracing example file output, bug1268.
|
2018-01-29 19:07:49 -05:00 |
|
Wilson Snyder
|
71fcf45d73
|
Fix gate optimization out of memory, add --gate-stmts, bug1260.
|
2018-01-27 15:06:51 -05:00 |
|
Wilson Snyder
|
652b68a5a0
|
Fix compile error on public real parameters by suppressing, bug1261.
|
2018-01-24 22:30:30 -05:00 |
|
Wilson Snyder
|
bd1f1e8699
|
Fix compile error on public real parameters by suppressing, bug1261.
|
2018-01-16 19:53:50 -05:00 |
|
Wilson Snyder
|
4901668f13
|
Add INFINITELOOP warning, bug1254.
|
2017-12-26 21:35:08 -05:00 |
|
Wilson Snyder
|
49fe4d081c
|
Support DPI open arrays, bug909, bug1245.
|
2017-12-17 16:28:58 -05:00 |
|
Wilson Snyder
|
b888158907
|
Fix DPI svGetBitselLogic and svPutPartselLogic.
|
2017-12-17 12:19:40 -05:00 |
|
Wilson Snyder
|
79f5c7fbda
|
Internals: Split verilated_syms.h and rename some methods. No functional change intended.
|
2017-12-16 10:52:43 -05:00 |
|
Wilson Snyder
|
51787d68b9
|
Add error if always_comb has sensitivity list.
|
2017-12-13 19:49:37 -05:00 |
|
Wilson Snyder
|
33eb0db6f8
|
Fix resolving inline nested interface names, bug1250.
|
2017-12-13 19:42:49 -05:00 |
|
Wilson Snyder
|
d1b8f53711
|
Support DPI time and svLogicVal.
Note older version incorrectly assumed svBitVal even for logicals.
|
2017-12-09 20:17:37 -05:00 |
|
Wilson Snyder
|
08da777b33
|
Tests: Fix illegal dpi return types, and other cleanups
|
2017-12-09 14:44:25 -05:00 |
|
Wilson Snyder
|
345657ab32
|
Workaround GCC/clang bug with huge compile times, bug1248.
|
2017-12-09 11:52:35 -05:00 |
|
Wilson Snyder
|
b11fa372b1
|
Fix constant propagation across DPI imports of inout strings.
|
2017-12-07 20:10:27 -05:00 |
|
Wilson Snyder
|
662ebece71
|
Support string len() method.
|
2017-12-07 19:57:11 -05:00 |
|
Wilson Snyder
|
d215149c7c
|
Fix false ALWCOMBORDER on interface references, bug1247.
|
2017-12-06 21:29:10 -05:00 |
|
Wilson Snyder
|
895fc0911a
|
Support > 64 bit decimal $display.
|
2017-12-02 22:10:58 -05:00 |
|
Wilson Snyder
|
8f1798cc6f
|
Fix modport outputs being treated as inputs, bug1246.
|
2017-11-28 19:11:41 -05:00 |
|
Wilson Snyder
|
45de0599d7
|
Commentary
|
2017-11-27 20:11:34 -05:00 |
|
John Coiner
|
331ecdc2e7
|
Commentary
Signed-off-by: Wilson Snyder <wsnyder@wsnyder.org>
|
2017-11-27 19:23:55 -05:00 |
|
Wilson Snyder
|
ae9179f412
|
Fix partial slicing with pattern assignments, bug991.
|
2017-11-23 14:55:32 -05:00 |
|
Wilson Snyder
|
4c35a76cdb
|
Tests: bug795
|
2017-11-23 11:38:09 -05:00 |
|
Wilson Snyder
|
8ca3428fb6
|
Tests: Add split tests, towards bug1244
|
2017-11-23 11:30:35 -05:00 |
|
Wilson Snyder
|
45702e319b
|
Support $size/$bits/etc on type references.
|
2017-11-23 10:17:56 -05:00 |
|
Wilson Snyder
|
7c443ab108
|
Fix error on "unique case" with no cases.
|
2017-11-21 21:52:37 -05:00 |
|
Wilson Snyder
|
dd37c2ea86
|
Support $error/$warning in elaboration time blocks.
|
2017-11-21 21:10:42 -05:00 |
|
Wilson Snyder
|
a579e9273b
|
Support self-recursive modules, bug659.
|
2017-11-18 17:42:35 -05:00 |
|
Wilson Snyder
|
d119d10569
|
Add BSSPACE and COLONPLUS lint warnings.
|
2017-11-15 20:19:12 -05:00 |
|
Wilson Snyder
|
38988c005c
|
Fix false unused warning on interfaces, bug1241.
|
2017-11-14 20:10:25 -05:00 |
|
Wilson Snyder
|
8cc4b588b2
|
Add error when driving input-only modport.
|
2017-11-14 19:50:31 -05:00 |
|