Wilson Snyder
1bcaaa0f0d
Internals: Cleanup V3Inst unused argument. No functional change intended.
2018-03-15 23:19:43 -04:00
Wilson Snyder
7922a1de28
Internals: Misc cleanups related to V3LinkDot. No functional change intended.
2018-03-15 19:46:05 -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
4cf2e4024f
verilator_difftree: Better error.
2018-03-11 16:49:40 -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
Wilson Snyder
770045676f
Internals: Split some extremely long lines. No functional change.
2018-03-10 16:32:04 -05:00
Wilson Snyder
68cca0e114
Commentary, bug1288
2018-03-10 14:16:37 -05:00
Wilson Snyder
0a1b775ed6
Fix various small node leaks.
2018-03-10 14:10:41 -05:00
Wilson Snyder
54a101acbe
Internals: Fix -DLEAK_CHECKS failing due to visitor destructor being too late.
2018-03-10 12:57:50 -05: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
9ae54786e4
Commentary, bug1288.
2018-03-09 00:04:00 -05:00
Wilson Snyder
22ff760f0b
Support calling system functions as tasks, bug1285.
2018-03-08 23:40:19 -05:00
John Coiner
86fe6ac3a8
Fix quoting of quoted arguments.
...
Signed-off-by: Wilson Snyder <wsnyder@wsnyder.org>
2018-03-08 22:43:29 -05:00
Tymoteusz Blazejczyk
9f52e23158
Fix verilator_coverage --annotate-min, bug1284.
2018-03-07 19:52:29 -05:00
Wilson Snyder
e1410775fb
Fix CC warning with flex 2.5.35.
2018-02-28 06:34:03 -05:00
John Coiner
a7a790416e
Internals: Fix passing bool as int. No functional change.
...
Signed-off-by: Wilson Snyder <wsnyder@wsnyder.org>
2018-02-27 07:16:16 -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
7f5b1a402c
Internals: Part of last change, spacing.
2018-02-07 20:29:58 -05:00
Wilson Snyder
22573d238b
Internals: Fix GCC8 cppcheck warnings. No functional change.
2018-02-07 20:16:53 -05:00
Wilson Snyder
32859d9fc2
Fix GCC 8.0 issues
2018-02-07 18:58:21 -05:00
Wilson Snyder
1b12800b8f
devel release
2018-02-01 20:14:40 -05:00
Wilson Snyder
13d11b037a
Version bump
2018-02-01 20:09:58 -05:00
Wilson Snyder
0ca0854cac
Fix compile error with --public and interface bind, bug1264.
2018-02-01 20:07:46 -05:00
Wilson Snyder
1726c71649
Commentary
2018-02-01 19:20:08 -05:00
Wilson Snyder
fd8c29f981
Commentary
2018-02-01 19:18:00 -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
3c7fef68c0
Internals: Sort EmitXml visitors. No functional change.
2018-01-31 07:25:10 -05:00
Wilson Snyder
b2322ae873
Fix tracing example file output, bug1268.
2018-01-29 19:07:49 -05:00
Wilson Snyder
e3f137875b
Fix spacing of trace func decls. No functional change.
2018-01-29 19:04:37 -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
John Coiner
3e0401de1c
Misc harmless cleanups from thread branch.
...
Signed-off-by: Wilson Snyder <wsnyder@wsnyder.org>
2018-01-24 20:20:26 -05:00
Stefan Wallentowitz
c164024f38
Remove c++filt and fix status code of Makefile, bug1265
...
In the generated Makefile the linker output is piped through c++filt
which was very useful for older linkers. But unfortunately the status
code is lost during the piping. So when the make process is embedded
in a larger setup a failure will not manifest to the outside flow.
As modern linkers do the job of c++filt, this removes it from the
generated Makefile. It will also produce a proper status code then.
Signed-off-by: Wilson Snyder <wsnyder@wsnyder.org>
2018-01-18 21:25:43 -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
7ee6efab74
devel release
2018-01-02 18:13:45 -05:00
Wilson Snyder
3788e90644
Version bump
2018-01-02 18:06:05 -05:00
Wilson Snyder
8e65d93d6d
Copyright year update. No functional change.
2018-01-02 18:05:06 -05:00
Wilson Snyder
4901668f13
Add INFINITELOOP warning, bug1254.
2017-12-26 21:35:08 -05:00
Wilson Snyder
f98940e40a
Fix cppcheck warnings. No functional change.
2017-12-17 18:44:35 -05:00
Wilson Snyder
49fe4d081c
Support DPI open arrays, bug909, bug1245.
2017-12-17 16:28:58 -05:00
Wilson Snyder
3054b36a8d
Internals: Avoid cleaning arrays in prep for openarrays.
2017-12-17 12:53:22 -05:00
Wilson Snyder
b888158907
Fix DPI svGetBitselLogic and svPutPartselLogic.
2017-12-17 12:19:40 -05:00