Community Profile

photo

Matt Rhodes


Last seen: alrededor de 2 meses ago

MathWorks

9 total contributions since 2012

Contact

Matt Rhodes's Badges

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

View details...

Contributions in
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 ...

3 meses ago

Solved


Hash

3 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...

casi 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...

alrededor 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 ...

alrededor 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...

alrededor 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 ...

alrededor 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".

más de 9 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:...

más de 9 años ago