[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] EOL/EOVS dates of v1.7.2
- From: Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>
- Date: Wed, 13 Jul 2022 11:41:53 -0700
- Ironport-data: A9a23:3lFhsqkBjdM9R3LNl1WM15Po5gx7I0RdPkR7XQ2eYbSJt1+Wr1Gzt xIWCmCDP6rYamKkLtklPY6/pBwGucKHzIBiHgZv+Co3Q1tH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvykTrSs1hlZHWeIcg944f5Ys7N/09QAbeSRWVvX4 4ut+paHYjdJ5hYtWo4qw/LbwP9QlK+q0N8olgRWiSdj4TcyP1FMZH4uDfnZw0nQGuG4LcbmL wr394xVy0uCl/sb5nxJpZ6gGqECaua60QFjERO6UYD66vRJjnRaPqrWqJPwZG8P4whlkeydx /1Gt52MZQouBJSTt8dFfBt7DQNRF6dvreqvzXiX6aR/zmXDenrohuprVQQ4Y9Ze9eFwDmVDs /cfLVjhbDjZ37PwkO/9E7M8wJp4RCXoFNt3VnVI0TXQFfI7WtPJRa7gzv9q5BgAqvBnNMz0O vQ1WQFLRTHvWjBiGnY+LrIftOivgXb7fjJCr0+Nvuw85G27IAlZiem2aIKJK4HiqcN9mWG7t D7b20LFWRgxCuyC6mXY+E2imbqa9c/8cNtKSOfQGuRRqFGS3WcOEwY+SV+y5/yikAu/XcheI goV/DAvpO487iSWosLVWhS5pDubu0dZVYQLVeI97w6Jx+zf5APx6nU4oiBpY94niOM7QgYTi XCqx/zrJiJNn5efYCfInluLlg+aNS8QJG4EQCYLSwoZ/tXuyL3faDqfHr6P94bl3rXI9SHML yOi93dh2u1C5SIf/+DqogCd2mPESo3hF1Ztvm3qsnSZAhSVjbNJiqSt4FnfqOlFdcOXEALHs 38DlMyTqusJCPlhdRBhos1SRNlFBN7faFUwZGKD+bF8rVxBHFb+JOhtDMlWfhsBDyr9UWaBj LXvkQ1Q/oRPG3ChcLV6ZYm8Y+xzk/W/S4m9CKuFMIYRCnSUSONh1HE+DaJ39zC9+HXAbYliU XtmWZ3xUipAWPwPIMSeHr9Nie5DKt8CKZP7HMinlXxLIJKRY3maTbptDbd9RrFR0U9wmy2Eo 753bpPUoz0GCb2WSnSJrOY7cA5bRVBmVcGeg5EGKoarf1s2cEl/UaO56e16IeRNwf8F/tokC 1nhMqOu4Aek2y2vxMTjQisLVY4Dqr4l9y9lZn13YAnys5XhCK72hJoim1IMVeFP3IReITRcF pHpou2MXaZCTCrp4TMYYcWvpYBubk311w2JOCWhbTcleIN4XErC/dq9Jlnj8ywHDyyWs8oio uzwjViCGsVdGAkyXtzLbP+Pzk+quSRPkuxFWUaVcMJYf1/h8dQ3JiGo1q03LsgAJA/t3Dyf0 wrKUx4UqfOU+t0x/dzMnryJtcGlHrImTEZdGmDa65ewNDXbpzbyn9UfDbzQJT2EDTH64qSvY +lR3srQCvxfkQYYqZd4HpZq0bk6u4nlqYhcw1k2B37MdVmqVu5tL3TfhptPu6RBy6VjtBOyS 16I/tUGa7yFNNm8TgweIw0qaumMz/YJgiKU5vMweR2o6Chy9buBcENTIxjd2HcGdeAqbtwok bU7pcobyw2jkR52YNyIuSZZqjaXJXsaXqR765wXDdO5igcvzV0eM5XQBjWsu8OKYtRId1Yve 3qa2vGEiLNbyU7PNXE0ECGVj+ZagJ0PvjFMzUMDdwvVwIub3qdv0U0D6ykzQyRU0g5Dj7B5N F9tOhAnPq6J5Tpp2JVOUjH+HwBaGCCf4VH7z1dVxmTVQ1P2Bj7IJWw5JeHf80ce/GZRcSJc4 amDjWPsVz/lcYKqgXtjBRM7+6O6FIIy6wvZhcq8FN6EFZQSbj3ijaujanAPtgP8R8g2gRSf9 +Vt+e9xb4z9NDIR8v1gUNDBiupPRUDWPnFGTNFg4LgNQTPWdga01GXcMEu2YM5Me6HH/EPkW cViKtgTBka+yDqWtWJcQqEWJKJsh7gm490Nfr6tLmkD9LSFqSdx947U/zD6mXRsWMhkis0nK 4ncej/eQHacg2BYxz3EoMVeYDHqZNAFYEjj2bnw/rtSUZ0Et+5ofAc51b7t5yeZNw5u/hS1u gLfZv+Jk7Yzl9w0x4a8QL9eAwiUKM/oULja+g6EtdkTP8jENt3Dtl9Ip1TqV+iM0WD9hziqe XWxXN/LMIftub83VyXGnsDEGfcSo8q1W+VTP4T8K3wyce5uniPzy0Nrxox6AcUhfBBhCg2PS Ay/Z8+9esQSRs9GgnZSbkCy1j4DXr/vYP6ISTyV9pyx59t07eADBNyg8nDtYG5BcTIQINv1D QqcVzNCIDxHhNwkOSLozM2Kz3O1zJEPlEfmmxDMWeGkM1SV
- Ironport-hdrordr: A9a23:PoxtnqPk+Ui+4sBcT5n155DYdb4zR+YMi2TDiHocOGRom52j+r HWoB1E73WE7gr5P0tQ5+xoWZPwPk80kKQb3WB/B8bQYOCLghrVEGgm1/qX/9UPcxeOttK0+8 9bAulD4Z7LfBVHZf+T2nj3Lz9Y+qjFzEgc7t2uhUuFMzsaHJ2Inj0JezpzSXcGDzWubKBRfP Hsgrs91kedlGwsH76G7zs+Lpr+Trvw5drbiDE9ZiLPgzP+/Q9AhoSKZiRxH38lIlZyKHQZkV QtUTaW2k0S2MvLhSM0G1WjjKi/lbDau5J+7DzmsLliFtwksHfLFeNccozHhik8pKWE6Vohkt XA5zcme+pp7W/JF1vF7SfQ5w==
- Ironport-sdr: Jv4Va28y/11bOqhUAeBK5IC6MSj3nL9zfnMz3iBgVBjqtp9GyQVBGTLH054HgUJE/z3+C6s0qm EeYe/iKl2ucztdGyipEAJ/NzQ0qDpv2XZyy9PkWlVc0yIGRWPlFfi80rpZxU/TBO9xzcQx4hKC 3/u2xHBG6GwdWfTAC6LK89gOR3l25lyIVJqmLBd2Kg7eqd9mCPUZRK1xM5rDh4qwssHgVWcL5b PnbGvi5X2O8oFivdI2GvmIFFI6pZgg5mN5oXj0mna0BH8nyEqNVf5s8teJzUC71TO8BIMO04h+ JR64y+m9Vp5O73jtcD3rX4Ok
- References: <2109a5c4-234d-4554-b63c-b34e87a0e4a3n@googlegroups.com>
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.