Results for product_base_code:"Polyspace Client for Ada" (41 results)

1

answer

How do I install and configure the network license manager for Polyspace products?

Asked by MathWorks Support Team on 15 Oct 2009
Latest activity Edited by MathWorks Support Team on 26 Mar 2024 at 5:50
Accepted Answer by MathWorks Support Team

1

answer

What ports are used for communication between Polyspace Clients and Polyspace Server and how can I change it?

Asked by MathWorks Support Team on 12 Apr 2012
Latest activity Edited by MathWorks Support Team on 13 Nov 2023
Accepted Answer by MathWorks Support Team

1

answer

Why does my PolySpace job fail when passed to a Remote Launcher?

Asked by MathWorks Support Team on 7 Dec 2011
Latest activity Edited by MathWorks Support Team on 19 Apr 2023
Accepted Answer by MathWorks Support Team

1

answer

How do I obtain support for PolySpace products?

Asked by MathWorks Support Team on 29 Jun 2011
Latest activity Edited by MathWorks Support Team on 31 Oct 2022
Accepted Answer by MathWorks Support Team
Tags

2

answers

What do the different colors in the PolySpace Source Code View, RTE View and Variable View windows mean?

Asked by MathWorks Support Team on 24 Jan 2013
Latest activity Edited by MathWorks Support Team on 23 May 2022
Accepted Answer by MathWorks Support Team
Tags

1

answer

Can I use license borrowing for Polyspace products?

Asked by MathWorks Support Team on 10 Nov 2020
Latest activity Edited by MathWorks Support Team on 28 Apr 2022
Accepted Answer by MathWorks Support Team

1

answer

Why am I unable to start Polyspace server from polyspace-server-settings?

Asked by MathWorks Support Team on 23 Jul 2018
Latest activity Edited by MathWorks Support Team on 28 Feb 2022
Accepted Answer by MathWorks Support Team

1

answer

How do I configure network Polyspace licenses for Polyspace R2013a and earlier?

Asked by MathWorks Support Team on 3 Sep 2010
Latest activity Edited by MathWorks Support Team on 19 Feb 2021
Accepted Answer by MathWorks Support Team
Tags

1

answer

How do I transfer a PolySpace license to a new server machine or host?

Asked by MathWorks Support Team on 14 Oct 2011
Latest activity Edited by MathWorks Support Team on 27 Jan 2020
Accepted Answer by MathWorks Support Team

2

answers

Where can I find Polyspace documentation?

Asked by MathWorks Support Team on 28 Mar 2013
Latest activity Answered by Anirban on 7 Aug 2019
Accepted Answer by MathWorks Support Team

1

answer

Where can I find the Polyspace client-side verification log?

Asked by MathWorks Support Team on 28 Mar 2012
Latest activity Edited by MathWorks Support Team on 4 Apr 2019
Accepted Answer by MathWorks Support Team

1

answer

Why are there separate download tabs for MATLAB Parallel Server, MATLAB Production Server, or Polyspace for Ada for R2014a?

Asked by MathWorks Support Team on 11 Mar 2014
Latest activity Edited by MathWorks Support Team on 25 Mar 2019
Accepted Answer by MathWorks Support Team

1

answer

Why does Polyspace for Ada cite missing spec dependencies and then fail to compile?

Asked by MathWorks Support Team on 18 Jan 2019
Latest activity Answered by MathWorks Support Team on 21 Mar 2019
Accepted Answer by MathWorks Support Team
Tags

1

answer

Why does the license manager report MLM exited with status 52 (No license file) with the Polyspace License Manager on Linux?

Asked by MathWorks Support Team on 10 Apr 2012
Latest activity Edited by MathWorks Support Team on 5 Mar 2019
Accepted Answer by MathWorks Support Team

1

answer

Where are log files for debugging PolySpace located?

Asked by MathWorks Support Team on 8 Mar 2011
Latest activity Edited by MathWorks Support Team on 26 Feb 2019
Accepted Answer by MathWorks Support Team

0

answers

Polyspace Ada error: Error: Limitation: task cannot be in a procedure or a function

Asked by Frank Vassallo on 25 Apr 2017
Tags

1

answer

Why does the Polyspace for ADA installer fail to start on Windows 10?

Asked by MathWorks Support Team on 14 Jan 2016
Latest activity Edited by MathWorks Support Team on 14 Jan 2016
Accepted Answer by MathWorks Support Team

1

answer

What is the difference between the findings category NIV and NIVL in PolySpace for Ada?

Asked by Andreas Schweiger on 16 Jul 2015
Latest activity Commented on by Alexandre De Barros on 17 Jul 2015
Tags

1

answer

Import/Export Checks/Comments Using PolySpace R2009b

Asked by Andreas Schweiger on 19 Jan 2015
Latest activity Commented on by Alexandre De Barros on 27 Jan 2015
Tags

1

answer

Why do I face an error "Installation of Microsoft Visual C++ 2005 Redistributable has failed" installing Polyspace (R2012b)?

Asked by MathWorks Support Team on 2 Jan 2013
Accepted Answer by MathWorks Support Team
Tags

1

answer

How can I launch an editor which is a virtual application?

Asked by MathWorks Support Team on 12 Sep 2012
Accepted Answer by MathWorks Support Team

1

answer

Why does not the command of PolySpace Flexnet License Manager work fine on 64bit Linux Operating system?

Asked by MathWorks Support Team on 9 Aug 2012
Accepted Answer by MathWorks Support Team

1

answer

How do I check the licensing for Polyspace?

Asked by MathWorks Support Team on 19 Apr 2012
Accepted Answer by MathWorks Support Team

1

answer

Why does installation of PolySpace fail on Unix or Linux stating there may be a lack of disk space?

Asked by MathWorks Support Team on 10 Apr 2012
Accepted Answer by MathWorks Support Team

1

answer

Why is the function call marked as red NTC when there is no red check in the function body?

Asked by MathWorks Support Team on 5 Apr 2012
Accepted Answer by MathWorks Support Team
Tags

1

answer

Why are the radio buttons for selecting languages for PolySpace grayed out?

Asked by MathWorks Support Team on 8 Mar 2011
Accepted Answer by MathWorks Support Team

1

answer

How can I upgrade a Polyspace client through the Polyspace Spooler?

Asked by MathWorks Support Team on 2 Feb 2011
Accepted Answer by MathWorks Support Team

1

answer

Why do I recieve an error about Microsoft Visual .NET when installing a Polyspace product?

Asked by MathWorks Support Team on 2 Feb 2011
Accepted Answer by MathWorks Support Team

1

answer

Why do I get an error message "unable to locate executable" when I install Polyspace?

Asked by MathWorks Support Team on 29 Nov 2010
Accepted Answer by MathWorks Support Team

1

answer

Why do I get an error message "Error: No PolySpace product found to uncompress tar archive" when using Polyspace Spooler?

Asked by MathWorks Support Team on 27 Oct 2010
Accepted Answer by MathWorks Support Team

1

answer

How do I start and stop the PolySpace Daemon for the Queue Manager / Remote Launcher?

Asked by MathWorks Support Team on 30 Aug 2010
Accepted Answer by MathWorks Support Team

1

answer

How do I change PolySpace Clients to communicate with a different PolySpace Server host or port number?

Asked by MathWorks Support Team on 12 Aug 2010
Accepted Answer by MathWorks Support Team

1

answer

How do I migrate my PolySpace installations to a new license server when the license server changes?

Asked by MathWorks Support Team on 28 Jul 2010
Accepted Answer by MathWorks Support Team

1

answer

How can I activate my PolySpace products without an Internet connection as of release R2010a?

Asked by MathWorks Support Team on 8 Jul 2010
Accepted Answer by MathWorks Support Team

1

answer

Can I run multiple versions of PolySpace on the same computers?

Asked by MathWorks Support Team on 26 Mar 2010
Accepted Answer by MathWorks Support Team

1

answer

Is PolySpace supported on Linux?

Asked by MathWorks Support Team on 29 Jan 2010
Accepted Answer by MathWorks Support Team

1

answer

How can I reduce the number of orange warnings in my Ada verification when using Polyspace Client for Ada?

Asked by MathWorks Support Team on 30 Jul 2009
Accepted Answer by MathWorks Support Team
Tags

1

answer

Why do I get an error message "Error: No PolySpace product found" when downloading some results in PolySpace R2008b?

Asked by MathWorks Support Team on 27 Jun 2009
Accepted Answer by MathWorks Support Team
Tags

1

answer

Is it possible to launch the Remote Launcher for PolySpace without storing a password for my user account?

Asked by MathWorks Support Team on 27 Jun 2009
Accepted Answer by MathWorks Support Team

1

answer

Why do I see an error "Daemon is not running", even if the daemon is running on the server in PolySPace Client for C/C++?

Asked by MathWorks Support Team on 27 Jun 2009
Accepted Answer by MathWorks Support Team
Tags

1

answer

Why do I receive a License Expired or No License Available message when attempting to use the PolySpace product(s)?

Asked by MathWorks Support Team on 27 Jun 2009
Accepted Answer by MathWorks Support Team