Tamarin 1.12 released

[Cas Cremers]

Dear all, 

we are happy to report that we have released Tamarin 1.12. You can find an overview of the new features and changes here: https://tamarin-prover.com/2026/03/08/Tamarin-1.12.html

Best wishes,

The Tamarin Team.

[Ardek Veri]

Dear Prof. Cremers,

I deeply appreciate your development efforts. The award is so much deserved. 

I would like to use the newest version immediately. Should we delete and re-install everything from scratch?

Best,

Ardek

13 Mar 2026 Cum 04:20 tarihinde Cas Cremers <cas.c...@gmail.com> şunu yazdı:

--
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.
To view this discussion visit https://groups.google.com/d/msgid/tamarin-prover/52ea0119-f016-47cb-a74d-9ed0ec430bccn%40googlegroups.com.

[Felix Linker]

Hi Ardek,

This depends on how you installed it.

You should be fine with just replacing Tamarin, i.e., you should not need to update graphviz and Maude (if this was your concern). Or you simply run brew update+ upgrade (in case you used brew).

Best,

Felix

To view this discussion visit https://groups.google.com/d/msgid/tamarin-prover/CAP9MpOU4fPKTyrufpUX%2BoWiJWnkWsUateG0O6e_NwdpGt7-hiw%40mail.gmail.com.