QMaxUSE v1.0.0

classicwuhao released this 10 Oct 11:07

· 69 commits to master since this release

v1.0.0 release

Changes:

Fix bugs with implicit selection from an OCL invariant.
Add solvers for Windows, Ubuntu and MacOS.
Perform a test run before launching a query or concurrent verification.
Adjust colorful outputs (For windows color codes, see the following section).

Features:

A query language (details here)
A concurrent verification engine (details here)

Notes:

Enabling Windows ANSI Colors

If you are running QMaxUSE in Windows command line. You need to enable ANSI color mode for Windows 10 to avoid seeing color codes in QMaxUSE

Set the following key to be 1.
```
 [HKEY_CURRENT_USER\Console]
 VirtualTerminalLevel=dword:00000001
```
This will enable ANSI colors in Windows terminal. Here is a link about the details.

Microsoft Visual C++ Packages

You may need to install Microsoft Visual C++ Redistributable packages on your windows machines

Assets 7