Proposal: Project migration to GitHub

[Ryan Govostes]

Hello,

I'd like to propose that the STP project migrate to GitHub for its project hosting. The KLEE project recently did so[0] and has seen an uptick in development activity from new contributors. Two key reasons to consider this proposal:

First, this would help ease the burden on the project maintainers to apply patches. It is unfortunate that several patches submitted to this list have not been discussed or merged. GitHub allows the project maintainers to merge a proposed change in one click. Changes have an associated approved / pending / rejected status that is easier for users to follow.

Second, this would help to consolidate information about STP. There are currently three different official homepages, as well as support and issue tracking provided ad hoc on this mailing list, which requires approval to post.

1. http://people.csail.mit.edu/vganesh/STP_files/stp.html

2. https://sites.google.com/site/stpfastprover/

3. http://sourceforge.net/projects/stp-fast-prover/

This presents obstacles for users looking for support, as well as for contributors to improve the content of the webpages. There is no way to subscribe to any of these except for the mailing list.

GitHub provides static website hosting, a wiki, an issue tracker, and activity subscriptions. These should be sufficient for the project to have a single presence on the web.

If the project's current maintainers and contributors are amenable to this migration, I volunteer to help carry it out.

Regards,

Ryan Govostes

[0]: https://github.com/ccadar/klee

[Vijay Ganesh]

Hi Ryan,

Yes, lets move it to github, and thanks for agreeing to do it.

Let me know what you need from me in order to make this migration as smooth as possible.

Cheers,
Vijay Ganesh.

--
 
---
You received this message because you are subscribed to the Google Groups "stp-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to stp-users+...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

[gwpu...@wp.pl]

I think that setting up licensing is important, as in many github
project it's either unclear eigther not easily accesible information.
Therefore, please take care to put it into main directory of project
or each subproject, to make it transparent.

Good luck!
Greg

[Vijay Ganesh]

Hi Greg,

STP is distributed under the MIT license. We have very clear licensing of all the sub-components. You can see all this in the LICENSE file in the home directory of the STP source.

-Vijay.