Martin Dowie
Followers: 0 Following: 0
CEng Lead Software Engineer
Statistik
RANG
99.169
of 294.359
REPUTATION
0
ANTWORTZUSTIMMUNG
42.86%
ERHALTENE STIMMEN
0
RANG
of 20.108
REPUTATION
N/A
DURCHSCHNITTLICHE BEWERTUNG
0.00
BEITRÄGE
0 Dateien
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANG
of 151.512
BEITRÄGE
0 Probleme
0 Lösungen
PUNKTESTAND
0
ANZAHL DER ABZEICHEN
0
BEITRÄGE
0 Beiträge
BEITRÄGE
0 Öffentlich Kanäle
DURCHSCHNITTLICHE BEWERTUNG
BEITRÄGE
0 Highlights
DURCHSCHNITTLICHE ANZAHL DER LIKES
Feeds
Frage
Platform Support Update for MATLAB
Does today's email cover Polyspace products as well? Or just Matlab / Simulink?
mehr als 2 Jahre vor | 1 Antwort | 0
1
AntwortPolyspace 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...
mehr als 3 Jahre vor | 0
Frage
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?
mehr als 4 Jahre vor | 1 Antwort | 0
1
AntwortFrage
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??
mehr als 5 Jahre vor | 1 Antwort | 0
1
AntwortFrage
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...
fast 7 Jahre vor | 1 Antwort | 0
1
AntwortAre 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...
etwa 7 Jahre vor | 0
Frage
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...
etwa 9 Jahre vor | 2 Antworten | 0
2
AntwortenFrage
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...
mehr als 9 Jahre vor | 0 Antworten | 0
0
AntwortenFrage
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...
fast 10 Jahre vor | 1 Antwort | 0