[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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,

> 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.