-
Notifications
You must be signed in to change notification settings - Fork 8
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Unable to open/generate using MPS 3.3.3 or MPS 3.3.4 #3
Comments
Sorry about this problem and thanks for reporting it. We had migrated the project in our Bitbucket repo but had not pushed these changes to GitHub. I've just pushed the latest version, which hopefully will work for you, if not reopen. |
No problem! Thanks for the quick update! I've retried using MPS 3.3.4, however the exception still occurs:
And after the model checking still 20 errors remain unsolved. See this image for a broad overview: Any ideas? |
I see it now. You are building with validation enabled, when we build with it disabled (it generates a lot of false positives in my experience, useful to have a look once in a while, but we end up disabling it in most projects). |
Hi,
when trying to use the language, i get 650 errors after opening a freshly checked out version with MPS 3.3.3 (note: same with MPS 3.3.4). I doubt that these are actual errors but are rather related to missing libs/code or similar. Unfortunately I cannot find any information on dependencies or others usage instructions. I hope you can support me with this -- this could also be used as further documentation.
I am running MPS on an Arch Linux (Linux cuprit 4.4.5-1-ARCH #1 SMP PREEMPT Thu Mar 10 07:38:19 CET 2016 x86_64 GNU/Linux) using Java "1.7.0_99" OpenJDK Runtime Environment (IcedTea 2.6.5) (Arch Linux build 7.u99_2.6.5-1-x86_64) OpenJDK 64-Bit Server VM (build 24.95-b01, mixed mode)
Here the commandline output of MPS:
Cheers
The text was updated successfully, but these errors were encountered: