Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
pr-feature-msr2prvf-pull-negations
9fcabb6b
·
removed warning if the formula has no negations at all
·
Jun 10, 2024
pr-plainOpenGoals-fix
746d75ed
·
Merge branch 'develop' into pr-plainOpenGoals-fix
·
Feb 26, 2024
pr-spthy-config
d9f5f054
·
fixed errors resulting from the merge
·
Feb 07, 2024
msr-to-proverif-merging
b9a0f2c5
·
remove matched rules from future list...
·
Sep 20, 2023
br5
137e4355
·
set backup default oracle to ./oracle
·
Aug 01, 2023
pr5
fbb73eda
·
test
·
Aug 01, 2023
pr-3
bdba7b74
·
test
·
Jul 31, 2023
pr-1
84058b39
·
newest pr-spthy
·
Jul 03, 2023
pr-test-1
6437170e
·
commit
·
Jul 03, 2023
pr-test
d6e0a954
·
commit
·
Jul 03, 2023
pr-branch
f8b2ee0b
·
Merge remote-tracking branch 'origin' into pr-branch
·
Jul 02, 2023
pr-spthy-test
3abfc25e
·
massive simplifications
·
Jul 02, 2023
pr-feature-config-spthy
04f80be1
·
changed default oracle
·
Jun 30, 2023
pr-feature-pretty-sapic
a3dcb14b
·
pretty SAPiC rulenames
·
Jun 30, 2023
pretty-sapic-output
ea22c596
·
shortening the code
·
Jun 29, 2023
parser-public-names
23b285de
·
relaxing the idents for pn and fn
·
Jun 27, 2023
pr-refactored-proverif-translation
651a33a2
·
MSR to ProVerif translation
·
Apr 19, 2023
wip-config-tactics
317d0278
·
added unsafeperformio
·
Apr 10, 2023
wip-prvf-translation
5ab60327
·
fixed indentation, empty lines etc.
·
Mar 31, 2023
feature-mult-rels-faster-exists
3a07d1ae
·
merging faster exists-trace and logic framework
·
Jan 24, 2023
Prev
1
2
Next