8000 Tags · tamarin-prover/tamarin-prover · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: tamarin-prover/tamarin-prover

Tags

1.10.0

Toggle 1.10.0's commit message 
Merge branch 'develop'

1.8.0

Toggle 1.8.0's commit message 
Regression timing and version number update

1.6.1

Toggle 1.6.1's commit message 
RELEASE Version 1.6.1

1.6.0

Toggle 1.6.0's commit message 
Release commit:

* version number to 1.6.0

* updated CHANGE log

Note that some csf18-xor case studies take significantly longer due to a bugfix; this is known and acceptable.

One example in csf12 already did not run in 1.4.1 and is renamed so it does not get run again when producing releases.

1.4.1

Toggle 1.4.1's commit message 
Release preparation

* version number to 1.4.1

* updated change log

* updated stored variants for DH and BP after careful check of equivalence of old and new - new is reorded and has some variable renamings; the stored intruder_variants_*.spthy files had been updated before.

1.4.0

Toggle 1.4.0's commit message 
Updated version number to 1.4.0 for release.

1.2.3

Toggle 1.2.3's commit message 
Version number is 1.2.3 for new release.

1.2.2

Toggle 1.2.2's commit message 
Changed originators to core team in GUI

1.2.1

Toggle 1.2.1's commit message 
version bump to 1.2.1, and changes added: upgrade ghc and remove depe…

…ndency from derive package

1.2.0

Toggle 1.2.0's commit message 
Update of case study due to reordering of proof steps, same number an…

…d timing.
0