photo

Martin Dowie


Last seen: Today |  2014 年からアクティブ

Followers: 0   Following: 0

メッセージ

CEng Lead Software Engineer

統計

  • Thankful Level 2
  • First Answer
  • Thankful Level 1

バッジを表示

Feeds

表示方法

質問


Platform Support Update for MATLAB
Does today's email cover Polyspace products as well? Or just Matlab / Simulink?

2年以上 前 | 1 件の回答 | 0

1

回答

回答済み
Polyspace Code Prover not able to find windows.h as header file. getting compilation errors because of windows dependencies.
While using the installed headers that come with, e.g. VS2019, gets you answer quickly, it often doesn't give you good answer, a...

3年以上 前 | 0

質問


Can Polyspace prove C++17?
The last mention of new standards of C++ support in release notes is I think 2018b. Does 2020a now support C++17?

4年以上 前 | 1 件の回答 | 0

1

回答

質問


Where is Polyspace in R2019a prerelease?
Just installed R2019a Prerelease and there is no sign of Polyspace - neither Code Prover not Bug Finder! Is this deliberate??

6年弱 前 | 1 件の回答 | 0

1

回答

質問


Polyspace 'Verification'/'source code compliance' phase - why not parallel?
One of the slowest part of any Polyspace analysis is the source code verification step but this performed sequentially, one file...

約7年 前 | 1 件の回答 | 0

1

回答

回答済み
Are there any 'bounded container' libraries available to Matlab users?
Bit late responding but the suggestions (while interesting) are 'unbounded' containers, and I'm specifically looking for bounded...

7年以上 前 | 0

質問


Are there any 'bounded container' libraries available to Matlab users?
Vectors are supported but is there a ready-rolled library that can implement a 'bounded doubly linked list' using Matlab vectors...

9年以上 前 | 2 件の回答 | 0

2

回答

質問


Red OOP on function exit
I have a customer vector class (it's a 'bounded vector') object on my stack and when the function end ('}'), I get a red OOP err...

9年以上 前 | 0 件の回答 | 0

0

回答

質問


How can I use relative paths in a Polyspace project file?
Same question as asked on the forum: <http://www.mathworks.co.uk/matlabcentral/newsreader/view_thread/337743 question> My 'ex...

約10年 前 | 1 件の回答 | 0

1

回答