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

A small CLI runner #107

Closed leostera closed 1 year ago

leostera commented 4 years ago

Hello and thanks for the work you put into Alloy :)

Some time ago I was trying to escape the IDE and started drafting a small cli runner that could support some basic tasks.

Anyway, I haven't had time to work on it more, but I figured I'd share the idea in case someone's interested in pursuing it further.

pkriens commented 4 years ago

You have to remove all changes you made to the build system. Builds are hard enough and I really only want one. The .idea directory should go and the changes to gradle as well.

If you really want to change the build, propose that as a separate PR but accept push back.

pkriens commented 4 years ago

Please use the org.alloytools names and not se....

pkriens commented 4 years ago

I also think it should be in its own project. That way I can create two executables.

leostera commented 4 years ago

@pkriens in case it wasn't clear, this is a draft pull request that I opened just to share that I had put together a cli runner that could be of use to someone.

I see there is some interest, so I'm more than happy to clean it up and remove the crud 👍

aleksandarmilicevic commented 4 years ago

Thanks for this PR! A CLI is definitely something Alloy needs.

Can you please update the description of this PR to include some sample usages of the new CLI

pkriens commented 2 years ago

Can you look at #151 and see if we can collaborate there?

pkriens commented 1 year ago

We now have a full blown CLI. If you want to contribute, feel free to extend the CLI project. That would be really appreciated.