Martin Dowie
Followers: 0 Following: 0
C++
Spoken Languages:
English
Estadística
8 Preguntas
2 Respuestas
CLASIFICACIÓN
156.917
of 301.754
REPUTACIÓN
0
CONTRIBUCIONES
8 Preguntas
2 Respuestas
ACEPTACIÓN DE RESPUESTAS
37.5%
VOTOS RECIBIDOS
0
CLASIFICACIÓN
of 21.410
REPUTACIÓN
N/A
EVALUACIÓN MEDIA
0.00
CONTRIBUCIONES
0 Archivos
DESCARGAS
0
ALL TIME DESCARGAS
0
CLASIFICACIÓN
of 176.414
CONTRIBUCIONES
0 Problemas
0 Soluciones
PUNTUACIÓN
0
NÚMERO DE INSIGNIAS
0
CONTRIBUCIONES
0 Publicaciones
CONTRIBUCIONES
0 Público Canales
EVALUACIÓN MEDIA
CONTRIBUCIONES
0 Temas destacados
MEDIA DE ME GUSTA
Feeds
Pregunta
Any update on a Polyspace Access Rest API?
I'm sure one has been mentioned at User Meetings but I can't see any sign of it yet...is it there but undocumented? Or is it sti...
5 días hace | 0 respuestas | 0
0
respuestasPregunta
Platform Support Update for MATLAB
Does today's email cover Polyspace products as well? Or just Matlab / Simulink?
alrededor de 4 años hace | 1 respuesta | 0
1
respuestaPolyspace 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...
alrededor de 5 años hace | 0
Pregunta
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?
alrededor de 6 años hace | 1 respuesta | 0
1
respuestaPregunta
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??
más de 7 años hace | 1 respuesta | 0
1
respuestaPregunta
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...
más de 8 años hace | 1 respuesta | 0
1
respuestaAre 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...
casi 9 años hace | 0
Pregunta
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...
casi 11 años hace | 2 respuestas | 0
2
respuestasPregunta
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...
casi 11 años hace | 0 respuestas | 0
0
respuestasPregunta
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...
más de 11 años hace | 1 respuesta | 0
