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
696 stars 124 forks source link

Contributing Glucose 4.1 #87

Closed danielleberre closed 5 years ago

danielleberre commented 5 years ago

We would like to contribute Glucose 4.1 to Alloy.

We include the source code, the macos and linux binaries (both 32 and 64 arch). The windows binaries are missing.

We are not quite sure which files should be added to the repository (e.g. generated files, gradle config files, etc).

Guidance on that topic would be welcome :)

danielleberre commented 5 years ago

Hi Aleksandar,

Thanks for your feedback.

We did our best to fix all those issues.

danielleberre commented 5 years ago

ok, thanks.

pkriens commented 5 years ago

LGTM so far. I need to rework my stale PR so then I will address any more issues.

I am ok to merge