Community Profile

photo

Matt Rhodes

MathWorks

Last seen: alrededor de 1 mes ago Active since 2012

Statistics

All
  • Commenter
  • Leader
  • Revival Level 2
  • First Answer
  • Solver

View badges

Content Feed

View by

Solved


Word Distance - Sum
Let's suppose that the distance of a word can be calculated by summing the differences between its letters, having assigned the ...

11 meses ago

Solved


Hash

11 meses ago

Answered
Replace assembly with C-model for codeprover
Hi Stein- There are a few options for this. Which of them you use depends on how the code builds and links, as well as wheth...

más de 3 años ago | 0

Answered
HI, it is possible to import the comments from Excel file in Polyspace?
Hi Tatchou- This is not currently possible. We have tried to provide an interface to adding comments, statuses and sever...

más de 4 años ago | 0

Answered
Green color code in Polyspace(R2014a) report
Hi Dinesh- Green is the most valuable color provided by Code Prover. With the Polyspace coloring paradigm, Green checks are ...

más de 4 años ago | 0

Answered
Is there a workaround in the Polyspace tool to avoid justified checks from showing up again?
Hi Ali- With both Code Prover and Bug Finder, when you justify a finding, it is very important that justifications can be val...

más de 4 años ago | 0

Answered
In Polyspace Code, while configuring DRS, even if a user defined function's argument is initialized with "Init Range", it is not affective in verification
Hi Jyothi- There are *2 different conflicting configuration settings* happening here: # The DRS configuration, also known ...

más de 4 años ago | 0

Solved


The Hitchhiker's Guide to MATLAB
Output logical "true" if the input is the answer to life, the universe and everything. Otherwise, output logical "false".

casi 10 años ago

Solved


Times 2 - START HERE
Try out this test problem first. Given the variable x as your input, multiply it by two and put the result in y. Examples:...

casi 10 años ago