EOL/EOVS dates of v1.7.2

[Leo Li]

Hi Everyone,

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.

Thanks,

Leo

[Markus Kuppe]

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