Project and release status

I’m trying to evaluate whether there’s a stable and reasonably documented version of Alloy 6 that can be used in teaching (graduate course in modeling and analysis). It looks like no release since 6.0.0 and little activity on the Alloy 6 book. Did I miss something?

1 Like

Hi
The draft book is actually written and used for teaching. It’s been lagging but we do intend to finish it.
A new version of Alloy is coming for the end of the year I guess, you may have a look at GitHub issues to see some forthcoming improvements.

Hi,

In the last two academic years I’ve taught Alloy 6 in a graduate course of 200 students, using the current version of the the tool and the current version of the book as the recommended documentation, and had no big issues or complaints.

Best,
Alcino

2 Likes

Thanks, that’s good to hear. By current version do you mean the latest release (Nov 2021) or building from current sources?

Yes, the latest release from Nov 2021.

Did you also mean the current version of the alloy6 book, Formal Software Design? It seems good but some of the .png images of instances are misplaced (eg. protocol example appears in the trash chapter and vice versa). I didn’t find a development site for it.

Ooops, thanks for letting me know - this problem was introduced in a minor update I did a few months ago. Will fix asap. Concerning the development repo, our intention is to only make it public once we have a first complete draft, hopefully until the end of the year. Meanwhile, if you have suggestions or fixes please send them directly to us.

Is there any word on an official new release (i.e. since 6.0.0, Nov 2021)? I’d like to bring it into a project at work but this doesn’t look good to outsiders. Thx

Hi,
Yes a new release is in preparation! Depending on the schedule of people in charge of the build and development, the release should happen in November I guess.

Thanks. If I want to try from the source code, which version of the JVM should I use? (Issue filed in GitHub)

IIRC you should use Java version 21.