Re: [tlaplus] EOL/EOVS dates of v1.7.2

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

Hi Leo,

at this point, we do not have an End-Of-Life policy.  However, the TLA+ tools are open-source under the very permissive MIT license.  Your company can stay on 1.7.2 forever and apply its own security patches when necessary.

Hope this helps,
Markus

> On Jul 13, 2022, at 9:10 AM, Leo Li <leo.zt.li@xxxxxxxxx> wrote:
> 
> I'm trying to introduce TLA+ into my company, but our security review process requires information of the version's EOL/EOVS. Because I couldn't find a place to post this question, and https://github.com/tlaplus/tlaplus/issues also directed me to this place, so hoping to get some help here.

-- 
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/39043A64-A890-4E9E-8DAF-20C6E0C31534%40lemmster.de.