Next Tamarin release

[Nafi Diallo]

Hello folks, 

Is there any upcoming release  planned for this year?  In general , what is the release cadence for tamarin-prover?

Thank you!

[Jannik Dreier]

Hi,

There is no fixed release schedule, but we would like to have a release
this summer.

Best,
Jannik

> --
> You received this message because you are subscribed to the Google
> Groups "tamarin-prover" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to tamarin-prove...@googlegroups.com
> <mailto:tamarin-prove...@googlegroups.com>.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/tamarin-prover/9b812d56-7a83-45bd-a9ac-e1fe5340be4an%40googlegroups.com <https://groups.google.com/d/msgid/tamarin-prover/9b812d56-7a83-45bd-a9ac-e1fe5340be4an%40googlegroups.com?utm_medium=email&utm_source=footer>.