[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Source file with non-commercial license
I believe that the part that Chuck refers to is the copyright inherited from UBC for HeapSort, even if this algorithm is commonplace.
> On 16 Nov 2020, at 17:59, Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx> wrote:
> On 16.11.20 03:53, Chuck Lutz wrote:
>> Hi folks,
>> I'm looking to possibly use TLA+ at work, but our legal folks have
>> pointed out that the following file includes a license that restricts
>> non-commercial use:
>> Is this file vital to the use of TLA+? They want to remove it from what
>> would be our internally-approved distribution of the .tgz / .zip from
>> It seems like it would affect the pretty-printing.
>> Thanks in advance for any information,
>> Chuck Lutz
> Hi Chuck,
> there are many source files with an identical or similar copyright
> header. You won't be able to remove all of them without breaking TLC.
> However, as agreed to by the copyright holders HP/Compaq and Microsoft,
> the TLA+ tools and the Toolbox are released under the (permissive) MIT
> license . Please open an issue  if your legal department still has
>  https://github.com/tlaplus/tlaplus/blob/master/README.md#license
>  https://github.com/tlaplus/tlaplus/issues
> You received this message because you are subscribed to the Google Groups "tlaplus" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
> To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/1841241c-b3f4-caa3-db17-8d1e9e3d82bf%40lemmster.de.
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/F23DBC1D-68CD-4DD0-BDC3-BE168984B62E%40gmail.com.