Calculation of the number of partial deconstructions via CLI only
Guillaume Nibert
Ralf Sasse
Dear Guillaume,
To the best of my knowledge, Tamarin does not present that
information on the CLI at the moment. As one cannot look at the
problem anyway, this was deemed to not be useful information.
However, I see that the presence/absence of partial
deconstructions could be helpful to decide whether a proof attempt
makes sense, or a look into the partial deconstructions is needed.
Thus, adding this information to the output would be a sensible
feature request and/or directly a Pull Request with the change, if
you are interested.
Cheers,
Ralf
--
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 on the web visit https://groups.google.com/d/msgid/tamarin-prover/39212947-3a38-41a8-85a2-69ef6498ef11n%40googlegroups.com.
Reynaldo
I had the same requirement a few months ago and implemented the feature on my fork, please check the personal branch in gilcu3/tamarin prover. I had not heard anyone asking for this before, but now that I did I might open a PR in the near future.
Cheers,
Reynaldo
8 Aug 2024 14:50:21 Ralf Sasse <ralf....@inf.ethz.ch>:
To view this discussion on the web visit https://groups.google.com/d/msgid/tamarin-prover/9ca8650b-820a-4968-b0c4-3e0e94782619%40inf.ethz.ch.
Ralf Sasse
Dear Reynaldo,
That would of course be great! Guillaume, maybe you can use the
version of Reynaldo in the meantime.
Cheers,
Ralf
To view this discussion on the web visit https://groups.google.com/d/msgid/tamarin-prover/eda9914d-8674-4517-9aaf-a11f8650830f%40gmail.com.