Top 1% contributor
*Les 7 Laux* is a ski resort 40mn away from Montbonnot.
4 months ago
5 months ago
6 months ago
Hi Martin ! Even though relative paths (..\folder) are not seen in the project configuration file, the stated [absolute] paths ...
6 months ago
Basically, dashed lines are used to indicate that tooltips are available. Tooltips on operators, assignments, etc.....
Answered 9 months ago
There is indeed a problem in the Report Generator with this version (I guess it's R2012a or R2012b). This problem do...
Answered 2 months ago
Unfortunately, it is not possible in the current release: you have to exit Eclipse.
Good news: in the next rel...
Answered 8 months ago
For performance and precision reasons, Polyspace is creating inner versions of memset (and also other memory related f...
This is a problem with an internal executable. I suggest you to contact the MathWorks support, and provide them th...
Answered 3 months ago
The word "execution" should not be interpreted as a real (and dynamic) execution. The wikipedia page about <http:...
Answered 5 months ago
A R2014b license is compatible with older versions, so if you upgrade your license to R2014b, you will still ...
Answered 6 months ago
If a function exits the program, then by definition the call to this function will never return, and the program wi...
Polyspace refers here to the ISO C99 standard to define a pointer equivalent to an int, especially the paragraph 6....
Hi Chocolat Warrior!
Yes, it is possible to import previously commented checks.
To do that, open the R2013a results with the...
Answered 10 months ago
The actions of the Run menu (I think that this is what you refer to when you write "Run drop down menu") are disabled in...
Answered 1 year ago
For the first question, can you tell me where do you see the message "Error: Unable to find the Java libraries pve.jar a...
Answered 2 years ago
This problem is unknown so far.
This is why I suggest you to contact the technical support.
To do so, please ...
There is indeed a problem in the tooltip with the size in bytes of pointers when the size of char is 16 bits.
In the e...
Answered 3 years ago
Hi Mohamed !
More than 100k lines of code is quite big indeed, and is the reason of the "out of memory" problem.
A tool to receive an email notification at the end of a PolySpace verification
4 years ago
Given a vector of numbers, return true if one of the numbers is a square of one of the other numbers. Otherwise return false.
1 year ago
At one time or another, we all had to memorize boring times tables. 5 times 5 is 25. 5 times 6 is 30. 12 times 12 is way more th...
Calculate the nth Fibonacci number.
Given n, return f where f = fib(n) and f(1) = 1, f(2) = 1, f(3) = 2, ...
Return true if the elements of the input vector increase monotonically (i.e. each element is larger than the previous). Return f...
Flip the outermost columns of matrix A, so that the first column becomes the last and the last column becomes the first. All oth...
Given an integer n, make an n-by-n matrix made up of alternating ones and zeros as shown below. The a(1,1) should be 1.
Given an input vector x, find all elements of x less than 0 or greater than 10 and replace them with NaN.
Triangle numbers are the sums of successive integers. So 6 is a triangle number because
6 = 1 + 2 + 3
which can be displa...
Remove the nth column from input matrix A and return the resulting matrix in output B.
A = [1 2 3; 4 5 6];
Write a function which returns every other element of the vector passed in. That is, it returns the all odd-numbered elements, s...
Join the conversation