search

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
709 stars 124 forks source link

Alloy crashes when pressed any key on a Mac #64

Closed nguyenthanhvuh closed 5 years ago

nguyenthanhvuh commented 6 years ago

I just downloaded Alloy. After installing the legacy JDK as required when run on High Sierra, I can open the tool, but then any key press will produce a window saying "Sorry, a fatal internal error has occurred". I have sent the bug report, but thought that I would post the issue here too, just in case others search for it.

nguyenthanhvuh commented 6 years ago

Actually, I just realize that clicking the "Send the Bug Report" also crashes. It says "Sorry, an error has occurred in posting the bug report). Attached is an image. alloycrash

aedile commented 5 years ago

+1 this is happening for me with Alloy 4.2

LMolte commented 5 years ago

Had the same problem. I downloaded version 5.0.0.1 beta .pkg from this page and had no issues, legacy JDK is not even required. https://github.com/AlloyTools/org.alloytools.alloy/releases

ghost commented 5 years ago

I created a workaround to this issue since the Software Abstractions book relies on Alloy 4 and I was having issues using Alloy 5 with the published code. My solution is linked below, let me know if there are any capabilities that should be added.

https://github.com/LorenzoFernando/alloy4mac

pkriens commented 5 years ago

Why does the book rely on Alloy 4?

ghost commented 5 years ago

That was my deduction from [1] the book clearly saying it's written for Alloy 4, and [2] the book's code examples, copied from the website, failing to run in Alloy 5. I couldn't seem to find documentation that detailed the differences between v4 and v5 so I whipped together this solution so that I could get to learning.

I'm a complete novice here, so if the code from the book SHOULD work with Alloy 5, please let me know. Thanks.

pkriens commented 5 years ago

I am not aware of any example in Daniel's book that would not work. If so, then we should fix it since 4.2 really is a goner and not maintained anymore.

aleksandarmilicevic commented 5 years ago

Closing, since .pkg release for Mac addresses this issue.