Martin Dowie
Followers: 0 Following: 0
Statistiques
RANG
196 767
of 300 781
RÉPUTATION
0
CONTRIBUTIONS
7 Questions
2 Réponses
ACCEPTATION DE VOS RÉPONSES
42.86%
VOTES REÇUS
0
RANG
of 21 088
RÉPUTATION
N/A
CLASSEMENT MOYEN
0.00
CONTRIBUTIONS
0 Fichier
TÉLÉCHARGEMENTS
0
ALL TIME TÉLÉCHARGEMENTS
0
RANG
of 171 031
CONTRIBUTIONS
0 Problèmes
0 Solutions
SCORE
0
NOMBRE DE BADGES
0
CONTRIBUTIONS
0 Publications
CONTRIBUTIONS
0 Public Chaîne
CLASSEMENT MOYEN
CONTRIBUTIONS
0 Point fort
NOMBRE MOYEN DE LIKES
Feeds
Question
Platform Support Update for MATLAB
Does today's email cover Polyspace products as well? Or just Matlab / Simulink?
plus de 3 ans il y a | 1 réponse | 0
1
réponsePolyspace 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...
presque 5 ans il y a | 0
Question
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?
plus de 5 ans il y a | 1 réponse | 0
1
réponseQuestion
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??
presque 7 ans il y a | 1 réponse | 0
1
réponseQuestion
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...
environ 8 ans il y a | 1 réponse | 0
1
réponseAre 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...
plus de 8 ans il y a | 0
Question
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...
plus de 10 ans il y a | 2 réponses | 0
2
réponsesQuestion
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...
plus de 10 ans il y a | 1 réponse | 0
0
réponseQuestion
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...
environ 11 ans il y a | 1 réponse | 0
