Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
1.6.0
a631d75f
·
Release commit:
·
Sep 09, 2020
1.4.1
d2e1c573
·
Release preparation
·
Jan 18, 2019
1.4.0
7ced07a6
·
Updated version number to 1.4.0 for release.
·
May 07, 2018
1.2.3
c1e439e1
·
Version number is 1.2.3 for new release.
·
Feb 28, 2018
1.2.2
6cec9cf5
·
Changed originators to core team in GUI
·
May 29, 2017
1.2.1
596eba95
·
version bump to 1.2.1, and changes added: upgrade ghc and remove dependency from derive package
·
Feb 22, 2017
1.2.0
9af8a190
·
Update of case study due to reordering of proof steps, same number and timing.
·
Feb 20, 2017
0.8.6.1
b3bcbd55
·
Bump version to 0.8.6.1
·
Jun 08, 2014
0.8.6.0
07f863e0
·
Merge branch 'develop'
·
Feb 16, 2014
0.8.5.1
0daedd00
·
Merge branch 'develop'
·
Feb 07, 2014
0.8.5.0
c2eefa74
·
Merge branch 'develop'
·
May 08, 2013
tamarin-prover-0.8.4.0
c13e62b0
·
Merge branch 'develop'
·
Jan 15, 2013
tamarin-prover-0.8.2.1
f7c6c82c
·
Merge branch 'hotfix-0.8.2.1'
·
Sep 28, 2012
0.8.2.0
508e0cf5
·
merge branch 'release-0.8.2.0' to 'master'
·
Sep 28, 2012
0.8.1.0
46feec96
·
version bump to 0.8.1.0
·
Aug 13, 2012
tamarin-prover-utils-0.8.0.1
0bcd950e
·
tamarin-prover-utils-0.8.0.1: no more warnings
·
Jul 20, 2012
0.8.0.0
6d30d023
·
version bump to 0.8.0.0
·
Jul 20, 2012
tamarin-prover-0.6.1.0
0be91d21
·
version bump to 0.6.1.0
·
Jun 05, 2012
tamarin-prover-0.6.0.0
07b85150
·
version bump to 0.6.0.0
·
Jun 05, 2012
tamarin-prover-0.4.1.0
27d55c3a
·
update Makefile for new filenames
·
May 03, 2012
Prev
1
2
Next