The alloy git server is down.

[alessandroleite]

The module alloy is not available.

[submodule "alloy"]
path = alloy
url = gitlab@git.uwaterloo.ca:teamamalgam/alloy.git

Thank you.

[drayside]

Hi Alessandro,

That URL is incorrect: we have not used a server named git.uwaterloo.ca,
nor have we used a server running GitLab (at least as far as I know).

I'm traveling right now and do not have a proper computer with me, so I
cannot look up the proper URL. Hopefully Chris or Ming-Ho can reply to you
on that point.

thanks,
Derek.

On Sun, Apr 6, 2014 at 6:39 AM, Alessandro Leite
notifications@github.comwrote:

The module alloy is not available.

[submodule "alloy"]
path = alloy
url = gitlab@git.uwaterloo.ca:teamamalgam/alloy.git

Thank you.

Reply to this email directly or view it on GitHubhttps://github.com//issues/3
.

[cpkleynhans]

Hi Alessandro,

That is the correct submodule URL, however the source code for the version of alloy that we utilize is only available on the internal University of Waterloo git servers at this time.
Since we are not the maintainers of this code, we have refrained from making it publicly available until we have the maintainer's consent.
We are currently in discussions with the maintainers on this matter and hope to have a solution soon.

We'll use this issue to track our progress on this matter. In the meantime we could provide you with a precompiled jar file. Would that suit your needs?

Thanks,
Chris Kleynhans

[alessandroleite]

Thank you Derek and Chris.

Yes. Please, send me the jar.

Best regards,
Alessandro

[mhyee]

Hi Alessandro,

What platform will you be running this on? We can compile for x86_64 Mac or x86_64 Linux. (In addition to the Java classes, the jar contains SAT solver binaries.)

Thanks,
Ming-Ho

[alessandroleite]

Hi Ming-Ho

I will run the experiments on both architectures (Mac and Linux).

Thank you.
Alessandro