Updating Java from 1.8?

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

696 stars 124 forks source link

Updating Java from 1.8? #124

Closed zsfre closed 2 years ago

zsfre commented 3 years ago

According to the README, Alloy builds with versions of Java up to 1.8. Is there any interest in upgrading the version to 11 or beyond? Apart, I believe, from performance improvements, the main changes are some syntax and library improvements (switch as an expression, yay!), and modules. I believe that gradle is now updated.

pkriens commented 2 years ago

No, there is no reason to upgrade since the later JVMs add very little value and just make it harder to use Alloy in older envs.