search

tlaplus / tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
https://lamport.azurewebsites.net/tla/tla.html
MIT License
2.3k stars 192 forks source link

Split toolbox into a separate repo #880

Open ahelwer opened 7 months ago

ahelwer commented 7 months ago

Markus has mentioned a desire to do this on multiple occasions so I figured I would create this issue for tracking, reference, and discussion.

Basically this repo would focus on the development of the java tools themselves, and development of the eclipse-based toolbox would be moved to a different repo (presumably to be archived & EOL'd if nobody wants to put time into maintaining it).

In my mind the easiest method to do this would be as follows:

  1. Fork the tlaplus/tlaplus repo into a new tlaplus/tlatoolbox repo (or whatever you want to call it)
  2. Delete everything having to do with the toolbox in the tlaplus/tlaplus repo
  3. Delete everything having to do with the tools in the tlaplus/tlatoolbox repo
  4. Consume the tlaplus/tlaplus repo from the tlaplus/tlatoolbox repo somehow (maven package? submodule? hardcoded download from release?)
ahelwer commented 6 months ago

@lemmy could you fork tlaplus/tlaplus to a new tlaplus/toolbox repo so work can begin on this?

lemmy commented 6 months ago

4.) One possibility is to make tlaplus/tlaplus a submodule of the new tlaplus/toolbox.

ahelwer commented 6 months ago

That would certainly be the simplest.

lemmy commented 6 months ago

We can try that but I won't have time for this ~until after TLA+ Conf~ anytime soon.