Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
feature-group-protocols
042364de
·
Merge branch 'develop' into feature-group-protocols
·
Jul 22, 2013
feature-user-defined-sorts
f257df7f
·
Fix constructed tuple associativity
·
Aug 30, 2013
feature-ac-rewrite-rules
61293668
·
Merge remote-tracking branch 'origin/develop' into feature-ac-rewrite-rules
·
Oct 21, 2015
master
a631d75f
·
Release commit:
·
Sep 09, 2020
develop
default
protected
e8a5cb57
·
Export and import rule variants (#388)
·
Oct 07, 2020
pr-solved-bug
deeace13
·
Merge branch 'develop' into pr-solved-bug
·
Nov 30, 2020
pr-sapic-pretty-rulenames
0ce85e55
·
changed the ordering of the types in Rule.hs
·
May 03, 2021
pr-sapic-pretty-rulenames-no-subscript
aa26c6fd
·
Fix --version message complaining about non-exhaustive pattern
·
Sep 22, 2021
pr-acc-unbounded
ec6c9ca2
·
Merge remote-tracking branch 'upstream/develop' into pr-acc-unbounded
·
Dec 19, 2021
pr-feature-acc-unbounded
ad1e560e
·
Merge remote-tracking branch 'upstream/develop' into pr-feature-acc-unbounded
·
Dec 23, 2021
spthy-configuration
99a58b8f
·
Merge remote-tracking branch pr-spthy-configuration' into pr-spthy-configuration
·
Nov 24, 2022
feature-mult-rels-faster-exists
3a07d1ae
·
merging faster exists-trace and logic framework
·
Jan 24, 2023
wip-prvf-translation
5ab60327
·
fixed indentation, empty lines etc.
·
Mar 31, 2023
wip-config-tactics
317d0278
·
added unsafeperformio
·
Apr 10, 2023
pr-refactored-proverif-translation
651a33a2
·
MSR to ProVerif translation
·
Apr 19, 2023
parser-public-names
23b285de
·
relaxing the idents for pn and fn
·
Jun 27, 2023
pretty-sapic-output
ea22c596
·
shortening the code
·
Jun 29, 2023
pr-feature-pretty-sapic
a3dcb14b
·
pretty SAPiC rulenames
·
Jun 30, 2023
pr-feature-config-spthy
04f80be1
·
changed default oracle
·
Jun 30, 2023
pr-spthy-test
3abfc25e
·
massive simplifications
·
Jul 02, 2023
Prev
1
2
Next