search

boogie-org / symbooglix

Symbolic Execution Engine for Boogie
MIT License
27 stars 4 forks source link

Switching symbooglix to MIT license (instead of BSD-2) #41

Closed zvonimir closed 2 years ago

zvonimir commented 2 years ago

So I am a member of a team what has been working on automatic testing of Dafny programs. We are really interested in potentially rebooting symbooglix to use it in this context. Given that the team involves Amazon employees, to be able to contribute to symbooglix, it would be really helpful if its license would be the same as other Boogie-related projects such as Boogie, Corral, Dafny, which are all under MIT license.

Could we place switch symbooglix to MIT license to make it totally in sync with other related projects?

Please let me know. Thanks!

zvonimir commented 2 years ago

Tagging @delcypher, @afd, @ccadar. Thanks!

ccadar commented 2 years ago

@zvonimir I am glad to hear that. I personally don't mind switching licenses, but just curious, which part of the BSD-2 license is problematic for Amazon? Both are liberal licenses, and they look quite similar to me.

zvonimir commented 2 years ago

I am not sure if "problematic" is the right term here. It will likely raise questions though since all other Boogie-related tools are under MIT license, and this one is an outlier in that sense. Even if we put Amazon aside, it would be really nice if all these tools were under the same license and uniform in that sense. And as your wrote, given that they are really similar, to me it seems that switching maybe (hopefully?) wouldn't be a big deal. I am not a license expert though.

ccadar commented 2 years ago

OK, I understand. And as I said, I don't mind the switch. @delcypher , @afd ?

afd commented 2 years ago

I am OK with the switch.