Estadística
8 Preguntas
2 Respuestas
CLASIFICACIÓN
217.073
of 300.338
REPUTACIÓN
0
CONTRIBUCIONES
8 Preguntas
2 Respuestas
ACEPTACIÓN DE RESPUESTAS
37.5%
VOTOS RECIBIDOS
0
CLASIFICACIÓN
of 20.922
REPUTACIÓN
N/A
EVALUACIÓN MEDIA
0.00
CONTRIBUCIONES
0 Archivos
DESCARGAS
0
ALL TIME DESCARGAS
0
CLASIFICACIÓN
of 168.149
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
How can the "PaYC Generate options" called from a script
Issue fixed. Create a task in VSCode tasks.json which execute command polyspace.generateBuildOptions { "version": "2.0.0", ...
3 meses hace | 0
Pregunta
How can the "PaYC Generate options" called from a script
Hello, in normal use case the PolyspaceAsYouCode build option would be generated in VSCode from menu "View->Command Palette->Po...
4 meses hace | 1 respuesta | 0
1
respuestaPregunta
Polyspace as YouCode analysis failed because header not found / define not expanded
Hello, a polyspace as you code analysis for a file failed because on header could not included -the path to header is listed in ...
4 meses hace | 1 respuesta | 0
1
respuestaPregunta
how can I check checkers-activation-file versus checkers-selection-file
What's the differ between a checkers-activation-file and a checkers-selection-file ? Only the revision number in the xml-header...
más de 2 años hace | 2 respuestas | 0
2
respuestasPregunta
PolyspaceAsYouCode analyse header files
If I analyse header files with PolyspaceAsYouCode plugin I got errors if types defined in other header files. If I analyse C-fil...
casi 3 años hace | 1 respuesta | 0
1
respuestaPregunta
MISRA C2012 Amendment 1, Addentum 3
Hello, support Polyspace Bugfinder R2021b or higher the requiered extensions of MISRA2012 and how can I control the usage ? re...
casi 3 años hace | 1 respuesta | 0
1
respuestaPregunta
Import comments with downloaded results doesn't work
Why it is not possible to import results downloaded from polyspace-access to a result set generated with polyspace-bugfinder ? ...
casi 3 años hace | 1 respuesta | 0
1
respuestaPregunta
Where store PolyspaceAsYouCode Eclipse plugin the general and project related configuration ?
Hello, I want to preconfigure a eclipse project from the buildchain and configure the plugin settings "Use baseline from Polys...
alrededor de 3 años hace | 1 respuesta | 0
1
respuestaHow can I get the Polyspace version from Polyspace as you Code plugin ?
ok, thank you for your explanation
alrededor de 3 años hace | 0
Pregunta
How can I get the Polyspace version from Polyspace as you Code plugin ?
With VisualStudioCode I can get a list of extension and there versions with the command "code --list-extensions --show-versions"...
alrededor de 3 años hace | 2 respuestas | 0
